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
Show details for ReportReport
4
Show details for Thesis - Bachelor thesisThesis - Bachelor thesis
15
Hide details for Thesis - Master's thesisThesis - Master's thesis
Azmy, Noran2012Attachment IconFormula Renaming with Generalizations
Universität des Saarlandes
Bankstahl, Jan2006Netflow analysis of SAP R/3 traffic in an enterprise
Universität des Saarlandes
Dimova, Dilyana2009On the Translation of Timed Automata into First-order Logic
Universität des Saarlandes
Dreßler, Christian2009Attachment IconAutomatic Analysis of Tree-Based Feature Models with SPASS
Universität des Saarlandes
Esquivel Pinto, Claudia So fia2013Attachment IconComputing Variable Orders for SAT-Problems
Universität des Saarlandes
Fietzke, Arnaud2007Attachment IconLabelled Splitting
Universität des Saarlandes
Hirth, Simon2006Attachment IconAutomatische Analyse von DHCP und höheren Infrasturkturdiensten mit SPASS
Universität des Saarlandes
Karl, Carsten2006Attachment IconAutomatische Analyse von Layer 3 Netzwerken mit SPASS
Universität des Saarlandes
Kruglov, Evgeny2008Superposition Modulo Linear Arithmetic
Universität des Saarlandes
Lamotte, Manuel2008Attachment IconAnalysis of Authorizations in SAP R/3
Fachhochschule Trier
Ludwig, Michel2006Extensions of the Knuth-Bendix Ordering with LPO-like Properties
Universität des Saarlandes
Reuter, Jochen2013Attachment IconReal Linear Quantifier Elimination
Universität des Saarlandes
Rusev, Rostislav2008Attachment IconBitvector Reasoning with SPASS
Universität des Saarlandes
Teucke, Andreas2013Attachment IconCDCL with Reduction
Universität des Saarlandes
Wischnewski, Patrick2007Attachment IconContextual Rewriting in SPASS
Universität des Saarlandes
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)