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: 2008 | 2007 | 2006 | 2005 | 2003
Anzahl der Einträge: 11.

2008

Wolf, Verena (2008) Equivalences on Phase Type Processes. Open Access None Mannheim [Dissertation]
[img]
Vorschau

2007

Wolf, Verena Modelling of Biochemical Reactions by Stochastic Automata Networks. Busi, Nadia Electronic Notes in Theoretical Computer Science : ENTCS 171 197-208 In: MeCBIC 2006 : Workshop on Membrane Computing and Biologically Inspired Process Calculi, S. Servolo, Venice, Italy, July 9, 2006 (2007) Amsterdam [u.a.] [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]

2006

Wolf, Verena ; Baier, Christel ; Majster-Cederbaum, Mila (2006) Trace machines for observing continuous-time Markov chains. Electronic Notes in Theoretical Computer Science : ENTCS Amsterdam [u.a.] 153 2 259-277 [Zeitschriftenartikel]

Busch, Hauke ; Sandmann, Werner ; Wolf, Verena A Numerical Aggregation Algorithm for the Enzyme-catalyzed Substrate Conversion. Priami, Corrado Lecture Notes in Computer Science 4210 298-311 In: Computational methods in systems biology : proceedings / International Conference, CMSB 2006, Trento, Italy, October 18 - 19, 2006 (2006) Berlin [u.a.] [Konferenzveröffentlichung]

Wolf, Verena ; Baier, Christel ; Majster-Cederbaum, Mila Trace Semantics for Stochastic Systems with Nondeterminism. Di Pierro, Alessandra Electronic Notes in Theoretical Computer Science : ENTCS 164,3 187-204 In: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Quantitative Aspects of Programming Languages 2006, Vienna, Austria 1–2 April 2006 (2006) Amsterdam [u.a.] [Konferenzveröffentlichung]

Wolf, Verena ; Fecher, Harald ; Leucker, Martin Don't Know in Probabilistic Systems. Valmari, Antti Lecture Notes in Computer Science 3925 71-88 In: Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006; proceedings (2006) Berlin [u.a.] [Konferenzveröffentlichung]

Wolf, Verena ; Baier, Christel Stochastic Reasoning About Channel-Based Component Connectors. Ciancarini, Paolo Lecture Notes in Computer Science 4038 1-15 In: Coordination models and languages : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14 - 16, 2006; proceedings (2006) Berlin [u.a.] [Konferenzveröffentlichung]

2005

Wolf, Verena (2005) Testing theory for probabilistic systems. Broy, Manfred Model-based Testing of Reactive Systems : advanced lectures Lecture Notes in Computer Science Berlin [u.a.] 3472 233-275 [Buchkapitel]

Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena (2005) Comparative Branching Time Semantics for Markov Chains. Information and Computation Amsterdam 200 2 149-214 [Zeitschriftenartikel]

2003

Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena Comparative Branching Time Semantics for Markov Chains. Amadio, Roberto M. Lecture Notes in Computer Science 2761 492-507 In: CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3 - 5, 2003; proceedings (2003) Berlin [u.a.] [Konferenzveröffentlichung]

Diese Liste wurde am Sun Dec 22 01:45:52 2024 CET automatisch erstellt.