Details
Reto Krummenacher

University of Innsbruck
Technikerstraße 21a
Innsbruck, Austria
T +43 512 507 6452
E reto.krummenacher@sti2.at
Research Unit: leader
Reto Krummenacher is leader of following research unit(s): Intelligent Reasoning for Integrated Systems (IRIS).
Publications
List of recently published journal articles and conference papers (last 12 month):
Conference Papers
F. Baude, I. Filali, F. Huet, V. Legrand, E. Mathias, P. Merle, C. Ruz, R. Krummenacher, E. Simperl, C. Hamerling, J. Lorre
March 2010
4. Krummenacher, B. Norton, A. Marte
September 2010
See all publications of Reto Krummenacher.





