Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Ehemalige Dr. Thomas Gawlitza login

Dr. Thomas Gawlitza

Name:Dr. Thomas Gawlitza
Raum:-
Tel:-
eMail:-
Visitenkarte:

Die private Homepage ist über den folgenden Link erreichbar: http://www2.in.tum.de/~gawlitza/

Publications of Thomas Gawlitza

Conference Papers

The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.

  1. Thomas Gawlitza and Helmut Seidl. Games through Nested Fixpoints. In Ahmed Bouajjani and Oded Maler, editors, Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, volume 5643 of Lecture Notes in Computer Science, pages 291-305, Grenoble, France, June 2009. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  2. Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre and Reinhard Wilhelm. Polynomial Precise Interval Analysis Revisited. In Susanne Albers, Helmut Alt and Stefan Näher, editors, Efficient Algorithms, pages 422-437, 2009. Springer, LNCS 5760.

    Detail: Abstract Download: PDF Reference: Bibtex

  3. Javier Esparza, Thomas Gawlitza, Stefan Kiefer and Helmut Seidl. Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations. In Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir and Igor Walukiewicz, editors, Automata, Languages and Programming(1)Tack A: Algorithms, Automata, Complexity,and Games, volume 5125 of Lecture Notes in Computer Science, pages 698-710, Reykjavik, Iceland, July 2008. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  4. Thomas Gawlitza and Helmut Seidl. Precise Interval Analysis vs. Parity Games. In Jorge Cuéllar, T. S. E. Maibaum and Kaisa Sere, editors, FM, volume 5014 of Lecture Notes in Computer Science, pages 342-357, Turku, Finland, May 2008. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  5. Thomas Gawlitza and Helmut Seidl. Computing Game Values for Crash Games. In Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino and Yoshio Okamura, editors, Automated Technology for Verification and Analysis, volume 4762 of Lecture Notes in Computer Science, pages 177-191, Tokyo, Japan, October 2007. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  6. Thomas Gawlitza and Helmut Seidl. Precise Relational Invariants Through Strategy Iteration. In Jacques Duparc and Thomas A. Henzinger, editors, Computer Science Logic, volume 4646 of Lecture Notes in Computer Science, pages 23-40, Lausanne, Switzerland, September 2007. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  7. Thomas Gawlitza and Helmut Seidl. Precise Fixpoint Computation Through Strategy Iteration. In Rocco De Nicola, editor, Programming Languages and Systems, volume 4421 of Lecture Notes in Computer Science, pages 300-315, Braga, Portugal, April 2007. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com



TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 9 ms