Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications

MPI-INF RG1 Publications

Entries sorted by: 3. Type of Publication - 1. All Types

Login to this database


 

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/EditorYearTitle
2
Show details for BookBook
12
Show details for Part of a BookPart of a Book
7
Show details for ProceedingsProceedings
2
Show details for Electronic ProceedingsElectronic Proceedings
115
Show details for Proceedings ArticleProceedings Article
13
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
42
Show details for Journal ArticleJournal Article
8
Hide details for Electronic Journal ArticleElectronic Journal Article
Burel, Guillaume2011Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
In: Logical Methods in Computer Science [7], 3:1-3:31
Damm, Werner
Dierks, Henning
Disch, Stefan
Hagemann, Willem
Pigorsch, Florian
Scholl, Christoph
Waldmann, Uwe
Wirtz, Boris
2011Attachment IconExact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces
In: Science of Computer Programming [in press], 1-29
Fietzke, Arnaud
Weidenbach, Christoph
2012Superposition as a Decision Procedure for Timed Automata
In: Mathematics in Computer Science [6], 409-425
Jacobs, Swen
Sofronie-Stokkermans, Viorica
2007Attachment IconApplications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [174], 39-54
Jacobs, Swen
Waldmann, Uwe
2006Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Journal of Automated Reasoning [38], 57-78
Sofronie-Stokkermans, Viorica2009Sheaves and geometric logic and applications to modular verification of complex systems
In: Electronic Notes in Theoretical Computer Science [230], 161-187
Sofronie-Stokkermans, Viorica2008Interpolation in local theory extensions
In: Logical Methods in Computer Science [4], 31 pages
Sofronie-Stokkermans, Viorica2006Automatisches Beweisen in komplexen Theorien
In: MPG Jahrbuch [-],
17
Show details for ReportReport
4
Show details for Thesis - Bachelor thesisThesis - Bachelor thesis
15
Show details for Thesis - Master's thesisThesis - Master's thesis
9
Show details for Thesis - Doctoral dissertationThesis - Doctoral dissertation
2
Show details for Thesis - Habilitation thesisThesis - Habilitation thesis
3
Show details for Thesis - Diploma thesisThesis - Diploma thesis
1
Show details for Unpublished/DraftUnpublished/Draft
1
Show details for MiscellaneousMiscellaneous
253

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)