Nils Semmelrock
According to our database1,
Nils Semmelrock
authored at least 6 papers
between 2007 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2007
2008
2009
2010
2011
2012
2013
2014
2015
0
1
2
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
A basis for compositionally ensuring safety properties and its connection to relational algebraic operators.
Sci. Comput. Program., 2015
2013
Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations.
PhD thesis, 2013
Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete.
Proceedings of the Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering, 2013
2009
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009
2008
SYCAMORE - a systems biology computational analysis and modeling research environment.
Bioinform., 2008
2007
Interaction Models for Biochemical Reactions.
Proceedings of the International Conference on Bioinformatics & Computational Biology, 2007