Viorica Sofronie-Stokkermans

Viorica Sofronie

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Johannes Faber [25]
2Harald Ganzinger [10] [16] [18]
3Carsten Ihlemann [24] [27] [31]
4Swen Jacobs [20] [25] [27] [31]
5Andrey Rybalchenko [23]
6Karel Stokkermans [6]
7Uwe Waldmann [16] [18]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)