| 2009 |
|---|
| 15 | EE | Richard J. Trefler,
Thomas Wahl:
Extending Symmetry Reduction by Exploiting System Architecture.
VMCAI 2009: 320-334 |
| 2008 |
|---|
| 14 | EE | Thomas Wahl,
Nicolas Blanc,
E. Allen Emerson:
SVISS: Symbolic Verification of Symmetric Systems.
TACAS 2008: 459-462 |
| 13 | EE | Angelo Brillout,
Daniel Kroening,
Thomas Wahl:
Craig Interpolation for Quantifier-Free Presburger Arithmetic
CoRR abs/0811.3521: (2008) |
| 2007 |
|---|
| 12 | EE | Thomas Wahl:
Adaptive Symmetry Reduction.
CAV 2007: 393-405 |
| 2006 |
|---|
| 11 | EE | E. Allen Emerson,
Richard J. Trefler,
Thomas Wahl:
Reducing Model Checking of the Few to the One.
ICFEM 2006: 94-113 |
| 2005 |
|---|
| 10 | EE | E. Allen Emerson,
Thomas Wahl:
Dynamic Symmetry Reduction.
TACAS 2005: 382-396 |
| 9 | EE | E. Allen Emerson,
Thomas Wahl:
Efficient Reduction Techniques for Systems with Many Components.
Electr. Notes Theor. Comput. Sci. 130: 379-399 (2005) |
| 2003 |
|---|
| 8 | EE | E. Allen Emerson,
Thomas Wahl:
On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking.
CHARME 2003: 216-230 |
| 1999 |
|---|
| 7 | EE | 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 |
