Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Eran Yahav
Partial-Coherence Abstractions for Relaxed Memory Models
ACM SIGPLAN Notices
Dynamic Synthesis for Relaxed Memory Models
Verifying Temporal Heap Properties Specified via Evolution Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
High-Level Real-Time Programming in Java
