Nils Semmelrock

According to our database, Nils Semmelrock authored at least 6 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

A basis for compositionally ensuring safety properties and its connection to relational algebraic operators.

Mila E. Majster-Cederbaum, Nils Semmelrock

Sci. Comput. Program., 2015

2013

Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations.

Nils Semmelrock

PhD thesis, 2013

Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete.

Mila E. Majster-Cederbaum, Nils Semmelrock

Proceedings of the Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering, 2013

2009

Reachability in Tree-Like Component Systems is PSPACE-Complete.

Mila E. Majster-Cederbaum, Nils Semmelrock

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

2008

SYCAMORE - a systems biology computational analysis and modeling research environment.

Andreas Weidemann, Stefan Richter, Matthias Stein, Sven Sahle, Ralph Gauges, Razif R. Gabdoulline, Irina Surovtsova, Nils Semmelrock, Bruno Besson, Isabel Rojas, Rebecca C. Wade, Ursula Kummer

Bioinform., 2008

2007

Interaction Models for Biochemical Reactions.

Mila E. Majster-Cederbaum, Nils Semmelrock, Verena Wolf

Proceedings of the International Conference on Bioinformatics & Computational Biology, 2007