| Publication | Date of Publication | Type |
|---|
Using sequential statistical tests for efficient hyperparameter tuning
AStA. Advances in Statistical Analysis | 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
Lecture Notes in Computer Science | 2023-08-02 | Paper |
scientific article; zbMATH DE number 7561487 (Why is no real title available?)
| 2022-07-21 | Paper |
Tractable constraints in finite semilattices
Static Analysis | 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 |
scientific article; zbMATH DE number 7204434 (Why is no real title available?)
| 2020-05-26 | Paper |
Undecidability of intersection type inhabitation at rank 3 and its formalization
Fundamenta Informaticae | 2020-01-24 | Paper |
Mixin composition synthesis based on intersection types
| 2018-04-25 | Paper |
Intersection type calculi of bounded dimension
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
The intersection type unification problem
| 2017-10-17 | Paper |
The algebraic intersection type unification problem
| 2017-10-12 | Paper |
scientific article; zbMATH DE number 6744146 (Why is no real title available?)
| 2017-07-12 | Paper |
Modal intersection types, two-level languages, and staged synthesis
Semantics, Logics, and Calculi | 2016-03-23 | Paper |
Summarizing procedures in concurrent programs
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Type-base flow analysis
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Types as models: model checking message-passing programs
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Type elaboration and subtype completion for Java bytecode
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Staged composition synthesis
Programming Languages and Systems | 2014-04-16 | Paper |
Intersection type matching with subtyping
Lecture Notes in Computer Science | 2013-06-28 | Paper |
Bounded combinatory logic
| 2012-11-22 | Paper |
The Complexity of Inhabitation with Explicit Intersection
Logic and Program Semantics | 2012-07-16 | Paper |
Finite combinatory logic with intersection types
Lecture Notes in Computer Science | 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
Mathematical Structures in Computer Science | 2008-11-13 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
scientific article; zbMATH DE number 1903352 (Why is no real title available?)
| 2003-05-01 | Paper |
scientific article; zbMATH DE number 1834572 (Why is no real title available?)
| 2003-02-25 | Paper |
scientific article; zbMATH DE number 1832230 (Why is no real title available?)
| 2002-11-19 | Paper |
Tractable constraints in finite semilattices
Science of Computer Programming | 2000-01-04 | Paper |
Strong normalization for non-structural subtyping via saturated sets
Information Processing Letters | 1997-02-27 | Paper |
