BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × USA
2 × Germany
Collaborated with:
C.Baier M.E.Majster-Cederbaum A.Andreychenko P.Crouzen T.A.Henzinger M.Mateescu L.Mikeev D.Spieler J.Katoen D.Klink M.Leucker
Talks about:
markov (5) chain (3) time (3) abstract (2) infinit (2) continu (2) trace (2) model (2) nondetermin (1) inhomogen (1)

Person: Verena Wolf

DBLP DBLP: Wolf:Verena

Contributed to:

CAV 20112011
QAPL 20112011
CAV 20092009
CAV 20072007
QAPL 20062006
QAPL 20052006

Wrote 6 papers:

CAV-2011-AndreychenkoMSW #identification #markov #modelling #parametricity
Parameter Identification for Markov Models of Biochemical Reactions (AA, LM, DS, VW), pp. 83–98.
QAPL-2011-AndreychenkoCW #infinity #markov #modelling #on the fly
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models (AA, PC, VW), p. 1.
CAV-2009-HenzingerMW #abstraction #infinity #markov
Sliding Window Abstraction for Infinite Markov Chains (TAH, MM, VW), pp. 337–352.
CAV-2007-KatoenKLW #abstraction #markov
Three-Valued Abstraction for Continuous-Time Markov Chains (JPK, DK, ML, VW), pp. 311–324.
QAPL-2006-WolfBM06a #nondeterminism #probability #semantics
Trace Semantics for Stochastic Systems with Nondeterminism (VW, CB, MEMC), pp. 187–204.
QAPL-2005-WolfBM06 #markov
Trace Machines for Observing Continuous-Time Markov Chains (VW, CB, MEMC), pp. 259–277.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.