T. Ball, J. Giesl, R. Hähnle, and T. Nipkow. Interaction versus Automation: The two Faces of Deduction, volume 09411 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
T. Ball, J. Giesl, R. Hähnle, and T. Nipkow. Interaction versus Automation: The two Faces of Deduction, volume 09411 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
R. Hähnle, E. Kamburjan, and M. Scaletta. Active Object Languages: Current Research Trends, volume 14360 of Lecture Notes in Computer Science, Springer, (2024)
R. Hähnle, A. Haubner, and E. Kamburjan. Gabbrielli's Festschrift, volume 86 of OASIcs, page 1:1-1:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)