Publications

More information can be found in the DBLP or here

2020 2019 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000,
1999, 1998, 1997, 1996, 1995 and before,



2020

Proceedings

Nicolas Peltier and Viorica Sofronie-Stokkermans:

Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12166, Springer 2020

Nicolas Peltier and Viorica Sofronie-Stokkermans:

Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12167, Springer 2020

Journal papers

Viorica Sofronie-Stokkermans:

Parametric Systems: Verification and Synthesis, Fundamenta Informaticae 173(2-3):91-138, 2020.


Conference papers

Dennis Peuter, Viorica Sofronie-Stokkermans: Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+. Description Logics 2020

Jandson S. Ribeiro, Viorica Sofronie-Stokkermans, Matthias Thimm Measuring Disagreement with Interpolants. SUM 2020: 84-97





2019

Conference papers

Dennis Peuter, Viorica Sofronie-Stokkermans: On Invariant Synthesis for Parametric Systems. Proc. CADE 2019, LNCS 11716, pp. 385-405, Springer 2019.

BSc Theses

Matthias Becker: "Implementierung und Verifikation von Sicherheitseigenschaften autonomen Fahrens mit Lego Mindstorms", 2019

Fabian Bell: "Comparison of approaches for interpolant generation", 2019

Kevin Weirauch: "Automatische Beweise in der Mengenlehre und deren Anwendungen in Mathematik und Verifikation", 2019


2018

Journal papers

Viorica Sofronie-Stokkermans:
On Interpolation and Symbol Elimination in Theory Extensions. Logical Methods in Computer Science 14(3) (2018)


Conference papers

Dennis Peuter, Viorica Sofronie-Stokkermans: On Inductive Verification and Synthesis.

LuxLogAI (Student / Workshop Papers) 2018: 1-8

BSc Theses

Julius Wild: "Visualization of Scenarios for autonomous driving"

Jamal Drossard: "Automated proving of topological theorems using encodings in modal logics",

2017

Editor

Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, Cesare Tinelli:

Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371).

Dagstuhl Reports 7(9): 26-46 (2017)

Journal papersViorica Sofronie-Stokkermans:
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains.
Fundam. Inform.156(3-4),p.361-411, 2017

Conference papers

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

BSc Theses

Sven Christoph: "Formal Verification of Safety of Acceleration Behavior in Automated Driver Assistance Systems"Sebastian Thunert: "Application of Symbol Elimination in Local Theory Extensions"


2016




Conference papers
: Viorica Sofronie-Stokkermans:
On Interpolation and Symbol Elimination in Theory Extensions.
Proc. of IJCAR 2016, LNCS 9706, pp.273-289, Springer 2016.; Markus Bender:
Reasoning with Sets and Sums of Sets.
Proceedings SMT 2016.






BSc Theses: Anaïs Böttcher: "Die Verifikation von Sicherheitseigenschaften von Systemen von Fahrzeugen"

MSc Theses

Dennis Peuter: "Automatisches Beweisen in der analytischen Geometrie"


2015

Editor
: 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)
Conference Papers: 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.
Proc. FroCos 2015, LNCS 9322, pp. 186-202, Springer 2015
Technical Reports
: 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; MSc Thesis; Irina Karpowa: Craig Interpolation in UTVPI. MSc Thesis, August 2015

2014

