Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Lehrstuhl Mitarbeiter Dr. Andreas Reuß login

Dr. Andreas Reuß

Name:Dr. Andreas Reuß
Raum:02.07.039
Tel:+49 89 289 18190
eMail:a.reuss<at>in.tum.de
Visitenkarte:


Research Interests

  • Tree automata and related stuff
  • Game theory

Lehre

WS 2016/2017: Praktikum Grundlagen der Programmierung (Übungsleitung) bei Prof. Dr. Harald Räcke

WS 2016/2017: Einführung in die Informatik 1 bei Prof. Dr. Harald Räcke

SS 2016: Grundlagen: Algorithmen und Datenstrukturen (Übungsleitung) bei Prof. Dr. Helmut Seidl

WS 2015/2016: Praktikum Grundlagen der Programmierung (Übungsleitung) bei Prof. Dr. Anne Brüggemann-Klein

WS 2015/2016: Einführung in die Informatik 1 bei Prof. Dr. Anne Brüggemann-Klein

SS 2015: Grundlagen: Algorithmen und Datenstrukturen (Übungsleitung) bei Prof. Dr. Helmut Seidl

WS 2014/2015: Praktikum Grundlagen der Programmierung (Übungsleitung) bei Prof. Dr. Anne Brüggemann-Klein

WS 2014/2015: Einführung in die Informatik 1 bei Prof. Dr. Anne Brüggemann-Klein

SS 2014: Einführung in die Theoretische Informatik bei Prof. Dr. Ernst W. Mayr

WS 2013/2014: Diskrete Strukturen bei Prof. Dr. Javier Esparza

SS 2013: Einführung in die Theoretische Informatik bei Prof. Dr. Helmut Seidl

WS 2012/2013: Praktikum Grundlagen der Programmierung (Übungsleitung) bei Prof. Dr. Helmut Seidl

WS 2012/2013: Einführung in die Informatik 1 bei Prof. Dr. Helmut Seidl

SS 2012: Einführung in die Theoretische Informatik bei Prof. Dr. Helmut Seidl

WS 2011/2012: Programmoptimierung bei Prof. Dr. Helmut Seidl

WS 2010/2011: Einführung in die Informatik 1 für Ingenieure bei Prof. Dr. Helmut Seidl


 


Publications of Andreas Reuß

Journal Articles

The following articles appeared in peer-reviewed journals. The copyright of these articles lies with the respective journals.

  1. Helmut Seidl and Andreas Reuß. Extending H1-Clauses with Disequalities. Information Processing Letters, 111(20):1007-1013, 2011.

    Detail: Abstract Reference: Bibtex


Conference Papers

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

  1. Helmut Seidl and Andreas Reuß. Extending H1-Clauses with Path Disequalities. In Lars Birkedal, editor, FoSSaCS, pages 165-179, 2012. Springer, LNCS 7213.

    Detail: Abstract Reference: Bibtex

  2. Andreas Reuß and Helmut Seidl. Crossing the Syntactic Barrier: Hom-Disequalities for H1-Clauses. In Nelma Moreira and Rogério Reis, editors, CIAA, pages 301-312, 2012. Springer, LNCS 7381.

    Detail: Abstract Reference: Bibtex

  3. Andreas Reuß and Helmut Seidl. Bottom-up Tree Automata with Term Constraints. In Christian G. Fermüller and Andrei Voronkov, editors, LPAR-17, volume 6397 of LNCS, pages 581-593, 2010. Springer.

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



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