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
		2007			Jacobs, Swen Sofronie-Stokkermans, Viorica				Applications of hierarchical reasoning in the verification of complex systems In: Electronic Notes in Theoretical Computer Science [??],	Electronic Journal Article	A0659485C4A3EC20C125722D003B2ED3-jacobs-sofronie-pdpar-entcs
		2006			de Nivelle, Hans [Baumgartner, Peter] [Fuchs, Alexander] [Tinelli, Cesare]	[Ahrendt, Wolfgang] [Baumgartner, Peter] de Nivelle, Hans			Computing Finite Models by Reduction to Function-Free Clause Logic In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95	Electronic Proceedings Article	9652C39F11860EAAC12571F4003A4339-deNivelle2006b
		2006			Hillenbrand, Thomas Topic, Dalibor Weidenbach, Christoph	[Ahrendt, Wolfgang] Baumgartner, Peter de Nivelle, Hans			Sudokus as Logical Puzzles In: Proceedings of the Third Workshop on Disproving, 2-12	Electronic Proceedings Article	5B568642EC9A4D57C12572200041C338-HillenbrandTopicWeidenbach2005
		2006			Jacobs, Swen Sofronie-Stokkermans, Viorica	[Cook, Byron] [Sebastiani, Roberto]			Applications of hierarchical reasoning in the verification of complex systems In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26	Electronic Proceedings Article	E29F1B9E1F620C49C12572210053CBCD-jacobs-sofronie-pdpar-06
		2006			Prevosto, Virgile	[Coquand, Thierry] [Lombardi, Henri] [Roy, Marie-Franccoise]			Certified mathematical hierarchies: the FoCal system. In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop,	Electronic Proceedings Article	33513BE7F54D9529C1256FBF002FB756-PrevostoDagstuhl2005
		2006			Sofronie-Stokkermans, Viorica	[Autexier, Serge] [Mantel, Heiko]			Local reasoning in verification In: Proceedings of VERIFY'06: Verification Workshop, 128-145	Electronic Proceedings Article	89ECB32D30C239C6C125722100549A4A-Sofronie-verify-06
		2004			Hillenbrand, Thomas	[Sattler, Ulrike]			A Superposition View on Nelson-Oppen In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 16-20	Electronic Proceedings Article	8EAD4DC962EDE15BC1256EE40054344A-Hillenbrand2004
		2003			Hillenbrand, Thomas	[Dahn, Ingo] [Vigneron, Laurent]			Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER In: Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03, 1-13	Electronic Proceedings Article	13192155732F5DD1C1256D32004620FA-Hillenbrand2003
		2002			Jaeger, Manfred				Relational Bayesian Networks: a Survey In: Electronic Transactions on Artificial Intelligence [6],	Electronic Journal Article	E2A130EA2DD256C9C1256CAF00688874-JaegerMI19
		2000			Booth, Richard	Baral, C. Truszczynski, M.			The lexicographic closure as a revision process In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000), ?	Electronic Proceedings Article	05B35447AA534C15C1256AA2003C0455-Booth2000
39	Diplomarbeiten (/Magisterarbeiten)
26	Dissertationen
9	Habilitationen
782

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