Advanced Search
Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0

Citation

Order by: Document Type | Year of publication | No order
Skip to: Doctoral dissertation | Conference or workshop publication | Working paper
Number of items: 4.

Doctoral dissertation

Semmelrock, Nils (2013) Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations. Open Access Mannheim [Doctoral dissertation]
[img]
Preview

Conference or workshop publication

Majster-Cederbaum, Mila ; Semmelrock, Nils Reachability in tree-like component systems is PSPACE-complete. Electronic Notes in Theoretical Computer Science : ENTCS 263 197-210 (2010) Amsterdam [u.a.] 6th International Workshop, FACS 2009 (Eindhoven, The Netherlands) [Conference or workshop publication]

Majster-Cederbaum, Mila ; Semmelrock, Nils ; Wolf, Verena Interaction Models for Biochemical Reactions. Arabnia, Hamid R. 2007 International Conference on Bioinformatics & Computational Biology : BioComp '07, Monte Carlo Resort, Las Vegas, Nevada, USA (June 25-28, 2007) 480-486 In: Proceedings of the 2007 International Conference on Bioinformatics & Computational Biology, BIOCOMP 2007 : [at] WORLDCOMP'07, June 25 - 28, 2007, Las Vegas, Nevada, USA (2007) Las Vegas, Nev. [Conference or workshop publication]

Working paper

Semmelrock, Nils ; Majster-Cederbaum, Mila (2009) Reachability in tree-like component systems is PSPACE-complete. Open Access None Mannheim [Working paper]
[img]
Preview

This list was created automatically on Sun Jul 19 05:14:02 2026 CEST