Moritz Martens

Available identifiers

zbMath Open martens.moritzMaRDI QIDQ2441718

List of research outcomes

Publication	Date of Publication	Type
Using inhabitation in bounded combinatory logic with intersection types for composition synthesis	2021-06-10	Paper
The intersection type unification problem	2017-10-17	Paper
The algebraic intersection type unification problem	2017-10-12	Paper
Staged composition synthesis	2014-04-16	Paper
Deadlock-freedom in component systems with architectural constraints	2014-03-28	Paper
Intersection type matching with subtyping	2013-06-28	Paper
Bounded combinatory logic	2012-11-22	Paper
Robustness in Interaction Systems	2009-03-10	Paper
An Approach to Modelling and Verification of Component Based Systems	2008-03-07	Paper
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems	2008-03-07	Paper
Ensuring Properties of Interaction Systems	2007-09-24	Paper

Research outcomes over time

This page was built for person: Moritz Martens