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 - 2. Only Thesis - 1. By Names

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/EditorMonthYearTitle
4
Hide details for Bachelor thesisBachelor thesis
Bromberger, Martin2012Completed IconAttachment IconAdapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic
Universität des Saarlandes
Dimova, DilyanaSep2007Completed IconAttachment IconPropositional Abduction
Universität des Saarlandes
Dressler, ChristianDec2007Completed IconAttachment IconFirst-Order Proof Documentation
Universität des Saarlandes
Neumann, Stephan RouvenApr2009Completed IconAutomated Proof Generation of Possibiltiy Properties in Inductive Protocol Verification
Universität des Saarlandes
15
Hide details for Master's thesisMaster's thesis
Azmy, Noran2012Completed IconAttachment IconFormula Renaming with Generalizations
Universität des Saarlandes
Bankstahl, JanJun2006Completed IconNetflow analysis of SAP R/3 traffic in an enterprise
Universität des Saarlandes
Dimova, DilyanaMar2009Completed IconOn the Translation of Timed Automata into First-order Logic
Universität des Saarlandes
Dreßler, ChristianApr2009Completed IconAttachment IconAutomatic Analysis of Tree-Based Feature Models with SPASS
Universität des Saarlandes
Esquivel Pinto, Claudia So fiaApr2013Completed IconAttachment IconComputing Variable Orders for SAT-Problems
Universität des Saarlandes
Fietzke, ArnaudOct2007Completed IconAttachment IconLabelled Splitting
Universität des Saarlandes
Hirth, SimonJul2006Completed IconAttachment IconAutomatische Analyse von DHCP und höheren Infrasturkturdiensten mit SPASS
Universität des Saarlandes
Karl, CarstenJul2006Completed IconAttachment IconAutomatische Analyse von Layer 3 Netzwerken mit SPASS
Universität des Saarlandes
Kruglov, EvgenyMar2008Completed IconSuperposition Modulo Linear Arithmetic
Universität des Saarlandes
Lamotte, ManuelJan2008Completed IconAttachment IconAnalysis of Authorizations in SAP R/3
Fachhochschule Trier
Ludwig, MichelJul2006Completed IconExtensions of the Knuth-Bendix Ordering with LPO-like Properties
Universität des Saarlandes
Reuter, Jochen2013Completed IconAttachment IconReal Linear Quantifier Elimination
Universität des Saarlandes
Rusev, RostislavMay2008Completed IconAttachment IconBitvector Reasoning with SPASS
Universität des Saarlandes
Teucke, AndreasMay2013Completed IconAttachment IconCDCL with Reduction
Universität des Saarlandes
Wischnewski, Patrick2007Completed IconAttachment IconContextual Rewriting in SPASS
Universität des Saarlandes
9
Hide details for Doctoral dissertationDoctoral dissertation
Hillenbrand, ThomasOct2008Completed IconAttachment IconSuperposition and Decision Procedures -- Back and Forth
Universität des Saarlandes
Horbach, MatthiasJul2010Completed IconSuperposition-based Decision Procedures for Fixed Domain and Minimal Model Semantics
Universität des Saarlandes
Ihlemann, CarstenAug2010Completed IconAttachment IconReasoning in Combinations of Theories
Universität des Saarlandes
Jacobs, SwenJan2010Stop sign IconHierarchic Decision Procedures for Verification
Universität des Saarlandes
Kruglov, EvgenyOct2013Completed IconAttachment IconSuperposition Modulo Theory
Universität des Saarlandes
Lu, TianxiangNov2013Completed IconAttachment IconFormal Verification of the Pastry Protocol
Universität des Saarlandes
Waldmann, UweJul1997Completed IconCancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes
Weidenbach, Christoph1996Completed IconComputational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes
Wischnewski, PatrickNov2012Stop sign IconAttachment IconEfficient Reasoning Procedures for Complex First-Order Theories
Universität des Saarlandes
2
Hide details for Habilitation thesisHabilitation thesis
Sofronie-Stokkermans, VioricaNov2004Completed IconAlgebraic and logical methods in automated theorem proving and in the study of concurrency
Universität des Saarlandes
Weidenbach, ChristophJun2000Completed IconEntscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät
3
Hide details for Diploma thesisDiploma thesis
Bankstahl, JanJun2006Completed IconAttachment IconNetflow analysis of SAP R/3 traffic in an enterprise environment
Universität des Saarlandes
Bastuck, AndreaSep2006Completed IconMaschinell unterstützte Analyse eines Sicherheitsprotokolls
Universität des Saarlandes
Zimmer, StephanDec2007Completed IconAttachment IconIntelligent Combination of a First Order Theorem Prover and SMT Procedures
Universität des Saarlandes
33

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