Get started
Author

Jakob Rehof

Context-Bounded Model Checking of Concurrent Software
2005 · Shaz Qadeer, Jakob Rehof · Lecture notes in computer science · 406
Tools and Algorithms for the Construction and Analysis of Systems
2008 · Ramakrishnan, C. R, Rehof, Jakob · Lecture notes in computer science · 241
Types as models
2002 · Sagar Chaki, Sriram K. Rajamani, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 130
Zing: A Model Checker for Concurrent Software
2004 · Tony Andrews, Shaz Qadeer, et al. · Lecture notes in computer science · 129
Scalable context-sensitive flow analysis using instantiation constraints
2000 · Manuel Fähndrich, Jakob Rehof, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 129
PDF
Type-base flow analysis
2001 · Jakob Rehof, Manuel Fähndrich · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 122
Stuck-Free Conformance
2004 · Cédric Fournet, Tony Hoare, et al. · Lecture notes in computer science · 94
Summarizing procedures in concurrent programs
2004 · Shaz Qadeer, Sriram K. Rajamani, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 92
Knowledge-Driven Data Ecosystems Toward Data Transparency
2021 · Sandra Geisler, Maria-Esther Vidal, et al. · Journal of Data and Information Quality · 87
PDF
Estimating the Impact of Scalable Pointer Analysis on Optimization
2001 · Manuvir Das, Ben Liblit, et al. · Lecture notes in computer science · 75
Zing: Exploiting Program Structure for Model Checking Concurrent Software
2004 · Tony Andrews, Shaz Qadeer, et al. · Lecture notes in computer science · 63
Conformance Checking for Models of Asynchronous Message Passing Software
2002 · Sriram K. Rajamani, Jakob Rehof · Lecture notes in computer science · 55
PDF
Tractable constraints in finite semilattices
1999 · Jakob Rehof, Torben Æ. Mogensen · Science of Computer Programming · 52
Safe polymorphic type inference for a dynamically typed language
1995 · Fritz Henglein, Jakob Rehof · International Conference on Functional Programming Languages and Computer Architecture (FPCA) · 48
Data Ecosystems: Sovereign Data Exchange among Organizations (Dagstuhl Seminar 19391)
2020 · Cappiello, Cinzia, Gal, Avigdor, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 46
PDF
A Behavioral Module System for the Pi-Calculus
2001 · Sriram K. Rajamani, Jakob Rehof · Lecture notes in computer science · 38
Tractable constraints in finite semilattices
1996 · Jakob Rehof, Torben Æ. Mogensen · Lecture notes in computer science · 38
The complexity of subtype entailment for simple types
2002 · F. Henglein, J. Rehof · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 33
Combinatory Logic Synthesizer
2014 · Jan Bessai, Andrej Dudenhefner, et al. · Lecture notes in computer science · 31
Finite Combinatory Logic with Intersection Types
2011 · Jakob Rehof, Paweł Urzyczyn · Lecture notes in computer science · 30
Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
2008 · C. R. Ramakrishnan, Jakob Rehof · 29
Bounded Combinatory Logic
2012 · Düdder, Boris, Martens, Moritz, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 27
PDF
Type-base flow analysis
2001 · Jakob Rehof, Manuel Fähndrich · ACM SIGPLAN Notices · 25
Minimal typings in atomic subtyping
1997 · Jakob Rehof · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 25
Staged Composition Synthesis
2014 · Boris Düdder, Moritz Martens, et al. · Lecture notes in computer science · 22
PDF
Works count: 128
Citation count: 2,526
H-index: 24
I10-index: 45
Year
Topic
Type