Hermann Lehner

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 1

Top Topics

Introductory Computer Science

Information Resources

Synthetic Datasets

Resource Constraints

Top Venues

Publications

Tobias Halbherr, Hermann Lehner, Manu Kapur
Resource-Rich versus Resource-Poor Assessment in Introductory Computer Science and its Implications on Models of Cognition: An in-Class Experimental Study. CogSci (2019)
Hermann Lehner, Peter Müller
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. FASE (2010)
Hermann Lehner, Peter Müller
Formal Translation of Bytecode into BoogiePL. Electron. Notes Theor. Comput. Sci. 190 (1) (2007)