Filename | Size (KB) | Access | Type | Author(s) [non member] | Title | Year |
Rybalchenko2007PLDI-Threads.pdf | 283 | Internal
Internet Download forbidden | Proceedings Article | [Cook, Byron]
[Podelski, Andreas]
Rybalchenko, Andrey | Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330 | 2007 |
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 |
Rybalchenko2007PADL.pdf | 396 | Internal
Internet Download forbidden | Proceedings Article | [Podelski, Andreas]
Rybalchenko, Andrey | ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259 | 2007 |
rock.ps | 1107 |
| Thesis - Master's thesis | Rock, Georg | Transformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes | 1995 |
RecResML.dvi | 21 | Public
| Proceedings Article | Kazakov, Yevgeny | Recursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15 | 2002 |
RatschanVehi.ps.gz | 131 | Public
| Proceedings Article | Ratschan, Stefan
Vehi, Josep | Robust Pole Clustering of Parametric Uncertain Systems Using Interval Methods
In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, 323-328 | 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 |
pwm.ps | 110 | Public
| Proceedings Article | [Gaillourdet, Jean-Marie]
Hillenbrand, Thomas
[Löchner, Bernd]
[Spies, Hendrik] | The New WALDMEISTER Loop at Work
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 317-321 | 2003 |
promotion.ps | 2703 |
| Thesis - Doctoral dissertation | Gamkrelidze, Alexander | Einige Optimierungsmethoden hierarchischer Schaltkreise
Universität des Saarlandes | 2001 |
PROBMIV99.ps.gz | 67
166 | Public
| Proceedings Article | Jaeger, Manfred | Fairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66 | 1999 |
probmiv99.ps | 67
166 | Public
| Proceedings Article | Jaeger, Manfred | Fairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66 | 1999 |
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 |
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 |
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 |
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 |
NOSup.ps | 104 | Public
| Electronic Proceedings Article | Hillenbrand, Thomas | A Superposition View on Nelson-Oppen
In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 16-20 | 2004 |
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 |
mvl-book-02.ps | 375 | Public
| Part of a Book | Sofronie-Stokkermans, Viorica | Representation 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 | 2003 |
mt.pdf | 284 | Public
| Thesis - Master's thesis | Timm, Jan-Georg | Testing the Satisfiability of RPO Constraints
Universität des Saarlandes | 1997 |
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 |
MPI-I-2004-2-002.ps | 200 | Public
| Report | Maier, Patrick | Intuitionistic LTL and a New Characterization of Safety and Liveness | 2004 |
MPI-I-2004-2-001.pdf | 269 | Public
| Report | de Nivelle, Hans
Kazakov, Yevgeny | Resolution Decision Procedures for the Guarded Fragment with
Transitive Guards | 2004 |
mifinal-main.ps | 360 | Public
| Electronic Journal Article | Jaeger, Manfred | Relational Bayesian Networks: a Survey
In: Electronic Transactions on Artificial Intelligence [6], | 2002 |
meyer.ps | 1139 |
| Thesis - Master's thesis | Meyer, Christoph | Parallel Unit Resulting Resolution
Universität des Saarlandes | 1996 |
MChristen_MT.ps | 415 |
| Thesis - Master's thesis | Christen, Michael | A Calculus of Simplification for Superposition
Universität des Saarlandes | 1997 |
masterthesis.pdf | 237 | Public
| Thesis - Master's thesis | Schäf, Martin | Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes | 2006 |
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 |
lpar2005.pdf | 220 | Public
| Unpublished/Draft | Baumgartner, Peter
Suchanek, Fabian | Model-Generation Theorem Proving for First-Order Logic Ontologies | 2005 |
ln20060912.pdf | 163 | Internal
| Miscellaneous | Brahm, Uwe | Eine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für Informatik | 2006 |
LICS98.ps.gz | 94
245 | Public
| Proceedings Article | Jaeger, Manfred | Convergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55 | 1998 |