A monolithic transformer coupled 5-W silicon power amplifier with 59% PAE at 0.9 GHz. - Werner Simbürger; Hans-Dieter Wohlmuth; Peter Weger; Alexander Heinz (IEEE J. Solid State Circuits, 1999)

Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems. - Daniel Bryce; Sergiy Bogomolov; Alexander Heinz; Christian Schilling 001 (CoRR, 2016)

Temporal Planning as Refinement-Based Model Checking. - Alexander Heinz; Martin Wehrle; Sergiy Bogomolov; Daniele Magazzeni; Marius Greitschus; Andreas Podelski (ICAPS, 2019)