Follow
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Verified email at uni-koblenz.de - Homepage
Title
Cited by
Cited by
Year
Hierarchic reasoning in local theory extensions
V Sofronie-Stokkermans
International Conference on Automated Deduction, 219-234, 2005
1212005
Constraint solving for interpolation
A Rybalchenko, V Sofronie-Stokkermans
International Workshop on Verification, Model Checking, and Abstract …, 2007
1192007
On local reasoning in verification
C Ihlemann, S Jacobs, V Sofronie-Stokkermans
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
1012008
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
582007
Interpolation in local theory extensions
V Sofronie-Stokkermans
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
582006
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
562000
Interpolation in local theory extensions
V Sofronie-Stokkermans
Logical Methods in Computer Science 4, 2008
452008
Locality results for certain extensions of theories with bridging functions
V Sofronie-Stokkermans
International Conference on Automated Deduction, 67-83, 2009
422009
Locality and Subsumption Testing in EL and Some of its Extensions.
V Sofronie-Stokkermans
Advances in Modal Logic 7, 315-339, 2008
422008
On hierarchical reasoning in combinations of theories
C Ihlemann, V Sofronie-Stokkermans
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
412010
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
392007
Modular proof systems for partial functions with Evans equality
H Ganzinger, V Sofronie-Stokkermans, U Waldmann
Information and Computation 204 (10), 1453-1492, 2006
392006
Constraint solving for interpolation
A Rybalchenko, V Sofronie-Stokkermans
Journal of Symbolic Computation 45 (11), 1212-1233, 2010
382010
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
382007
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
352001
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
342000
System description: H-pilot
C Ihlemann, V Sofronie-Stokkermans
Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009
322009
On interpolation and symbol elimination in theory extensions
V Sofronie-Stokkermans
Logical Methods in Computer Science 14, 2018
312018
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
312007
Automated theorem proving by resolution in non-classical logics
V Sofronie-Stokkermans
Annals of Mathematics and Artificial Intelligence 49, 221-252, 2007
302007
The system can't perform the operation now. Try again later.
Articles 1–20