Viorica Sofronie-Stokkermans,
*"Fibered Structures and Applications to
Automated Theorem Proving in Certain Classes of Finitely-Valued Logics
and to Modeling Interacting Systems*",
PhD Thesis, RISC Linz,
Johannes Kepler University,
Linz, Austria, 1997 (advisor: Prof. Jochen Pfalzgraf;
referees: Prof. Jochen Pfalzgraf and Prof. Gnter Pilz).
PostScript (gzipped),
BibTex-Entry.

Viorica Sofronie,
*"Modal Algebras and Rewriting Algorithms*",
Specialization Thesis, University of Bucharest, 1988 (supervisor: Prof. Mircea
Malita).
Abstract,
BibTex-Entry.

Viorica Sofronie,
*"Automated Theorem Proving. The Knuth-Bendix algorithm and some extensions*", Diploma Thesis, University of Bucharest, 1987 (supervisor: Prof. Mircea
Malita).
Abstract,
BibTex-Entry.

F. Baader, S. Ghilardi, M. Hermann, U. Sattler, V. Sofronie-Stokkermans.
*"Proceedings of CEDAR 2008.*"

S. Ghilardi, U. Sattler, V. Sofronie-Stokkermans and A. Tiwari.
Special issue of the Journal of Symbolic Computation

JSC Vol.45 Nr.2 (February 2010)

