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
1	Pacholski, Podelski
1	Piskac
2	Plaisted
1	Pnueli, Podelski, Rybalchenko
5	Podelski
1	Podelski (ed.)
2	Podelski, Ball, Rajamani
1	Podelski, Charatonik, Müller
5	Podelski, Rybalchenko
		2007		ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259	Proceedings Article
		2007		Transition Predicate Abstraction and Fair Termination In: ACM Transactions on Programming Languages and Systems [29], 30	Journal Article
		2005		Transition predicate abstraction and fair termination In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139	Proceedings Article
		2004		A Complete Method for the Synthesis of Linear Ranking Functions In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, 239-251	Proceedings Article
		2004		Transition Invariants In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, 32-41	Proceedings Article
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
4	Ratschan
3	Ratschan, She
1	Ratschan, Smaus
1	Ratschan, Vehi
1	Rau
1	Reinold
1	Rock

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