Server halma.mpi-inf.mpg.de
Entries sorted by: 3. Type of Publication - 2. Only Thesis - 3. By Referee
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
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
| # |  | | Author/Editor | Month | Year | | | Title | |
|---|
| 1 |
 | - |
| |
| 1 |
|
| |
| | | Charatonik, Witold | | 2002 |  | | Direktionale Typen in der Logischen Programmierung
Universität des Saarlandes | |
| 1 |
| |
| 1 |
|
| Doctoral dissertation |
| |
| | | Eisenbrand, Friedrich | Jul | 2000 | | | Gomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra
Universität des Saarlandes | |
| 5 |
| Andreas Podelski |
| |
| 4 |
|
| |
| | | Jung, Georg | May | 2001 | |  | Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
Universität des Saarlandes | |
| | | Piskac, Ruzica | Feb | 2005 | | | Formal Correctness of Result Checking for Priority Queues
Universität des Saarlandes | |
| | | Rybalchenko, Andrey | Sep | 2002 | | | A Model Checker based on Abstraction Refinement
Universität des Saarlandes | |
| | | Wies, Thomas | Sep | 2004 | | | Symbolic Shape Analysis
Universität des Saarlandes | |
| 1 |
|
| Doctoral dissertation |
| |
| | | Mukhopadhyay, Supratik | May | 2001 | | | A Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes | |
| 1 |
| Basin |
| |
| 1 |
|
| |
| | | Autexier, Serge | | 1996 | | | Heuristiken zum Beweisen von Gleichungen
Universität des Saarlandes | |
| 1 |
| |
| 1 |
|
| Doctoral dissertation |
| |
| | | Viganò, Luca | | 1997 | | | A Framework for Non-Classical Logics
Universität des Saarlandes | |
| 1 |
| Becker, Bernd |
| |
| 1 |
|
| |
| | | Gamkrelidze, Alexander | Dec | 2001 | | | Einige Optimierungsmethoden hierarchischer Schaltkreise
Universität des Saarlandes | |
| 1 |
| |
| 1 |
|
| Master's thesis |
| |
| | | Veit, Jörg | Oct | 1999 | | | Formal Fairness Proofs for Optimistic Contract Signing Protocols
Universität des Saarlandes | |
| 1 |
| Christopher Lynch |
| |
| 1 |
|
| |
| | | Stuber, Jürgen | Dec | 1999 | | | Superposition Theorem Proving for Commutative Algebraic Theories
Universität des Saarlandes | |
| 1 |
| |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)