Proceedings of ADDCT 2009 (joint with UNIF'09)

Proceedings of FTP 2009 (Research Report 386, University of Oslo, Department of Informatics, 2009)

Special issue of the Journal of Symbolic Computation:

First Order Theorem Proving (in preparation)
CFP

Andrey Rybalchenko and Viorica Sofronie-Stokkermans,
*"Constraint Solving for Interpolation.*"
Journal of Symbolic Computation. To appear.

Viorica Sofronie-Stokkermans,
*"Sheaves and geometric logic and applications to modular verification of complex systems.*"
Electronic Notes in Theoretical Computer Science, Volume 230, 24 March 2009, Pages 161-187. Preprint(.pdf).

Viorica Sofronie-Stokkermans,
*"Locality and subsumption testing in EL and some of its extensions *" Proceedings of AiML 2008. Preprint(.pdf).

Viorica Sofronie-Stokkermans,
*"Interpolation in local theory extensions *"
Logical Methods in Computer Science (Special issue dedicated to IJCAR 2006). 2008.

Viorica Sofronie-Stokkermans,
*"Algebraic and logical methods in computer science:
some aspects*"
In the book "Grigore C. Moisil and his followers", invited contribution,
pages 488--493, Editura Academiei Romane, November 2007.

Viorica Sofronie-Stokkermans and Carsten Ihlemann, "Automated reasoning in some local extensions of ordered structures", Journal of Multiple-Valued Logics and Soft Computing (Special issue dedicated to ISMVL'07), 13(4-6), 397-414, 2007

Swen Jacobs, Viorica Sofronie-Stokkermans,
*" Applications of hierarchical reasoning in the verification of complex systems.*" Electronic Notes in Theoretical Computer Sciences 174/8
(Special issue dedicated to PDPAR'06), pages 39-54, 2007.

Viorica Sofronie-Stokkermans,
*"Automated theorem proving by resolution in non-classical logics*" Annals of Mathematics and Artificial Intelligence
(Special issue
"Knowledge Discovery and Discrete Mathematics: Dedicated to
the memory of Peter L. Hammer"), 49 (1-4): 221-252, April 2007
Preprint(.pdf).

Viorica Sofronie-Stokkermans,
*"On unification for bounded distributive lattices*"
ACM Transactions on Computational Logic, 8(2), Article Nr. 12, 2007.

PostScript (ACM TOCL website)
PostScript (own version)
BibTex-Entry.

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.

Preprint (.pdf).
BibTex-Entry.

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
PostScript (gzipped),
BibTex-Entry.

Viorica Sofronie-Stokkermans,
*"Representation theorems and the semantics of
non-classical logics, and applications to automated theorem proving*"
to appear in *"Theory and Applications of Multiple-Valued Logic*" (eds. M. Fitting and E. Orlowska)
Springer-Verlag series Studies in Fuzziness and Soft Computing, pages 59-100 (2003).
PostScript,
BibTex-Entry.

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, 289-344 (2001)
PostScript (gzipped),
BibTex-Entry.

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)
Abstract
on the Kluwer Academic Publishers Home page
(a .pdf file is also available from that page);
preliminary version
(PostScript (gzipped));
BibTex-Entry.

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)
Abstract
on the Kluwer Academic Publishers Home page
(a .pdf file is also available on that page);
preliminary version
(PostScript (gzipped));
BibTex-Entry.

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)
PostScript file;
BibTex-Entry.

Viorica Sofronie,
*"Formula-handling Computer Solution of Boolean Equations. I. Ring Equations*",
Bull. of the EATCS 37, 181-186, (1989).

Viorica Sofronie-Stokkermans,
*"Hierarchical and modular reasoning in complex theories*" Tutorial at CADE 2009.

Viorica Sofronie-Stokkermans,
*"Reasoning in complex theories and applications*" Tutorial at KI 2008.

Viorica Sofronie-Stokkermans,
*"Automated theorem proving by resolution in non-classical logics.*" Fourth International Conference
Journes de l'Informatique Messine -- Knowledge Discovery
and Discrete Mathematics (JIM'2003)
September 3-6, 2003, Metz , France.
Pdf,
BibTex-Entry.

Viorica Sofronie-Stokkermans,
*"Representation theorems and the semantics of (semi)lattice based
logics.*" Proceedings of the 31th ISMVL, May 21-23, 2001, Warsaw,
Poland, IEEE Computer Society Press, pages 125-134.
BibTex-Entry.

Viorica Sofronie-Stokkermans,
*"Hierarchical reasoning for the verification of parametric systems.*" IJCAR 2010. To appear.
Viorica Sofronie-Stokkermans,
*"Locality results for certain extensions of theories with bridging functions.*"
Proceedings of CADE 22, To appear.

Carsten Ihlemann and Viorica Sofronie-Stokkermans,
*"System Description: H-PILoT.*"
Proceedings of CADE 22, To appear.

Viorica Sofronie-Stokkermans,
*"Efficient hierarchical reasoning about functions over numerical domains *" KI 2008: Advances in Artificial Intelligence, LNAI 5243, pages 135-143. Extended version(.pdf)

Viorica Sofronie-Stokkermans,
*"Locality and subsumption testing in EL and some of its extensions *" Proceedings of AiML 2008. Preprint(.pdf).

Carsten Ihlemann, Swen Jacobs, and Viorica Sofronie-Stokkermans,
*"On local reasoning in verification*"
Proceedings of TACAS'08, LNCS 4963, pages 265-281, Springer 2008.
Pdf

Johannes Faber, Swen Jacobs, and Viorica Sofronie-Stokkermans,
*"Verifying CSP-OZ-DC specifications with complex data types and timing parameters.*"
In Proceedings of IFM 2007: Integrated Formal Methods, LNCS 4591, pages 233-252, Springer, 2007.

Viorica Sofronie-Stokkermans and Carsten Ihlemann,
*"Automated reasoning in some local extensions of ordered structures*" Proceedings of ISMVL'07, IEEE Press, Article 1, 2007.

Andrey Rybalchenko and Viorica Sofronie-Stokkermans,
*"Constraint Solving for Interpolation*"
VMCAI'2007: Verification, Model Checking,
and Abstract Interpretation, LNCS 4349, pages 346-362. 2007.

Viorica Sofronie-Stokkermans
*"Interpolation in local theory extensions*" Proceedings of IJCAR 2006, Eds. U. Furbach, N. Shankar, LNAI 4130, pages 235-250, Springer Verlag, 2006.
PostScript,
PDF.

Viorica Sofronie-Stokkermans
*"Hierarchic reasoning in local theory extensions*" Proceedings of the 20th International Conference on Automated Deduction (CADE 2005),
LNAI 3632, Ed. R. Nieuwenhuis, pages 219-234, Springer Verlag, 2005.
PostScript,
BibTex-Entry.

Harald Ganzinger, Viorica Sofronie-Stokkermans, and Uwe Waldmann,
*"Modular Proof Systems for Partial Functions with Weak Equality*" Proceedings of IJCAR'2004, LNAI 3097, (Eds.) D. Basin, M. Rusinowitch,
pages 168-182, Springer Verlag, 2004.
PartialFun-bibl.html
BibTex-Entry.

Viorica Sofronie-Stokkermans,
*"Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras*" Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), Toronto, Canada,
pages 32-37. IEEE Computer Society Press, Los Alamitos, 2004.
PostScript (gzipped),
BibTex-Entry.

Viorica Sofronie-Stokkermans,
*"On uniform word problems involving bridging operators on
distributive lattices*" Proceedings of TABLEAUX 2002, July 2002,
Copenhagen, LNAI 2381, pages 235-250, Springer Verlag, 2002.
Pdf,
BibTex-Entry.

Viorica Sofronie-Stokkermans,
*"On unification in bounded distributive lattices*"
Proceedings of CADE-17 (ed. D. McAllester), June 2000, Pittsburgh,
LNCS 1831 (LNAI), pages 465-481, 2000, Springer Verlag.
PostScript,
BibTex-Entry

Harald Ganzinger, Viorica Sofronie-Stokkermans,
*"Chaining techniques for automated theorem proving in finitely-valued
logics*"
Proceedings of the 30th ISMVL, May 23-25, 2000, Portland, Oregon,
pages 337-344, IEEE Computer Society Press, Los Alamitos, 2000.
PostScript (gzipped),
BibTex-Entry,

Viorica Sofronie-Stokkermans,
*"Resolution-based Theorem Proving for SHn-Logics*"
Automated Deduction in Classical and Non-Classical Logics (eds.
Caferra, R. and Salzer, G.), LNCS 1761 (LNAI), pages 268--282, 2000,
Springer Verlag.
PostScript,
BibTex-Entry.

Viorica Sofronie-Stokkermans,
*"Representation Theorems and Automated Theorem Proving in
Non-Classical Logics*", Proceedings of ISMVL-99, May 1999, Freiburg,
pages 242-247, IEEE Computer Society Press.
PostScript,
BibTex-Entry.

Viorica Sofronie-Stokkermans,
*"On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results*", Proceedings of CADE-16 (ed. H. Ganzinger), July 1999, Trento, LNCS 1632, pages 157-171,
Springer Verlag.
PostScript,
BibTex-Entry.

Viorica Sofronie-Stokkermans, Karel Stokkermans,
*"Modeling Interaction by Sheaves and Geometric Logic*",
Proceedings of FCT'99 (eds. G. Ciobanu and Gh. Paun), 31 August - 3 September 1999, Iasi, LNCS 1684, pages 512-523, Springer Verlag.
PostScript,
BibTex-Entry.

Viorica Sofronie-Stokkermans,
*"Priestley representation for distributive
lattices with operators and applications to automated theorem proving
*",
Proceedings of the Workshop on Dualities, Interpretability and
Ordered Structures, Lisbon, September 26-27, 1997,
(J. V. de Carvalho and I. Ferreirim eds.)
Centro de Algebra da Universidade de Lisboa, May 1999, pages 43-54.

Viorica Sofronie-Stokkermans,
*"On Translation of Finitely-Valued Logics to
Classical First-Order Logic
*", Proceedings of the 13th European Conference on
Artificial Intelligence (ed. H. Prade), August 1998, Brighton, pages 410-411.
BibTex-Entry.

Viorica Sofronie,
*"Towards a Sheaf Semantics for Cooperating Agents Scenarios
*",
AISMC-3, Steyr, September 1996, LNCS 1138, pages 289-304, Springer Verlag,
1996.
PostScript,
BibTex-Entry.

Jochen Pfalzgraf, Viorica Sofronie, Karel Stokkermans,
*"On a Semantics for Cooperative Agents Scenarios*",
in Cybernetics and Systems '96,
Volume 1 (ed. Trappl, R.), Proceedings of the Thirteenth European
Meeting on Cybernetics and Systems Research, April 1996, Vienna, pages
201-206, Austrian Society for Cybernetic Studies. (Also as RISC
Technical Report 96-6.)
BibTex-Entry

Viorica Sofronie-Stokkermans,
*"Local Theory Extensions, Hierarchical Reasoning and Applications to Verification*" (Abstract)
Dagstuhl Seminar Proceedings 07401: Deduction and Decision Procedures
(30.09. - 05.10.2007), F. Baader, B. Cook, J. Giesl, R. Nieuwenhuis (Eds.)
Abstract collection, page 16-17.

Viorica Sofronie-Stokkermans
*" On properties of local theory extensions: hierarchical and
modular reasoning, interpolation (abstract).*"
Dagstuhl Seminar Proceedings 05431: Deduction and Applications
(23.10. - 28.10.2005), F. Baader, P. Baumgartner, R. Nieuwenhuis,
A. Voronkov (Eds.) Abstract collection, page 19.

Viorica Sofronie-Stokkermans,
*"Hierarchical and modular reasoning in complex theories: The case of local theory extensions.*" Proceedings of FTP 2007 (invited paper
for invited talk at joint session of FroCos 2007 and FTP 2007). Download(.pdf)

Viorica Sofronie-Stokkermans,
*"Automatisches Beweisen in komplexen Theorien.*"
In: MPG Jahrbuch, 2006. Download(.pdf)

Viorica Sofronie-Stokkermans,
*"Distributive lattices with operators: resolution-based decision procedures and applications to knowledge representation*"
Conference on Lattices, Universal Algebra and Applications
May 28-30, 2003, Lisbon (abstract available at:
http://atlas-conferences.com/cgi-bin/abstract/cajs-21/)

Viorica Sofronie-Stokkermans, Carsten Ihlemann, and Swen Jacobs,
*"Local Theory Extensions, Hierarchical Reasoning and Applications to Verification*"
Dagstuhl Seminar Proceedings 07401: Deduction and Decision Procedures
(30.09. - 05.10.2007), F. Baader, B. Cook, J. Giesl, R. Nieuwenhuis (Eds.)

Viorica Sofronie-Stokkermans
*" On unification in certain finitely generated varieties of algebras.*"
extended abstract, Proceedings of
UNIF 2007.

Swen Jacobs, Viorica Sofronie-Stokkermans
*" Applications of hierarchical reasoning in the verification of complex systems.*" Proceedings of the Fourth International Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR'06), pages 15-26,
2006.
PDF.

Viorica Sofronie-Stokkermans
*" Local reasoning in verification.*"
Proceedings of the Verification Workshop VERIFY'06, pages 128-145, 2006.
PDF.

Viorica Sofronie-Stokkermans
*" Sheaves and geometric logic in concurrency.*"
Proceedings of the Eighth Workshop on
Geometric and Topological Methods in Concurrency (GETCO 2006), 2006.

Viorica Sofronie-Stokkermans,
*"Resolution-based Theorem Proving for SHn-Logics*"
Proceedings of FTP'98, Vienna, November 23-25, 1998;
Technical Report E1852-GS-981, pages 224-233, Technische Univ. Wien.

Viorica Sofronie-Stokkermans,
*"Representation Theorems and Automated Theorem Proving
in Certain Classes of Non-Classical Logics
*", Proceedings of the ECAI-98
Workshop on Many-Valued Logic for AI Applications.

Jochen Pfalzgraf, Viorica Sofronie, Karel Stokkermans,
*"A Fibered
Approach to Modeling Space-Time Dependent Cooperating Agents Scenarios
*",
FAPR'96, Workshop "Reasoning about
Actions and Planning in Complex Environments", Bonn, June 1996.
(Also as RISC Technical Report 96-18.)

Viorica Sofronie-Stokkermans,
*"Some Properties of Kleene Algebras *"
Atlas of many-valued structures, Tampere University of Technology, Department
of Information technology, Mathematics Report 75, 2000.

Mihaela Malita, Viorica Sofronie,
*"Collection of problems and the way to solve them in LISP*",
written material for a course in LISP currently used at the
University of Bucharest, 1990.

Viorica Sofronie,
*"Parallel Algorithms for Robot Kinematics*", Technical
Report in the frames of the project PARAGRAPH (May, 1994).

Jochen Pfalzgraf, Viorica Sofronie,
*"Decomposing Many-valued Logics: An Experimental Case Study*",
RISC-Linz Report Series 95-44, J. Kepler University, Linz (1995).

Jochen Pfalzgraf, Ute Cornelia SIGMUND, Viorica Sofronie, Karel Stokkermans,
*"MEDLAR II: Third Year Deliverable Tasks V.2:
Towards a Cooperating Robots Demonstrator*",
RISC-Linz Report Series 95-49,
J. Kepler University, Linz (1995).

Jochen Pfalzgraf, Viorica Sofronie, Karel Stokkermans,
*"On a Semantics for Cooperative Agents Scenarios
*",
in Cybernetics and Systems '96,
Volume 1 (ed. Trappl, R.), Proceedings of the Thirteenth European
Meeting on Cybernetics and Systems Research, April 1996, Vienna, pages
201-206, Austrian Society for Cybernetic Studies. (Also as RISC
Technical Report 96-6.)

Jochen Pfalzgraf, Viorica Sofronie, Karel Stokkermans,
*"A Fibered
Approach to Modeling Space-Time Dependent Cooperating Agents Scenarios
*", accepted for FAPR'96 (Workshop "Reasoning about
Actions and Planning in Complex Environments"). RISC-Linz Report
Series 96-18, J. Kepler University, Linz (1996).

Viorica Sofronie-Stokkermans,
*"Fibered Structures and Applications to
Automated Theorem Proving in Certain Classes of Finitely-Valued Logics
and to Modeling Interacting Systems*", RISC-Linz Report
Series 97-16, J. Kepler University, Linz (1997).

Viorica Sofronie-Stokkermans, Ovidiu Podisor
*" On decentralized modeling of production processes*",
(99 pages), Internal project report, ProFactor Steyr, 1997.

Viorica Sofronie-Stokkermans,
*"Resolution-based decision procedures for the universal theory of some classes of distributive lattices with
operators*", Research Report MPI-I-2001-2-005,
Max-Planck-Institut fr Informatik, September 2001, ISSN 0946-011X.

Viorica Sofronie-Stokkermans,
*"Sheaves and geometric logic and applications to modular verification of complex systems.*" AVACS Technical Report No. 46, SFB/TR 14 AVACS, December 2008. ISSN: 1860-9821, http://www.avacs.org. Download (.pdf)

Viorica Sofronie-Stokkermans,
*"Efficient hierarchical reasoning about functions over numerical domains *" AVACS Technical Report No. 45, SFB/TR 14 AVACS, December 2008. ISSN: 1860-9821, http://www.avacs.org. Download (.pdf)

Andrey Rybalchenko and Viorica Sofronie-Stokkermans,
*"Constraint Solving for Interpolation.*"
AVACS Technical Report No. 56, SFB/TR 14 AVACS, September 2009. ISSN: 1860-9821, http://www.avacs.org. Download (.pdf)

Maintained by Viorica Sofronie-Stokkermans.