| 2026 | FSCD | A Bounded Parallel Intersection Type System. | Andrej Dudenhefner, Aleksy Schubert, Jakob Rehof |
| 2024 | WSC | Component-Based Synthesis of Structural Variants of Simulation Models for Changeable Material Flow Systems. | Jan Winkels, Felix zkul, Robin Sutherland, Jannik Lhn, Sigrid Wenzel, Jakob Rehof |
| 2022 | FSCD | Restricting Tree Grammars with Term Rewriting. | Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof |
| 2022 | WSC | Automatic Component-Based Synthesis of User-Configured Manufacturing Simulation Models. | Alexander Mages, Carina Mieth, Jens Hetzler, Fadil Kallat, Jakob Rehof, Christian Riest, Tristan Schfer |
| 2022 | WAFR | Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis. | Tristan Schfer, Jan Bessai, Constantin Chaumet, Jakob Rehof, Christian Riest |
| 2019 | WSC | Trends in Automatic Composition of Structures for Simulation Models in Production and Logistics. | Sigrid Wenzel, Jana Stolipin, Jakob Rehof, Jan Winkels |
| 2018 | ISoLA | A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways. | Tristan Schfer, Frederik Mller, Anja Burmann, Yevgen Pikus, Norbert Weienberg, Marcus Hintze, Jakob Rehof |
| 2018 | ISoLA | Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic. | Jan Winkels, Julian Graefenstein, Tristan Schfer, David Scholz, Jakob Rehof, Michael Henke |
| 2017 | LICS | Typability in bounded dimension. | Andrej Dudenhefner, Jakob Rehof |
| 2017 | POPL | Intersection type calculi of bounded dimension. | Andrej Dudenhefner, Jakob Rehof |
| 2016 | ISoLA | Combinatory Process Synthesis. | Jan Bessai, Andrej Dudenhefner, Boris Ddder, Moritz Martens, Jakob Rehof |
| 2016 | ISoLA | ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction. | Boris Ddder, George T. Heineman, Jakob Rehof |
| 2016 | ISoLA | A Long and Winding Road Towards Modular Synthesis. | George T. Heineman, Jan Bessai, Boris Ddder, Jakob Rehof |
| 2015 | SPLC | Synthesizing type-safe compositions in feature oriented software designs using staged composition. | Boris Ddder, Jakob Rehof, George T. Heineman |
| 2015 | SPLC | Towards migrating object-oriented frameworks to enable synthesis of product line members. | George T. Heineman, Armend Hoxha, Boris Ddder, Jakob Rehof |
| 2015 | SPLC | Modular synthesis of product lines (ModSyn-PL). | Jakob Rehof, George T. Heineman |
| 2014 | ESOP | Staged Composition Synthesis. | Boris Ddder, Moritz Martens, Jakob Rehof |
| 2014 | ISoLA | Combinatory Logic Synthesizer. | Jan Bessai, Andrej Dudenhefner, Boris Ddder, Moritz Martens, Jakob Rehof |
| 2012 | CSL | Bounded Combinatory Logic. | Boris Ddder, Moritz Martens, Jakob Rehof, Pawel Urzyczyn |
| 2010 | GI | Logistic Clouds - Nutzung von Cloud Computing Services in der Logistik (Vorwort). | Jakob Rehof, Bernhard Holtkamp |
| 2005 | TACAS | Context-Bounded Model Checking of Concurrent Software. | Shaz Qadeer, Jakob Rehof |
| 2004 | CAV | Zing: A Model Checker for Concurrent Software. | Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie |
| 2004 | CAV | Stuck-Free Conformance. | Cdric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof |
| 2004 | ISoLA | Models for Contract Conformance. | Sriram K. Rajamani, Jakob Rehof |
| 2004 | ISoLA | Models for Contract Conformance. | Jakob Rehof, Sriram K. Rajamani |
| 2004 | POPL | Summarizing procedures in concurrent programs. | Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof |
| 2002 | CAV | Conformance Checking for Models of Asynchronous Message Passing Software. | Sriram K. Rajamani, Jakob Rehof |
| 2002 | POPL | Types as models: model checking message-passing programs. | Sagar Chaki, Sriram K. Rajamani, Jakob Rehof |
| 2001 | POPL | Type-base flow analysis: from polymorphic subtyping to CFL-reachability. | Jakob Rehof, Manuel Fhndrich |
| 2001 | SAS | Estimating the Impact of Scalable Pointer Analysis on Optimization. | Manuvir Das, Ben Liblit, Manuel Fhndrich, Jakob Rehof |
| 2001 | SAS | A Behavioral Module System for the Pi-Calculus. | Sriram K. Rajamani, Jakob Rehof |
| 2000 | PLDI | Scalable context-sensitive flow analysis using instantiation constraints. | Manuel Fhndrich, Jakob Rehof, Manuvir Das |
| 2000 | POPL | Type Elaboration and Subtype Completion for Java Bytecode. | Todd B. Knoblock, Jakob Rehof |
| 1998 | ICALP | Constraint Automata and the Complexity of Recursive Subtype Entailment. | Fritz Henglein, Jakob Rehof |
| 1997 | LICS | The Complexity of Subtype Entailment for Simple Types. | Fritz Henglein, Jakob Rehof |
| 1997 | POPL | Minimal Typings in Atomic Subtyping. | Jakob Rehof |
| 1996 | SAS | Tractable Constraints in Finite Semilattices. | Jakob Rehof, Torben . Mogensen |