Ensuring Properties of Interaction Systems. - Gregor Gößler; Susanne Graf; Mila E. Majster-Cederbaum; Moritz Martens; Joseph Sifakis (Program Analysis and Compilation, 2006)

Robustness in Interaction Systems. - Mila E. Majster-Cederbaum; Moritz Martens (FORTE, 2007)

An Approach to Modelling and Verification of Component Based Systems. - Gregor Gößler; Susanne Graf; Mila E. Majster-Cederbaum; Moritz Martens; Joseph Sifakis (SOFSEM (1), 2007)

A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. - Mila E. Majster-Cederbaum; Moritz Martens; Christoph Minnameier (SOFSEM (1), 2007)

Liveness in Interaction Systems. - Mila E. Majster-Cederbaum; Moritz Martens; Christoph Minnameier (FACS, 2007)

Compositional analysis of deadlock-freedom for tree-like component architectures. - Mila E. Majster-Cederbaum; Moritz Martens (EMSOFT, 2008)

Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation. - Moritz Martens; Mila E. Majster-Cederbaum (TASE, 2009)

Establishing properties of interaction systems. - Moritz Martens (2009)

Bounded Combinatory Logic. - Boris Düdder; Moritz Martens; Jakob Rehof; Pawel Urzyczyn (CSL, 2012)

Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis. - Boris Düdder; Oliver Garbe; Moritz Martens; Jakob Rehof; Pawel Urzyczyn (ITRS, 2012)

Deadlock-freedom in component systems with architectural constraints. - Moritz Martens; Mila E. Majster-Cederbaum (Formal Methods Syst. Des., 2012)

Intersection Type Matching with Subtyping. - Boris Düdder; Moritz Martens; Jakob Rehof (TLCA, 2013)

Combinatory Logic Synthesizer. - Jan Bessai; Andrej Dudenhefner; Boris Düdder; Moritz Martens; Jakob Rehof (ISoLA (1), 2014)

Staged Composition Synthesis. - Boris Düdder; Moritz Martens; Jakob Rehof (Software Engineering & Management, 2015)

Combinatory Process Synthesis. - Jan Bessai; Andrej Dudenhefner; Boris Düdder; Moritz Martens; Jakob Rehof (ISoLA (1), 2016)

The Intersection Type Unification Problem. - Andrej Dudenhefner; Moritz Martens; Jakob Rehof (FSCD, 2016)

The Algebraic Intersection Type Unification Problem. - Andrej Dudenhefner; Moritz Martens; Jakob Rehof (Log. Methods Comput. Sci., 2017)