Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

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	Author(s) [non member]	Editor(s) [non member]		Title	Type
1	Echahed, Rachid
1	Egly, Uwe (ed.)
11	Eisenbrand, Friedrich
3	Eisinger, Norbert
1	Eklund, Patrick (ed.)
1	Emerson, E. Allen (ed.)
3	Engel, Thorsten
1	Escalada-Imaz, Gonzalo (ed.)
2	Esparza, Javier
1	et al. (ed.)
1	et. al. (ed.)
1	Faber, Johannes
1	Faller, Martina (ed.)
2	Fariñas del Cerro, Luís (ed.)
1	Fathi, Madjid (ed.)
1	Fawcett, Tom (ed.)
4	Fehrer, Detlef
1	Felleisen, Matthias (ed.)
1	Feng, Ling (ed.)
1	Fermüller, Christian G.
1	Fermüller, Christian (ed.)
2	Ferrante, Jeanne (ed.)
		2007	[Beyer, Dirk] [Henzinger, Thomas] [Majumdar, Rupak] Rybalchenko, Andrey	[Ferrante, Jeanne] [McKinley, Kathryn S.]		Path Invariants In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309	Proceedings Article
		2007	[Cook, Byron] [Podelski, Andreas] Rybalchenko, Andrey	[Ferrante, Jeanne] [McKinley, Kathryn S.]		Proving Thread Termination In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330	Proceedings Article
1	Ferreirim, Isabel (ed.)
1	Fiedler, Herbert (ed.)
1	Filinski, Andrzej (ed.)
1	Finkbeiner, Bernd
1	Firozabadhi, Babak Sadighi
2	Fischmann, Matthias

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