Monique Wiesinger

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Formal Specification

Signaling Pathways

Alternating Time Temporal Logic

Top Venues

Trans. Comp. Sys. Biology

Publications

Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw, Monique Wiesinger, Thomas Sauter
Probabilistic Model Checking of the PDGF Signaling Pathway. Trans. Comp. Sys. Biology 14 (2012)
Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter
A Study of the PDGF Signaling Pathway with PRISM CompMod (2011)