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
4	Bachelor thesis
		Bromberger, Martin		2012			Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic Universität des Saarlandes
		Dimova, Dilyana	Sep	2007			Propositional Abduction Universität des Saarlandes
		Dressler, Christian	Dec	2007			First-Order Proof Documentation Universität des Saarlandes
		Neumann, Stephan Rouven	Apr	2009			Automated Proof Generation of Possibiltiy Properties in Inductive Protocol Verification Universität des Saarlandes
15	Master's thesis
		Azmy, Noran		2012			Formula Renaming with Generalizations Universität des Saarlandes
		Bankstahl, Jan	Jun	2006			Netflow analysis of SAP R/3 traffic in an enterprise Universität des Saarlandes
		Dimova, Dilyana	Mar	2009			On the Translation of Timed Automata into First-order Logic Universität des Saarlandes
		Dreßler, Christian	Apr	2009			Automatic Analysis of Tree-Based Feature Models with SPASS Universität des Saarlandes
		Esquivel Pinto, Claudia Sofia	Apr	2013			Computing Variable Orders for SAT-Problems Universität des Saarlandes
		Fietzke, Arnaud	Oct	2007			Labelled Splitting Universität des Saarlandes
		Hirth, Simon	Jul	2006			Automatische Analyse von DHCP und höheren Infrasturkturdiensten mit SPASS Universität des Saarlandes
		Karl, Carsten	Jul	2006			Automatische Analyse von Layer 3 Netzwerken mit SPASS Universität des Saarlandes
		Kruglov, Evgeny	Mar	2008			Superposition Modulo Linear Arithmetic Universität des Saarlandes
		Lamotte, Manuel	Jan	2008			Analysis of Authorizations in SAP R/3 Fachhochschule Trier
		Ludwig, Michel	Jul	2006			Extensions of the Knuth-Bendix Ordering with LPO-like Properties Universität des Saarlandes
		Reuter, Jochen		2013			Real Linear Quantifier Elimination Universität des Saarlandes
		Rusev, Rostislav	May	2008			Bitvector Reasoning with SPASS Universität des Saarlandes
		Teucke, Andreas	May	2013			CDCL with Reduction Universität des Saarlandes
		Wischnewski, Patrick		2007			Contextual Rewriting in SPASS Universität des Saarlandes
9	Doctoral dissertation
		Hillenbrand, Thomas	Oct	2008			Superposition and Decision Procedures -- Back and Forth Universität des Saarlandes
		Horbach, Matthias	Jul	2010			Superposition-based Decision Procedures for Fixed Domain and Minimal Model Semantics Universität des Saarlandes
		Ihlemann, Carsten	Aug	2010			Reasoning in Combinations of Theories Universität des Saarlandes
		Jacobs, Swen	Jan	2010			Hierarchic Decision Procedures for Verification Universität des Saarlandes
		Kruglov, Evgeny	Oct	2013			Superposition Modulo Theory Universität des Saarlandes
		Lu, Tianxiang	Nov	2013			Formal Verification of the Pastry Protocol Universität des Saarlandes
		Waldmann, Uwe	Jul	1997			Cancellative Abelian Monoids in Refutational Theorem Proving Universität des Saarlandes
		Weidenbach, Christoph		1996			Computational Aspects of a First-Order Logic with Sorts Universität des Saarlandes
		Wischnewski, Patrick	Nov	2012			Efficient Reasoning Procedures for Complex First-Order Theories Universität des Saarlandes
2	Habilitation thesis
		Sofronie-Stokkermans, Viorica	Nov	2004			Algebraic and logical methods in automated theorem proving and in the study of concurrency Universität des Saarlandes
		Weidenbach, Christoph	Jun	2000			Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät
3	Diploma thesis
		Bankstahl, Jan	Jun	2006			Netflow analysis of SAP R/3 traffic in an enterprise environment Universität des Saarlandes
		Bastuck, Andrea	Sep	2006			Maschinell unterstützte Analyse eines Sicherheitsprotokolls Universität des Saarlandes
		Zimmer, Stephan	Dec	2007			Intelligent Combination of a First Order Theorem Prover and SMT Procedures Universität des Saarlandes
33