Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 8:23, 19 October 2019

Search the publication database

  . Return

Your search returned the following 35 documents:

  1. Swen Jacobs and Viorica Sofronie-Stokkermans
    Applications of hierarchical reasoning in the verification of complex systems
    Electronic Notes in Theoretical Computer Science , 2007
  2. Viorica Sofronie-Stokkermans
    Automated theorem proving by resolution in non-classic logics
    Discrete Applied Mathematics , 2007. Note: To appear, probably in 2007.

  3. Andrey Rybalchenko and Viorica Sofronie-Stokkermans
    Constraint Solving for Interpolation
    In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), Nice, France, 2007
  4. Viorica Sofronie-Stokkermans
    On unification for bounded distributive lattices
    ACM Transactions on Computational Logic 8 (2), 2007

  5. Swen Jacobs and Viorica Sofronie-Stokkermans
    Applications of hierarchical reasoning in the verification of complex systems
    In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, Seattle, USA, 2006, 15-26
    [PDF: Download: 13_jacobs_sofronie.pdf]
  6. Viorica Sofronie-Stokkermans
    Interpolation in local theory extensions
    In: Proceedings of IJCAR 2006, Seattle, USA, 2006, 235-250
    [PDF: Download: sofronie-ijcar-06.pdf]
  7. Viorica Sofronie-Stokkermans
    Local reasoning in verification
    In: Proceedings of VERIFY'06: Verification Workshop, Seattle, USA, 2006, 128-145
  8. Harald Ganzinger, Viorica Sofronie-Stokkermans, and Uwe Waldmann
    Modular Proof Systems for Partial Functions with Evans Equality
    Information and Computation 204 (10): 1453-1492, 2006
  9. Viorica Sofronie-Stokkermans
    Sheaves and geometric logic in concurrency
    In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), Bonn, Germany, 2006
  10. Viorica Sofronie-Stokkermans
    Hierarchic reasoning in local theory extensions
    In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, 2005, 219-234
    [PDF: Download: sofronie-cade-2005.pdf]
  11. Viorica Sofronie-Stokkermans
    Algebraic and logical methods in automated theorem proving and in the study of concurrency
    Habilitation thesis, Universit├Ąt des Saarlandes, 2004. Note: cumulative habilitation, no publication.
  12. Harald Ganzinger, Viorica Sofronie-Stokkermans, and Uwe Waldmann
    Modular Proof Systems for Partial Functions with Weak Equality
    In: Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, 2004, 168-182
  13. Viorica Sofronie-Stokkermans
    Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras
    In: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), Toronto, Canada, May 19-22, 2004, 2004, 32-37
  14. Viorica Sofronie-Stokkermans
    Automated theorem proving by resolution in non-classical logics
    In: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), Metz, France, September 3-6, 2003, 2003, 151-167. Note: Invited paper
    [PS: Download: jim-03-sofronie.ps.gz]
  15. Viorica Sofronie-Stokkermans
    Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
    In: Beyond Two: Theory and Applications of Multiple Valued Logic, 2003, 59-100
    [PS: Download: mvl-book-02.ps]
  16. Viorica Sofronie-Stokkermans
    Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
    Journal of Symbolic Computation 36 (6): 891-924, 2003

  17. Viorica Sofronie-Stokkermans
    On uniform word problems involving bridging operators on distributive lattices
    In: Automated Reasoning with Analytic and Related Methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, 2002, 235-250
    [PDF: Download: tableaux-2002.pdf]
  18. Viorica Sofronie-Stokkermans
    Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
    Multiple-Valued Logic - An International Journal 6 (3/4): 289-344, 2001

  19. Viorica Sofronie-Stokkermans
    Representation theorems and the semantics of (semi)lattice-based logics
    In: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics, Warsaw, Poland, May, 22-24, 2001, 125-134
  20. Harald Ganzinger and Viorica Sofronie-Stokkermans
    Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
    In: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00), Portland, Oregon, May, 23 - 25, 2000, 337-344
    [PS: Download: _00ISMVL_ps.gz]
  21. Viorica Sofronie-Stokkermans
    Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
    Studia Logica 64 (2): 151-172, 2000

  22. Viorica Sofronie-Stokkermans
    Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part I
    Studia Logica 64 (1): 93-132, 2000

  23. Viorica Sofronie-Stokkermans
    On unification for bounded distributive lattices
    In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), Pittsburgh, Pennsylvania, USA, June 17-20, 2000, 465-481
    [PS: Download: sofronie-cade2000.ps]
  24. Viorica Sofronie-Stokkermans
    Priestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics
    Multiple-Valued Logic - An International Journal 5 (4): 281-305, 2000

  25. Viorica Sofronie-Stokkermans
    Resolution-based theorem proving for SHn-logics
    In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), Vienna, Austria, November, 23 - 25, 1998, 2000, 268-282. Note: %Extended version of [Sofronie1998b].
    [PDF: Download: ftp98-lncs-selection.pdf]
  26. Viorica Sofronie-Stokkermans
    Some properties of Kleene algebras
    In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 2000, 1-7
  27. Luisa Iturrioz and Viorica Sofronie-Stokkermans
    SHn-algebras (Symmetric Heyting algebras of order n)
    In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 2000, 1-11
  28. Viorica Sofronie-Stokkermans and Karel Stokkermans
    Modeling Interaction by Sheaves and Geometric Logic
    In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), Iasi, Romania, August, 31 - September, 3 1999, 1999, 512-523
    [PS: Download: sofronie-stokkermans-fct-1999.ps.gz]
  29. Viorica Sofronie-Stokkermans
    On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
    In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, July 7-10, 1999, 1999, 157-171
    [PDF: Download: cade-99.pdf]
  30. Viorica Sofronie-Stokkermans
    Priestley representation for distributive lattices with operators and applications to automated theorem proving
    In: Dualities, Interpretability and Ordered Structures, Lisbon, Portugal, September, 26-27, 1997, 1999, 43-54
  31. Viorica Sofronie-Stokkermans
    Representation Theorems and Automated Theorem Proving in Non-Classical Logics
    In: Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99), Freiburg im Breisgau, Germany, May 20-22, 1999, 1999, 242-247
  32. Viorica Sofronie-Stokkermans
    Resolution-based theorem proving for non-classical logics based on distributive lattices with operators
    In: Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts, Cracow, Poland, August, 20-26, 1999, 481-481
  33. Viorica Sofronie-Stokkermans
    On Translation of Finitely-Valued Logics to Classical First-Order Logic
    In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), Brighton, UK, August 23-28, 1998, 1998, 410-411
  34. Viorica Sofronie-Stokkermans
    Representation Theorems and Automated Theorem Proving in Certain Classes of Non-Classical Logics
    In: Proceedings of the Workshop on Many-Valued Logic for AI Applications (ECAI-98), Brighton, UK, August 23-28., 1998
  35. Viorica Sofronie-Stokkermans
    Resolution-based Theorem Proving for SHn-Logics
    Technische Universit├Ąt Wien, Vienna, E1852-GS-981, Technical Report. Note: an extended version will appear in LNCS (subseries LNAI); Proceedings of FTP'98
    [PDF: Download: ftp-98.pdf]