| Hierarchic reasoning in local theory extensions V Sofronie-Stokkermans International Conference on Automated Deduction, 219-234, 2005 | 126 | 2005 |
| Constraint solving for interpolation A Rybalchenko, V Sofronie-Stokkermans International Workshop on Verification, Model Checking, and Abstract …, 2007 | 117 | 2007 |
| On local reasoning in verification C Ihlemann, S Jacobs, V Sofronie-Stokkermans Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 103 | 2008 |
| 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 | 60 | 2007 |
| Interpolation in local theory extensions V Sofronie-Stokkermans Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006 | 60 | 2006 |
| 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, 93-132, 2000 | 57 | 2000 |
| Interpolation in local theory extensions V Sofronie-Stokkermans Logical Methods in Computer Science 4, 2008 | 47 | 2008 |
| Locality and Subsumption Testing in EL and Some of its Extensions. V Sofronie-Stokkermans Advances in Modal Logic 7, 315-339, 2008 | 46 | 2008 |
| On hierarchical reasoning in combinations of theories C Ihlemann, V Sofronie-Stokkermans Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 44 | 2010 |
| Locality results for certain extensions of theories with bridging functions V Sofronie-Stokkermans International Conference on Automated Deduction, 67-83, 2009 | 43 | 2009 |
| Constraint solving for interpolation A Rybalchenko, V Sofronie-Stokkermans Journal of Symbolic Computation 45 (11), 1212-1233, 2010 | 41 | 2010 |
| 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 | 40 | 2007 |
| Modular proof systems for partial functions with Evans equality H Ganzinger, V Sofronie-Stokkermans, U Waldmann Information and Computation 204 (10), 1453-1492, 2006 | 40 | 2006 |
| 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 | 38 | 2007 |
| On interpolation and symbol elimination in theory extensions V Sofronie-Stokkermans Logical Methods in Computer Science 14, 2018 | 34 | 2018 |
| 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 | 34 | 2001 |
| 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 | 34 | 2000 |
| System description: H-pilot C Ihlemann, V Sofronie-Stokkermans Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009 | 32 | 2009 |
| Automated theorem proving by resolution in non-classical logics V Sofronie-Stokkermans Annals of Mathematics and Artificial Intelligence 49, 221-252, 2007 | 32 | 2007 |
| 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 | 30 | 2007 |
