Amin Timany
Scholar

Amin Timany

Google Scholar ID: Cgs2hEgAAAAJ
Aarhus University
Programming LanguagesType TheoryLogicSemantics of Programming LanguagesProgram Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
954
 
H-index
16
 
i10-index
25
 
Publications
20
 
Co-authors
36
list available
Contact
Emailtimany@cs.au.dkGitHubOpen ↗LinkedInOpen ↗
Publications
2 items
Context-Dependent Effects and Concurrency in Guarded Interaction Trees
2025
Cited
0
Reasoning about Weak Isolation Levels in Separation Logic
2025
Cited
0
Resume (English only)
Co-authors
36 total
Lars Birkedal
Lars Birkedal
Dept. of Computer Science, Aarhus University
Co-author 2
Co-author 2
Bart Jacobs
Bart Jacobs
Professor of Computer Science, Katholieke Universiteit Leuven
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Simon Oddershede Gregersen
Simon Oddershede Gregersen
Postdoctoral fellow, New York University
Co-author 7
Co-author 7
Co-author 8
Co-author 8