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
Show details for Electronic Journal ArticleElectronic Journal Article
17
Hide details for ReportReport
Damm, Werner
Disch, Stefan
Hagemann, Willem
Scholl, Christoph
Waldmann, Uwe
Wirtz, Boris
2011Integrating incremental flow pipes into a symbolic model checker for hybrid systems
Damm, Werner
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
2011PTIME parametric verification of safety properties for reasonable linear hybrid automata
Faber, Johannes
Ihlemann, Carsten
Jacobs, Swen
Sofronie-Stokkermans, Viorica
2010Automatic Verification of Parametric Specifications with Complex Topologies
Fietzke, Arnaud
Weidenbach, Christoph
2008Attachment IconLabelled Splitting
Hähnle, Reiner
Kerber, Manfred
Weidenbach, Christoph
1996Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion''
Hillenbrand, Thomas
Weidenbach, Christoph
2007Attachment IconSuperposition for Finite Domains
Hirth, Simon
Karl, Carsten
Weidenbach, Christoph
2007Attachment IconAutomatic Analysis of LAN Infrastructures
Horbach, Matthias
Weidenbach, Christoph
2009Attachment IconDeciding the Inductive Validity of Forall Exists* Queries
Horbach, Matthias
Weidenbach, Christoph
2009Attachment IconSuperposition for Fixed Domains
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
2010On hierarchical reasoning in combinations of theories
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
2010System Description: H-PILoT (Version 1.9)
Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica
2009Constraint Solving for Interpolation
Sofronie-Stokkermans, Viorica2008Efficient Hierarchical Reasoning about Functions over Numerical Domains
Sofronie-Stokkermans, Viorica2008Sheaves and geometric logic and applications to modular verification of complex systems
Sofronie-Stokkermans, Viorica1998Attachment IconResolution-based Theorem Proving for SHn-Logics
Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick
2010On the Saturation of YAGO
Weidenbach, Christoph
Wischnewski, Patrick
2009Contextual Rewriting
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)