Sofronie-Stokkermans, Viorica
Locality and subsumption testing in EL and some of its extensions.Advances in Modal Logic. 2008 S. 315 - 339
Ihlemann, Carsten; Jacobs, Swen; Sofronie-Stokkermans, Viorica
On Local Reasoning in Verification.TACAS. 2008 S. 265 - 281
Sofronie-Stokkermans, Viorica
Sheaves and geometric logic and applications to the modular verification of complex systemsCoRR. Bd. abs/0810.2877. 2008
Jacobs, Swen; Sofronie-Stokkermans, Viorica
Applications of Hierarchical Reasoning in the Verification of Complex Systems.Electr. Notes Theor. Comput. Sci. Bd. 174. H. 8. 2007 S. 39 - 54
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Automated Reasoning in Some Local Extensions of Ordered Structures.Multiple-Valued Logic and Soft Computing. Bd. 13. H. 4-6. 2007 S. 397 - 414
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Automated Reasoning in Some Local Extensions of Ordered Structures.ISMVL. 2007 S. 1
Sofronie-Stokkermans, Viorica
Automated theorem proving by resolution in non-classical logics.Ann. Math. Artif. Intell. Bd. 49. H. 1-4. 2007 S. 221 - 252
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Constraint Solving for Interpolation.VMCAI. 2007 S. 346 - 362
Sofronie-Stokkermans, Viorica
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions.FroCoS. 2007 S. 47 - 71
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten; Jacobs, Swen
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.Deduction and Decision Procedures. 2007
Sofronie-Stokkermans, Viorica
On unification for bounded distributive lattices.ACM Trans. Comput. Log. Bd. 8. H. 2. 2007 S. 12
Faber, Johannes; Jacobs, Swen; Sofronie-Stokkermans, Viorica
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.IFM. 2007 S. 233 - 252
Sofronie-Stokkermans, Viorica
Interpolation in Local Theory Extensions.IJCAR. 2006 S. 235 - 250
Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe
Modular proof systems for partial functions with Evans equality.Inf. Comput. Bd. 204. H. 10. 2006 S. 1453 - 1492
Sofronie-Stokkermans, Viorica
Hierarchic Reasoning in Local Theory Extensions.CADE. 2005 S. 219 - 234
Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe
Modular Proof Systems for Partial Functions with Weak Equality.IJCAR. 2004 S. 168 - 182
Sofronie-Stokkermans, Viorica
Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras.ISMVL. 2004 S. 32 - 37
Sofronie-Stokkermans, Viorica
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators.J. Symb. Comput. Bd. 36. H. 6. 2003 S. 891 - 924
Sofronie-Stokkermans, Viorica
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.TABLEAUX. 2002 S. 235 - 250
Sofronie-Stokkermans, Viorica
Representation Theorems and the Semantics of (Semi)Lattice-Based Logics.ISMVL. 2001 S. 125 - 136
Ganzinger, Harald; Sofronie-Stokkermans, Viorica
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics.ISMVL. 2000 S. 337 - 344
Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I.Studia Logica. Bd. 64. H. 1. 2000 S. 93 - 132
Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II.Studia Logica. Bd. 64. H. 2. 2000 S. 151 - 172
Sofronie-Stokkermans, Viorica
On Unification for Bonded Distributive Lattices.CADE. 2000 S. 465 - 481
Sofronie-Stokkermans, Viorica; Stokkermans, Karel
Modeling Interaction by Sheaves and Geometric Logic.FCT. 1999 S. 512 - 523