| # |  | Year | Author(s) [non member] | | Title | Type | |
|---|
| 1 |
 | Abdel-Rahman, Essam O. |
| |
| 2 |
| |
| 1 |
| Althaus, Ernst |
| |
| 1 |
| |
| 1 |
| Autexier, Serge (ed.) |
| |
| 1 |
| |
| 1 |
| Aziz, Zaheer (ed.) |
| |
| 1 |
| |
| 8 |
| Baader, Franz (ed.) |
| |
| 5 |
| |
| 1 |
| Bajcsy, R. (ed.) |
| |
| 1 |
| |
| 2 |
| Bankstahl, Jan |
| |
| 1 |
| |
| 1 |
| Basin, David (ed.) |
| |
| 1 |
| |
| 2 |
| Baumgartner, Peter |
| |
| 1 |
| |
| 4 |
| Becker, Bernd (ed.) |
| |
| 1 |
| |
| 1 |
| Beringer, Lennart (ed.) |
| |
| 4 |
| |
| 1 |
| Berns, Karsten (ed.) |
| |
| 1 |
| |
| 1 |
| Billington, Jonathan |
| |
| 1 |
| |
| 3 |
| Bjørner, Nikolaj (ed.) |
| |
| 1 |
| Blanchette, Jasmin Christian |
| |
| 4 |
| Bonacina, Maria Paola (ed.) |
| |
| 1 |
| |
| 2 |
| Brahm, Uwe |
| |
| 1 |
| |
| 1 |
| Broda, Krysia (ed.) |
| |
| 1 |
| |
| 1 |
| Bruni, Roberto (ed.) |
| |
| 1 |
| |
| 2 |
| Burel, Guillaume |
| |
| 1 |
| |
| 1 |
| Charatonik, Witold (ed.) |
| |
| 1 |
| Cha, Sungdeok (Steve) (ed.) |
| |
| 1 |
| Choi, Jin-Young (ed.) |
| |
| 1 |
| Christophe Ringeissen (ed.) |
| |
| 1 |
| Ciobanu, Gabriel (ed.) |
| |
| 1 |
| |
| 2 |
| Cohrs, Christian |
| |
| 1 |
| |
| 3 |
| Cook, Byron (ed.) |
| |
| 1 |
| |
| 1 |
| D'Agostino, Marcello (ed.) |
| |
| 1 |
| |
| 8 |
| Damm, Werner |
| |
| 3 |
| Damm, Werner Martin (ed.) |
| |
| 5 |
| Damm, Werner (ed.) |
| |
| 1 |
| |
| 1 |
| Dawar, Anuj (ed.) |
| |
| 1 |
| |
| 2 |
| de Nivelle, Hans (ed.) |
| |
| 1 |
| |
| 1 |
| Denney, Ewen (ed.) |
| |
| 1 |
| |
| 1 |
| Dhungana, Deepak |
| |
| 2 |
| |
| 3 |
| Dimova, Dilyana |
| |
| 1 |
| |
| 5 |
| Disch, Stefan |
| |
| 1 |
| Dreschler-Fischer, Leonie (ed.) |
| |
| 1 |
| Dressler, Christian |
| |
| 1 |
| |
| 1 |
| Eggers, Andreas |
| |
| 1 |
| |
| 1 |
| Eiswirth, M. |
| |
| 1 |
| |
| 2 |
| Engel, Thorsten |
| |
| 1 |
| |
| 1 |
| Escalada-Imaz, Gonzalo (ed.) |
| |
| 1 |
| Esquivel Pinto, Claudia So fia |
| |
| 1 |
| et. al. (ed.) |
| |
| 3 |
| |
| 1 |
| Fehrer, Detlef |
| |
| 1 |
| |
| 1 |
| Fermüller, Christian G. (ed.) |
| |
| 1 |
| Fermüller, Christian (ed.) |
| |
| 1 |
| Ferreirim, Isabel (ed.) |
| |
| 1 |
| |
| 9 |
| Fietzke, Arnaud |
| |
| 1 |
| |
| 1 |
| Fitting, Melvin (ed.) |
| |
| 1 |
| |
| 1 |
| Fontaine, Pascal (ed.) |
| |
| 8 |
| |
| 1 |
| Frazzoli, Emilio (ed.) |
| |
| 7 |
| |
| 2 |
| Furbach, Ulrich (ed.) |
| |
| 1 |
| |
| 1 |
| Gaillourdet, Jean-Marie |
| |
| 15 |
| |
| 5 |
| Ganzinger, Harald (ed.) |
| |
| 1 |
| |
| 1 |
| Ghilardi, Silvio |
| |
| 5 |
| |
| 1 |
| Gibbons, Jeremy (ed.) |
| |
| 5 |
| |
| 1 |
| Goldblatt, Robert (ed.) |
| |
| 2 |
| |
| 1 |
| Gorny, Peter (ed.) |
| |
| 1 |
| |
| 1 |
| Grädel, Erich (ed.) |
| |
| 1 |
| |
| 1 |
| Gramlich, Bernhard (ed.) |
| |
| 1 |
| |
| 1 |
| Grigoriev. D. |
| |
| 1 |
| |
| 1 |
| Haehnle, Reiner (ed.) |
| |
| 3 |
| |
| 1 |
| Hähnle, Reiner |
| |
| 4 |
| |
| 1 |
| Hermanns, Holger |
| |
| 5 |
| |
| 1 |
| Higashino, Teruo (ed.) |
| |
| 18 |
| |
| 2 |
| Hirth, Simon |
| |
| 1 |
| Hölldobler, Steffen (ed.) |
| |
| 11 |
| Horbach, Matthias |
| |
| 1 |
| |
| 1 |
| Hotz, Günter (ed.) |
| |
| 1 |
| |
| 2 |
| Hungar, Hardi |
| |
| 2 |
| |
| 14 |
| Ihlemann, Carsten |
| |
| 1 |
| Iorgulescu, Afrodita (ed.) |
| |
| 1 |
| Iturrioz, Luisa |
| |
| 2 |
| |
| 14 |
| Jacobs, Swen |
| |
| 1 |
| |
| 1 |
| Jaeger, Manfred |
| |
| 1 |
| |
| 2 |
| Kapur, Deepak |
| |
| 2 |
| |
| 1 |
| Karrenberg, Ralf |
| |
| 3 |
| |
| 1 |
| Kepser, Stephan (ed.) |
| |
| 1 |
| |
| 1 |
| Kerner, I. O. (ed.) |
| |
| 1 |
| Kijania-Placek, Katarzyna (ed.) |
| |
| 1 |
| Kim Moonzoo (ed.) |
| |
| 2 |
| |
| 1 |
| Kirchner, Helene |
| |
| 3 |
| |
| 1 |
| Kleine Büning, Hans |
| |
| 1 |
| |
| 1 |
| Konev, Boris (ed.) |
| |
| 2 |
| |
| 2 |
| Košta, Marek |
| |
| 1 |
| |
| 8 |
| Kruglov, Evgeny |
| |
| 1 |
| |
| 1 |
| Kupferschmid, Stefan |
| |
| 3 |
| |
| 1 |
| Lamotte, Manuel |
| |
| 1 |
| |
| 1 |
| Lee, Insup (ed.) |
| |
| 3 |
| |
| 1 |
| Lenzerini, Maurizio (ed.) |
| |
| 1 |
| |
| 1 |
| Letz, Reinhold |
| |
| 1 |
| |
| 1 |
| Lev-Ami, Tal |
| |
| 1 |
| |
| 1 |
| Leykin, Anton (ed.) |
| |
| 1 |
| |
| 5 |
| Löchner, Bernd |
| |
| 2 |
| |
| 1 |
| Lutz, Carsten (ed.) |
| |
| 1 |
| |
| 1 |
| Lu, Qi |
| |
| 3 |
| |
| 1 |
| Lynch, Christopher |
| |
| 1 |
| |
| 1 |
| Maler, Oded (ed.) |
| |
| 1 |
| |
| 1 |
| Marcus, Solomon (ed.) |
| |
| 2 |
| |
| 2 |
| McAllester, David (ed.) |
| |
| 1 |
| |
| 1 |
| McRobbie, Michael A. (ed.) |
| |
| 2 |
| |
| 1 |
| Mendling, Jan (ed.) |
| |
| 1 |
| |
| 1 |
| Mery, Dominique (ed.) |
| |
| 3 |
| |
| 1 |
| Merz, Stephan (ed.) |
| |
| 3 |
| |
| 1 |
| Miller, Dale (ed.) |
| |
| 1 |
| |
| 1 |
| Münch, Susanne |
| |
| 1 |
| |
| 1 |
| Nadif, Mohamed (ed.) |
| |
| 1 |
| |
| 1 |
| Napoli, Amedeo (ed.) |
| |
| 1 |
| |
| 1 |
| Neumann, Stephan Rouven |
| |
| 1 |
| |
| 2 |
| Nieuwenhuis, Robert |
| |
| 3 |
| Nieuwenhuis, Robert (ed.) |
| |
| 4 |
| Nipkow, Tobias (ed.) |
| |
| 3 |
| |
| 1 |
| Nüttgens, Markus (ed.) |
| |
| 1 |
| |
| 2 |
| Ohlbach, Hans Jürgen |
| |
| 1 |
| Ohlbach, Hans Jürgen (ed.) |
| |
| 1 |
| Okamura, Yoshio (ed.) |
| |
| 1 |
| |
| 8 |
| Olderog, Ernst-Rüdiger (ed.) |
| |
| 3 |
| |
| 2 |
| Pang, Jun |
| |
| 1 |
| |
| 1 |
| Patel-Schneider, Peter F. (ed.) |
| |
| 1 |
| |
| 1 |
| Peltier, Nicolas |
| |
| 5 |
| |
| 1 |
| Pfenning, Frank (ed.) |
| |
| 4 |
| |
| 1 |
| Piskac, Ruzica |
| |
| 1 |
| |
| 9 |
| Podelski, Andreas (ed.) |
| |
| 1 |
| |
| 1 |
| Prade, Henri (ed.) |
| |
| 1 |
| |
| 1 |
| Pribbenow, Simone (ed.) |
| |
| 1 |
| Ramakrishnan, C. R. (ed.) |
| |
| 1 |
| Ranise, Silvio |
| |
| 1 |
| |
| 2 |
| Ratschan, Stefan (ed.) |
| |
| 1 |
| |
| 1 |
| Reischuk, Rüdiger (ed.) |
| |
| 1 |
| |
| 1 |
| Rémy, J.-L. (ed.) |
| |
| 1 |
| |
| 1 |
| Reps, Thomas |
| |
| 1 |
| |
| 1 |
| Riazanov, Alexandre |
| |
| 1 |
| Ringeissen, Christophe (ed.) |
| |
| 1 |
| Ringeissen, Christopher |
| |
| 2 |
| |
| 2 |
| Rock, Georg |
| |
| 1 |
| |
| 1 |
| Rosati, Riccardo (ed.) |
| |
| 1 |
| |
| 1 |
| Rudolph, Sebastian (ed.) |
| |
| 1 |
| |
| 2 |
| Rusev, Rostislav |
| |
| 1 |
| Rusinowitch, Michael (ed.) |
| |
| 1 |
| Rusinowitch, M. (ed.) |
| |
| 3 |
| |
| 1 |
| Sagiv, Mooly |
| |
| 1 |
| |
| 1 |
| SanJuan, Eric (ed.) |
| |
| 1 |
| |
| 1 |
| Sattler, Ulrike |
| |
| 4 |
| |
| 1 |
| Scheibler, Karsten |
| |
| 1 |
| |
| 2 |
| Schmidt, Renate A. |
| |
| 6 |
| |
| 1 |
| Schmidt, Renate (ed.) |
| |
| 1 |
| |
| 5 |
| Scholl, Christoph |
| |
| 1 |
| |
| 2 |
| Schulz, Stephan (ed.) |
| |
| 2 |
| Sebastiani, Roberto (ed.) |
| |
| 1 |
| Seiler, W. |
| |
| 1 |
| |
| 1 |
| Sigayret, Alain (ed.) |
| |
| 1 |
| |
| 1 |
| Simon, Carlo |
| |
| 1 |
| |
| 2 |
| Slaney, J. K. (ed.) |
| |
| 75 |
 | Sofronie-Stokkermans, Viorica |
