23
Publications
909
Citations
15
H-Index
1994
Active since
Jakob Rehof is an author at Microsoft (United States) specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisSoftware EngineeringAutomated ReasoningSoftware DesignComputational Complexity
Publications per year
1994–2021
23
23
Sagar Chaki, Sriram K. Rajamani, Jakob Rehof · 2002 · 126 citations
Jakob Rehof, Manuel Fähndrich · 2001 · 118 citations
Summarizing procedures in concurrent programs
Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof · 2004 · 93 citations
Rows per page
1–5 of 23