×

zbMATH — the first resource for mathematics

Magnin, Morgan

Compute Distance To:
Author ID: magnin.morgan Recent zbMATH articles by "Magnin, Morgan"
Published as: Magnin, Morgan
Documents Indexed: 15 Publications since 2005

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 33 times in 23 Documents Cited by Year
Romeo: A tool for analyzing time Petri nets. Zbl 1081.68618
Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier H.
12
2005
Refining dynamics of gene regulatory networks in a stochastic \(\pi\)-calculus framework. Zbl 1326.92027
Paulevé, Loïc; Magnin, Morgan; Roux, Olivier
8
2011
Static analysis of biological regulatory networks dynamics using abstract interpretation. Zbl 1253.92029
Paulevé, Loïc; Magnin, Morgan; Roux, Olivier
4
2012
Sufficient conditions for reachability in automata networks with priorities. Zbl 1332.68158
Folschette, Maxime; Paulevé, Loïc; Magnin, Morgan; Roux, Olivier
3
2015
Under-approximation of reachability in multivalued asynchronous networks. Zbl 1337.68181
Folschette, Maxime; Paulevé, Loïc; Magnin, Morgan; Roux, Olivier
2
2013
Abstract interpretation of dynamics of biological regulatory networks. Zbl 1291.92069
Paulevé, Loïc; Magnin, Morgan; Roux, Olivier
2
2011
Inference of delayed biological regulatory networks from time series data. Zbl 1383.92030
Ben Abdallah, Emna; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi
1
2016
Identification of biological regulatory networks from process hitting models. Zbl 1314.92062
Folschette, Maxime; Paulevé, Loïc; Inoue, Katsumi; Magnin, Morgan; Roux, Olivier
1
2015
Inference of delayed biological regulatory networks from time series data. Zbl 1383.92030
Ben Abdallah, Emna; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi
1
2016
Sufficient conditions for reachability in automata networks with priorities. Zbl 1332.68158
Folschette, Maxime; Paulevé, Loïc; Magnin, Morgan; Roux, Olivier
3
2015
Identification of biological regulatory networks from process hitting models. Zbl 1314.92062
Folschette, Maxime; Paulevé, Loïc; Inoue, Katsumi; Magnin, Morgan; Roux, Olivier
1
2015
Under-approximation of reachability in multivalued asynchronous networks. Zbl 1337.68181
Folschette, Maxime; Paulevé, Loïc; Magnin, Morgan; Roux, Olivier
2
2013
Static analysis of biological regulatory networks dynamics using abstract interpretation. Zbl 1253.92029
Paulevé, Loïc; Magnin, Morgan; Roux, Olivier
4
2012
Refining dynamics of gene regulatory networks in a stochastic \(\pi\)-calculus framework. Zbl 1326.92027
Paulevé, Loïc; Magnin, Morgan; Roux, Olivier
8
2011
Abstract interpretation of dynamics of biological regulatory networks. Zbl 1291.92069
Paulevé, Loïc; Magnin, Morgan; Roux, Olivier
2
2011
Romeo: A tool for analyzing time Petri nets. Zbl 1081.68618
Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier H.
12
2005

Citations by Year