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	Wachsmuth, Ipke (ed.)
1	Wagner, Dorothea (ed.)
6	Wagner, Silke
22	Waldmann, Uwe
1	Wallin, Annika (ed.)
6	Walsh, Toby
1	Walukiewicz, Igor
1	Wang, Dongming (ed.)
1	Wang, D. (ed.)
3	Wang, Yongge
3	Wansing, Heinrich (ed.)
2	Wansing, H. (ed.)
1	Warren, David Scott (ed.)
1	Warren, D. S. (ed.)
33	Weidenbach, Christoph
1	Weispfenning, V.
7	Werner, Andreas
2	Wetzel, Susanne
30	Weydert, Emil
2	Weydert, Emil (ed.)
2	Wiedermann, Jiri (ed.)
3	Wies, Thomas
		2006	Wies, Thomas [Kuncak, Viktor] [Lam, Patrick] Podelski, Andreas [Rinard, Martin C.]	[Emerson, E. Allen] [Namjoshi, Kedar S.]		Field Constraint Analysis In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173	Proceedings Article
		2005	Podelski, Andreas Wies, Thomas	[Hankin, Chris] [Siveroni, Igor]		Boolean Heaps In: Static analysis : 12th International Symposium, SAS 2005, 268-283	Proceedings Article
		2004	Wies, Thomas			Symbolic Shape Analysis Universität des Saarlandes	Thesis - Masters thesis
1	Williams, Denise A. (ed.)
2	Winskel, Glynn (ed.)
2	Wirsing, Martin (ed.)
1	Wirtz, Boris
4	Witteveen, Cees (ed.)

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