Publications

Entries sorted by: 5. Year - 4. All Years - 2. MPG Jahrbuch Format

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

#		Year	edoc	Lck	Author(s) [non member]	Editor(s) [non member]			Title	Type	edoc identifier
698	Veröffentlichungen der Mitarbeiter
10	Publikationen im Internet
39	Diplomarbeiten (/Magisterarbeiten)
		2013			Brahm, Uwe				Möglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik Universität des Saarlandes	Thesis - Masters thesis	B2D30584FFD0FC1DC1257D56003A4DDE-Brahm2013
		2006			Dimitrova, Rayna				Model Checking with Abstraction Refinement for Well-Structured Systems Universität des Saarlandes	Thesis - Masters thesis	E98933E3DE9BBA00C12572350035E8C3-Dimitrova2006
		2006			Schäf, Martin				Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften Universität des Saarlandes	Thesis - Masters thesis	9A16D39FBB0ADE2EC12571450044FF2C-Schaef2005
		2005			Piskac, Ruzica				Formal Correctness of Result Checking for Priority Queues Universität des Saarlandes	Thesis - Masters thesis	F77B0C1F0923B6EEC1256FC40059EA93-Piskac2005
		2005			Suchanek, Fabian M.				Ontological Reasoning for Natural Language Understanding Universität des Saarlandes	Thesis - Masters thesis	8D87190D5DB624ADC1256FE200545742-Suchanek:DA:2005
		2004			Jacobs, Swen				Instance Generation Methods for Automated Reasoning Universität des Saarlandes	Thesis - Masters thesis	288285D9C047581FC1256FC0004BA71E-Jacobs2004
		2004			Wies, Thomas				Symbolic Shape Analysis Universität des Saarlandes	Thesis - Masters thesis	952441E206ED7310C1256F870035AF04-Wies2004
		2002			Rybalchenko, Andrey				A Model Checker based on Abstraction Refinement Universität des Saarlandes	Thesis - Masters thesis	E198F9F27C896D72C1256D0A0037AD19-Rybalchenko2002
		2001			Grenner, Ingo				Die Erzeugung von Schnittebenen mit maximalem Verletzungsgrad und deren Einsatz im Branch-and-Cut Verfahren Universität des Saarlandes	Thesis - Masters thesis	E197CF1EE6EF2E78C1256AB5004926A7-Grenner01
		2001			Jung, Georg				Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme Universität des Saarlandes	Thesis - Masters thesis	BB14CC5B9E17DA83C1256B1A003E5478-JungDiplom2000
		2000			Brinker, Christof				Geometrisches Schließen mit SPASS Universität des Saarlandes	Thesis - Masters thesis	91A3AF0863304A8BC12568AE0069B365-Brinker2000
		1999			Fischmann, Matthias				On Applications of Decidable Object-Oriented Type Theory Universität des Saarlandes	Thesis - Masters thesis	F347ECAE6D8BD769C125688D0041F716-Fischmann-Diplom99
		1999			Schmolzi, Christian				Kooperative koevolutionäre Entwicklung von Fuzzy-Reglern Universität des Saarlandes	Thesis - Masters thesis	F21A46C1FED4F453C125674E00451792-Schmolzi-Diplom99
		1999			Veit, Jörg				Formal Fairness Proofs for Optimistic Contract Signing Protocols Universität des Saarlandes	Thesis - Masters thesis	C05A82115F0047BAC12568AE0069E170-Veit1999
		1998			Althaus, Ernst				Berechnung optimaler Steinerbäume in der Ebene Universität des Saarlandes	Thesis - Masters thesis	54E97C22983FAE18C1256751004C7F15-Althaus-Diplom98
		1998			Friedrich, Stefan				Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment Universität des Saarlandes	Thesis - Masters thesis	80E2C31FDE690B3DC12567450054B4F5-Friedrich-Diplom98
		1998			Leven, Peter				Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover Universität des Saarlandes	Thesis - Masters thesis	AEA282517C2EA652C125674500537B7C-Leven-Diplom98
		1997			Christen, Michael				A Calculus of Simplification for Superposition Universität des Saarlandes	Thesis - Masters thesis	8DB9717BA22CB258C125659A0046C861-Christen97
		1997			Naumann, Stefan				Integration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA Universität des Saarlandes	Thesis - Masters thesis	A5713FAF8FC448F6C12565AA0032B4BA-Naumann-Diplom97
		1997			Rau, Rainer				Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm Universität des Saarlandes	Thesis - Masters thesis	45F628E6A675ED03C12565C9005395E3-RauRainer97
		1997			Timm, Jan-Georg				Testing the Satisfiability of RPO Constraints Universität des Saarlandes	Thesis - Masters thesis	A31E480CFA2F5514C12565B70052EC7F-Timm97
		1996			Autexier, Serge				Heuristiken zum Beweisen von Gleichungen Universität des Saarlandes	Thesis - Masters thesis	B7C3F400910DEF02C1256A2300523C66-AutexierDipl96
		1996			Bach, Alexander				Static analysis of functional programs via Linear Logic Universität des Saarlandes	Thesis - Masters thesis	CC875A7179F97FCA412563EC007A42E9-Bach96
		1996			Engel, Thorsten				Quantifier Elimination in Second-Order Predicate Logic Universität des Saarlandes	Thesis - Masters thesis	96219E83E1111E5AC125647C0055F9D5-Engel96
		1996			Meyer, Christoph				Parallel Unit Resulting Resolution Universität des Saarlandes	Thesis - Masters thesis	CB093F8D8C5B3361C12562FA006018C0-Meyer-Diplom96
		1996			Schlobach, Stefan				Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung Universität des Saarlandes	Thesis - Masters thesis	1FD9C043C827B1DEC12565CA003923B5-Schlobach97
		1996			Smaus, Jan-Georg				Finding Resolution K-Transformations Universität des Saarlandes	Thesis - Masters thesis	2AADE6F45268922E412563EC007E34F6-Smaus96

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