Erweiterte Suche
Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung
Springe zu: Dissertation | Konferenzveröffentlichung | Arbeitspapier
Anzahl der Einträge: 4.

Dissertation

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

Konferenzveröffentlichung

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]

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]

Arbeitspapier

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

Diese Liste wurde am Sat Apr 20 01:25:54 2024 CEST automatisch erstellt.