PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Yuan, Qixia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Study of the PDGF Signaling Pathway with PRISM

, , , , , und . CompMod, Volume 67 von EPTCS, Seite 65-81. (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yiwen Yuan University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Weak leakage resilient extractable hash proof system and construction for weak leakage resilient CCA-secure public-key encryption., , , , , und . IJES, 7 (3/4): 216-229 (2015)Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report)., , , und . CoRR, (2017)Learning probabilistic models for model checking: an evolutionary approach and an empirical study., , , und . STTT, 20 (6): 689-704 (2018)Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study., , , und . CoRR, (2016)Probabilistic Model Checking of the PDGF Signaling Pathway., , , , , und . Trans. Computational Systems Biology, (2012)Parallel approximate steady-state analysis of large probabilistic Boolean networks., , und . SAC, Seite 1-8. ACM, (2016)ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks., , und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 214-220. Springer, (2015)Fast Simulation of Probabilistic Boolean Networks (Technical Report)., , und . CoRR, (2016)A new decomposition-based method for detecting attractors in synchronous Boolean networks., , , und . Sci. Comput. Program., (2019)GPU-accelerated steady-state computation of large probabilistic Boolean networks., , und . Formal Asp. Comput., 31 (1): 27-46 (2019)