Thomas Wahl

	2009
18		Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening: Symbolic Counter Abstraction for Concurrent Software. CAV 2009: 64-78
17		Mitra Purandare, Thomas Wahl, Daniel Kroening: Strengthening properties using abstraction refinement. DATE 2009: 1692-1697
16		Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller: Finding Lean Induced Cycles in Binary Hypercubes. SAT 2009: 18-31
15		Richard J. Trefler, Thomas Wahl: Extending Symmetry Reduction by Exploiting System Architecture. VMCAI 2009: 320-334
	2008
14		Thomas Wahl, Nicolas Blanc, E. Allen Emerson: SVISS: Symbolic Verification of Symmetric Systems. TACAS 2008: 459-462
13		Angelo Brillout, Daniel Kroening, Thomas Wahl: Craig Interpolation for Quantifier-Free Presburger Arithmetic CoRR abs/0811.3521: (2008)
	2007
12		Thomas Wahl: Adaptive Symmetry Reduction. CAV 2007: 393-405
	2006
11		E. Allen Emerson, Richard J. Trefler, Thomas Wahl: Reducing Model Checking of the Few to the One. ICFEM 2006: 94-113
	2005
10		E. Allen Emerson, Thomas Wahl: Dynamic Symmetry Reduction. TACAS 2005: 382-396
9		E. Allen Emerson, Thomas Wahl: Efficient Reduction Techniques for Systems with Many Components. Electr. Notes Theor. Comput. Sci. 130: 379-399 (2005)
	2003
8		E. Allen Emerson, Thomas Wahl: On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. CHARME 2003: 216-230
	1999
7		Oliver Karch, Thomas Wahl: Relocalization - Theory and Practice. Discrete Applied Mathematics 93(1): 89-108 (1999)
	1998
6		Oliver Karch, Hartmut Noltemeier, Thomas Wahl: Robot Localization Using Polygon Distances. Sensor Based Intelligent Robots 1998: 200-219
	1997
5		Oliver Karch, Hartmut Noltemeier, Mathias Schwark, Thomas Wahl: Relokalisation - Ein theoretischer Ansatz in der Praxis. AMS 1997: 119-130
	1995
4		Thomas Wahl, Stefan Wirag, Kurt Rothermel: TIEMPO: Temporal Modeling and Authoring of Interactive Multimedia. ICMCS 1995: 274-277
3		Stefan Wirag, Kurt Rothermel, Thomas Wahl: Modelling Interaction with HYTIME. Kommunikation in Verteilten Systemen 1995: 188-202
	1994
2		Thomas Wahl, Kurt Rothermel: Representing Time in Multimedia Systems. ICMCS 1994: 538-543
	1992
1		Thomas Wahl, Michael Salmony: Optimisation of Transport Protocols for High-Speed. INDC 1992: 405-419

Coauthor Index

1	Gérard Basler	[18]
2	Nicolas Blanc	[14]
3	Angelo Brillout	[13]
4	Yury Chebiryak	[16]
5	E. Allen Emerson	[8] [9] [10] [11] [14]
6	Leopold Haller	[16]
7	Oliver Karch	[5] [6] [7]
8	Daniel Kroening (Daniel Kröning)	[13] [16] [17] [18]
9	Michele Mazzucchi	[18]
10	Hartmut Noltemeier	[5] [6]
11	Mitra Purandare	[17]
12	Kurt Rothermel	[2] [3] [4]
13	Michael Salmony	[1]
14	Mathias Schwark	[5]
15	Richard J. Trefler	[11] [15]
16	Stefan Wirag	[3] [4]

Colors in the list of coauthors