A | B | C | D | E | F 
 G | H | I | J | K | L | M 
 N | O | P | Q | R | S | T 
 U | V | W | X | Y | Z 
max planck institut
informatik
mpii logo Minerva
of the Max Planck Society

Homepage

Matthias Horbach

Matthias Horbach

Universität Koblenz-Landau
RG Formal Methods and Theoretical Computer Science
Postfach 283
Universitätsstraße 1
56070 Koblenz

Max-Planck-Institut für Informatik
RG1: Automation of Logic
Campus E1 4
66123 Saarbrücken

Email: horbach@uni-koblenz.de
Phone: +49 261 287-2770
Fax: +49 261 287-1002770

Email: Get my email address via email
Fax: +49 681 9325-2999


Teaching


Winter 2014:

Summer 2014:

Winter 2013:

Summer 2013:


Research Interests



Publications


If you have questions about submitted papers but prefer to remain anonymous (e.g. because you are a referee), please contact me via the contact form!

Publication List at DLBP

Journal Articles

Conference Articles

Books

Technical Reports


Theses



Software


   Please visit the software section of this homepage.

Organisational Activities



Employment