Publications

Entries sorted by: 3. Type of Publication - 2. Only Thesis - 2. By Year

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/Editor	Month			Title
1	2013
1		Master's thesis
			Brahm, Uwe	Nov			Möglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik Universität des Saarlandes
3	2006
2		Master's thesis
			Dimitrova, Rayna	Jun			Model Checking with Abstraction Refinement for Well-Structured Systems Universität des Saarlandes
			Schäf, Martin	Apr			Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften Universität des Saarlandes
1		Doctoral dissertation
			Kazakov, Yevgeny	Mar			Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment Universität des Saarlandes
4	2005
2		Master's thesis
			Piskac, Ruzica	Feb			Formal Correctness of Result Checking for Priority Queues Universität des Saarlandes
			Suchanek, Fabian M.				Ontological Reasoning for Natural Language Understanding Universität des Saarlandes
1		Doctoral dissertation
			Backes, Werner	Jan			Programmanalyse des XRTL Zwischencodes Universität des Saarlandes
1		Diploma thesis
			Hagemann, Willem				Formalisierung der Arithmetik Universität Göttingen
3	2004
2		Master's thesis
			Jacobs, Swen	Oct			Instance Generation Methods for Automated Reasoning Universität des Saarlandes
			Wies, Thomas	Sep			Symbolic Shape Analysis Universität des Saarlandes
1		Habilitation thesis
			Sofronie-Stokkermans, Viorica	Nov			Algebraic and logical methods in automated theorem proving and in the study of concurrency Universität des Saarlandes
2	2003
2		Doctoral dissertation
			Korovin, Konstantin	Nov			Knuth-Bendix orders in automated deduction and term rewriting University of Manchester
			Maier, Patrick	Jul			A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning Universität des Saarlandes
3	2002
1		Master's thesis
			Rybalchenko, Andrey	Sep			A Model Checker based on Abstraction Refinement Universität des Saarlandes

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