( en | de | ru )

 

Disambiguation of "Magnin, Morgan"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information.

, , and . CoRR, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vincent Magnin

Morgan Chopin

Ihab Morgan

Morgan Brassel

Morgan Pierce

 

Other publications of authors with the same name

Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information., , and . CoRR, (2015)Romeo: A Tool for Analyzing Time Petri Nets., , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 418-423. Springer, (2005)Modeling of Genetic Regulatory Network in Stochastic pi-Calculus., , and . BICoB, volume 5462 of Lecture Notes in Computer Science, page 282-294. Springer, (2009)Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition., , , , and . CMSB, volume 8130 of Lecture Notes in Computer Science, page 50-63. Springer, (2013)Introduction to the JBCB special issue on CSBio 2019., and . J. Bioinform. Comput. Biol., 18 (3): 2002002:1-2002002:2 (2020)Diagnosis of Event Sequences with LFIT., , , , , and . ILP, volume 13779 of Lecture Notes in Computer Science, page 117-126. Springer, (2022)An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches., , and . SoftMC@CAV, volume 144 of Electronic Notes in Theoretical Computer Science, page 59-77. Elsevier, (2005)Tools for Model-Checking Timed Systems., , , , , , , , , and 5 other author(s). Communicating Embedded Systems, Wiley, (2013)Limit Cycle Analysis of a Class of Hybrid Gene Regulatory Networks., , and . CMSB, volume 13447 of Lecture Notes in Computer Science, page 217-236. Springer, (2022)Reachability Analysis of a Class of Hybrid Gene Regulatory Networks., , and . RP, volume 14235 of Lecture Notes in Computer Science, page 56-69. Springer, (2023)