Alexander Heinz

According to our database, Alexander Heinz authored at least 3 papers between 1999 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Temporal Planning as Refinement-Based Model Checking.

Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2016

Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems.

Daniel Bryce, Sergiy Bogomolov, Alexander Heinz, Christian Schilling

CoRR, 2016

1999

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