Publications

More information can be found in the DBLP or here

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

2019

 

Journal papers

Viorica Sofronie-Stokkermans:

Parametric Systems: Verification and Synthesis (submitted)

Conference papers

 Dennis Peuter, Viorica Sofronie-Stokkermans: On Invariant Synthesis for Parametric Systems. Proc. CADE 2019, To appear (2019)

 

 

BSc Theses

Matthias Becker: "Implementierung und Verifikation von Sicherheitseigenschaften autonomen Fahrens mit Lego Mindstorms" (ongoing)

Fabian Bell: "Comparison of approaches for interpolant generation" (ongoing)

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

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 papers
Viorica 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, pp. 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
In Proceedings
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