Scholar
Mishel Carelli
Google Scholar ID: irzXFjgAAAAJ
CISPA Helmholtz Center for Information Security
Verification
Automata
Temporal Logic
Theoretical Computer Science
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
3
H-index
1
i10-index
0
Publications
5
Co-authors
0
Contact
No contact links provided.
Publications
3 items
Disintegration Temporal Logic for Probabilistic Hyperproperties
2026
Cited
0
Loop Termination and Generalized Collatz Sequences
2026
Cited
0
Closure and Complexity of Temporal Causality
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)