Jakob Rehof

Affiliations:
  • Technical University of Dortmund, Germany


According to our database1, Jakob Rehof authored at least 57 papers between 1994 and 2022.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Knowledge-Driven Data Ecosystems Toward Data Transparency.
ACM J. Data Inf. Qual., 2022

Restricting Tree Grammars with Term Rewriting.
Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021
Knowledge-driven Data Ecosystems Towards Data Transparency.
CoRR, 2021

2019
Principality and approximation under dimensional bound.
Proc. ACM Program. Lang., 2019

Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization.
Fundam. Informaticae, 2019

Data Ecosystems: Sovereign Data Exchange among Organizations (Dagstuhl Seminar 19391).
Dagstuhl Reports, 2019

Trends in Automatic Composition of Structures for Simulation Models in Production and Logistics.
Proceedings of the 2019 Winter Simulation Conference, 2019

2018
Mixin Composition Synthesis based on Intersection Types.
Log. Methods Comput. Sci., 2018

A Simpler Undecidability Proof for System F Inhabitation.
Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018

Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Fast Verified BCD Subtyping.
Proceedings of the Models, Mindsets, 2018

2017
The Algebraic Intersection Type Unification Problem.
Log. Methods Comput. Sci., 2017

Rank 3 Inhabitation of Intersection Types Revisited (Extended Version).
CoRR, 2017

Lower End of the Linial-Post Spectrum.
Proceedings of the 23rd International Conference on Types for Proofs and Programs, 2017

The Complexity of Principal Inhabitation.
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Intersection type calculi of bounded dimension.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Typability in bounded dimension.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016
The Intersection Type Unification Problem.
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

A Long and Winding Road Towards Modular Synthesis.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Combinatory Process Synthesis.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Modal Intersection Types, Two-Level Languages, and Staged Synthesis.
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
Modular synthesis of product lines (ModSyn-PL).
Proceedings of the 19th International Conference on Software Product Line, 2015

Towards migrating object-oriented frameworks to enable synthesis of product line members.
Proceedings of the 19th International Conference on Software Product Line, 2015

Synthesizing type-safe compositions in feature oriented software designs using staged composition.
Proceedings of the 19th International Conference on Software Product Line, 2015

Staged Composition Synthesis.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Combinatory Synthesis of Classes Using Feature Grammars.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014
Design and Synthesis from Components (Dagstuhl Seminar 14232).
Dagstuhl Reports, 2014

Combinatory Logic Synthesizer.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013
Intersection Type Matching with Subtyping.
Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

2012
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis.
Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

Bounded Combinatory Logic.
Proceedings of the Computer Science Logic (CSL'12), 2012

The Complexity of Inhabitation with Explicit Intersection.
Proceedings of the Logic and Program Semantics, 2012

2011
Finite Combinatory Logic with Intersection Types.
Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

2010
Logistic Clouds - Nutzung von Cloud Computing Services in der Logistik (Vorwort).
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

2008
Type-based flow analysis and context-free language reachability.
Math. Struct. Comput. Sci., 2008

2005
Context-Bounded Model Checking of Concurrent Software.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004
Summarizing procedures in concurrent programs.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Models for Contract Conformance.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Stuck-Free Conformance.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Zing: A Model Checker for Concurrent Software.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2002
Types as models: model checking message-passing programs.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Conformance Checking for Models of Asynchronous Message Passing Software.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Type elaboration and subtype completion for Java bytecode.
ACM Trans. Program. Lang. Syst., 2001

A Behavioral Module System for the Pi-Calculus.
Proceedings of the Static Analysis, 8th International Symposium, 2001

Estimating the Impact of Scalable Pointer Analysis on Optimization.
Proceedings of the Static Analysis, 8th International Symposium, 2001

Type-base flow analysis: from polymorphic subtyping to CFL-reachability.
Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

2000
Scalable context-sensitive flow analysis using instantiation constraints.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999
Tractable Constraints in Finite Semilattices.
Sci. Comput. Program., 1999

1998
Constraint Automata and the Complexity of Recursive Subtype Entailment.
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

The complexity of simple subtyping systems.
PhD thesis, 1998

1997
Minimal Typings in Atomic Subtyping.
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

The Complexity of Subtype Entailment for Simple Types.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1996
Strong Normalization for Non-Structural Subtyping via Saturated Sets.
Inf. Process. Lett., 1996

1995
Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994
The Lambda<sub>Delta</sub>-calculus.
Proceedings of the Theoretical Aspects of Computer Software, 1994


  Loading...