Scholar
Martin Lange
Google Scholar ID: cQuaayUAAAAJ
Professor of Computer Science, University of Kassel
Formal Methods
Computational Logic
Automata Theory
Educational Technologies
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
786
H-index
13
i10-index
20
Publications
20
Co-authors
34
list available
Publications
8 items
The Complexity of Verifying Feedforward Neural Networks in Quantised Settings
2026
Cited
0
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
Co-authors
12 total
Florian Bruse
TU Munich
Etienne Lozes
Université Côte d'Azur
Marco Sälzer
Rheinland-Pfälzische Technical University, RPTU
Martin Leucker
Professor of Computer Science, University of Lübeck
Stéphane Demri
CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)
Orna Grumberg
Professor of Computer Science, Technion
Sharon Shoham
Tel Aviv University
Stephan Kreutzer
Professor of Computer Science, Technical University Berlin
