Moritz Martens

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Using inhabitation in bounded combinatory logic with intersection types for composition synthesis	2021-06-10	Paper
Using inhabitation in bounded combinatory logic with intersection types for composition synthesis (available as arXiv preprint)	2021-06-10	Paper
The intersection type unification problem	2017-10-17	Paper
The algebraic intersection type unification problem (available as arXiv preprint)	2017-10-12	Paper
Staged composition synthesis Programming Languages and Systems	2014-04-16	Paper
Deadlock-freedom in component systems with architectural constraints Formal Methods in System Design	2014-03-28	Paper
Intersection type matching with subtyping Lecture Notes in Computer Science	2013-06-28	Paper
Bounded combinatory logic	2012-11-22	Paper
Robustness in Interaction Systems Lecture Notes in Computer Science	2009-03-10	Paper
An Approach to Modelling and Verification of Component Based Systems Lecture Notes in Computer Science	2008-03-07	Paper
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems Lecture Notes in Computer Science	2008-03-07	Paper
Ensuring Properties of Interaction Systems Program Analysis and Compilation, Theory and Practice	2007-09-24	Paper

Research outcomes over time

This page was built for person: Moritz Martens