Alexander Knapp

Identifiers

No identifiers captured yet.

Papers (7)

1. Fast dynamic wavefront correction for multi-photon microscopy with a high resolution MEMS phase-only modulator physics.optics · 2026 · author #6
2. PauliEngine: High-Performant Symbolic Arithmetic for Quantum Operations quant-ph · 2026 · author #3
3. A Hybrid Dynamic Logic for Event/Data-based Systems cs.LO · 2019 · author #3
4. Multi-view Consistency in UML cs.SE · 2016 · author #1
5. An Approach for Isolated Testing of Self-Organization Algorithms cs.SE · 2016 · author #5
6. An Institution for Simple UML State Machines cs.SE · 2014 · author #1
7. An Institutional Framework for Heterogeneous Formal Development in UML cs.SE · 2014 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Till Mossakowski 3 shared papers
• Markus Roggenbach 2 shared papers
• Adelina B\"arligea 1 shared papers
• Alexander Jesacher 1 shared papers
• Alexandre Madeira 1 shared papers
• Benedikt Eberhardinger 1 shared papers
• Daniel Gr\"unbacher 1 shared papers
• Eva Ernst 1 shared papers
• Florian Harrasser 1 shared papers
• Florian Siefert 1 shared papers
• Gerrit Anders 1 shared papers
• Hella Seebach 1 shared papers
• Jakob S. Kottmann 1 shared papers
• Juan David Mu\~noz-Bola\~nos 1 shared papers
• Leon M\"uller 1 shared papers
• Maria Borozdova 1 shared papers
• Martin Glauer 1 shared papers
• Monika Ritsch-Marte 1 shared papers
• Rolf Hennicker 1 shared papers
• Simon Moser 1 shared papers