| Hierarchic reasoning in local theory extensions V Sofronie-Stokkermans International Conference on Automated Deduction, 219-234, 2005 | 105 | 2005 |
| Constraint solving for interpolation A Rybalchenko, V Sofronie-Stokkermans International Workshop on Verification, Model Checking, and Abstract …, 2007 | 103 | 2007 |
| On local reasoning in verification C Ihlemann, S Jacobs, V Sofronie-Stokkermans International Conference on Tools and Algorithms for the Construction and …, 2008 | 82 | 2008 |
| Interpolation in local theory extensions V Sofronie-Stokkermans International Joint Conference on Automated Reasoning, 235-250, 2006 | 52 | 2006 |
| Automated reasoning in some local extensions of ordered structures V Sofronie-Stokkermans, C Ihlemann 37th International Symposium on Multiple-Valued Logic (ISMVL'07), 1-1, 2007 | 51 | 2007 |
| Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I V Sofronie-Stokkermans Studia Logica 64 (1), 93-132, 2000 | 47 | 2000 |
| Modular proof systems for partial functions with Evans equality H Ganzinger, V Sofronie-Stokkermans, U Waldmann Information and Computation 204 (10), 1453-1492, 2006 | 38 | 2006 |
| Locality results for certain extensions of theories with bridging functions V Sofronie-Stokkermans International Conference on Automated Deduction, 67-83, 2009 | 35 | 2009 |
| Verifying CSP-OZ-DC specifications with complex data types and timing parameters J Faber, S Jacobs, V Sofronie-Stokkermans International Conference on Integrated Formal Methods, 233-252, 2007 | 35 | 2007 |
| Applications of hierarchical reasoning in the verification of complex systems S Jacobs, V Sofronie-Stokkermans Electronic Notes in Theoretical Computer Science 174 (8), 39-54, 2007 | 35 | 2007 |
| Constraint solving for interpolation A Rybalchenko, V Sofronie-Stokkermans Journal of Symbolic Computation 45 (11), 1212-1233, 2010 | 32 | 2010 |
| Locality and Subsumption Testing in EL and Some of its Extensions. V Sofronie-Stokkermans Advances in Modal Logic 7, 315-339, 2008 | 32 | 2008 |
| Chaining techniques for automated theorem proving in many-valued logics H Ganzinger, V Sofronie-Stokkermans Proceedings 30th IEEE International Symposium on Multiple-Valued Logic …, 2000 | 32 | 2000 |
| Hierarchical and modular reasoning in complex theories: The case of local theory extensions V Sofronie-Stokkermans International Symposium on Frontiers of Combining Systems, 47-71, 2007 | 29 | 2007 |
| On hierarchical reasoning in combinations of theories C Ihlemann, V Sofronie-Stokkermans International Joint Conference on Automated Reasoning, 30-45, 2010 | 28 | 2010 |
| Interpolation in local theory extensions V Sofronie-Stokkermans arXiv preprint arXiv:0806.4553, 2008 | 27 | 2008 |
| Automated theorem proving by resolution for finitely-valued logics based on distributive lattices with operators V Sofronie-Stokkermans Multiple-Valued Logic-An International Journal 6 (3/4), 289-344, 2001 | 27 | 2001 |
| System description: H-pilot C Ihlemann, V Sofronie-Stokkermans International Conference on Automated Deduction, 131-139, 2009 | 23 | 2009 |
| Hierarchical reasoning for the verification of parametric systems V Sofronie-Stokkermans International Joint Conference on Automated Reasoning, 171-187, 2010 | 21 | 2010 |
| Automated theorem proving by resolution in non-classical logics V Sofronie-Stokkermans Annals of Mathematics and Artificial Intelligence 49 (1-4), 221-252, 2007 | 21 | 2007 |
