Lehr- und Forschungsgebiet Informatik 2

Department of Computer Science

Fabian Emmes

Lehr- und Forschungsgebiet Informatik 2 RWTH Aachen 52056 Aachen Germany E-Mail: emmes@informatik.rwth-aachen.de Phone: +49-241/80-21241 Fax: +49-241/80-22217 Room: 4209, Ahornstr. 55

Research

I am a research assistant and PhD student at Lehr- und Forschungsgebiet Informatik 2.

Teaching Activities (Lehr- und Forschungsgebiet Informatik 2)

• Vorlesung Programmierung (WS 08/09)
• Seminar Automatische Terminierungsanalyse (WS 08/09)

Publications

Conferences

• B. Alarcón, F. Emmes, C. Fuhs, J. Giesl, R. Gutiérrez, S. Lucas, P. Schneider-Kamp, and R. Thiemann
  Improving Context-Sensitive Dependency Pairs
  In Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '08), Doha, Qatar, Lecture Notes in Artificial Intelligence 5330, pages 636 - 651, 2008. © Springer-Verlag
  Extended version appeared as Technical Report AIB-2008-13, RWTH Aachen, Germany.
  

Miscellaneous

• My GnuPG key