Editor

Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans
Proceedings of ADDCT 2014 (Workshop on Automated Deduction: Decidability, Complexity, Tractability,
Wien 2014.

Conference Papers

Matthias Horbach, Viorica Sofronie-Stokkermans
Locality Transfer: From Constrained Axiomatizations to Reachability Predicates.
Proceedings of IJCAR 2014, Stéphane Demri et al. (ed.), LNCS 8562, Springer, pp. 192-207

Viorica Sofronie-Stokkermans
Hierarchical Reasoning in Local Theory Extensions and Applications.
Proceedings of SYNASC 2014, Franz Winkler et al. (ed.), IEEE, pp. 34-41

BSc Thesis

Miguel Ángel Molina Hernández: Algorithmen zur Überprüfung der Erfüllbarkeit in Fragmenten der linearen Arithmetik, BSC thesis, Januar 2014.

MSc Thesis

Daniel Heck: Automatisches Beweisen mittels Gröberbasen in der Geometrie. MSc Thesis, 2014.

2013

Guest editor

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

Editor

Matthias Horbach:
INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt. Bd. P-220. Köllen Verlag, 2013 (Lecture Notes in Informatics)

Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans, Ashish Tiwari
Proceedings of ADDCT 2013 (Workshop on Automated Deduction: Decidability, Complexity, Tractability,
Lake Placid 2013.

Conference Papers/Papers in Books

Markus Bender, Björn Pelzer and Claudia Schon.
System description: E-KRHyper 1.4 – Extensions for unique names and description logic.
Proceedings of CADE 24, LNAI 7898, (Ed.) M.P. Bonacina. Springer, Heidelberg 2013

Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu and Thanh V. Nguiyen: Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. In: Automated Reasoning and Mathematics: Essays in Memory of William McCune Bd. 7788. Springer, 2013, S. 189–228

Viorica Sofronie-Stokkermans.
Hierarchical reasoning and model generation for the verification of parametric hybrid systems.
Proceedings of CADE 24, LNAI 7898, (Ed.) M.P. Bonacina. Springer, Heidelberg 2013, 360-376.

Viorica Sofronie-Stokkermans.
On combinations of local theory extensions.
In: Programming Logics, Essays in Memory of Harald Ganzinger,
LNCS. 7797, (Eds.) A. Voronkov, C. Weidenbach. Springer, Berlin 2013,

Matthias Horbach and Viorica Sofronie-Stokkermans
Obtaining Finite Local Theory Axiomatizations via Saturation
Proceedings of FroCoS 2013, To appear.

Technical Reports

Markus Bender.
E-Hyper Tableaux with Distinct Object Identifiers
Arbeitsberichte aus dem Fachbereich Informatik, 01/2013, Universität Koblenz-Landau, ISSN (Online) 1864-0850

Matthias Horbach and Viorica Sofronie-Stokkermans
Obtaining Finite Local Theory Axiomatizations via Saturation SFB/TR 14 AVACS. 2013 (93). – Reports of SFB/TR 14 AVACS

2012



Guest editor: Nicolas Peltier, Viorica Sofronie-Stokkermans:
Special issue of the Journal of Symbolic Computation dedicated to First-order theorem proving.
J. Symb. Comput. 47(9): 1009-1010 (2012)
BSc Thesis: Michael Krawez: Model generation in local theory extensions and applications to verification. BSc Thesis, October 2012.

2011



Proceedings: Frontiers of Combining Systems
Tinelli, C. & Sofronie-Stokkermans, V.(ed.)
Springer, 2011, Vol. 6989 , pp. 1-275

Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction
Bjørner, N. & Sofronie-Stokkermans, V.(ed.)
Springer, 2011, Vol. 6803 , pp. 1-505



Journal articles: Damm, W., Ihlemann, C. & Sofronie-Stokkermans, V.
PTIME parametric verification of safety properties for reasonable linear hybrid automata
Mathematics in Computer Science, Birkhäuser/Springer, 2011
In Proceedings: Gasse, F. & Sofronie-Stokkermans, V.
Efficient TBox subsumption checking in combinations of l EL and (fragments of) l FL_0
Rosati, R., Rudolph, S. & Zakharyaschev, M.(ed.)
Proceedings of the 24th International Workshop on Description Logics (DL-2011)
CEUR Workshop Proceedings, 2011, Vol. 745 , pp. 125-135
: Damm, W., Ihlemann, C. & Sofronie-Stokkermans, V.
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata
Frazzoli, E. & Grosu, R.(ed.)
Hybrid Systems: Computation and Control 2011
ACM, 2011, pp. 73-82



Technical reports: Damm, W., Ihlemann, C. & Sofronie-Stokkermans, V.
PTIME parametric verification of safety properties for reasonable linear hybrid automata
Bernd, B., Damm, W., Fränzle, M., Olderog, E.-Rü., Podelski, A. & Wilhelm, R.(ed.)
Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), 2011 (ATR 70), pp. 27

2010



Special Issues: Ghilardi, S., Sattler, U., Sofronie-Stokkermans, V. & Tiwari, A.
Special issue on automated deduction: Decidability, complexity, tractability
Journal of Symbolic Computation, Elsevier, 2010, Vol. 45 (2), pp. 151-152



Proceedings: First-Order Theorem Proving : Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP'09)
Peltier, N. & Sofronie-Stokkermans, V.(ed.)
CEUR- WS.org, 2010, Vol. 556 , pp. 139



Phd Theses: Jacobs, S.
Hierarchic Decision Procedures for Verification
Universität des Saarlandes, 2010, pp. 133

Ihlemann, C.
Reasoning in Combinations of Theories
Universität des Saarlandes, Universität des Saarlandes, 2010, pp. 176



Journal Articles: Rybalchenko, A. & Sofronie-Stokkermans, V.
Constraint Solving for Interpolation
Journal of Symbolic Computation, Elsevier, 2010, Vol. 45 (11), pp. 1212-1233




In Proceedings: Sofronie-Stokkermans, V.
Hierarchical Reasoning for the Verification of Parametric Systems
Giesl, Jü. & Hähnle, R.(ed.)
Automated Reasoning : 5th International Joint Conference, IJCAR 2010
Springer, 2010, Vol. 6173 , pp. 171-187

Sofronie-Stokkermans, V.
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms-
Ball, T., Giesl, Jü., Hähnle, R. & Nipkow, T.(ed.)
Interaction versus Automation : the two Faces of Deduction
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, Vol. 09411 , pp. 1-33

Ihlemann, C. & Sofronie-Stokkermans, V.
On Hierarchical Reasoning in Combinations of Theories
Giesl, Jü. & Hähnle, R.(ed.)
Automated Reasoning : 5th International Joint Conference, IJCAR 2010
Springer, 2010, Vol. 6173 , pp. 30-45

Faber, J., Ihlemann, C., Jacobs, S. & Sofronie-Stokkermans, V.
Automatic Verification of Parametric Specifications with Complex Topologies
Mery, D. & Merz, S.(ed.)
Integrated Formal Methods : 8th International Conference, IFM 2010
Springer, 2010, Vol. 6396 , pp. 152-167




Technical reports: Ihlemann, C. & Sofronie-Stokkermans, V.
System Description: H-PILoT (Version 1.9)
Bernd, B., Damm, W., Fränzle, M., Olderog, E.-Rü., Podelski, A. & Wilhelm, R.(ed.)
Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), 2010(ATR 61), pp. 45

