The SCEAS System
| |||||||

## Search the dblp DataBase
Viorica Sofronie-Stokkermans:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann
**Modular Proof Systems for Partial Functions with Weak Equality.**[Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:168-182 [Conf] - Viorica Sofronie-Stokkermans
**On Unification for Bonded Distributive Lattices.**[Citation Graph (0, 0)][DBLP] CADE, 2000, pp:465-481 [Conf] - Viorica Sofronie-Stokkermans
**Hierarchic Reasoning in Local Theory Extensions.**[Citation Graph (0, 0)][DBLP] CADE, 2005, pp:219-234 [Conf] - Viorica Sofronie-Stokkermans
**Interpolation in Local Theory Extensions.**[Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:235-250 [Conf] - Viorica Sofronie-Stokkermans
**On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results.**[Citation Graph (0, 0)][DBLP] CADE, 1999, pp:157-171 [Conf] - Viorica Sofronie-Stokkermans
**On Translation of Finitely-Valued Logics to Classical First-Order Logic.**[Citation Graph (0, 0)][DBLP] ECAI, 1998, pp:410-411 [Conf] - Viorica Sofronie-Stokkermans, Karel Stokkermans
**Modeling Interaction by Sheaves and Geometric Logic.**[Citation Graph (0, 0)][DBLP] FCT, 1999, pp:512-523 [Conf] - Viorica Sofronie-Stokkermans
**Resolution-Based Theorem Proving for**[Citation Graph (0, 0)][DBLP]*SH*-Logics._{n} FTP (LNCS Selection), 1998, pp:267-281 [Conf] - Harald Ganzinger, Viorica Sofronie-Stokkermans
**Chaining Techniques for Automated Theorem Proving in Many-Valued Logics.**[Citation Graph (0, 0)][DBLP] ISMVL, 2000, pp:337-344 [Conf] - Viorica Sofronie-Stokkermans
**Representation Theorems and the Semantics of (Semi)Lattice-Based Logics.**[Citation Graph (0, 0)][DBLP] ISMVL, 2001, pp:125-0 [Conf] - Viorica Sofronie-Stokkermans
**Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras.**[Citation Graph (0, 0)][DBLP] ISMVL, 2004, pp:32-37 [Conf] - Viorica Sofronie-Stokkermans
**Representation Theorems and Theorem Proving in Non-Classical Logics.**[Citation Graph (0, 0)][DBLP] ISMVL, 1999, pp:242-247 [Conf] - Viorica Sofronie-Stokkermans
**On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2002, pp:235-250 [Conf] - Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann
**Modular proof systems for partial functions with Evans equality.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:10, pp:1453-1492 [Journal] - Viorica Sofronie-Stokkermans
**Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2003, v:36, n:6, pp:891-924 [Journal] - Viorica Sofronie-Stokkermans
**Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I.**[Citation Graph (0, 0)][DBLP] Studia Logica, 2000, v:64, n:1, pp:93-132 [Journal] - Viorica Sofronie-Stokkermans
**Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II.**[Citation Graph (0, 0)][DBLP] Studia Logica, 2000, v:64, n:2, pp:151-172 [Journal] - Viorica Sofronie-Stokkermans
**Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions.**[Citation Graph (0, 0)][DBLP] FroCos, 2007, pp:47-71 [Conf] - Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans
**Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.**[Citation Graph (0, 0)][DBLP] IFM, 2007, pp:233-252 [Conf] - Viorica Sofronie-Stokkermans
**Automated theorem proving by resolution in non-classical logics.**[Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2007, v:49, n:1-4, pp:221-252 [Journal] - Swen Jacobs, Viorica Sofronie-Stokkermans
**Applications of Hierarchical Reasoning in the Verification of Complex Systems.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:8, pp:39-54 [Journal] - Viorica Sofronie-Stokkermans
**On unification for bounded distributive lattices.**[Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:2, pp:- [Journal] **Locality and subsumption testing in EL and some of its extensions.**[Citation Graph (, )][DBLP]**System Description: H-PILoT.**[Citation Graph (, )][DBLP]**Locality Results for Certain Extensions of Theories with Bridging Functions.**[Citation Graph (, )][DBLP]**On Hierarchical Reasoning in Combinations of Theories.**[Citation Graph (, )][DBLP]**Hierarchical Reasoning for the Verification of Parametric Systems.**[Citation Graph (, )][DBLP]**Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.**[Citation Graph (, )][DBLP]**Locality and Subsumption Testing in EL and Some of its Extensions.**[Citation Graph (, )][DBLP]**Automated Reasoning in Some Local Extensions of Ordered Structures.**[Citation Graph (, )][DBLP]**Efficient Hierarchical Reasoning about Functions over Numerical Domains.**[Citation Graph (, )][DBLP]**On Local Reasoning in Verification.**[Citation Graph (, )][DBLP]**Constraint Solving for Interpolation.**[Citation Graph (, )][DBLP]**Interpolation in local theory extensions**[Citation Graph (, )][DBLP]**Sheaves and geometric logic and applications to the modular verification of complex systems**[Citation Graph (, )][DBLP]**On combinations of local theory extensions**[Citation Graph (, )][DBLP]**Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems.**[Citation Graph (, )][DBLP]
Search in 0.021secs, Finished in 0.022secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |