Scholar
Martin Zimmermann
Google Scholar ID: ZcmrhggAAAAJ
Aalborg University
Citations & Impact
Citations
476
H-index
12
i10-index
16
Publications
20
Co-authors
48
list available
Contact
Publications
Resume (English only)
Academic Achievements
- July 2025: Joint work with Sarah Winter on computable Skolem functions for HyperLTL model-checking accepted by Acta Informatica.
- July 2025: Journal version on delayed monitoring of timed specifications (with Martin Fränzle et al.) accepted by FAC special issue.
- July 2025: Paper with Gaëtan Regaud on complexity of generalized HyperLTL accepted at GandALF 2025.
- May 2025: Two papers accepted at CONCUR 2025 on HyperLTL model-checking and monitorability of real-time specifications.
- May 2025: Journal paper on history-deterministic Parikh automata (with Erlich et al.) accepted by ToCL.
- December 2024: Paper on hyperlogics satisfiability (with Fortin et al.) accepted by LMCS.
- October 2024: Work with Hadar Frenkel on second-order HyperLTL hardness accepted at CSL 2025.
- August 2024: Real-time monitoring work accepted at SEFM 2024.
- Serves on program committees of CONCUR 2025, RP 2025, OVERLAY 2025, etc.
