Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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		Title	Type
10	Ohlbach
1	Ohlbach, Herzig
1	Ohlbach, Koehler
1	Ohlbach, Schmidt
2	Ohlbach, Schmidt, Hustadt
1	Ohlbach, Siekmann
1	Ohlbach, Weidenbach
1	Pacholski, Podelski
1	Piskac
2	Plaisted
1	Pnueli, Podelski, Rybalchenko
5	Podelski
		2004		Introduction to the Special Issue on Verification and Computational Logic In: Theory and Practice of Logic Programming (TPLP) [4], 541-751	Journal Article
		2003		Software Model Checking with Abstraction Refinement In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13	Proceedings Article
		2000		Model Checking as Constraint Solving In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237	Proceedings Article
		1998		Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie Universität des Saarlandes	Thesis - Habilitation thesis
		1997		Set-Based Analysis of Logic Programs and Reactive Logic Programs In: Proceedings of the International Symposium on Logic Programming (ILPS-14), 35-36	Proceedings Article
1	Podelski (ed.)
2	Podelski, Ball, Rajamani
1	Podelski, Charatonik, Müller
5	Podelski, Rybalchenko
1	Podelski, Rybalchenko, Cook
2	Podelski, Schaefer, Wagner
3	Podelski, Smolka
3	Podelski, Wagner
1	Podelski, Wies
1	Prevosto
1	Prevosto, Boulmé
1	Prevosto, Waldmann
1	Rahman, Rückert, Fischmann

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