Parallelism in Ada. - Hans Henrik Løvengreen (Towards a Formal Description of Ada, 1980)

On a formal model of the tasking concept in Ada. - Hans Henrik Løvengreen; Dines Bjørner (SIGPLAN, 1980)

Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper). - Dines Bjørner; Hans Henrik Løvengreen (VLDB, 1982)

Rigorous Development of a Distributed Calendar System. - Ulla Gamwell Dawids; Hans Henrik Løvengreen (PARLE (2), 1987)

A Design Method for Embedded Software Systems. - Anders P. Ravn; Hans Rischel; Hans Henrik Løvengreen (BIT, 1988)

Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. - Peter Grønning; Thomas Qvist Nielsen; Hans Henrik Løvengreen (FSTTCS, 1990)

Stepwise Development of a Distributed Load Balancing Algorithms. - Peter Grønning; Thomas Qvist Nielsen; Hans Henrik Løvengreen (WDAG, 1990)

A systematic kernel development. - Jørgen F. Søgaard-Andersen; Camilla Østerberg Rump; Hans Henrik Løvengreen (SIGSOFT, 1991)

Synchronous Realization of Asynchronous Computations. - Hans Henrik Løvengreen; Jørgen Staunstrup (TPCD, 1992)

Combining Temporal Specification Techniques. - Morten Ulrik Sørensen; Odd Erik Hansen; Hans Henrik Løvengreen (ICTL, 1994)

Towards a Process Algebra for Shared Processors. - Mikael Buchholtz; Jacob Andersen; Hans Henrik Løvengreen (MTCS, 2001)