Martin Lange
Scholar

Martin Lange

Google Scholar ID: cQuaayUAAAAJ
Professor of Computer Science, University of Kassel
Formal MethodsComputational LogicAutomata TheoryEducational Technologies
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
786
 
H-index
13
 
i10-index
20
 
Publications
20
 
Co-authors
34
list available
Contact
No contact links provided.
Publications
7 items
A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
2026
Cited
0
On the Expressiveness of State Space Models via Temporal Logics
2026
Cited
0
Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
Electronic Proceedings in Theoretical Computer Science · 2025
Cited
0
The Computational Complexity of Satisfiability in State Space Models
2025
Cited
0
Balancing Privacy and Utility in Correlated Data: A Study of Bayesian Differential Privacy
2025
Cited
0
The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
2025
Cited
0
Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
2024
Cited
0
Resume (English only)
Co-authors
34 total
Co-author 1
Co-author 1
Florian Bruse
Florian Bruse
TU Munich
Etienne Lozes
Etienne Lozes
Université Côte d'Azur
Marco Sälzer
Marco Sälzer
Rheinland-Pfälzische Technical University, RPTU
Martin Leucker
Martin Leucker
Professor of Computer Science, University of Lübeck
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Stéphane Demri
Stéphane Demri
CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)