Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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

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