Alexander Knapp

Identifiers

• name variant Alexander Knapp 0.60 · backfill

Papers (13)

1. SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging cs.SE · 2026 · author #3
2. Fast dynamic wavefront correction for multi-photon microscopy with a high resolution MEMS phase-only modulator physics.optics · 2026 · author #6
3. PauliEngine: High-Performant Symbolic Arithmetic for Quantum Operations quant-ph · 2026 · author #3
4. Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs) cs.SE · 2024 · author #2
5. Hybrid-Dynamic Ehrenfeucht-Fraisse Games cs.LO · 2024 · author #3
6. Interpreting Knowledge-based Programs (Extended Version with Proofs) cs.PL · 2023 · author #1
7. A Hoare Logic with Regular Behavioral Specifications cs.LO · 2022 · author #2
8. Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS cs.SE · 2020 · author #3
9. A Hybrid Dynamic Logic for Event/Data-based Systems cs.LO · 2019 · author #3
10. Multi-view Consistency in UML cs.SE · 2016 · author #1
11. An Approach for Isolated Testing of Self-Organization Algorithms cs.SE · 2016 · author #5
12. An Institution for Simple UML State Machines cs.SE · 2014 · author #1
13. An Institutional Framework for Heterogeneous Formal Development in UML cs.SE · 2014 · author #1

Mentions

• 2607.04092 #3 · arxiv_oai · confidence 0.70 Alexander Knapp
• 2406.02094 #3 · arxiv_oai · confidence 0.70 Alexander Knapp
• 2408.01115 #2 · arxiv_oai · confidence 0.70 Alexander Knapp
• 2301.10807 #1 · arxiv_oai · confidence 0.70 Alexander Knapp
• 2205.06584 #2 · arxiv_oai · confidence 0.70 Alexander Knapp
• 2011.00556 #3 · arxiv_oai · confidence 0.70 Alexander Knapp
• 1902.03074 #3 · arxiv_oai · confidence 0.70 Alexander Knapp
• 1606.02442 #5 · arxiv_oai · confidence 0.70 Alexander Knapp
• 1610.03960 #1 · arxiv_oai · confidence 0.70 Alexander Knapp
• 1411.4495 #1 · arxiv_oai · confidence 0.70 Alexander Knapp
• 1403.7747 #1 · arxiv_oai · confidence 0.70 Alexander Knapp
• 1411.4495 #1 · backfill · confidence 0.70 Alexander Knapp
• 1403.7747 #1 · backfill · confidence 0.70 Alexander Knapp

Frequent Coauthors

• Markus Roggenbach 3 shared papers
• Till Mossakowski 3 shared papers
• Martin Wirsing 2 shared papers
• Rolf Hennicker 2 shared papers
• Adelina B\"arligea 1 shared papers
• Alexander Jesacher 1 shared papers
• Alexandre Madeira 1 shared papers
• Benedikt Eberhardinger 1 shared papers
• Bernhard Reus 1 shared papers
• Chunyang Chen 1 shared papers
• Daniel Gaina 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
• Gidon Ernst 1 shared papers
• Guillermo Badia 1 shared papers
• Hella Seebach 1 shared papers
• Heribert M\"uhlberger 1 shared papers