Scholar
Amin Timany
Google Scholar ID: Cgs2hEgAAAAJ
Aarhus University
Programming Languages
Type Theory
Logic
Semantics of Programming Languages
Program Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,105
H-index
17
i10-index
26
Publications
20
Co-authors
36
list available
Publications
4 items
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic
2026
Cited
0
Yarrow: Reconciling Effects Handlers and Region-Based Memory Management
2026
Cited
0
Context-Dependent Effects and Concurrency in Guarded Interaction Trees
2025
Cited
0
Reasoning about Weak Isolation Levels in Separation Logic
2025
Cited
0
Co-authors
5 total
Lars Birkedal
Dept. of Computer Science, Aarhus University
Bart Jacobs
Professor of Computer Science, Katholieke Universiteit Leuven
Dominique Devriese
KU Leuven
Simon Oddershede Gregersen
Postdoctoral fellow, New York University
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
