Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications

MPI-INF RG1 Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 1. by Names

Login to this database


 

Viewing:

1. Author,Editor - 1. by Individual - 1. by Names
Next Page
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
#YearAuthor(s) [non member]TitleType
1
Show details for Ramakrishnan, C. R. (ed.)Ramakrishnan, C. R. (ed.)
1
Show details for Ranise, SilvioRanise, Silvio
1
Show details for Ranise, Silvio (ed.)Ranise, Silvio (ed.)
2
Show details for Ratschan, Stefan (ed.)Ratschan, Stefan (ed.)
1
Show details for Rehof, Jakob (ed.)Rehof, Jakob (ed.)
1
Show details for Reischuk, Rüdiger (ed.)Reischuk, Rüdiger (ed.)
1
Show details for Remenyi, Dan (ed.)Remenyi, Dan (ed.)
1
Show details for Rémy, J.-L. (ed.)Rémy, J.-L. (ed.)
1
Show details for Renate A. Schmidt (ed.)Renate A. Schmidt (ed.)
1
Show details for Reps, ThomasReps, Thomas
1
Show details for Reuter, JochenReuter, Jochen
1
Show details for Riazanov, AlexandreRiazanov, Alexandre
1
Show details for Ringeissen, Christophe (ed.)Ringeissen, Christophe (ed.)
1
Show details for Ringeissen, ChristopherRingeissen, Christopher
2
Show details for Robinson, Alan (ed.)Robinson, Alan (ed.)
2
Show details for Rock, GeorgRock, Georg
1
Show details for Roggenbach, Markus (ed.)Roggenbach, Markus (ed.)
1
Show details for Rosati, Riccardo (ed.)Rosati, Riccardo (ed.)
1
Show details for Rudeanu, Sergiu (ed.)Rudeanu, Sergiu (ed.)
1
Show details for Rudolph, Sebastian (ed.)Rudolph, Sebastian (ed.)
1
Show details for Rump, Frank J. (ed.)Rump, Frank J. (ed.)
2
Show details for Rusev, RostislavRusev, Rostislav
1
Show details for Rusinowitch, Michael (ed.)Rusinowitch, Michael (ed.)
1
Show details for Rusinowitch, M. (ed.)Rusinowitch, M. (ed.)
3
Show details for Rybalchenko, AndreyRybalchenko, Andrey
1
Show details for Sagiv, MoolySagiv, Mooly
1
Show details for Salzer, Gernot (ed.)Salzer, Gernot (ed.)
1
Show details for SanJuan, Eric (ed.)SanJuan, Eric (ed.)
1
Show details for Sattler, Uli (ed.)Sattler, Uli (ed.)
1
Show details for Sattler, UlrikeSattler, Ulrike
4
Show details for Sattler, Ulrike (ed.)Sattler, Ulrike (ed.)
1
Show details for Scheibler, KarstenScheibler, Karsten
1
Show details for Schmidt, RenateSchmidt, Renate
2
Show details for Schmidt, Renate A.Schmidt, Renate A.
6
Show details for Schmidt, Renate A. (ed.)Schmidt, Renate A. (ed.)
1
Show details for Schmidt, Renate (ed.)Schmidt, Renate (ed.)
1
Show details for Schmitt, Peter H. (ed.)Schmitt, Peter H. (ed.)
5
Show details for Scholl, ChristophScholl, Christoph
1
Show details for Schulz, Klaus U. (ed.)Schulz, Klaus U. (ed.)
2
Show details for Schulz, Stephan (ed.)Schulz, Stephan (ed.)
2
Show details for Sebastiani, Roberto (ed.)Sebastiani, Roberto (ed.)
1
Show details for Seiler, W.Seiler, W.
1
Show details for Shankar, Natarajan (ed.)Shankar, Natarajan (ed.)
1
Show details for Sigayret, Alain (ed.)Sigayret, Alain (ed.)
1
Show details for Sijanski, GrozdanaSijanski, Grozdana
1
Show details for Simon, CarloSimon, Carlo
1
Show details for Slaney, John K. (ed.)Slaney, John K. (ed.)
2
Show details for Slaney, J. K. (ed.)Slaney, J. K. (ed.)
75
Hide details for Sofronie-Stokkermans, VioricaSofronie-Stokkermans, Viorica
2013Sofronie-Stokkermans, VioricaHierarchical 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
2013Sofronie-Stokkermans, VioricaLocality and Applications to Subsumption Testing in EL and Some of its Extensions
In: Scientific Annals of Computer Science [23], 251-284
Journal Article
2013Horbach, Matthias
Sofronie-Stokkermans, Viorica
Obtaining Finite Local Theory Axiomatizations via Saturation
In: Frontiers of Combining Systems - 9th International Symposium, 198-213
Proceedings Article
2013Sofronie-Stokkermans, VioricaOn 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
2011Gasse, 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 automataReport
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
2010Sofronie-Stokkermans, VioricaAutomated 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 TopologiesReport
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
2010Sofronie-Stokkermans, VioricaHierarchical Reasoning for the Verification of Parametric Systems
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, 171-187
Proceedings Article
2010Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
On hierarchical reasoning in combinations of theoriesReport
2010Ihlemann, 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
2010Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
System Description: H-PILoT (Version 1.9)Report
2009Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica
Constraint Solving for InterpolationReport
2009Sofronie-Stokkermans, VioricaLocality results for certain extensions of theories with bridging functions
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 67-83
Proceedings Article
2009Sofronie-Stokkermans, VioricaReasoning in Complex Theories and Applications. Advanced Lecture
In: ESSLLI 2009 : European Summer School in Logic, Language and Information, 1-64
Electronic Proceedings Article
2009Sofronie-Stokkermans, VioricaSheaves and geometric logic and applications to modular verification of complex systems
In: Electronic Notes in Theoretical Computer Science [230], 161-187
Electronic Journal Article
2009Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
System Description: H-PILoT
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 131-139
Proceedings Article
2008Sofronie-Stokkermans, VioricaEfficient Hierarchical Reasoning about Functions over Numerical DomainsReport
2008Sofronie-Stokkermans, VioricaEfficient hierarchical reasoning about functions over numerical domains
In: KI 2008: Advances in Artificial Intelligence, 135-143
Proceedings Article
2008Sofronie-Stokkermans, VioricaInterpolation in local theory extensions
In: Logical Methods in Computer Science [4], 31 pages
Electronic Journal Article
2008Sofronie-Stokkermans, VioricaLocality 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
2008Sofronie-Stokkermans, VioricaLocality 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
2008Ihlemann, Carsten
Jacobs, Swen
Sofronie-Stokkermans, Viorica
On local reasoning in verification
In: Proceedings of TACAS 2008, 265-281
Proceedings Article
2008Sofronie-Stokkermans, VioricaReasoning in Complex Theories and ApplicationsMiscellaneous
2008Sofronie-Stokkermans, VioricaSheaves and geometric logic and applications to modular verification of complex systemsReport
2007Sofronie-Stokkermans, VioricaAlgebraic and logical methods in computer science: some aspects
In: Grigore C. Moisil and his followers, 488-493
Part of a Book
2007Jacobs, Swen
Sofronie-Stokkermans, Viorica
Attachment IconApplications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [174], 39-54
Electronic Journal Article
2007Sofronie-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
2007Sofronie-Stokkermans, Viorica
Ihlemann, Carsten
Automated reasoning in some local extensions of ordered structures
In: Proceedings of ISMVL 2007, Article1
Proceedings Article
2007Sofronie-Stokkermans, VioricaAttachment IconAutomated theorem proving by resolution in non-classical logics
In: Annals of Mathematics and Artificial Intelligence [49], 221-252
Journal Article
2007Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica
Constraint Solving for Interpolation
In: Verification, Model Checking and Abstract Interpretation : 8th International Conference, VMCAI 2007, 346-362
Proceedings Article
2007Sofronie-Stokkermans, VioricaHierarchical 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
2007Sofronie-Stokkermans, VioricaHierarchical 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
2007Sofronie-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
2007Sofronie-Stokkermans, VioricaAttachment IconOn unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], 12.1-12.28
Journal Article
2007Sofronie-Stokkermans, VioricaOn 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
2006Jacobs, 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
2006Sofronie-Stokkermans, VioricaAutomatisches Beweisen in komplexen Theorien
In: MPG Jahrbuch [-],
Electronic Journal Article
2006Sofronie-Stokkermans, VioricaAttachment IconInterpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250
Proceedings Article
2006Sofronie-Stokkermans, VioricaLocal reasoning in verification
In: IJCAR'06 Workshop : VERIFY'06: Verification Workshop, 128-145
Electronic Proceedings Article
2006Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492
Journal Article
2006Sofronie-Stokkermans, VioricaSheaves and geometric logic in concurrency
In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ?
Proceedings Article
2005Sofronie-Stokkermans, VioricaAttachment IconHierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234
Proceedings Article
2004Sofronie-Stokkermans, VioricaAlgebraic and logical methods in automated theorem proving and in the study of concurrency
Universität des Saarlandes
Thesis - Habilitation thesis
2004Ganzinger, 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
2004Sofronie-Stokkermans, VioricaResolution-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
2003Sofronie-Stokkermans, VioricaAttachment IconAutomated 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
2003Sofronie-Stokkermans, VioricaAttachment IconRepresentation 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
2002Sofronie-Stokkermans, VioricaAttachment IconOn 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
2001Sofronie-Stokkermans, VioricaAttachment IconAutomated 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
2001Sofronie-Stokkermans, VioricaRepresentation 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
2000Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Attachment IconChaining 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
2000Sofronie-Stokkermans, VioricaAttachment IconDuality 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
2000Sofronie-Stokkermans, VioricaAttachment IconDuality 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
2000Sofronie-Stokkermans, VioricaAttachment IconOn unification for bounded distributive lattices
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481
Proceedings Article
2000Sofronie-Stokkermans, VioricaAttachment IconPriestley 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
2000Sofronie-Stokkermans, VioricaAttachment IconResolution-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
2000Sofronie-Stokkermans, VioricaSome 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
1999Sofronie-Stokkermans, Viorica
[Stokkermans, Karel]
Attachment IconModeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523
Proceedings Article
1999Sofronie-Stokkermans, VioricaAttachment IconOn 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
1999Sofronie-Stokkermans, VioricaPriestley representation for distributive lattices with operators and applications to automated theorem proving
In: Dualities, Interpretability and Ordered Structures, 43-54
Proceedings Article
1999Sofronie-Stokkermans, VioricaRepresentation 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
1999Sofronie-Stokkermans, VioricaResolution-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
1998Sofronie-Stokkermans, VioricaOn 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
1998Sofronie-Stokkermans, VioricaRepresentation 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
1998Sofronie-Stokkermans, VioricaAttachment IconResolution-based Theorem Proving for SHn-LogicsReport
12
Show details for Sofronie-Stokkermans, Viorica (ed.)Sofronie-Stokkermans, Viorica (ed.)
1
Show details for Spies, HendrikSpies, Hendrik
1
Show details for Stickel, Mark E. (ed.)Stickel, Mark E. (ed.)
1
Show details for Stickel, Mark (ed.)Stickel, Mark (ed.)
1
Show details for Stokkermans, KarelStokkermans, Karel
1
Show details for Stoyan, Herbert (ed.)Stoyan, Herbert (ed.)
4
Show details for Sturm, ThomasSturm, Thomas
3
Show details for Sturm, Thomas (ed.)Sturm, Thomas (ed.)
1
Show details for Sturm, T.Sturm, T.
6
Show details for Suda, MartinSuda, Martin
1
Show details for Sutcliffe, GeoffSutcliffe, Geoff
1
Show details for Sutcliffe, Geoff (ed.)Sutcliffe, Geoff (ed.)
1
Show details for Tang, Ching HooTang, Ching Hoo
1
Show details for Teige, TeigeTeige, Teige
1
Show details for Teucke, AndreasTeucke, Andreas
2
Show details for Theobalt, ChristianTheobalt, Christian
2
Show details for Tinelli, Cesare (ed.)Tinelli, Cesare (ed.)
2
Show details for Tiwari, AshishTiwari, Ashish
2
Show details for Tiwari, Ashish (ed.)Tiwari, Ashish (ed.)
2
Show details for Topic, DaliborTopic, Dalibor
3
Show details for Topić, DaliborTopić, Dalibor
2
Show details for Tran, Duc-KhanhTran, Duc-Khanh
2
Show details for Turunen, Esko (ed.)Turunen, Esko (ed.)
1
Show details for Vaida, Dragos (ed.)Vaida, Dragos (ed.)
1
Show details for Vaz de Carvalho, Júlia (ed.)Vaz de Carvalho, Júlia (ed.)
1
Show details for Veith, Helmut (ed.)Veith, Helmut (ed.)
1
Show details for Vigneron, Laurent (ed.)Vigneron, Laurent (ed.)
1
Show details for Viswanathan, Mahesh (ed.)Viswanathan, Mahesh (ed.)
1
Show details for Vojtas, Peter (ed.)Vojtas, Peter (ed.)
2
Show details for Voronkov, AndreiVoronkov, Andrei
1
Show details for Voronkov, Andrei VoronkovVoronkov, Andrei Voronkov
15
Show details for Voronkov, Andrei (ed.)Voronkov, Andrei (ed.)
32
Show details for Waldmann, UweWaldmann, Uwe
1
Show details for Wand, DanielWand, Daniel
1
Show details for Weber, AndreasWeber, Andreas
1
Show details for Weber, A.Weber, A.
75
Show details for Weidenbach, ChristophWeidenbach, Christoph
3
Show details for Weidenbach, Christoph (ed.)Weidenbach, Christoph (ed.)
1
Show details for Weydert, EmilWeydert, Emil
1
Show details for Wilhelm, ReinhardWilhelm, Reinhard
7
Show details for Wilhelm, Reinhard (ed.)Wilhelm, Reinhard (ed.)
5
Show details for Wirtz, BorisWirtz, Boris
11
Show details for Wischnewski, PatrickWischnewski, Patrick
1
Show details for Wolter, Frank (ed.)Wolter, Frank (ed.)
1
Show details for Yoneda, Tomohiro (ed.)Yoneda, Tomohiro (ed.)
1
Show details for Zakharyaschev, Michael (ed.)Zakharyaschev, Michael (ed.)
3
Show details for Zangl, FabriceZangl, Fabrice
1
Show details for Zeller, Andreas (ed.)Zeller, Andreas (ed.)
2
Show details for Zengler, Christoph (ed.)Zengler, Christoph (ed.)
1
Show details for Zhang, Wenhui (ed.)Zhang, Wenhui (ed.)
1
Show details for Zhang, ZhihaiZhang, Zhihai
1
Show details for Zhao, HantaoZhao, Hantao
2
Show details for Ziemann, JoergZiemann, Joerg
1
Show details for Zimmer, StephanZimmer, Stephan
841
Next Page