PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Magnin, Morgan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation.

, , und . Mathematical Structures in Computer Science, 22 (4): 651-685 (2012)

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.

Samuel Morgan University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Augmented Learning in Science and Engineering in Higher Education., , , , und . ICALT, Seite 512-513. IEEE Computer Society, (2013)Towards the Effective Use of Available Educational Resources: Designing Adaptive Hypermedia Environments for the Engineering Sciences., , , und . ICALT, Seite 400-402. IEEE Computer Society, (2015)Tools for Model-Checking Timed Systems., , , , , , , , , und 5 andere Autor(en). Communicating Embedded Systems, Wiley, (2013)Romeo: A Tool for Analyzing Time Petri Nets., , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 418-423. Springer, (2005)Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information., , und . CoRR, (2015)Identification of biological regulatory networks from Process Hitting models., , , , und . Theor. Comput. Sci., (2015)Learning Dynamics with Synchronous, Asynchronous and General Semantics., , , , und . ILP, Volume 11105 von Lecture Notes in Computer Science, Seite 118-140. Springer, (2018)Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition., , , , und . CMSB, Volume 8130 von Lecture Notes in Computer Science, Seite 50-63. Springer, (2013)Modeling of Genetic Regulatory Network in Stochastic pi-Calculus., , und . BICoB, Volume 5462 von Lecture Notes in Computer Science, Seite 282-294. Springer, (2009)Abstract Interpretation of Dynamics of Biological Regulatory Networks., , und . Electron. Notes Theor. Comput. Sci., (2011)