Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jakob Rehof
Summarizing Procedures in Concurrent Programs
ACM SIGPLAN Notices
Related publications
Synthesis of Concurrent Programs
Teaching Mathematics and Computer Science
On Sequentializing Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamic Cutoff Detection in Parameterized Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Systems for Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Race Directed Scheduling of Concurrent Programs
ACM SIGPLAN Notices
Computer Science
Ordering Optimisations for Concurrent Logic Programs
Synthesizing Concurrent Programs Using Answer Set Programming
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Overlapping and Concurrent Surgery in Plastic Surgery Training Programs
Plastic and Reconstructive Surgery
Surgery
