Interaction Models for Biochemical Reactions. - Mila E. Majster-Cederbaum; Nils Semmelrock; Verena Wolf (BIOCOMP, 2007)

SYCAMORE - a systems biology computational analysis and modeling research environment. - Andreas Weidemann; Stefan Richter 002; Matthias Stein; Sven Sahle; Ralph Gauges; Razif R. Gabdoulline; Irina Surovtsova; Nils Semmelrock; Bruno Besson; Isabel Rojas; Rebecca C. Wade; Ursula Kummer (Bioinform., 2008)

Reachability in Tree-Like Component Systems is PSPACE-Complete. - Mila E. Majster-Cederbaum; Nils Semmelrock (FACS@FMWeek, 2009)

Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete. - Mila E. Majster-Cederbaum; Nils Semmelrock (GRAPHITE, 2013)

Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations. - Nils Semmelrock (2013)

A basis for compositionally ensuring safety properties and its connection to relational algebraic operators. - Mila E. Majster-Cederbaum; Nils Semmelrock (Sci. Comput. Program., 2015)