Jakob Rehof

Available identifiers

zbMath Open rehof.jakobMaRDI QIDQ1351997

List of research outcomes

Publication	Date of Publication	Type
Using sequential statistical tests for efficient hyperparameter tuning	2024-08-19	Paper
Restricting tree grammars with term rewriting	2024-05-27	Paper
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-base flow analysis	2015-03-17	Paper
Types as models	2015-03-17	Paper
Type elaboration and subtype completion for Java bytecode	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

This page was built for person: Jakob Rehof