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
1172005
Constraint solving for interpolation
A Rybalchenko, V Sofronie-Stokkermans
International Workshop on Verification, Model Checking, and Abstract …, 2007
1142007
On local reasoning in verification
C Ihlemann, S Jacobs, V Sofronie-Stokkermans
International Conference on Tools and Algorithms for the Construction and …, 2008
942008
Interpolation in local theory extensions
V Sofronie-Stokkermans
International Joint Conference on Automated Reasoning, 235-250, 2006
562006
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
552007
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
532000
Interpolation in local theory extensions
V Sofronie-Stokkermans
Logical Methods in Computer Science 4, 2008
412008
Locality results for certain extensions of theories with bridging functions
V Sofronie-Stokkermans
International Conference on Automated Deduction, 67-83, 2009
402009
Modular proof systems for partial functions with Evans equality
H Ganzinger, V Sofronie-Stokkermans, U Waldmann
Information and Computation 204 (10), 1453-1492, 2006
402006
Locality and Subsumption Testing in EL and Some of its Extensions.
V Sofronie-Stokkermans
Advances in Modal Logic 7, 315-339, 2008
392008
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
Constraint solving for interpolation
A Rybalchenko, V Sofronie-Stokkermans
Journal of Symbolic Computation 45 (11), 1212-1233, 2010
382010
On hierarchical reasoning in combinations of theories
C Ihlemann, V Sofronie-Stokkermans
International Joint Conference on Automated Reasoning, 30-45, 2010
372010
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
362007
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
332000
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
302001
On interpolation and symbol elimination in theory extensions
V Sofronie-Stokkermans
Logical Methods in Computer Science 14, 2018
292018
System description: H-pilot
C Ihlemann, V Sofronie-Stokkermans
International Conference on Automated Deduction, 131-139, 2009
292009
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
292007
Automated theorem proving by resolution in non-classical logics
V Sofronie-Stokkermans
Annals of Mathematics and Artificial Intelligence 49 (1), 221-252, 2007
272007
The system can't perform the operation now. Try again later.
Articles 1–20