Jakob Rehof

Available identifiers

zbMath Open rehof.jakobMaRDI QIDQ1351997

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6060673	2023-11-03	Paper
Fast verified BCD subtyping	2023-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5091142	2022-07-21	Paper
Tractable constraints in finite semilattices	2022-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4993851	2021-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q5144674	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5111311	2020-05-26	Paper
Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization	2020-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4637692	2018-04-25	Paper
Intersection type calculi of bounded dimension	2017-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5369484	2017-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5367047	2017-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5277832	2017-07-12	Paper
Modal Intersection Types, Two-Level Languages, and Staged Synthesis	2016-03-23	Paper
Summarizing procedures in concurrent programs	2015-11-11	Paper
Type elaboration and subtype completion for Java bytecode	2015-03-17	Paper
Type-base flow analysis	2015-03-17	Paper
Types as models	2015-03-17	Paper
Staged Composition Synthesis	2014-04-16	Paper
Intersection Type Matching with Subtyping	2013-06-28	Paper
Bounded Combinatory Logic	2012-11-22	Paper
The Complexity of Inhabitation with Explicit Intersection	2012-07-16	Paper
Finite Combinatory Logic with Intersection Types	2011-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q5190777	2009-07-27	Paper
Type-based flow analysis and context-free language reachability	2008-11-13	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4804894	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4779114	2003-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q4778708	2002-11-19	Paper
Tractable constraints in finite semilattices	2000-01-04	Paper
Strong normalization for non-structural subtyping via saturated sets	1997-02-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jakob Rehof