Ihlemann, C. & Sofronie-Stokkermans, V.
On hierarchical reasoning in combinations of theories
Bernd, B., Damm, W., Fränzle, M., Olderog, E.-Rü., Podelski, A. & Wilhelm, R.(ed.)
Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), 2010 (ATR 60), pp. 26

Faber, J., Ihlemann, C., Jacobs, S. & Sofronie-Stokkermans, V.
Automatic Verification of Parametric Specifications with Complex Topologies
Bernd, B., Damm, W., Fränzle, M., Olderog, E.-Rü., Podelski, A. & Wilhelm, R.(ed.)
Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), 2010 (ATR 66), pp. 40

2009





Proceedings: UNIF 2009, 23nd International Workshop on Unification and ADDCT 2009 Automated Deduction: Decidability, Complexity, Tractability : proceedings
Lynch, C., Narendran, P., Baader, F., Ghilardi, S., Hermann, M., Sofronie-Stokkermans, V. & Tiwari, A.(ed.)
McGill University, 2009, pp. 1-87

First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving, Proceedings
Peltier, N. & Sofronie-Stokkermans, V.(ed.)
University of Oslo/Department of Informatics, 2009, Vol. 386 , pp. 151



Journal Articles: Sofronie-Stokkermans, V.
Sheaves and geometric logic and applications to modular verification of complex systems
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Vol. 230 , pp. 161-187




