Moritz Martens

Available identifiers

zbMath Open martens.moritzMaRDI QIDQ2441718

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4993851	2021-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q5369484	2017-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5367047	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Moritz Martens