Personen - MADOC

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung

Anzahl der Einträge: 4.

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

Mannheim [Dissertation]

Vorschau

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) [Konferenzveröffentlichung]

Semmelrock, Nils ; Majster-Cederbaum, Mila (2009) Reachability in tree-like component systems is PSPACE-complete.

None Mannheim [Arbeitspapier]

Vorschau

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. [Konferenzveröffentlichung]

Diese Liste wurde am Fri Nov 22 01:24:54 2024 CET automatisch erstellt.

Zitation