Viorica Sofronie
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 38 |      | Carsten Ihlemann, Viorica Sofronie-Stokkermans: System Description: H-PILoT. CADE 2009: 131-139 |
| 37 | | Viorica Sofronie-Stokkermans: Locality Results for Certain Extensions of Theories with Bridging Functions. CADE 2009: 67-83 |
| 36 | | 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 | ||
| 35 | | Viorica Sofronie-Stokkermans: Locality and subsumption testing in EL and some of its extensions. Advances in Modal Logic 2008: 315-339 |
| 34 | | Viorica Sofronie-Stokkermans: Locality and Subsumption Testing in EL and Some of its Extensions. Description Logics 2008 |
| 33 | | Viorica Sofronie-Stokkermans: Efficient Hierarchical Reasoning about Functions over Numerical Domains. KI 2008: 135-143 |
| 32 | | Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans: On Local Reasoning in Verification. TACAS 2008: 265-281 |
| 31 | | Viorica Sofronie-Stokkermans: Interpolation in local theory extensions CoRR abs/0806.4553: (2008) |
| 30 | | Viorica Sofronie-Stokkermans: On combinations of local theory extensions CoRR abs/0810.2653: (2008) |
| 29 | | Viorica Sofronie-Stokkermans: Sheaves and geometric logic and applications to the modular verification of complex systems CoRR abs/0810.2877: (2008) |
| 28 | | Viorica Sofronie-Stokkermans: Interpolation in Local Theory Extensions. Logical Methods in Computer Science 4(4): (2008) |
| 2007 | ||
| 27 | | Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs: Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. Deduction and Decision Procedures 2007 |
| 26 | | Viorica Sofronie-Stokkermans: Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions. FroCos 2007: 47-71 |
| 25 | | Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans: Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. IFM 2007: 233-252 |
| 24 | | Viorica Sofronie-Stokkermans, Carsten Ihlemann: Automated Reasoning in Some Local Extensions of Ordered Structures. ISMVL 2007: 1 |
| 23 | | Andrey Rybalchenko, Viorica Sofronie-Stokkermans: Constraint Solving for Interpolation. VMCAI 2007: 346-362 |
| 22 | | Viorica Sofronie-Stokkermans: On unification for bounded distributive lattices. ACM Trans. Comput. Log. 8(2): (2007) |
| 21 | | Viorica Sofronie-Stokkermans: Automated theorem proving by resolution in non-classical logics. Ann. Math. Artif. Intell. 49(1-4): 221-252 (2007) |
| 20 | | 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 | | Viorica Sofronie-Stokkermans: Interpolation in Local Theory Extensions. IJCAR 2006: 235-250 |
| 18 | | 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 | | Viorica Sofronie-Stokkermans: Hierarchic Reasoning in Local Theory Extensions. CADE 2005: 219-234 |
| 2004 | ||
| 16 | | Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann: Modular Proof Systems for Partial Functions with Weak Equality. IJCAR 2004: 168-182 |
| 15 | | Viorica Sofronie-Stokkermans: Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras. ISMVL 2004: 32-37 |
| 2003 | ||
| 14 | | 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 | | 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 | | 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 | | Viorica Sofronie-Stokkermans: On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results. CADE 1999: 157-171 |
| 6 | | Viorica Sofronie-Stokkermans, Karel Stokkermans: Modeling Interaction by Sheaves and Geometric Logic. FCT 1999: 512-523 |
| 5 | | 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 | | 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) |
| 1 | Johannes Faber | [25] |
| 2 | Harald Ganzinger | [10] [16] [18] |
| 3 | Carsten Ihlemann | [24] [27] [32] [38] |
| 4 | Swen Jacobs | [20] [25] [27] [32] |
| 5 | Andrey Rybalchenko | [23] |
| 6 | Karel Stokkermans | [6] |
| 7 | Uwe Waldmann | [16] [18] |