The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Viorica Sofronie-Stokkermans: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Viorica Sofronie-Stokkermans
    On Unification for Bonded Distributive Lattices. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:465-481 [Conf]
  3. Viorica Sofronie-Stokkermans
    Hierarchic Reasoning in Local Theory Extensions. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:219-234 [Conf]
  4. Viorica Sofronie-Stokkermans
    Interpolation in Local Theory Extensions. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:235-250 [Conf]
  5. 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]
  6. 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]
  7. Viorica Sofronie-Stokkermans, Karel Stokkermans
    Modeling Interaction by Sheaves and Geometric Logic. [Citation Graph (0, 0)][DBLP]
    FCT, 1999, pp:512-523 [Conf]
  8. Viorica Sofronie-Stokkermans
    Resolution-Based Theorem Proving for SHn-Logics. [Citation Graph (0, 0)][DBLP]
    FTP (LNCS Selection), 1998, pp:267-281 [Conf]
  9. 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]
  10. Viorica Sofronie-Stokkermans
    Representation Theorems and the Semantics of (Semi)Lattice-Based Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2001, pp:125-0 [Conf]
  11. 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]
  12. Viorica Sofronie-Stokkermans
    Representation Theorems and Theorem Proving in Non-Classical Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1999, pp:242-247 [Conf]
  13. Viorica Sofronie-Stokkermans
    On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:235-250 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]

  23. Locality and subsumption testing in EL and some of its extensions. [Citation Graph (, )][DBLP]


  24. System Description: H-PILoT. [Citation Graph (, )][DBLP]


  25. Locality Results for Certain Extensions of Theories with Bridging Functions. [Citation Graph (, )][DBLP]


  26. On Hierarchical Reasoning in Combinations of Theories. [Citation Graph (, )][DBLP]


  27. Hierarchical Reasoning for the Verification of Parametric Systems. [Citation Graph (, )][DBLP]


  28. Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. [Citation Graph (, )][DBLP]


  29. Locality and Subsumption Testing in EL and Some of its Extensions. [Citation Graph (, )][DBLP]


  30. Automated Reasoning in Some Local Extensions of Ordered Structures. [Citation Graph (, )][DBLP]


  31. Efficient Hierarchical Reasoning about Functions over Numerical Domains. [Citation Graph (, )][DBLP]


  32. On Local Reasoning in Verification. [Citation Graph (, )][DBLP]


  33. Constraint Solving for Interpolation. [Citation Graph (, )][DBLP]


  34. Interpolation in local theory extensions [Citation Graph (, )][DBLP]


  35. Sheaves and geometric logic and applications to the modular verification of complex systems [Citation Graph (, )][DBLP]


  36. On combinations of local theory extensions [Citation Graph (, )][DBLP]


  37. Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems. [Citation Graph (, )][DBLP]


Search in 0.287secs, Finished in 0.289secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002