Tutorials: Sofronie-Stokkermans, V.; Reasoning in Complex Theories and Applications. Advanced Lecture; ESSLLI 2009 : European Summer School in Logic, Language and Information
ESSLLI, 2009, pp. 1-64




In Proceedings: Sofronie-Stokkermans, V.
Locality results for certain extensions of theories with bridging functions
Schmidt, R. A.(ed.)
Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction
Springer, 2009, Vol. 5663 , pp. 67-83

Jacobs, S.
Incremental Instance Generation in Local Reasoning
Bouajjani, A. & Maler, O.(ed.)
Computer Aided Verification : 21st International Conference, CAV 2009
Springer, 2009, Vol. 5643 , pp. 368-382

Ihlemann, C. & Sofronie-Stokkermans, V.
System Description: H-PILoT
Schmidt, R. A.(ed.)
Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction
Springer, 2009, Vol. 5663 , pp. 131-139



Technical Reports: Rybalchenko, A. & Sofronie-Stokkermans, V.
Constraint Solving for Interpolation
Becker, B., Damm, W. M., Fränzle, M., Olderog, E.-Rü., Podelski, A. & Wilhelm, R.(ed.)
SFB/TR 14 AVACS, 2009 (ATR 56), pp. 26

2008



Proceedings: Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08)
Baader, F., Ghilardi, S., Hermann, M., Sattler, U. & Sofronie-Stokkermans, V.(ed.)
Informal proceedings, 2008, pp. 1-79




Journal Articles: Sofronie-Stokkermans, V.
Interpolation in local theory extensions
Logical Methods in Computer Science, 2008, Vol. 4 (4), pp. 31 pages




In Proceedings: Sofronie-Stokkermans, V.
Locality and subsumption testing in EL and some of its extensions
Baader, F., Lutz, C. & Motik, B.(ed.)
Proceedings of the 21st International Workshop on Description Logics (DL-2008)
CEUR Workshop Proceedings, 2008, pp. 11pages

Sofronie-Stokkermans, V.
Locality and subsumption testing in EL and some of its extensions
Areces, C. & Goldblatt, R.(ed.)
Advances in Modal Logic, Vol.7 (Proceedings of AIML 2008)
College Publications, 2008, pp. 315-339

Sofronie-Stokkermans, V.
Efficient hierarchical reasoning about functions over numerical domains
Berns, K. & Breuel, T.(ed.)
KI 2008: Advances in Artificial Intelligence
Springer, 2008, Vol. 5243 , pp. 135-143

Jacobs, S.
Incremental Instance Generation in Local Reasoning
Baader, F., Ghilardi, S., Hermann, M., Sattler, U. & Sofronie-Stokkermans, V.(ed.)
Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08
2008, pp. 47-62

Ihlemann, C., Jacobs, S. & Sofronie-Stokkermans, V.
On local reasoning in verification
Ramakrishnan, C. R. & Rehof, J.(ed.)
Proceedings of TACAS 2008
Springer, 2008, Vol. 4963 , pp. 265-281




Technical Reports: Sofronie-Stokkermans, V.
Sheaves and geometric logic and applications to modular verification of complex systems
Becker, B., Damm, W. M., Fränzle, M., Olderog, E.-Rü., Podelski, A. & Wilhelm, R.(ed.)
SFB/TR 14 AVACS, 2008 (ATR 46), pp. 43

Sofronie-Stokkermans, V.
Efficient Hierarchical Reasoning about Functions over Numerical Domains
Becker, B., Damm, W. M., Fränzle, M., Olderog, E.-Rü., Podelski, A. & Wilhelm, R.(ed.)
SFB/TR 14 AVACS, 2008 (ATR 45), pp. 19




