Nils Semmelrock

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 1

Top Topics

Strips Planning

Algebraic Operators

Search Algorithm

Top Venues

Sci. Comput. Program.

University of Mannheim (PHD)

Education History

University of Mannheim

PHD

Publications

Mila E. Majster-Cederbaum, Nils Semmelrock
A basis for compositionally ensuring safety properties and its connection to relational algebraic operators. Sci. Comput. Program. 98 (2015)
Mila E. Majster-Cederbaum, Nils Semmelrock
Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete. GRAPHITE (2013)
Mila E. Majster-Cederbaum, Nils Semmelrock
Reachability in Tree-Like Component Systems is PSPACE-Complete. Electron. Notes Theor. Comput. Sci. 263 (2010)
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
SYCAMORE - a systems biology computational analysis and modeling research environment. Bioinform. 24 (12) (2008)
Mila E. Majster-Cederbaum, Nils Semmelrock, Verena Wolf
Interaction Models for Biochemical Reactions. BIOCOMP (2007)