Jakob Rehof - RankMe

75 papers A* 13A 3B 11C 2Misc 3Journal 17Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	—	`ch.`	Let's Talk AI with Computer Science Expert Jakob Rehof. Let's Talk AI Jakob Rehof, Barbara Steffen
2024	B	`ed.`	9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, Tallinn, Estonia, July 10-13, 2024 FSCD Jakob Rehof
2024	Misc	`conf`	Component-Based Synthesis of Structural Variants of Simulation Models for Changeable Material Flow Systems. WSC Jan Winkels, Felix Özkul, Robin Sutherland, Jannik Löhn, Sigrid Wenzel, Jakob Rehof
2023	J	`jnl`	A knowledge-driven framework for synthesizing designs from modular components. CoRR Constantin Chaumet, Jakob Rehof, Thomas Schuster
2023	J	`jnl`	CLS-CAD: Synthesizing CAD Assemblies in Fusion 360. CoRR Constantin Chaumet, Jakob Rehof
2023	—	`conf`	Finite Combinatory Logic with Predicates. TYPES Andrej Dudenhefner, Christoph Stahl, Constantin Chaumet, Felix Laarmann, Jakob Rehof
2022	Misc	`conf`	Automatic Component-Based Synthesis of User-Configured Manufacturing Simulation Models. WSC Alexander Mages, Carina Mieth, Jens Hetzler, Fadil Kallat, Jakob Rehof, Christian Riest, Tristan Schäfer
2022	C	`conf`	Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis. WAFR Tristan Schäfer, Jan Bessai, Constantin Chaumet, Jakob Rehof, Christian Riest
2022	J	`jnl`	Knowledge-Driven Data Ecosystems Toward Data Transparency. ACM J. Data Inf. Qual. Sandra Geisler, Maria-Esther Vidal, Cinzia Cappiello, Bernadette Farias Lóscio, Avigdor Gal, Matthias Jarke, Maurizio Lenzerini, Paolo Missier, Boris Otto, Elda Paja, Barbara Pernici, Jakob Rehof
2022	B	`conf`	Restricting Tree Grammars with Term Rewriting. FSCD Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof
2021	J	`jnl`	Knowledge-driven Data Ecosystems Towards Data Transparency. CoRR Sandra Geisler, Maria-Esther Vidal, Cinzia Cappiello, Bernadette Farias Lóscio, Avigdor Gal, Matthias Jarke, Maurizio Lenzerini, Paolo Missier, Boris Otto, Elda Paja, Barbara Pernici, Jakob Rehof
2019	J	`jnl`	Data Ecosystems: Sovereign Data Exchange among Organizations (Dagstuhl Seminar 19391). Dagstuhl Reports Cinzia Cappiello, Avigdor Gal, Matthias Jarke, Jakob Rehof
2019	J	`jnl`	Principality and approximation under dimensional bound. Proc. ACM Program. Lang. Andrej Dudenhefner, Jakob Rehof
2019	Misc	`conf`	Trends in Automatic Composition of Structures for Simulation Models in Production and Logistics. WSC Sigrid Wenzel, Jana Stolipin, Jakob Rehof, Jan Winkels
2019	J	`jnl`	Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization. Fundam. Informaticae Andrej Dudenhefner, Jakob Rehof
2018	—	`conf`	A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways. ISoLA (4) Tristan Schäfer, Frederik Möller, Anja Burmann, Yevgen Pikus, Norbert Weißenberg, Marcus Hintze, Jakob Rehof
2018	—	`conf`	A Simpler Undecidability Proof for System F Inhabitation. TYPES Andrej Dudenhefner, Jakob Rehof
2018	—	`conf`	Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic. ISoLA (4) Jan Winkels, Julian Graefenstein, Tristan Schäfer, David Scholz, Jakob Rehof, Michael Henke
2018	—	`conf`	Fast Verified BCD Subtyping. Models, Mindsets, Meta Jan Bessai, Jakob Rehof, Boris Düdder
2018	J	`jnl`	Mixin Composition Synthesis based on Intersection Types. Log. Methods Comput. Sci. Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
2017	A*	`conf`	Intersection type calculi of bounded dimension. POPL Andrej Dudenhefner, Jakob Rehof
2017	—	`conf`	Lower End of the Linial-Post Spectrum. TYPES Andrej Dudenhefner, Jakob Rehof
2017	J	`jnl`	Mixin Composition Synthesis based on Intersection Types. CoRR Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
2017	J	`jnl`	Rank 3 Inhabitation of Intersection Types Revisited (Extended Version). CoRR Andrej Dudenhefner, Jakob Rehof
2017	J	`jnl`	The Algebraic Intersection Type Unification Problem. Log. Methods Comput. Sci. Andrej Dudenhefner, Moritz Martens, Jakob Rehof
2017	B	`conf`	The Complexity of Principal Inhabitation. FSCD Andrej Dudenhefner, Jakob Rehof
2017	A*	`conf`	Typability in bounded dimension. LICS Andrej Dudenhefner, Jakob Rehof
2016	—	`conf`	A Long and Winding Road Towards Modular Synthesis. ISoLA (1) George T. Heineman, Jan Bessai, Boris Düdder, Jakob Rehof
2016	—	`conf`	Combinatory Process Synthesis. ISoLA (1) Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
2016	—	`conf`	ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction. ISoLA (1) Boris Düdder, George T. Heineman, Jakob Rehof
2016	—	`conf`	Modal Intersection Types, Two-Level Languages, and Staged Synthesis. Semantics, Logics, and Calculi Fritz Henglein, Jakob Rehof
2016	B	`conf`	The Intersection Type Unification Problem. FSCD Andrej Dudenhefner, Moritz Martens, Jakob Rehof
2016	J	`jnl`	The Intersection Type Unification Problem. CoRR Andrej Dudenhefner, Moritz Martens, Jakob Rehof
2015	—	`book`	Cloud Computing for Logistics. Michael ten Hompel, Jakob Rehof, Oliver Wolf
2015	—	`conf`	Combinatory Synthesis of Classes Using Feature Grammars. FACS Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof
2015	—	`conf`	Mixin Composition Synthesis Based on Intersection Types. TLCA Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof
2015	B	`conf`	Modular synthesis of product lines (ModSyn-PL). SPLC Jakob Rehof, George T. Heineman
2015	—	`ed.`	Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. ITRS Jakob Rehof
2015	—	`conf`	Staged Composition Synthesis. Software Engineering & Management Boris Düdder, Moritz Martens, Jakob Rehof
2015	B	`conf`	Synthesizing type-safe compositions in feature oriented software designs using staged composition. SPLC Boris Düdder, Jakob Rehof, George T. Heineman
2015	B	`conf`	Towards migrating object-oriented frameworks to enable synthesis of product line members. SPLC George T. Heineman, Armend Hoxha, Boris Düdder, Jakob Rehof
2014	—	`conf`	Combinatory Logic Synthesizer. ISoLA (1) Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
2014	J	`jnl`	Design and Synthesis from Components (Dagstuhl Seminar 14232). Dagstuhl Reports Jakob Rehof, Moshe Y. Vardi
2014	A	`conf`	Staged Composition Synthesis. ESOP Boris Düdder, Moritz Martens, Jakob Rehof
2013	—	`conf`	Intersection Type Matching with Subtyping. TLCA Boris Düdder, Moritz Martens, Jakob Rehof
2012	B	`conf`	Bounded Combinatory Logic. CSL Boris Düdder, Moritz Martens, Jakob Rehof, Pawel Urzyczyn
2012	—	`conf`	The Complexity of Inhabitation with Explicit Intersection. Logic and Program Semantics Jakob Rehof, Pawel Urzyczyn
2012	—	`conf`	Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis. ITRS Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn
2011	—	`conf`	Finite Combinatory Logic with Intersection Types. TLCA Jakob Rehof, Pawel Urzyczyn
2010	—	`conf`	Logistic Clouds - Nutzung von Cloud Computing Services in der Logistik (Vorwort). GI Jahrestagung (1) Jakob Rehof, Bernhard Holtkamp
2008	A	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings TACAS C. R. Ramakrishnan, Jakob Rehof
2008	J	`jnl`	Type-based flow analysis and context-free language reachability. Math. Struct. Comput. Sci. Manuel Fähndrich, Jakob Rehof
2005	A	`conf`	Context-Bounded Model Checking of Concurrent Software. TACAS Shaz Qadeer, Jakob Rehof
2004	C	`conf`	Models for Contract Conformance. ISoLA Sriram K. Rajamani, Jakob Rehof
2004	—	`conf`	Models for Contract Conformance. ISoLA (Preliminary proceedings) Jakob Rehof, Sriram K. Rajamani
2004	A*	`conf`	Stuck-Free Conformance. CAV Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof
2004	A*	`conf`	Summarizing procedures in concurrent programs. POPL Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof
2004	A*	`conf`	Zing: A Model Checker for Concurrent Software. CAV Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie
2002	A*	`conf`	Conformance Checking for Models of Asynchronous Message Passing Software. CAV Sriram K. Rajamani, Jakob Rehof
2002	A*	`conf`	Types as models: model checking message-passing programs. POPL Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
2001	B	`conf`	A Behavioral Module System for the Pi-Calculus. SAS Sriram K. Rajamani, Jakob Rehof
2001	B	`conf`	Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof
2001	J	`jnl`	Type elaboration and subtype completion for Java bytecode. ACM Trans. Program. Lang. Syst. Todd B. Knoblock, Jakob Rehof
2001	A*	`conf`	Type-base flow analysis: from polymorphic subtyping to CFL-reachability. POPL Jakob Rehof, Manuel Fähndrich
2000	A*	`conf`	Scalable context-sensitive flow analysis using instantiation constraints. PLDI Manuel Fähndrich, Jakob Rehof, Manuvir Das
2000	A*	`conf`	Type Elaboration and Subtype Completion for Java Bytecode. POPL Todd B. Knoblock, Jakob Rehof
1999	J	`jnl`	Tractable Constraints in Finite Semilattices. Sci. Comput. Program. Jakob Rehof, Torben Æ. Mogensen
1998	A*	`conf`	Constraint Automata and the Complexity of Recursive Subtype Entailment. ICALP Fritz Henglein, Jakob Rehof
1998	—	`—`	The complexity of simple subtyping systems. Jakob Rehof
1997	A*	`conf`	Minimal Typings in Atomic Subtyping. POPL Jakob Rehof
1997	A*	`conf`	The Complexity of Subtype Entailment for Simple Types. LICS Fritz Henglein, Jakob Rehof
1996	J	`jnl`	Strong Normalization for Non-Structural Subtyping via Saturated Sets. Inf. Process. Lett. Jakob Rehof
1996	B	`conf`	Tractable Constraints in Finite Semilattices. SAS Jakob Rehof, Torben Æ. Mogensen
1995	—	`conf`	Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML. FPCA Fritz Henglein, Jakob Rehof
1994	—	`conf`	The Lambda TACS Jakob Rehof, Morten Heine Sørensen