Tutorial
: Sofronie-Stokkermans, V.
Reasoning in Complex Theories and Applications
KI 2008: Proceedings of the tutorial "Reasoning in Complex Theories and Applications", 2008, 64 pages

2007




Journal Articles: Sofronie-Stokkermans, V.
On unification for bounded distributive lattices
ACM Transactions on Computational Logic, ACM, 2007, Vol. 8 (2), pp. 12.1-12.28

Sofronie-Stokkermans, V. & Ihlemann, C.

Automated reasoning in some local extensions of ordered structures

Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2007, Vol. 13 (4-6), pp. 397-414

Jacobs, S. & Sofronie-Stokkermans, V.
Applications of hierarchical reasoning in the verification of complex systems
Electronic Notes in Theoretical Computer Science, Elsevier, 2007, Vol. 174 (8), pp. 39-54




In Proceedings: Sofronie-Stokkermans, V.
On unification in certain finitely generated varieties of algebras
Contejean, E.(ed.)
Proceedings of the 21th International Workshop on Unification (UNIF 2007)
2007, pp. 1-5



: Sofronie-Stokkermans, V.
Hierarchical and modular reasoning in complex theories: The case of local theory extensions
Konev, B. & Wolter, F.(ed.)
Frontiers of Combining Systems. 6th International Symposium FroCos 2007, Proceedings
Springer, 2007, Vol. 4720 , pp. 47-71

Sofronie-Stokkermans, V.
Hierarchical and modular reasoning in complex theories: The case of local theory extensions.
Ranise, S.(ed.)
Proceedings of the Sixth International Workshop on First-Order Theorem Proving (FTP 2007)
University of Liverpool, 2007, Vol. ULCS-07-018 , pp. 1

Sofronie-Stokkermans, V., Ihlemann, C. & Jacobs, S.
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
Baader, F., Cook, B., Giesl, Jü. & Nieuwenhuis, R.(ed.)
Deduction and Decision Procedures
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007, Vol. 07401 , pp. 1-22

Sofronie-Stokkermans, V. & Ihlemann, C.
Automated reasoning in some local extensions of ordered structures
Proceedings of ISMVL 2007
IEEE, 2007, pp. Article1

Rybalchenko, A. & Sofronie-Stokkermans, V.
Constraint Solving for Interpolation
Cook, B. & Podelski, A.(ed.)
Verification, Model Checking and Abstract Interpretation : 8th International Conference, VMCAI 2007
Springer, 2007, Vol. 4349 , pp. 346-362

Faber, J., Jacobs, S. & Sofronie-Stokkermans, V.
Verifying CSP-OZ-DC specifications with complex data types and timing parameters
Davies, J. & Gibbons, J.(ed.)
Proceedings of IFM 2007: Integrated Formal Methods
Springer, 2007, Vol. 4591 , pp. 233-252




In Collection: Sofronie-Stokkermans, V.
Algebraic and logical methods in computer science: some aspects
Iorgulescu, A., Marcus, S., Rudeanu, S. & Vaida, D.(ed.)
Grigore C. Moisil and his followers
Editura Academiei Romane, 2007, pp. 488-493

2006




Journal Articles: Ganzinger, H., Sofronie-Stokkermans, V. & Waldmann, U.
Modular Proof Systems for Partial Functions with Evans Equality
Information and Computation, Elsevier, 2006, Vol. 204 (10), pp. 1453-1492




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

Sofronie-Stokkermans, V.
Local reasoning in verification
Autexier, S. & Mantel, H.(ed.)
IJCAR'06 Workshop : VERIFY'06: Verification Workshop
-, 2006, pp. 128-145

Sofronie-Stokkermans, V.
Interpolation in local theory extensions
Furbach, U. & Shankar, N.(ed.)
Proceedings of IJCAR 2006
Springer, 2006, Vol. 4130 , pp. 235-250




Abstracts: Sofronie-Stokkermans, V.
Automatisches Beweisen in komplexen Theorien
MPG Jahrbuch, 2006


2005




