The COMPASS Location System. - Frank Kargl; Alexander Bernauer (LoCA, 2005)

Threads2Events: an automatic code generation approach. - Alexander Bernauer; Kay Römer; Silvia Santini; Junyan Ma (HotEmNets, 2010)

Compiling business process models for sensor networks. - Alexandru Caracas; Alexander Bernauer (DCOSS, 2011)

A comprehensive compiler-assisted thread abstraction for resource-constrained systems. - Alexander Bernauer; Kay Römer (IPSN, 2013)

Compiler-assisted thread abstractions for resource-constrained systems. - Alexander Bernauer (2013)

Eiger: Auditable, executable, flexible legal regulations. - Alexander Bernauer; Richard A. Eisenberg (CoRR, 2022)

Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows. - Alexander Bernauer; Sofia Faro; Rémy Haemmerle; Martin Huschenbett; Moritz Kiefer; Andreas Lochbihler; Jussi Mäki; Francesco Mazzoli; Simon Meier; Neil Mitchell; Ratko G. Veprek (CoRR, 2023)