List of publications

2017

  • Markus Bender, Viorica Sofronie-Stokkermans: "Decision Procedures for Theories of Sets with Measures." Proc. of CADE 2017, LNCS 10395, pages 166-184, Springer 2017.

  • Viorica Sofronie-Stokkermans: "On Interpolation and Symbol Elimination in Theory Extensions."e;<\em>

  • Viorica Sofronie-Stokkermans "Representation theorems and locality for subsumption testing and interpolation in the description logics EL, EL^+ and their extensions with n-ary roles and numerical domains "

    • 2016

  • Viorica Sofronie-Stokkermans: "On Interpolation and Symbol Elimination in Theory Extensions." Proc. of IJCAR 2016, LNCS 9706, pages 273-289, Springer, 2016.

    • 2015

  • Nikolaj Bjørner, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, Christoph Weidenbach: Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). Dagstuhl Reports 5(9): 18-37 (2015)

  • Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans "Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata." Proc. FroCos 2015, LNCS 9322, pp. 186-202, Springer 2015

  • Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans: "On First-Order Model-Based Reasoning." Logic, Rewriting, and Concurrency. LNCS 9200, pp. 181-204, Springer 2015.

  • Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans "Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata." AVACS Technical Report No. 111, SFB/TR 14 AVACS, 2015

    • 2014

  • Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans: Proceedings of ADDCT 2014.

  • Matthias Horbach and Viorica Sofronie-Stokkermans: "Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. " Proceedings of IJCAR 2014, LNCS 8562, pages 192-207, Springer 2014.

  • Viorica Sofronie-Stokkermans: "Hierarchical Reasoning in Local Theory Extensions and Applications. " SYNASC 2014: 34-41, IEEE Computer Society, 2014.

    • 2013

  • Nikolaj Bjørner, Viorica Sofronie-Stokkermans: Special Issue of Selected Extended Papers of CADE-23. J. Autom. Reasoning 51(1): 1-2 (2013)

  • Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans, Ashish Tiwari: Proceedings of ADDCT 2013.

  • Viorica Sofronie-Stokkermans, "On Combinations of Local Theory Extensions". Programming Logics 2013 - Essays in Memory of Harald Ganzinger, LNCS 7797: 392-413.

  • Viorica Sofronie-Stokkermans, "Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems". Proceedings of CADE 24, 360-376, LNAI 7898, pages 360-376, 2013.

  • Matthias Horbach and Viorica Sofronie-Stokkermans, "Obtaining Finite Local Theory Axiomatizations via Saturation". Proceedings of FroCoS 2013, LNCS 8152, pages 198-213, 2013.
    (an extended version appeared as AVACS Technical Report No. 93, SFB/TR 14 AVACS. ISSN: 1860-9821, http://www.avacs.org. Download (.pdf) )

  • Viorica Sofronie-Stokkermans, "Locality and Applications to Subsumption Testing in EL and Some of its Extensions". Sci. Ann. Comp. Sci. 23(2): 251-284 (2013)

    • 2012

  • Nicolas Peltier, Viorica Sofronie-Stokkermans: Special issue on First-order theorem proving. J. Symb. Comput. 47(9): 1009-1010 (2012)

    • 2011

  • Proceedings of CADE 23 (together with Nikolaj Bjørner)
    Automated deduction - CADE 23, LNAI 6803, Springer 2011

  • Proceedings of FroCoS 2011 (together with Cesare Tinelli)
    Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, LNAI 6989, Springer 2011

  • Francis Gasse and Viorica Sofronie-Stokkermans, "Efficient TBox subsumption checking in combinations of EL and (fragments of) FL_0"". Proc. DL 2011.

  • Werner Damm, Carsten Ihlemann and Viorica Sofronie-Stokkermans, "PTIME parametric verification of safety properties for reasonable linear hybrid automata". Mathematics in Computer Science 5(4): 469-497 (2011).

  • Werner Damm, Carsten Ihlemann and Viorica Sofronie-Stokkermans, "Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata". Marco Caccamo, Emilio Frazzoli, Radu Grosu (Eds.): Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, pages 73-82. ACM 2011.

    • 2010

  • Johannes Faber, Carsten Ihlemann, Swen Jacobs and Viorica Sofronie-Stokkermans, "Automatic Verification of Parametric Specifications with Complex Topologies". AVACS Technical Report No. 66, SFB/TR 14 AVACS, August 2010. ISSN: 1860-9821, http://www.avacs.org. Download (.pdf)

  • Johannes Faber, Carsten Ihlemann, Swen Jacobs and Viorica Sofronie-Stokkermans, "Automatic Verification of Parametric Specifications with Complex Topologies". Proceedings of IFM 2010. LNCS 6396, pages 152-167, Springer, 2010.

  • Carsten Ihlemann and Viorica Sofronie-Stokkermans, "On hierarchical reasoning in combinations of theories". AVACS Technical Report No. 60, SFB/TR 14 AVACS, August 2010. ISSN: 1860-9821, http://www.avacs.org. Download (.pdf)

  • Carsten Ihlemann and Viorica Sofronie-Stokkermans, "System description: H-PILoT (version 1.90)". AVACS Technical Report No. 61, SFB/TR 14 AVACS, August 2010. ISSN: 1860-9821, http://www.avacs.org. Download (.pdf)

  • Carsten Ihlemann and Viorica Sofronie-Stokkermans, "On hierarchical reasoning in combinations of theories". Proceedings of IJCAR 2010. LNAI 6173, pages 30-45.

  • Viorica Sofronie-Stokkermans, "Hierarchical reasoning for the verification of parametric systems". Proceedings of IJCAR 2010. LNAI 6173, pages 171-187.

  • Andrey Rybalchenko and Viorica Sofronie-Stokkermans, "Constraint Solving for Interpolation". J. Symb. Comput. 45(11): 1212-1233 (2010).

  • Special issue of the Journal of Symbolic Computation dedicated to ADDCT 2007. Editors: Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans, Ashish Tiwari

  • Viorica Sofronie-Stokkermans, " Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms" In: Interaction versus Automation: The two Faces of Deduction, Schloss Dagstuhl, 2010

  • First Order Theorem Proving 2009: Electronic Proceedings of FTP 2009 (CEUR Workshop Proceedings, Volume 556). Editors: Nicolas Peltier and Viorica Sofronie-Stokkermans, January 2010.

    • 2009

  • Proceedings of FTP 2009 (Research Report 386, University of Oslo, Department of Informatics, 2009). Editors: Nicolas Peltier and Viorica Sofronie-Stokkermans

  • Proceedings of ADDCT 2009 (joint with UNIF'09). Editors: Franz Baader, Silvio Ghilardi, Miki Herrmann, Viorica Sofronie-Stokkermans and Ashish Tiwari (ADDCT) and Chris Lynch and Paliath Narendran (UNIF))

  • 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)

  • Viorica Sofronie-Stokkermans, "Reasoning in complex theories and applications" Lecture at ESSLLI 2009.

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

  • Viorica Sofronie-Stokkermans, "Locality results for certain extensions of theories with bridging functions." Proceedings of CADE 22, LNAI 5663, pages 67-83.

  • Carsten Ihlemann and Viorica Sofronie-Stokkermans, "System Description: H-PILoT." Proceedings of CADE 22, LNAI 5663, pages 131-139.

  • 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).

    • 2008

  • Proceedings of CEDAR 2008. Editors: Franz Baader, Silvio Ghilardi, Miki Herrmann, Ulrike Sattler, Viorica Sofronie-Stokkermans

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

  • 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, "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)

  • 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. Download(.pdf)

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

  • Viorica Sofronie-Stokkermans, "Locality and subsumption testing in EL and some of its extensions" Proceedings of the 21st International Workshop on Description Logics (DL2008). CEUR Workshop Proceedings series. Download(.pdf)

  • 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)

    • 2007

  • Proceedings of ADDCT 2007. Editors: Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans, Ashish Tiwari

  • 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, Carsten Ihlemann, and Swen Jacobs, "Local Theory Extensions, Hierarchical Reasoning and Applications to Verification" In Deduction and Decision Procedures, Dagstuhl Seminar Proceedings, F. Baader, B. Cook, J. Giesl, R. Nieuwenhuis (Eds.) IBFI, Schloss Dagstuhl, Germany, December 2007. Download

  • 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 Române, November 2007.

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

  • 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. Preprint(.pdf).

  • Viorica Sofronie-Stokkermans, "On unification in certain finitely generated varieties of algebras." extended abstract, Proceedings of UNIF 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).

  • 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. Download(.pdf)

  • Viorica Sofronie-Stokkermans and Carsten Ihlemann, "Automated reasoning in some local extensions of ordered structures." Proceedings of ISMVL'07, IEEE Press, paper 1, 2007. Preprint(.pdf).

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

  • 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. 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.

    • 2006

  • 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 "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 "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.

  • 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).

    • 2005

  • 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.

  • Viorica Sofronie-Stokkermans "On reasoning in local theory extensions" Workshop on Programming Logics in memory of Harald Ganzinger (WPLHG 2005). Submission for the proceedings of the workshop:"On combinations of local theory extensions" PDF)

    • 2004

  • 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.

    •

    2003

  • Viorica Sofronie-Stokkermans, "Automated theorem proving by resolution in non-classical logics" Fourth International Conference Journé de l'Informatique Messine -- Knowledge Discovery and Discrete Mathematics (JIM'2003) September 3-6, 2003, Metz , France. 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. Orłowska) Springer-Verlag series Studies in Fuzziness and Soft Computing, pages 59-100 (2003). PostScript, BibTex-Entry.

  • 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/)

    • 2002
  • 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.

    • 2001

  • 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, "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, "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 für Informatik, September 2001, ISSN 0946-011X.

    • 2000

  • 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-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.

  • Luisa Iturrioz, Viorica Sofronie-Stokkermans, "SHn-algebras (Symmetric Heyting algebras of order n)", Atlas of many-valued structures, Tampere University of Technology, Department of Information technology, Mathematics Report 75, 2000.

  • 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.

    • 1999

  • 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. Păun), 31 August - 3 September 1999, Iaşi, LNCS 1684, pages 512-523, Springer Verlag. PostScript, BibTex-Entry.

  • Viorica Sofronie-Stokkermans, "Resolution-based theorem proving for non-classical logics based on distributive lattices with operators", Symposium on Multiple-Valued Logics for Computer Applications, Volume of abstracts of the 11th International Congress of Logic, Methodology and Philosophy of Science (eds. Jacek Cachro and Katarzyna Kijania-Placek), August 1999, Cracow, p.481, 1999.

  • Viorica Sofronie-Stokkermans, "Representation theorems and Automated theorem proving in Varieties of Distributive Lattices with operators (abstract)." Dagstuhl Report No 232, Collection of Abstracts of the Dagstuhl Seminar 99091: Deduction (February 28 - March 5, 1999), pages 19-20.

    • 1998

  • 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, "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-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.

    • 1997

  • 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. Günter Pilz). thesis.pdf, 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, Ovidiu Podisor " On decentralized modeling of production processes", (99 pages), Internal project report, ProFactor Steyr, 1997.

    • 1996

  • 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

  • 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.)

    • 1995

  • 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).

    • 1994

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

    • 1990

  • Mihaela Maliţa, 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.

    • 1989

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

    • 1988

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

    • 1987

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

    • Maintained by Viorica Sofronie-Stokkermans.