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
2011[Baumgartner, Peter]
Waldmann, Uwe
A Combined Superposition and Model Evolution Calculus
In: Journal of Automated Reasoning [47], 191-227
Journal Article
2011[Damm, Werner]
[Dierks, Henning]
[Disch, Stefan]
Hagemann, Willem
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Attachment IconExact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces
In: Science of Computer Programming [in press], 1-29
Electronic Journal Article
2011[Damm, Werner]
[Disch, Stefan]
Hagemann, Willem
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Integrating incremental flow pipes into a symbolic model checker for hybrid systemsReport
2009[Baumgartner, Peter]
Waldmann, Uwe
Superposition and Model Evolution Combined
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 17-34
Proceedings Article
2007[Ludwig, Michel]
Waldmann, Uwe
An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, 348-362
Proceedings Article
2007Jacobs, Swen
Waldmann, Uwe
Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Journal of Automated Reasoning [38], 57-78
Journal Article
2007[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
Jacobs, Swen
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, 425-440
Proceedings Article
2006[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291
Proceedings Article
2006Jacobs, Swen
Waldmann, Uwe
Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Journal of Automated Reasoning [38], 57-78
Electronic Journal 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
2006[Prevosto, Virgile]
Waldmann, Uwe
SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33
Proceedings Article
2005Jacobs, Swen
Waldmann, Uwe
Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, 153-168
Proceedings Article
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
2003Ganzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe
Attachment IconSuperposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196
Proceedings Article
2002Waldmann, UweA New Input Technique for Accented Letters in Alphabetical Scripts
In: Proceedings of the 20th International Unicode Conference, C12
Proceedings Article
2002Waldmann, UweCancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861
Journal Article
2002Waldmann, UweCancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829
Journal Article
2001Waldmann, UweSuperposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241
Proceedings Article
1999Waldmann, UweCancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147
Proceedings Article
1998Waldmann, UweExtending reduction orderings to ACU-compatible reduction orderings
In: Information Processing Letters [67], 43-49
Journal Article
1998Waldmann, UweSuperposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159
Proceedings Article
1997Waldmann, UweA Superposition Calculus for Divisible Torsion-Free Abelian Groups
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 130-134
Proceedings Article
1997Waldmann, UweCancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes
Thesis - PhD thesis
1996Ganzinger, Harald
Waldmann, Uwe
Theorem Proving in Cancellative Abelian Monoids (Extended Abstract)
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 388-402
Proceedings Article
1994Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
Refutational Theorem Proving for Hierarchic First-Order Theories
In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212
Journal Article
1993[Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe
Set Constraints are the Monadic Class
In: Eighth Annual IEEE Symposium on Logic in Computer Science, 75-83
Proceedings Article
1993[Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe
Superposition with simplification as a decision procedure for the monadic class with equality
In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, 83-96
Proceedings Article
1992Waldmann, UweSemantics of Order-Sorted Specifications
In: Theoretical Computer Science [94], 1-35
Journal Article
1992Ganzinger, Harald
Waldmann, Uwe
Termination Proofs of Well-Moded Logic Programs Via Conditional Rewrite Systems
In: Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems '92, 430-437
Proceedings Article
1992Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434
Proceedings Article
1
Hide details for Wand, DanielWand, Daniel
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
1
Hide details for Weber, AndreasWeber, Andreas
2011[Weber, Andreas]
Sturm, Thomas
[Abdel-Rahman, Essam O.]
Algorithmic Global Criteria for Excluding Oscillations
In: Bulletin of Mathematical Biology [73], 899-916
Journal Article
1
Hide details for Weber, A.Weber, A.
2013[Errami, H.]
[Eiswirth, M.]
[Grigoriev. D.]
[Seiler, W.]
Sturm, T.
[Weber, A.]
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
In: Proceedings of the CASC 2013, 88-99
Proceedings Article
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
Hide details for Weidenbach, Christoph (ed.)Weidenbach, Christoph (ed.)
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
2013Sofronie-Stokkermans, VioricaOn combinations of local theory extensions
In: Programming Logics, Essays in Memory of Harald Ganzinger, 392-413
Part of a Book
1
Hide details for Weydert, EmilWeydert, Emil
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
1
Hide details for Wilhelm, ReinhardWilhelm, Reinhard
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
7
Hide details for Wilhelm, Reinhard (ed.)Wilhelm, Reinhard (ed.)
2011[Damm, Werner]
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
PTIME parametric verification of safety properties for reasonable linear hybrid automataReport
2010[Faber, Johannes]
Ihlemann, Carsten
[Jacobs, Swen]
Sofronie-Stokkermans, Viorica
Automatic Verification of Parametric Specifications with Complex TopologiesReport
2010Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
On hierarchical reasoning in combinations of theoriesReport
2010Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
System Description: H-PILoT (Version 1.9)Report
2009Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica
Constraint Solving for InterpolationReport
2008Sofronie-Stokkermans, VioricaEfficient Hierarchical Reasoning about Functions over Numerical DomainsReport
2008Sofronie-Stokkermans, VioricaSheaves and geometric logic and applications to modular verification of complex systemsReport
5
Hide details for Wirtz, BorisWirtz, Boris
2012[Damm, Werner]
[Dierks, Henning]
[Disch, Stefan]
Hagemann, Willem
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
In: Science of Computer Programming [77], 1122-1150
Journal Article
2011[Damm, Werner]
[Dierks, Henning]
[Disch, Stefan]
Hagemann, Willem
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Attachment IconExact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces
In: Science of Computer Programming [in press], 1-29
Electronic Journal Article
2011[Damm, Werner]
[Disch, Stefan]
Hagemann, Willem
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Integrating incremental flow pipes into a symbolic model checker for hybrid systemsReport
2007[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
Jacobs, Swen
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, 425-440
Proceedings Article
2006[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291
Proceedings Article
11
Hide details for Wischnewski, PatrickWischnewski, Patrick
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
2012Wischnewski, PatrickAttachment IconEfficient Reasoning Procedures for Complex First-Order Theories
Universität des Saarlandes
Thesis - PhD thesis
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
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
2009Weidenbach, Christoph
Wischnewski, Patrick
Contextual RewritingReport
2009Suda, Martin
[Sutcliffe, Geoff]
Wischnewski, Patrick
Lamotte-Schubert, Manuel
de Melo, Gerard
Attachment IconExternal Sources of Axioms in Automated Theorem Proving
In: KI 2009: Advances in Artificial Intelligence, 281-288
Proceedings 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
2008Weidenbach, Christoph
Wischnewski, Patrick
Contextual Rewriting in SPASS
In: PAAR/ESHOL, 115-124
Proceedings Article
2007Wischnewski, PatrickAttachment IconContextual Rewriting in SPASS
Universität des Saarlandes
Thesis - Masters thesis
1
Hide details for Wolter, Frank (ed.)Wolter, Frank (ed.)
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
1
Hide details for Yoneda, Tomohiro (ed.)Yoneda, Tomohiro (ed.)
2007[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
Jacobs, Swen
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, 425-440
Proceedings Article
1
Hide details for Zakharyaschev, Michael (ed.)Zakharyaschev, Michael (ed.)
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
3
Hide details for Zangl, FabriceZangl, Fabrice
2007Freiheit, Jörn
[Zangl, Fabrice]
Model-based User-interface Management for Public Services
In: Electronic Journal of e-Government [5], 53-62
Journal Article
2006Freiheit, Jörn
[Luuk, Marc]
[Münch, Susanne]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27
Journal Article
2006Freiheit, Jörn
[Zangl, Fabrice]
Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151
Proceedings Article
1
Hide details for Zeller, Andreas (ed.)Zeller, Andreas (ed.)
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
2
Hide details for Zengler, Christoph (ed.)Zengler, Christoph (ed.)
2011Automated Deduction in Geometry : 7th International Workshop, ADG 2008Proceedings
2011[Lasaruk, Aless]
Sturm, Thomas
Automatic Verification of the Adequacy of Models for Families of Geometric Objects
In: Automated Deduction in Geometry : 7th International Workshop, ADG 2008, 116-140
Proceedings Article
1
Hide details for Zhang, Wenhui (ed.)Zhang, Wenhui (ed.)
2006[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291
Proceedings Article
1
Hide details for Zhang, ZhihaiZhang, Zhihai
2014[Kapur, Deepak]
[Zhang, Zhihai]
Horbach, Matthias
[Zhao, Hantao]
[Lu, Qi]
[Nguyen, ThanhVu]
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
In: Automated Reasoning and Mathematics: Essays in Memory of William McCune, 189-228
Part of a Book
1
Hide details for Zhao, HantaoZhao, Hantao
2014[Kapur, Deepak]
[Zhang, Zhihai]
Horbach, Matthias
[Zhao, Hantao]
[Lu, Qi]
[Nguyen, ThanhVu]
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
In: Automated Reasoning and Mathematics: Essays in Memory of William McCune, 189-228
Part of a Book
2
Hide details for Ziemann, JoergZiemann, Joerg
2007[Ziemann, Joerg]
[Matheis, Thomas]
Freiheit, Jörn
Modelling of Cross-Organizational Business Processes
In: Enterprise Modelling and Information Systems Architectures 2007, 87-95
Proceedings Article
2007[Ziemann, Joerg]
[Matheis, Thomas]
Freiheit, Jörn
Modelling of Cross-Organizational Business Processes - Current Methods and Standards
In: Enterprise Modelling and Information Systems Architectures [2], 23-31
Journal Article
1
Hide details for Zimmer, StephanZimmer, Stephan
2007Zimmer, StephanAttachment IconIntelligent Combination of a First Order Theorem Prover and SMT Procedures
Universität des Saarlandes
Thesis - other
841
Next Page