Search the dblp DataBase

Publications of Author

1. Oliver Karch, Hartmut Noltemeier, Mathias Schwark, Thomas Wahl
   Relokalisation - Ein theoretischer Ansatz in der Praxis. [Citation Graph (0, 0)][DBLP]
   AMS, 1997, pp:119-130 [Conf]
   
2. E. Allen Emerson, Thomas Wahl
   On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. [Citation Graph (0, 0)][DBLP]
   CHARME, 2003, pp:216-230 [Conf]
   
3. Oliver Karch, Hartmut Noltemeier, Thomas Wahl
   Robot Localization Using Polygon Distances. [Citation Graph (0, 0)][DBLP]
   Sensor Based Intelligent Robots, 1998, pp:200-219 [Conf]
   
4. E. Allen Emerson, Richard J. Trefler, Thomas Wahl
   Reducing Model Checking of the Few to the One. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2006, pp:94-113 [Conf]
   
5. Thomas Wahl, Kurt Rothermel
   Representing Time in Multimedia Systems. [Citation Graph (0, 0)][DBLP]
   ICMCS, 1994, pp:538-543 [Conf]
   
6. Thomas Wahl, Stefan Wirag, Kurt Rothermel
   TIEMPO: Temporal Modeling and Authoring of Interactive Multimedia. [Citation Graph (0, 0)][DBLP]
   ICMCS, 1995, pp:274-277 [Conf]
   
7. Thomas Wahl, Michael Salmony
   Optimisation of Transport Protocols for High-Speed. [Citation Graph (0, 0)][DBLP]
   INDC, 1992, pp:405-419 [Conf]
   
8. Stefan Wirag, Kurt Rothermel, Thomas Wahl
   Modelling Interaction with HYTIME. [Citation Graph (0, 0)][DBLP]
   Kommunikation in Verteilten Systemen, 1995, pp:188-202 [Conf]
   
9. E. Allen Emerson, Thomas Wahl
   Dynamic Symmetry Reduction. [Citation Graph (0, 0)][DBLP]
   TACAS, 2005, pp:382-396 [Conf]
   
10. Oliver Karch, Thomas Wahl
    Relocalization - Theory and Practice. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:93, n:1, pp:89-108 [Journal]
    
11. E. Allen Emerson, Thomas Wahl
    Efficient Reduction Techniques for Systems with Many Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:379-399 [Journal]
    
12. Thomas Wahl
    Adaptive Symmetry Reduction. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:393-405 [Conf]
    
13. 
    An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. [Citation Graph (, )][DBLP]
    
    
14. 
    Symbolic Counter Abstraction for Concurrent Software. [Citation Graph (, )][DBLP]
    
    
15. 
    Dynamic Cutoff Detection in Parameterized Concurrent Programs. [Citation Graph (, )][DBLP]
    
    
16. 
    Strengthening properties using abstraction refinement. [Citation Graph (, )][DBLP]
    
    
17. 
    Mixed abstractions for floating-point arithmetic. [Citation Graph (, )][DBLP]
    
    
18. 
    Finding Lean Induced Cycles in Binary Hypercubes. [Citation Graph (, )][DBLP]
    
    
19. 
    SVISS: Symbolic Verification of Symmetric Systems. [Citation Graph (, )][DBLP]
    
    
20. 
    Boom: Taking Boolean Program Model Checking One Step Further. [Citation Graph (, )][DBLP]
    
    
21. 
    Extending Symmetry Reduction by Exploiting System Architecture. [Citation Graph (, )][DBLP]
    
    
22. 
    Biologically inspired compliant control of a monopod designed for highly dynamic applications. [Citation Graph (, )][DBLP]
    
    
23. 
    Craig Interpolation for Quantifier-Free Presburger Arithmetic [Citation Graph (, )][DBLP]