Seguir
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Dirección de correo verificada de uni-koblenz.de - Página principal
Título
Citado por
Citado por
Año
Hierarchic reasoning in local theory extensions
V Sofronie-Stokkermans
International Conference on Automated Deduction, 219-234, 2005
1262005
Constraint solving for interpolation
A Rybalchenko, V Sofronie-Stokkermans
International Workshop on Verification, Model Checking, and Abstract …, 2007
1172007
On local reasoning in verification
C Ihlemann, S Jacobs, V Sofronie-Stokkermans
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
1032008
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
602007
Interpolation in local theory extensions
V Sofronie-Stokkermans
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
602006
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
572000
Interpolation in local theory extensions
V Sofronie-Stokkermans
Logical Methods in Computer Science 4, 2008
472008
Locality and Subsumption Testing in EL and Some of its Extensions.
V Sofronie-Stokkermans
Advances in Modal Logic 7, 315-339, 2008
462008
On hierarchical reasoning in combinations of theories
C Ihlemann, V Sofronie-Stokkermans
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
442010
Locality results for certain extensions of theories with bridging functions
V Sofronie-Stokkermans
International Conference on Automated Deduction, 67-83, 2009
432009
Constraint solving for interpolation
A Rybalchenko, V Sofronie-Stokkermans
Journal of Symbolic Computation 45 (11), 1212-1233, 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
402007
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
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
On interpolation and symbol elimination in theory extensions
V Sofronie-Stokkermans
Logical Methods in Computer Science 14, 2018
342018
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
342001
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
Automated theorem proving by resolution in non-classical logics
V Sofronie-Stokkermans
Annals of Mathematics and Artificial Intelligence 49, 221-252, 2007
322007
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
302007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20