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 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
Hide details for Weidenbach, ChristophWeidenbach, Christoph
2013[Dhungana, Deepak]
Tang, Ching Hoo
Weidenbach, Christoph
[Wischnewski, Patrick]
Attachment IconAutomated Verification of Interactive Rule-Based Configuration Systems
In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 551-561
Proceedings Article
2013Hillenbrand, Thomas
[Piskac, Ruzica]
Waldmann, Uwe
Weidenbach, Christoph
From Search to Computation: Redundancy Criteria and Simplification at Work
In: Programming Logics, Essays in Memory of Harald Ganzinger, ?
Part of a Book
2013[Kapur, Deepak]
[Nieuwenhuis, Robert]
[Voronkov, Andrei]
Weidenbach, Christoph
[Wilhelm, Reinhard]
Harald Ganzinger's Legacy: Contributions to Logics and Programming
In: Programming Logics,
Proceedings Article
2013Voronkov, Andrei Voronkov
Weidenbach, Christoph
Programming Logics - Essays in Memory of Harald GanzingerBook
2013Hillenbrand, Thomas
Weidenbach, Christoph
Superposition for Bounded Domains
In: Automated Reasoning and Mathematics, Essays in Memory of William W. McCune, 68-100
Part of a Book
2012Suda, Martin
Weidenbach, Christoph
Attachment IconA PLTL-prover based on labelled superposition with partial model guidance
In: Automated Reasoning : 6th International Joint Conference, IJCAR 2012, 537-543
Proceedings Article
2012Fietzke, Arnaud
Kruglov, Evgeny
Weidenbach, Christoph
Automatic Generation of Invariants for Circular Derivations in SUP(LA)
In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, 197-211
Proceedings Article
2012[Fontaine, Pascal]
[Merz, Stephan]
Weidenbach, Christoph
Combination of Disjoint Theories: Beyond Decidability
In: Proceedings of the 6th International Joint Conference on Automated Reasoning,
Proceedings Article
2012Suda, Martin
Weidenbach, Christoph
Attachment IconLabelled Superposition for PLTL
In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, 391-405
Proceedings Article
2012[Blanchette, Jasmin Christian]
[Popescu, Andrei]
Wand, Daniel
Weidenbach, Christoph
More SPASS with Isabelle : Superposition with Hard Sorts and Configurable Simplification
In: Interactive Theorem Proving : Third International Conference, ITP 2012, 345-360
Proceedings Article
2012Weidenbach, Christoph
Wischnewski, Patrick
Satisfiability Checking and Query Answering for large Ontologies
In: PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning, 163-177
Electronic Proceedings Article
2012Fietzke, Arnaud
Weidenbach, Christoph
Superposition as a Decision Procedure for Timed Automata
In: Mathematics in Computer Science [6], 409-425
Electronic Journal Article
2012Kruglov, Evgeny
Weidenbach, Christoph
Attachment IconSuperposition Decides the First-Order Logic Fragment Over Ground Theories
In: Mathematics in Computer Science [6], 427-456
Journal Article
2012Kruglov, Evgeny
Weidenbach, Christoph
Attachment IconSuperposition Decides the First-Order Logic Fragment Over Ground Theories
In: Mathematics in Computer Science [6], 427-456
Journal Article
2011Fietzke, Arnaud
Weidenbach, Christoph
Superposition as a Decision Procedure for Timed Automata
In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2011),
Proceedings Article
2011[Eggers, Andreas]
Kruglov, Evgeny
[Kupferschmid, Stefan]
[Scheibler, Karsten]
[Teige, Teige]
Weidenbach, Christoph
SUP(NLA) -- Combining Superposition and Non-Linear Arithmetic
In: 8th International Symposium on Frontiers of Combining Systems, 119-134
Proceedings Article
2011Kruglov, Evgeny
Weidenbach, Christoph
SUP(T) Decides First-Order Logic Fragment Over Ground Theories
In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS-4),
Proceedings Article
2011Lu, Tianxiang
[Merz, Stephan]
Weidenbach, Christoph
Towards Verification of the Pastry Routing Protocol using TLA+
In: Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, 244-258
Proceedings Article
2010Lu, Tianxiang
[Merz, Stephan]
Weidenbach, Christoph
Attachment IconModel Checking the Pastry Routing Protocol
In: 10th International Workshop Automatic Verification of Critical Systems (AVOCS 2010), 19-21
Proceedings Article
2010Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick
On the Saturation of YAGOReport
2010Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick
On the Saturation of YAGO
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, 441-456
Proceedings Article
2010Weidenbach, Christoph
Wischnewski, Patrick
Subterm Contextual Rewriting
In: AI Communications [23], 97-109
Journal Article
2010Fietzke, Arnaud
[Hermanns, Holger]
Weidenbach, Christoph
Superposition-based Analysis of First-Order Probabilistic Timed Automata
In: Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, 302-316
Proceedings Article
2010Horbach, Matthias
Weidenbach, Christoph
Superposition for Fixed Domains
In: ACM Transactions on Computational Logic [11], 27,1-27,35
Journal Article
2009Lamotte-Schubert, Manuel
Weidenbach, Christoph
Attachment IconAnalysis of Authorizations in SAP R/3
In: First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving proceedings, 90-104
Proceedings Article
2009Lamotte-Schubert, Manuel
Weidenbach, Christoph
Analysis of Authorizations in SAP R/3
In: FTP 2009 : First-Order Theorem Proving, 90-104
Electronic Proceedings Article
2009Weidenbach, Christoph
Wischnewski, Patrick
Contextual RewritingReport
2009Horbach, Matthias
Weidenbach, Christoph
Decidability Results for Saturation-Based Model Building
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 404-420
Proceedings Article
2009Horbach, Matthias
Weidenbach, Christoph
Deciding the Inductive Validity of FOR ALL THERE EXISTS* Queries
In: Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, 332-347
Proceedings Article
2009Horbach, Matthias
Weidenbach, Christoph
Attachment IconDeciding the Inductive Validity of Forall Exists* QueriesReport
2009Fietzke, Arnaud
Weidenbach, Christoph
Labelled Splitting
In: Annals of Mathematics and Artificial Intelligence [55], 3-34
Journal Article
2009Weidenbach, Christoph
Dimova, Dilyana
Fietzke, Arnaud
Suda, Martin
Wischnewski, Patrick
SPASS Version 3.5
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 140-145
Proceedings Article
2009Horbach, Matthias
Weidenbach, Christoph
Attachment IconSuperposition for Fixed DomainsReport
2009Althaus, Ernst
Kruglov, Evgeny
Weidenbach, Christoph
Superposition Modulo Linear Arithmetic SUP(LA)
In: Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, 84-99
Proceedings Article
2008Weidenbach, Christoph
Wischnewski, Patrick
Contextual Rewriting in SPASS
In: PAAR/ESHOL, 115-124
Proceedings Article
2008Fietzke, Arnaud
Weidenbach, Christoph
Attachment IconLabelled SplittingReport
2008Fietzke, Arnaud
Weidenbach, Christoph
Labelled Splitting
In: IJCAR, 459-474
Proceedings Article
2008Horbach, Matthias
Weidenbach, Christoph
Superposition for Fixed Domains
In: CSL, 293-307
Proceedings Article
2007Hirth, Simon
Karl, Carsten
Weidenbach, Christoph
Attachment IconAutomatic Analysis of LAN InfrastructuresReport
2007[Lev-Ami, Tal]
Weidenbach, Christoph
[Reps, Thomas]
[Sagiv, Mooly]
Labelled Clauses
In: 21st International Conference on Automated Deduction (CADE-21), 311-327
Proceedings Article
2007Hillenbrand, Thomas
Weidenbach, Christoph
Attachment IconSuperposition for Finite DomainsReport
2007Weidenbach, Christoph
[Schmidt, Renate]
Hillenbrand, Thomas
Rusev, Rostislav
Topic, Dalibor
Attachment IconSystem Description: Spass Version 3.0
In: Automated Deduction --- CADE-21 : 21st International Conference on Automated Deduction, 514-520
Proceedings Article
2006Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph
Sudokus as Logical Puzzles
In: Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 2-12
Proceedings Article
2002Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor
Attachment IconSPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279
Proceedings Article
2001Weidenbach, ChristophCombining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013
Part of a Book
2001Nonnengart, Andreas
Weidenbach, Christoph
Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367
Part of a Book
2001Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph
Attachment IconFirst-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319
Proceedings Article
2000Weidenbach, ChristophEntscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät
Thesis - Habilitation thesis
1999Weidenbach, ChristophSPASS V0.95TPTP
In: Journal of Automated Reasoning [23], 21-21
Journal Article
1999Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor
System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318
Proceedings Article
1999Weidenbach, ChristophTowards an Automatic Analysis of Security Protocols in First-Order Logic
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382
Proceedings Article
1998Nonnengart, Andreas
[Rock, Georg]
Weidenbach, Christoph
On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411
Proceedings Article
1998Hustadt, Ullrich
Schmidt, Renate A.
Weidenbach, Christoph
Optimised Functional Translation and Resolution
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 36-37
Proceedings Article
1998[Letz, Reinhold]
Weidenbach, Christoph
Paradigmen und Perspektiven der automatischen Deduktion
In: KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. [4], 15-19
Journal Article
1998Weidenbach, ChristophRechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197
Part of a Book
1998Weidenbach, ChristophSorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320
Part of a Book
1998Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno
SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113
Journal Article
1998[Jacquemard, Florent]
Meyer, Christoph
Weidenbach, Christoph
Unification in Extensions of Shallow Equational Theories
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90
Proceedings Article
1997Ganzinger, Harald
Meyer, Christoph
Weidenbach, Christoph
Soft Typing for Ordered Resolution
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335
Proceedings Article
1997Weidenbach, ChristophSPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252
Journal Article
1996[Hähnle, Reiner]
[Kerber, Manfred]
Weidenbach, Christoph
Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion''Report
1996Weidenbach, ChristophComputational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes
Thesis - PhD thesis
1996Weidenbach, ChristophSorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76
Proceedings Article
1996Weidenbach, Christoph
[Gaede, Bernd]
[Rock, Georg]
SPASS & FLOTTER, Version 0.42
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 141-145
Proceedings Article
1996Weidenbach, ChristophUnification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357
Proceedings Article
1996Weidenbach, ChristophUnification in Sort Theories
In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25
Proceedings Article
1996Weidenbach, ChristophUnification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293
Journal Article
1995Ohlbach, Hans Jürgen
Weidenbach, Christoph
A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275
Journal Article
1995Weidenbach, ChristophFirst-Order Tableaux with Sorts
In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906
Journal Article
1995Barth, Peter
[Kleine Büning, Hans]
Weidenbach, Christoph
Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72
Proceedings Article
1994Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil
Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84
Proceedings Article
1994Weidenbach, ChristophFirst-Order Tableaux with Sorts
In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 247-261
Proceedings Article
1994Weidenbach, ChristophSorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316
Proceedings Article
1993Weidenbach, ChristophA New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54
Proceedings Article
1993Weidenbach, ChristophExtending the Resolution Method with Sorts
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), 60-65
Proceedings Article
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