Filename | Size (KB) | Access | Type | Author(s) [non member] | Title | Year |
|---|
| tv06proceedings.pdf | 5023 | Internal
Internet Download forbidden | Unpublished/Draft | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | Thread-Modular Verification and Cartesian Abstraction | 2006 |
| thesis.ps | 1598 |
| Thesis - Doctoral dissertation | Mukhopadhyay, Supratik | A Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes | 2001 |
| thesis-thoma_wies.pdf | 584 | Public
| Thesis - Master's thesis | Wies, Thomas | Symbolic Shape Analysis
Universität des Saarlandes | 2004 |
| 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 |
| SubDL.pdf | 154 | Public
| Proceedings Article | Kazakov, Yevgeny
de Nivelle, Hans | Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
In: 2003 International Workshop on Description Logics (DL-03), 56-64 | 2003 |
| studia-logica-2000-2.pdf | 1351
807 | Intranet
| Journal Article | Sofronie-Stokkermans, Viorica | Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
In: Studia Logica [64], 151-172 | 2000 |
| studia-logica-2000-1.pdf | 1351 | Intranet
| Journal Article | Sofronie-Stokkermans, Viorica | Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part I
In: Studia Logica [64], 93-132 | 2000 |
| studia-logica-2000-1.pdf | 1351
807 | Intranet
| Journal Article | Sofronie-Stokkermans, Viorica | Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
In: Studia Logica [64], 151-172 | 2000 |
| stuber.ps | 453 | Public
| Thesis - Master's thesis | Stuber, Jürgen | Inductive Theorem Proving for Horn Clauses
Universität Dortmund | 1991 |
| Stuber1999Diss.ps.gz | 399 | Public
| Thesis - Doctoral dissertation | Stuber, Jürgen | Superposition Theorem Proving for Commutative Algebraic Theories
Universität des Saarlandes | 1999 |
| spass2002.ps | 106 | Public
| Proceedings Article | Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor | SPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279 | 2002 |
| sofronie-stokkermans-fct-1999.ps.gz | 92 | Public
| Proceedings Article | Sofronie-Stokkermans, Viorica
[Stokkermans, Karel] | Modeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523 | 1999 |
| sofronie-ijcar-06.pdf | 192 | Public
| Proceedings Article | Sofronie-Stokkermans, Viorica | Interpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250 | 2006 |
| sofronie-dam-revised.ps | 553 | Intranet
| Journal Article | Sofronie-Stokkermans, Viorica | Automated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ? | 2007 |
| sofronie-cade2000.ps | 260 | Public
| Proceedings Article | Sofronie-Stokkermans, Viorica | On unification for bounded distributive lattices
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481 | 2000 |
| sofronie-cade-2005.pdf | 518 | Public
| Proceedings Article | Sofronie-Stokkermans, Viorica | Hierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234 | 2005 |
| sofronie-acm-tocl-final.pdf | 427 | Intranet
| Journal Article | Sofronie-Stokkermans, Viorica | On unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ? | 2007 |
| 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 |