| |
| | 2013 | Sofronie-Stokkermans, Viorica | | Hierarchical reasoning and model generation for the verification of parametric hybrid systems
In: Proceedings of the 24th International Conference on Automated Deduction (CADE-24), 360-376 | Proceedings Article | |
| | 2013 | Sofronie-Stokkermans, Viorica | | Locality and Applications to Subsumption Testing in EL and Some of its Extensions
In: Scientific Annals of Computer Science [23], 251-284 | Journal Article | |
| | 2013 | Horbach, Matthias
Sofronie-Stokkermans, Viorica | | Obtaining Finite Local Theory Axiomatizations via Saturation
In: Frontiers of Combining Systems - 9th International Symposium, 198-213 | Proceedings Article | |
| | 2013 | Sofronie-Stokkermans, Viorica | | On combinations of local theory extensions
In: Programming Logics, Essays in Memory of Harald Ganzinger, 392-413 | Part of a Book | |
| | 2013 | [Bjorner, Nikolaj]
Sofronie-Stokkermans, Viorica | | Preface: Special Issue of Selected Extended Papers of CADE-23
In: Journal of Automated Reasoning [51], 1-2 | Journal Article | |
| | 2012 | [Peltier, Nicolas]
Sofronie-Stokkermans, Viorica | | First-order theorem proving: Foreword
In: Journal of Symbolic Computation [47], 1009-1010 | Journal Article | |
| | 2011 | [Damm, Werner]
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica | | Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata
In: HSCC'11 : Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control, 73-82 | Proceedings Article | |
| | 2011 | Gasse, Francis
Sofronie-Stokkermans, Viorica | | Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0
In: Proceedings of the 2011 International Workshop on Description Logics (DL-2011), 125-135 | Electronic Proceedings Article | |
| | 2011 | [Damm, Werner]
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica | | PTIME parametric verification of safety properties for reasonable linear hybrid automata | Report | |
| | 2011 | [Damm, Werner]
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica | | PTIME parametric verification of safety properties for reasonable linear hybrid automata
In: Mathematics in Computer Science [5], 469-497 | Journal Article | |
| | 2010 | Sofronie-Stokkermans, Viorica | | Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms-
In: Interaction versus Automation : the two Faces of Deduction, 1-33 | Electronic Proceedings Article | |
| | 2010 | [Faber, Johannes]
Ihlemann, Carsten
[Jacobs, Swen]
Sofronie-Stokkermans, Viorica | | Automatic Verification of Parametric Specifications with Complex Topologies | Report | |
| | 2010 | [Faber, Johannes]
Ihlemann, Carsten
[Jacobs, Swen]
Sofronie-Stokkermans, Viorica | | Automatic Verification of Parametric Specifications with Complex Topologies
In: Integrated Formal Methods : 8th International Conference, IFM 2010, 152-167 | Proceedings Article | |
| | 2010 | [Rybalchenko, Andrey]
Sofronie-Stokkermans, Viorica | | Constraint Solving for Interpolation
In: Journal of Symbolic Computation [45], 1212-1233 | Journal Article | |
| | 2010 | Sofronie-Stokkermans, Viorica | | Hierarchical Reasoning for the Verification of Parametric Systems
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, 171-187 | Proceedings Article | |
| | 2010 | Ihlemann, Carsten
Sofronie-Stokkermans, Viorica | | On hierarchical reasoning in combinations of theories | Report | |
| | 2010 | Ihlemann, Carsten
Sofronie-Stokkermans, Viorica | | On Hierarchical Reasoning in Combinations of Theories
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, 30-45 | Proceedings Article | |
| | 2010 | [Ghilardi, Silvio]
[Sattler, Ulrike]
Sofronie-Stokkermans, Viorica
[Tiwari, Ashish] | | Special issue on automated deduction: Decidability, complexity, tractability
In: Journal of Symbolic Computation [45], 151-152 | Journal Article | |
| | 2010 | Ihlemann, Carsten
Sofronie-Stokkermans, Viorica | | System Description: H-PILoT (Version 1.9) | Report | |
| | 2009 | Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica | | Constraint Solving for Interpolation | Report | |
| | 2009 | Sofronie-Stokkermans, Viorica | | Locality results for certain extensions of theories with bridging functions
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 67-83 | Proceedings Article | |
| | 2009 | Sofronie-Stokkermans, Viorica | | Reasoning in Complex Theories and Applications. Advanced Lecture
In: ESSLLI 2009 : European Summer School in Logic, Language and Information, 1-64 | Electronic Proceedings Article | |
| | 2009 | Sofronie-Stokkermans, Viorica | | Sheaves and geometric logic and applications to modular verification of complex systems
In: Electronic Notes in Theoretical Computer Science [230], 161-187 | Electronic Journal Article | |
| | 2009 | Ihlemann, Carsten
Sofronie-Stokkermans, Viorica | | System Description: H-PILoT
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 131-139 | Proceedings Article | |
| | 2008 | Sofronie-Stokkermans, Viorica | | Efficient Hierarchical Reasoning about Functions over Numerical Domains | Report | |
| | 2008 | Sofronie-Stokkermans, Viorica | | Efficient hierarchical reasoning about functions over numerical domains
In: KI 2008: Advances in Artificial Intelligence, 135-143 | Proceedings Article | |
| | 2008 | Sofronie-Stokkermans, Viorica | | Interpolation in local theory extensions
In: Logical Methods in Computer Science [4], 31 pages | Electronic Journal Article | |
| | 2008 | Sofronie-Stokkermans, Viorica | | Locality and subsumption testing in $\mathcalEL$ and some of its extensions
In: Advances in Modal Logic, Vol.7 (Proceedings of AIML 2008), 315-339 | Proceedings Article | |
| | 2008 | Sofronie-Stokkermans, Viorica | | Locality and subsumption testing in $\mathcalEL$ and some of its extensions
In: Proceedings of the 21st International Workshop on Description Logics (DL-2008), 11pages | Electronic Proceedings Article | |
| | 2008 | Ihlemann, Carsten
Jacobs, Swen
Sofronie-Stokkermans, Viorica | | On local reasoning in verification
In: Proceedings of TACAS 2008, 265-281 | Proceedings Article | |
| | 2008 | Sofronie-Stokkermans, Viorica | | Reasoning in Complex Theories and Applications | Miscellaneous | |
| | 2008 | Sofronie-Stokkermans, Viorica | | Sheaves and geometric logic and applications to modular verification of complex systems | Report | |
| | 2007 | Sofronie-Stokkermans, Viorica | | Algebraic and logical methods in computer science: some aspects
In: Grigore C. Moisil and his followers, 488-493 | Part of a Book | |
| | 2007 | Jacobs, Swen
Sofronie-Stokkermans, Viorica |  | Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [174], 39-54 | Electronic Journal Article | |
| | 2007 | Sofronie-Stokkermans, Viorica
Ihlemann, Carsten | | Automated reasoning in some local extensions of ordered structures
In: Journal of Multiple-Valued Logic and Soft Computing [13], 397-414 | Journal Article | |
| | 2007 | Sofronie-Stokkermans, Viorica
Ihlemann, Carsten | | Automated reasoning in some local extensions of ordered structures
In: Proceedings of ISMVL 2007, Article1 | Proceedings Article | |
| | 2007 | Sofronie-Stokkermans, Viorica | | Automated theorem proving by resolution in non-classical logics
In: Annals of Mathematics and Artificial Intelligence [49], 221-252 | Journal Article | |
| | 2007 | Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica | | Constraint Solving for Interpolation
In: Verification, Model Checking and Abstract Interpretation : 8th International Conference, VMCAI 2007, 346-362 | Proceedings Article | |
| | 2007 | Sofronie-Stokkermans, Viorica | | Hierarchical and modular reasoning in complex theories: The case of local theory extensions
In: Frontiers of Combining Systems. 6th International Symposium FroCos 2007, Proceedings, 47-71 | Proceedings Article | |
| | 2007 | Sofronie-Stokkermans, Viorica | | Hierarchical and modular reasoning in complex theories: The case of local theory extensions.
In: Proceedings of the Sixth International Workshop on First-Order Theorem Proving (FTP 2007), 1 | Proceedings Article | |
| | 2007 | Sofronie-Stokkermans, Viorica
Ihlemann, Carsten
Jacobs, Swen | | Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
In: Deduction and Decision Procedures, 1-22 | Electronic Proceedings Article | |
| | 2007 | Sofronie-Stokkermans, Viorica | | On unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], 12.1-12.28 | Journal Article | |
| | 2007 | Sofronie-Stokkermans, Viorica | | On unification in certain finitely generated varieties of algebras
In: Proceedings of the 21th International Workshop on Unification (UNIF 2007), 1-5 | Electronic Proceedings Article | |
| | 2007 | [Faber, Johannes]
Jacobs, Swen
Sofronie-Stokkermans, Viorica | | Verifying CSP-OZ-DC specifications with complex data types and timing parameters
In: Proceedings of IFM 2007: Integrated Formal Methods, 233-252 | Proceedings Article | |
| | 2006 | Jacobs, Swen
Sofronie-Stokkermans, Viorica | | Applications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26 | Electronic Proceedings Article | |
| | 2006 | Sofronie-Stokkermans, Viorica | | Automatisches Beweisen in komplexen Theorien
In: MPG Jahrbuch [-], | Electronic Journal Article | |
| | 2006 | Sofronie-Stokkermans, Viorica | | Interpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250 | Proceedings Article | |
| | 2006 | Sofronie-Stokkermans, Viorica | | Local reasoning in verification
In: IJCAR'06 Workshop : VERIFY'06: Verification Workshop, 128-145 | Electronic Proceedings Article | |
| | 2006 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | | Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492 | Journal Article | |
| | 2006 | Sofronie-Stokkermans, Viorica | | Sheaves and geometric logic in concurrency
In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ? | Proceedings Article | |
| | 2005 | Sofronie-Stokkermans, Viorica | | Hierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234 | Proceedings Article | |
| | 2004 | Sofronie-Stokkermans, Viorica | | Algebraic and logical methods in automated theorem proving and in the study of concurrency
Universität des Saarlandes | Thesis - Habilitation thesis | |
| | 2004 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | | Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182 | Proceedings Article | |
| | 2004 | Sofronie-Stokkermans, Viorica | | Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras
In: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), 32-37 | Proceedings Article | |
| | 2003 | Sofronie-Stokkermans, Viorica | | Automated theorem proving by resolution in non-classical logics
In: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), 151-167 | Proceedings Article | |
| | 2003 | Sofronie-Stokkermans, Viorica | | Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
In: Beyond Two: Theory and Applications of Multiple Valued Logic, 59-100 | Part of a Book | |
| | 2002 | Sofronie-Stokkermans, Viorica | | On uniform word problems involving bridging operators on distributive lattices
In: Automated Reasoning with Analytic and Related Methods : International Conference, TABLEAUX 2002, 235-250 | Proceedings Article | |
| | 2001 | Sofronie-Stokkermans, Viorica | | Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
In: Multiple-Valued Logic - An International Journal [6], 289-344 | Journal Article | |
| | 2001 | Sofronie-Stokkermans, Viorica | | Representation theorems and the semantics of (semi)lattice-based logics
In: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics, 125-134 | Proceedings Article | |
| | 2000 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica | | Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
In: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00), 337-344 | Proceedings Article | |
| | 2000 | Sofronie-Stokkermans, Viorica | | Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part I
In: Studia Logica [64], 93-132 | Journal Article | |
| | 2000 | Sofronie-Stokkermans, Viorica | | Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
In: Studia Logica [64], 151-172 | Journal Article | |
| | 2000 | Sofronie-Stokkermans, Viorica | | On unification for bounded distributive lattices
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481 | Proceedings Article | |
| | 2000 | Sofronie-Stokkermans, Viorica | | Priestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics
In: Multiple-Valued Logic - An International Journal [5], 281-305 | Journal Article | |
| | 2000 | Sofronie-Stokkermans, Viorica | | Resolution-based theorem proving for SHn-logics
In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), 268-282 | Proceedings Article | |
| | 2000 | [Iturrioz, Luisa]
Sofronie-Stokkermans, Viorica | | SHn-algebras (Symmetric Heyting algebras of order n)
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-11 | Part of a Book | |
| | 2000 | Sofronie-Stokkermans, Viorica | | Some properties of Kleene algebras
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7 | Part of a Book | |
| | 1999 | Sofronie-Stokkermans, Viorica
[Stokkermans, Karel] | | Modeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523 | Proceedings Article | |
| | 1999 | Sofronie-Stokkermans, Viorica | | On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 157-171 | Proceedings Article | |
| | 1999 | Sofronie-Stokkermans, Viorica | | Priestley representation for distributive lattices with operators and applications to automated theorem proving
In: Dualities, Interpretability and Ordered Structures, 43-54 | Proceedings Article | |
| | 1999 | Sofronie-Stokkermans, Viorica | | Representation Theorems and Automated Theorem Proving in Non-Classical Logics
In: Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99), 242-247 | Proceedings Article | |
| | 1999 | Sofronie-Stokkermans, Viorica | | Resolution-based theorem proving for non-classical logics based on distributive lattices with operators
In: Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts, 481-481 | Proceedings Article | |
| | 1998 | Sofronie-Stokkermans, Viorica | | On Translation of Finitely-Valued Logics to Classical First-Order Logic
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 410-411 | Proceedings Article | |
| | 1998 | Sofronie-Stokkermans, Viorica | | Representation Theorems and Automated Theorem Proving in Certain Classes of Non-Classical Logics
In: Proceedings of the Workshop on Many-Valued Logic for AI Applications (ECAI-98), ?-? | Proceedings Article | |
| | 1998 | Sofronie-Stokkermans, Viorica | | Resolution-based Theorem Proving for SHn-Logics | Report | |
| 12 |
| Sofronie-Stokkermans, Viorica (ed.) |
| |
| 1 |
| Spies, Hendrik |
| |
| 1 |
| |
| 1 |
| Stickel, Mark (ed.) |
| |
| 1 |
| |
| 1 |
| Stoyan, Herbert (ed.) |
| |
| 4 |
| |
| 3 |
| Sturm, Thomas (ed.) |
| |
| 1 |
| |
| 6 |
| Suda, Martin |
| |
| 1 |
| |
| 1 |
| Sutcliffe, Geoff (ed.) |
| |
| 1 |
| |
| 1 |
| Teige, Teige |
| |
| 1 |
| |
| 2 |
| Theobalt, Christian |
| |
| 2 |
| |
| 2 |
| Tiwari, Ashish |
| |
| 2 |
| |
| 2 |
| Topic, Dalibor |
| |
| 3 |
| |
| 2 |
| Tran, Duc-Khanh |
| |
| 2 |
| |
| 1 |
| Vaida, Dragos (ed.) |
| |
| 1 |
| Vaz de Carvalho, Júlia (ed.) |
| |
| 1 |
| Veith, Helmut (ed.) |
| |
| 1 |
| |
| 1 |
| Viswanathan, Mahesh (ed.) |
| |
| 1 |
| |
| 2 |
| Voronkov, Andrei |
| |
| 1 |
| Voronkov, Andrei Voronkov |
| |
| 15 |
| Voronkov, Andrei (ed.) |
| |
| 32 |
| |
| 1 |
| Wand, Daniel |
| |
| 1 |
| |
| 1 |
| Weber, A. |
| |
| 75 |
| |
| 3 |
| Weidenbach, Christoph (ed.) |
| |
| 1 |
| |
| 1 |
| Wilhelm, Reinhard |
| |
| 7 |
| |
| 5 |
| Wirtz, Boris |
| |
| 11 |
| |
| 1 |
| Wolter, Frank (ed.) |
| |
| 1 |
| |
| 1 |
| Zakharyaschev, Michael (ed.) |
| |
| 3 |
| |
| 1 |
| Zeller, Andreas (ed.) |
| |
| 2 |
| |
| 1 |
| Zhang, Wenhui (ed.) |
| |
| 1 |
| |
| 1 |
| Zhao, Hantao |
| |
| 2 |
| |
| 1 |
| Zimmer, Stephan |
| |
| 841 |
| |
