Viorica Sofronie-Stokkermans

发表

On First-Order Model-Based Reasoning pdf

Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans, 2015, Logic, Rewriting, and Concurrency.

Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings

Nikolaj Bjørner, Viorica Sofronie-Stokkermans, N. Bjørner, 2011, CADE.

Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08

F. Baader, S. Ghilardi, U. Sattler, 2008 .

Workshop Automated Deduction: Decidability, Complexity, Tractability

A. Tiwari, F. Pfenning, S. Ghilardi, 2007 .

Automated Deduction : Decidability , Complexity , Tractability ( ADDCT ) 18 Ju ly 2014

S. Ghilardi, U. Sattler, Viorica Sofronie-Stokkermans, 2014 .

SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper)

Viorica Sofronie-Stokkermans, Philipp Marohn, 2021, SOQE@KR.

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

R. Goebel, Yuzuru Tanaka, Viorica Sofronie-Stokkermans, 2020, IJCAR.

Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2001 .

On unification in certain finitely generated varieties of algebras

Viorica Sofronie-Stokkermans, 2007 .

Symbol Elimination and Applications to Parametric Entailment Problems (Abstract)

Viorica Sofronie-Stokkermans, Dennis Peuter, Viorica Sofronie-Stokkermans, 2021, SOQE@KR.

Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory)

Viorica Sofronie-Stokkermans, Philipp Marohn, Dennis Peuter, 2021, ArXiv.

Automated theorem proving by resolution in non-classical logics

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2007, Annals of Mathematics and Artificial Intelligence.

Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2007, FroCoS.

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Yuzuru Tanaka, Nicolas Peltier, Randy Goebel, 2020, IJCAR.

Decision Procedures for Theories of Sets with Measures

Viorica Sofronie-Stokkermans, Markus Bender, Viorica Sofronie-Stokkermans, 2017, CADE.

On Hierarchical Reasoning in Combinations of Theories

Carsten Ihlemann, Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2010, IJCAR.

Obtaining Finite Local Theory Axiomatizations via Saturation

Viorica Sofronie-Stokkermans, Matthias Horbach, M. Horbach, 2013, FroCos.

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

R. Goebel, Yuzuru Tanaka, Viorica Sofronie-Stokkermans, 2020, IJCAR.

Parametric Systems: Verification and Synthesis pdf

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2019, Fundam. Informaticae.

On Interpolation and Symbol Elimination in Theory Extensions

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2016, IJCAR.

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters

Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans, 2007, IFM.

Reasoning in Complex Theories and Applications. Advanced Lecture, ESSLLI 2009

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2009 .

On unification for bounded distributive lattices

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2007, TOCL.

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2000, Stud Logica.

On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 1999, CADE.

Constraint solving for interpolation

Viorica Sofronie-Stokkermans, Andrey Rybalchenko, A. Rybalchenko, 2007, J. Symb. Comput..

Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0

Viorica Sofronie-Stokkermans, Francis Gasse, Viorica Sofronie-Stokkermans, 2011, Description Logics.

PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata

Carsten Ihlemann, Viorica Sofronie-Stokkermans, Werner Damm, 2011, Math. Comput. Sci..

Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata

Carsten Ihlemann, Viorica Sofronie-Stokkermans, Werner Damm, 2011, HSCC '11.

Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2003, J. Symb. Comput..

Conference Organization Programme Chairs Programme Committee External Reviewer Some Decision Problems Related to Cryptographic Protocol Verification Protocol Verification via Rigid/flexible Resolution

Reiner Hähnle, Silvio Ranise, C. Fermüller, 2022 .

Automated Reasoning in Some Local Extensions of Ordered Structures

Carsten Ihlemann, Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2007, 37th International Symposium on Multiple-Valued Logic (ISMVL'07).

Hierarchical Reasoning in Local Theory Extensions and Applications

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2014, 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

Representation Theorems and the Semantics of Non-Classical Logics , and Applications to Automated

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2002 .

Representation theorems and the semantics of (semi)lattice-based logics

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.

Locality Results for Certain Extensions of Theories with Bridging Functions

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2009, CADE.

On automated reasoning about recursively defined functions and homomorphisms

Viorica Sofronie-Stokkermans, M. Planck, 2010 .

Interpolation in Local Theory Extensions pdf

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2006, Log. Methods Comput. Sci..

On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper)

Viorica Sofronie-Stokkermans, Hannes Frey, Dennis Peuter, 2021, SOQE@KR.

System Description: H-PILoT

Carsten Ihlemann, Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2009, CADE.

Hierarchic Reasoning in Local Theory Extensions

Viorica Sofronie-Stokkermans, Viorica Sofronie-Stokkermans, 2005, CADE.