A Polymorphic Type System with Subtypes for Prolog. - Roland Dietrich; Frank Hagl (ESOP, 1988)

Datenschutz und ISDN. - Frank Hagl (FIFF Jahrestagung, 1989)

An architectural approach to the analysis, verification and validation of software intensive embedded systems. - De-Jiu Chen; Lei Feng 002; Tahir Naseer Qureshi; Henrik Lönn; Frank Hagl (Computing, 2013)