In Proceedings: Sofronie-Stokkermans, V.
Hierarchic reasoning in local theory extensions
Nieuwenhuis, R.(ed.)
Automated deduction - CADE-20 : 20th International Conference on Automated Deduction
Springer, 2005, Vol. 3632 , pp. 219-234
: 2004; In Proceedings; Sofronie-Stokkermans, V.
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)
IEEE Computer Society, 2004, pp. 32-37

Ganzinger, H., Sofronie-Stokkermans, V. & Waldmann, U.
Modular Proof Systems for Partial Functions with Weak Equality
Basin, D. & Rusinowitch, M.(ed.)
Automated reasoning : Second International Joint Conference, IJCAR 2004
Springer, 2004, Vol. 3097 , pp. 168-182

2003



Journal Articles: Sofronie-Stokkermans, V.
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
Journal of Symbolic Computation, Elsevier, 2003, Vol. 36 (6), pp. 891-924




In Proceedings: Sofronie-Stokkermans, V.
Automated theorem proving by resolution in non-classical logics
Nadif, M., Napoli, A., SanJuan, E. & Sigayret, A.(ed.)
Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03)
INRIA, 2003, pp. 151-167




In Collection: Sofronie-Stokkermans, V.
Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
Fitting, M. & Orlowska, E.(ed.)
Beyond Two: Theory and Applications of Multiple Valued Logic
Chapter 3
Springer, 2003, Vol. 114 , pp. 59-100




2002



Sofronie-Stokkermans, V.
On uniform word problems involving bridging operators on distributive lattices.
Proceedings of TABLEAUX 2002, LNAI 2381, Springer 2002.









2001



Journal Articles: Sofronie-Stokkermans, V.
Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
Multiple-Valued Logic - An International Journal, Gordon and Breach, 2001, Vol. 6 (3/4), pp. 289-344



In Proceedings: Sofronie-Stokkermans, V.
Representation theorems and the semantics of (semi)lattice-based logics
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics
IEEE, 2001, pp. 125-134

2000



Journal Articles: Sofronie-Stokkermans, V.
Priestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics
Multiple-Valued Logic - An International Journal, Gordon and Breach, 2000, Vol. 5 (4), pp. 281-305

Sofronie-Stokkermans, V.
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
Studia Logica, Kluwer, 2000, Vol. 64 (2), pp. 151-172

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





In Proceedings: Sofronie-Stokkermans, V.
Resolution-based theorem proving for SHn-logics
Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98)
Springer, 2000, Vol. 1761 , pp. 268-282

Sofronie-Stokkermans, V.

On unification for bounded distributive lattices

McAllester, D.(ed.)
Proceedings of the 17th International Conference on Automated Deduction (CADE-17)
Springer, 2000, Vol. 1831 , pp. 465-481

Ganzinger, H. & Sofronie-Stokkermans, V.
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00)
IEEE, 2000, pp. 337-344


In Collection: Sofronie-Stokkermans, V.
Some properties of Kleene algebras
Iturrioz, L., Orlowska, E. & Turunen, E.(ed.)
COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, Tampere University of Technology (Mathematics), 2000(75), pp. 1-7

Iturrioz, L. & Sofronie-Stokkermans, V.
SHn-algebras (Symmetric Heyting algebras of order n)
Iturrioz, L., Orlowska, E. & Turunen, E.(ed.)
COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, Tampere University of Technology (Mathematics), 2000 (75), pp. 1-11

1999




In Proceedings: Sofronie-Stokkermans, V.
Resolution-based theorem proving for non-classical logics based on distributive lattices with operators
Cachro, J. & Kijania-Placek, K.(ed.)
Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts
The Faculty of Philosophy, Jagellonian University, 1999, pp. 481-481

Sofronie-Stokkermans, V.
Representation Theorems and Automated Theorem Proving in Non-Classical Logics
Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99)
IEEE, 1999, pp. 242-247

