| 2009 |
|---|
| 35 | EE | Viorica Sofronie-Stokkermans:
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems.
Electr. Notes Theor. Comput. Sci. 230: 161-187 (2009) |
| 2008 |
|---|
| 34 | EE | Viorica Sofronie-Stokkermans:
Locality and subsumption testing in EL and some of its extensions.
Advances in Modal Logic 2008: 315-339 |
| 33 | EE | Viorica Sofronie-Stokkermans:
Locality and Subsumption Testing in EL and Some of its Extensions.
Description Logics 2008 |
| 32 | EE | Viorica Sofronie-Stokkermans:
Efficient Hierarchical Reasoning about Functions over Numerical Domains.
KI 2008: 135-143 |
| 31 | EE | Carsten Ihlemann,
Swen Jacobs,
Viorica Sofronie-Stokkermans:
On Local Reasoning in Verification.
TACAS 2008: 265-281 |
| 30 | EE | Viorica Sofronie-Stokkermans:
Interpolation in local theory extensions
CoRR abs/0806.4553: (2008) |
| 29 | EE | Viorica Sofronie-Stokkermans:
On combinations of local theory extensions
CoRR abs/0810.2653: (2008) |
| 28 | EE | Viorica Sofronie-Stokkermans:
Sheaves and geometric logic and applications to the modular verification of complex systems
CoRR abs/0810.2877: (2008) |
| 2007 |
|---|
| 27 | EE | Viorica Sofronie-Stokkermans,
Carsten Ihlemann,
Swen Jacobs:
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.
Deduction and Decision Procedures 2007 |
| 26 | EE | Viorica Sofronie-Stokkermans:
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions.
FroCos 2007: 47-71 |
| 25 | EE | Johannes Faber,
Swen Jacobs,
Viorica Sofronie-Stokkermans:
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.
IFM 2007: 233-252 |
| 24 | EE | Viorica Sofronie-Stokkermans,
Carsten Ihlemann:
Automated Reasoning in Some Local Extensions of Ordered Structures.
ISMVL 2007: 1 |
| 23 | EE | Andrey Rybalchenko,
Viorica Sofronie-Stokkermans:
Constraint Solving for Interpolation.
VMCAI 2007: 346-362 |
| 22 | EE | Viorica Sofronie-Stokkermans:
On unification for bounded distributive lattices.
ACM Trans. Comput. Log. 8(2): (2007) |
| 21 | EE | Viorica Sofronie-Stokkermans:
Automated theorem proving by resolution in non-classical logics.
Ann. Math. Artif. Intell. 49(1-4): 221-252 (2007) |
| 20 | EE | Swen Jacobs,
Viorica Sofronie-Stokkermans:
Applications of Hierarchical Reasoning in the Verification of Complex Systems.
Electr. Notes Theor. Comput. Sci. 174(8): 39-54 (2007) |
| 2006 |
|---|
| 19 | EE | Viorica Sofronie-Stokkermans:
Interpolation in Local Theory Extensions.
IJCAR 2006: 235-250 |
| 18 | EE | Harald Ganzinger,
Viorica Sofronie-Stokkermans,
Uwe Waldmann:
Modular proof systems for partial functions with Evans equality.
Inf. Comput. 204(10): 1453-1492 (2006) |
| 2005 |
|---|
| 17 | EE | Viorica Sofronie-Stokkermans:
Hierarchic Reasoning in Local Theory Extensions.
CADE 2005: 219-234 |
| 2004 |
|---|
| 16 | EE | Harald Ganzinger,
Viorica Sofronie-Stokkermans,
Uwe Waldmann:
Modular Proof Systems for Partial Functions with Weak Equality.
IJCAR 2004: 168-182 |
| 15 | EE | Viorica Sofronie-Stokkermans:
Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras.
ISMVL 2004: 32-37 |
| 2003 |
|---|
| 14 | EE | Viorica Sofronie-Stokkermans:
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators.
J. Symb. Comput. 36(6): 891-924 (2003) |
| 2002 |
|---|
| 13 | EE | Viorica Sofronie-Stokkermans:
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.
TABLEAUX 2002: 235-250 |
| 2001 |
|---|
| 12 | | Viorica Sofronie-Stokkermans:
Representation Theorems and the Semantics of (Semi)Lattice-Based Logics.
ISMVL 2001: 125- |
| 2000 |
|---|
| 11 | | Viorica Sofronie-Stokkermans:
On Unification for Bonded Distributive Lattices.
CADE 2000: 465-481 |
| 10 | EE | Harald Ganzinger,
Viorica Sofronie-Stokkermans:
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics.
ISMVL 2000: 337-344 |
| 9 | | Viorica Sofronie-Stokkermans:
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I.
Studia Logica 64(1): 93-132 (2000) |
| 8 | | Viorica Sofronie-Stokkermans:
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II.
Studia Logica 64(2): 151-172 (2000) |
| 1999 |
|---|
| 7 | EE | Viorica Sofronie-Stokkermans:
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results.
CADE 1999: 157-171 |
| 6 | EE | Viorica Sofronie-Stokkermans,
Karel Stokkermans:
Modeling Interaction by Sheaves and Geometric Logic.
FCT 1999: 512-523 |
| 5 | EE | Viorica Sofronie-Stokkermans:
Representation Theorems and Theorem Proving in Non-Classical Logics.
ISMVL 1999: 242-247 |
| 1998 |
|---|
| 4 | | Viorica Sofronie-Stokkermans:
On Translation of Finitely-Valued Logics to Classical First-Order Logic.
ECAI 1998: 410-411 |
| 3 | EE | Viorica Sofronie-Stokkermans:
Resolution-Based Theorem Proving for SHn-Logics.
FTP (LNCS Selection) 1998: 267-281 |
| 1996 |
|---|
| 2 | | Viorica Sofronie:
Towards a Sheaf Semantics for Cooperating Agents Scenarios.
AISMC 1996: 289-304 |
| 1989 |
|---|
| 1 | | Viorica Sofronie:
Formula-handling computer solution of Boolean equations, I. Ring equations.
Bulletin of the EATCS 37: 181-185 (1989) |
