Filename | Size (KB) | Access | Type | Author(s) [non member] | Title | Year |
|---|
| final_summaries.ps | 165 | Intranet
| Proceedings Article | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | Summaries for While Programs with Recursion
In: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 94-107 | 2005 |
2001CCL.ps.gz
2001CCL.dvi | 165
182 | Public
| Proceedings Article | Ganzinger, Harald
[Nieuwenhuis, Robert] | Constraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201 | 2001 |
| evaluation.ps | 171 |
| Proceedings Article | [Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei] | On the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271 | 2001 |
| 13_jacobs_sofronie.pdf | 173 | Public
| Electronic Proceedings Article | 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 | 2006 |
| _02CADE.pdf | 176 | Public
| Proceedings Article | Ganzinger, Harald | Shostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346 | 2002 |
| paper80.ps | 177 |
| Proceedings Article | Vorobyov, Sergei | $\forall\exists^\ast$-Equational Theory of Context Unification is $\Pi_1^0$-Hard
In: Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS-98), 597-606 | 1998 |
| deraedtl_inductive.ps | 181 | MPG
| Proceedings Article | [de Raedt, Luc]
Jaeger, Manfred
[Lee, Sau Dan]
[Mannila, Heikki] | A Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130 | 2002 |
| sofronie-ijcar-06.pdf | 192 | Public
| Proceedings Article | Sofronie-Stokkermans, Viorica | Interpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250 | 2006 |
| pgmfinal.ps | 195 | Public
| Proceedings Article | Jaeger, Manfred | Probababilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference
In: Proceedings of the First European Workshop on Probabilistic Graphical Models, 81-88 | 2002 |
| kv_LICS03.ps | 196 | Intranet
| Proceedings Article | Korovin, Konstantin
[Voronkov, Andrei] | Orienting Equalities with the Knuth-Bendix Order
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84 | 2003 |
| EnhancedWorkflowModels.pdf | 197 | Public
| Proceedings Article | 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 | 2005 |
| csl98-final.ps | 197 |
| Proceedings Article | Vorobyov, Sergei | Subtyping Functional+Nonempty Record Types
In: Proceedings of the 12th International Workshop on Computer Science Logic (CSL-98), Annual Conference on the EACSL, 285-297 | 1999 |
| Kaz04GF2N.pdf | 200 | Public
| Proceedings Article | Kazakov, Yevgeny | A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 372-384 | 2004 |
| MPI-I-2004-2-002.ps | 200 | Public
| Report | Maier, Patrick | Intuitionistic LTL and a New Characterization of Safety and Liveness | 2004 |
| Ratschan2007.pdf | 201 | Intranet
Internet Download forbidden | Journal Article | Ratschan, Stefan
She, Zhikun | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23 | 2007 |
| beyond.ps | 208 |
| Proceedings Article | Mukhopadhyay, Supratik
Podelski, Andreas | Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), 232-244 | 1999 |
| _03CADE.2.ps | 211 | Public
| Proceedings Article | Ganzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe | Superposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196 | 2003 |
| Rybalchenko2007PLDI-Paths.pdf | 212 | Internal
Internet Download forbidden | Proceedings Article | [Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | 2007 |
| jappreas-final.ps | 213 | MPG
| Journal Article | Jaeger, Manfred | Automatic Derivation of Probabilistic Inference Rules
In: International Journal of Approximate Reasoning [28], 1-22 | 2001 |
| mainsub.ps | 213 |
| Proceedings Article | Mukhopadhyay, Supratik
Podelski, Andreas | Constraint Database Models Characterizing Timed Bisimilarity
In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258 | 2001 |
| 85998158.ps | 213 | Public
| Report | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | Summaries for While Programs with Recursion | 2004 |
| PodelskiWagner02_2007.pdf | 214 | Intranet
Internet Download forbidden | Poster | [Podelski, Andreas]
Wagner, Silke | A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753 | 2007 |
| lpar2005.pdf | 220 | Public
| Unpublished/Draft | Baumgartner, Peter
Suchanek, Fabian | Model-Generation Theorem Proving for First-Order Logic Ontologies | 2005 |
| j-mvl-2001.ps.gz | 221 | Intranet
| Journal Article | 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 | 2001 |
| _03CADE.1.ps | 227 | Public
| Proceedings Article | Ganzinger, Harald
[Stuber, Jürgen] | Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 335-349 | 2003 |
| MPI-I-2007-2-001.pdf | 235 | Public
| Report | [Podelski, Andreas]
Wagner, Silke | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | 2007 |
| masterthesis.pdf | 237 | Public
| Thesis - Master's thesis | Schäf, Martin | Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes | 2006 |
| tableaux-2002.pdf | 241 | Public
| Proceedings Article | 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 | 2002 |
| next-wm-loop.ps | 244 |
| Proceedings Article | Hillenbrand, Thomas
[Löchner, Bernd] | The Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21 | 2001 |
| pods98.ps | 247 | Internal
| Proceedings Article | Vorobyov, Sergei
Voronkov, Andrei | Complexity of Nonrecursive Logic Programs with Complex Values
In: Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-98), 244-253 | 1998 |