Sofronie-Stokkermans, V.
Priestley representation for distributive lattices with operators and applications to automated theorem proving
Vaz de Carvalho, Jú. & Ferreirim, I.(ed.)
Dualities, Interpretability and Ordered Structures
Centro de 'Algebra da Universidade de Lisboa, 1999, pp. 43-54

Sofronie-Stokkermans, V.
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
Ganzinger, H.(ed.)
Proceedings of the 16th International Conference on Automated Deduction (CADE-16)
Springer, 1999, Vol. 1632 , pp. 157-171


1998



In Proceedings: Sofronie-Stokkermans, V.
Representation Theorems and Automated Theorem Proving in Certain Classes of Non-Classical Logics
Eklund, P., Escalada-Imaz, G., Haehnle, R. & Vojtas, P.(ed.)
Proceedings of the Workshop on Many-Valued Logic for AI Applications (ECAI-98)
ECAI, 1998

Sofronie-Stokkermans, V.

On Translation of Finitely-Valued Logics to Classical First-Order Logic

Prade, H.(ed.) Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98)
Wiley, 1998, pp. 410-411





Technical Reports: Sofronie-Stokkermans, V.
Resolution-based Theorem Proving for SHn-Logics
Technische Universität Wien, 1998(E1852-GS-981), pp. 224-233

1997



Phd Thesis: Sofronie-Stokkermans, V.
Fibered Structures and Applications to Automated Theorem Proving in Certain Classes of Finitely-Valued Logics and to Modeling Interacting Systems
RISC-Linz, J.Kepler University Linz, Austria, 1997




Technical Reports: Sofronie-Stokkermans, V. & Podisor, O.
On decentralized modeling of production processes
Internal project report, ProFactor Steyr, 99 pages, 1997


1996



In Proceedings: Sofronie, V.; Towards a Sheaf Theoretic Approach to Cooperating Agents Scenarios
Calmet, J., Campbell, J. & Pfalzgraf, J.(ed.)
Proceedings of Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-3, Steyr
Springer-Verlag, 1996, pp. 289-304

Pfalzgraf, J., Sofronie, V. & Stokkermans, K.

On a Semantics for Cooperative Agents Scenarios
Trappl, R.(ed.)
Cybernetics and Systems '96, Volume 1, Proceedings of the Thirteenth European Meeting on Cybernetics and Systems Research 1996, pp. 201-206

Pfalzgraf, J., Sofronie, V. & Stokkermans, K.

A Fibered Approach to Modeling Space-Time Dependent Cooperating Agents Scenarios
FAPR'96 (Workshop ``Reasoning about Actions and Planning in Complex Environments''), 1996



1995



Technical Reports: Pfalzgraf, J., Sigmund, U.C., Sofronie, V. & Stokkermans, K.
MEDLAR II: Third Year Deliverable Tasks V.2: Towards a Cooperating Robots Demonstrator
RISC-Linz Report Series 95-49, J. Kepler University, Linz, 1995

Pfalzgraf, J. & Sofronie, V.

Decomposing Many-valued Logics: An Experimental Case Study
RISC-Linz Report Series 95-44, J. Kepler University, Linz, 1995

1994; Sofronie, V.
Parallel Algorithms for Robot Kinematics
Technical Report in the frames of the project PARAGRAPH, 1994



1990



Lecture Notes: Malita, M. & Sofronie, V.
Collection of problems and the way to solve them in LISP
written material for a course in LISP held at the University of Bucharest, 1990



1989



Journal Article: Sofronie, V.
Formula-handling Computer Solution of Boolean Equations. I. Ring Equations
Bull. of the EATCS, 1989, Vol. 37 , pp. 181-186



1988



Specialization Thesis (Equiv. MSc): Sofronie, V.
Modal Algebras and Rewriting Algorithms
Specialization Thesis, University of Bucharest (in Romanian), 1988



1987



Diploma Thesis: Sofronie, V.
Automated Theorem Proving. Algorithms of the Knuth-Bendix kind
Diploma Thesis, University of Bucharest (in Romanian), 1987