Year | Author/Editor | | Title | Type |
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: Proceedings of VERIFY'06: Verification Workshop, 128-145 | Electronic Proceedings 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 |
2006 | Wies, Thomas
Kuncak, Viktor
Lam, Patrick
Podelski, Andreas
Rinard, Martin C. | | Field Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173 | Proceedings Article |
2005 | Backes, Werner | | Programmanalyse des XRTL Zwischencodes
Universität des Saarlandes | Thesis - Doctoral dissertation |
2005 | Baumgartner, Peter
Furbach, Ulrich | | Living Books, Automated Deduction and other Strange Things
In: Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann, 255-274 | Part of a Book |
2005 | Baumgartner, Peter
Furbach, Ulrich
Gross-Hardt, Margret
Kleemann, Thomas | | Optimizing the Evaluation of XPath Using Description Logics
In: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, 1-15 | Proceedings Article |
2005 | Baumgartner, Peter
Furbach, Ulrich
Yahya, Adnan | | Automated Reasoning, Knowledge Representation and Management
In: KI - Künstliche Intelligenz [1], 5-11 | Journal Article |
2005 | Baumgartner, Peter
Suchanek, Fabian | | Model-Generation Theorem Proving for First-Order Logic Ontologies | Unpublished/Draft |
2005 | Baumgartner, Peter
Tinelli, Cesare | | The Model Evolution Calculus with Equality
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 392-408 | Proceedings Article |
2005 | Blanchet, Bruno
Podelski, Andreas | | Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Theoretical Computer Science [333], 67-90 | Journal Article |
2005 | Charatonik, Witold
Georgieva, Lilia
Maier, Patrick | | Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412 | Proceedings Article |
2005 | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | | Abstraction-refinement for Termination
In: Static analysis : 12th International Symposium, SAS 2005, 87-101 | Proceedings Article |
2005 | Cuntz, Nicolas
Freiheit, Jörn
Kindler, Ekkart | | On the semantics of EPCs: Faster calculation for EPCs with small state spaces
In: EPK 2005 : Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 7-23 | Proceedings Article |
2005 | Damm, Werner
Pinto, Guilherme
Ratschan, Stefan | | Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, 99-113 | Proceedings Article |
2005 | Daum, Matthias
Maus, Stefan
Schirmer, Norbert
Seghir, Mohammed Nassim | | Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | Proceedings Article |
2005 | de Nivelle, Hans | | Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Information and Computation [199], 24-54 | Journal Article |
2005 | de Nivelle, Hans
Demri, Stéphane | | Deciding Regular Grammar Logics with Converse through First-Order Logic
In: Journal of Logic, Language and Information [14], 289-329 | Journal Article |
2005 | de Nivelle, Hans
Piskac, Ruzica | | Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219 | Proceedings Article |
2005 | Delahaye, David
Jaume, Mathieu
Prevosto, Virgile | | Coq, un outil pour l'enseignement
In: Technique et Science Informatiques [24], 1139-1160 | Journal Article |
2005 | Freiheit, Jörn
Münch, Susanne
Schöttle, Hendrik
Sijanski, Grozdana
Zangl, Fabrice | | Enhanced Workflow Models as a Tool for Judicial Practitioners
In: On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 26-27 | Proceedings Article |
2005 | Ganzinger, Harald
Stuber, Jürgen | | Superposition with equivalence reasoning and delayed clause normal form transformation
In: Information and Computation [199], 3-23 | Journal Article |
2005 | Georgieva, Lilia
Maier, Patrick | | Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330 | Proceedings Article |
2005 | Goncharov, Sergey
Harizanov, Valentina
Knight, Julia F.
Morozov, Andrey
Romina, Anya | | On automorphic tuples of elements in computable models
In: Siberian Mathematical Journal [46], 405-412 | Journal Article |
2005 | Hagemann, Willem | | Formalisierung der Arithmetik
Universität Göttingen | Thesis - Diploma thesis |
2005 | Hoenicke, Jochen
Maier, Patrick | | Model-Checking of Specifications Integrating Processes, Data and Time
In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480 | Proceedings Article |
2005 | Hoffmann, Jörg | | A Covering Problem for Hypercubes
In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, 579-580 | Poster |
2005 | Hoffmann, Jörg | | In Defense of PDDL Axioms
In: Artificial Intelligence [168], 38-69 | Journal Article |
2005 | Hoffmann, Jörg | | The Deterministic Part of IPC-4: An Overview
In: Journal of Artificial Intelligence Research [24], 519 - 579 | Journal Article |
2005 | Hoffmann, Jörg | | Where Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks
In: Journal of Artificial Intelligence Research [24], 685-758 | Journal Article |