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
Lower end of the linial-post spectrum	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
Using inhabitation in bounded combinatory logic with intersection types for composition synthesis	2021-06-10	Paper
Typability in bounded dimension	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
Mixin composition synthesis based on intersection types	2018-04-25	Paper
Intersection type calculi of bounded dimension	2017-10-20	Paper
The intersection type unification problem	2017-10-17	Paper
The algebraic intersection type unification problem	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: model checking message-passing programs	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
Static deadlock prevention in dynamically configured communication networks	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