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	Lakemeyer, Gerhard (ed.)
1	Lam, Patrick
2	Lang, Jérôme
1	Lang, Jerome (ed.)
1	Laskey, Kathryn B. (ed.)
1	Lassez, J. L. (ed.)
2	Laux, Arnim (ed.)
1	Lau, Kung-Kiu (ed.)
1	Lau, K. K. (ed.)
1	Le Charlier, Baudouin (ed.)
1	Le Métayer, Daniel (ed.)
1	Leeser, M. E.
3	Lee, Chin Soon
1	Lee, Sau Dan
2	Lee, Shie-Jue
1	Lehmann, Jos (ed.)
2	Leite, João (ed.)
1	Leitsch, Alexander
6	Leitsch, Alexander (ed.)
1	Leitsch, A. (ed.)
1	Lenzerini, Maurizio (ed.)
1	Lenzerini, M. (ed.)
1	Leone, Nicola (ed.)
2	Letz, Reinhold
1	Leven, Peter
1	Levi, Georgio (ed.)
3	Levi, Giorgio (ed.)
		2004	Podelski, Andreas Rybalchenko, Andrey	[Levi, Giorgio] [Steffen, Bernhard]		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
		1998	Charatonik, Witold Podelski, Andreas	[Levi, Giorgio]		Directional Type Inference for Logic Programs In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), 278-294	Proceedings Article
		1994	[Werner, Andreas] Bockmayr, Alexander [Krischer, Stefan]	Levi, Giorgio Rodríguez-Artalejo, Mario		How to realize LSE narrowing In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), 59-76	Proceedings Article

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