Romeo: A Tool for Analyzing Time Petri Nets. - Guillaume Gardey; Didier Lime; Morgan Magnin; Olivier H. Roux (CAV, 2005)

An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. - Morgan Magnin; Didier Lime; Olivier H. Roux (SoftMC@CAV, 2005)

Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). - Morgan Magnin; Didier Lime; Olivier H. Roux (Petri Nets, 2008)

Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. - Mylène Maurin; Morgan Magnin; Olivier H. Roux (BICoB, 2009)

Expressiveness of Petri Nets with Stopwatches. Dense-time Part. - Morgan Magnin; Pierre Molinaro; Olivier H. Roux (Fundam. Informaticae, 2009)

Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. - Morgan Magnin; Pierre Molinaro; Olivier H. Roux (Fundam. Informaticae, 2009)

Abstract Interpretation of Dynamics of Biological Regulatory Networks. - Loïc Paulevé; Morgan Magnin; Olivier F. Roux (SASB, 2010)

Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework. - Loïc Paulevé; Morgan Magnin; Olivier F. Roux (Trans. Comp. Sys. Biology, 2011)

Tuning Temporal Features within the Stochastic π-Calculus. - Loïc Paulevé; Morgan Magnin; Olivier F. Roux (IEEE Trans. Software Eng., 2011)

Concretizing the Process Hitting into Biological Regulatory Networks. - Maxime Folschette; Loïc Paulevé; Katsumi Inoue; Morgan Magnin; Olivier F. Roux (CMSB, 2012)

Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. - Loïc Paulevé; Morgan Magnin; Olivier F. Roux (Math. Struct. Comput. Sci., 2012)

Tools for Model-Checking Timed Systems. - Alexandre David; Gerd Behrmann; Peter E. Bulychev; Joakim Byg; Thomas Chatain; Kim G. Larsen; Paul Pettersson; Jacob Illum Rasmussen; Jirí Srba; Wang Yi 001; Kenneth Yrke Jørgensen; Didier Lime; et al. (Communicating Embedded Systems, 2013)

Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition. - Courtney Chancellor; Amine Ammar; Francisco Chinesta; Morgan Magnin; Olivier F. Roux (CMSB, 2013)

Towards Augmented Learning in Science and Engineering in Higher Education. - Simon Carolan; Francisco Chinesta; Christine Evain; Morgan Magnin; Guillaume Moreau (ICALT, 2013)

Under-approximation of Reachability in Multivalued Asynchronous Networks. - Maxime Folschette; Loïc Paulevé; Morgan Magnin; Olivier F. Roux (CS2Bio, 2013)

Extracting Domain Ontologies from Reference Books. - Simon Carolan; Francisco Chinesta; Christine Evain; Morgan Magnin; Guillaume Moreau (ICALT, 2014)

Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming. - Emna Ben Abdallah 001; Maxime Folschette; Olivier F. Roux; Morgan Magnin (BIBM, 2015)

Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. - Alexander Andreychenko; Morgan Magnin; Katsumi Inoue (CMSB, 2015)

Towards the Effective Use of Available Educational Resources: Designing Adaptive Hypermedia Environments for the Engineering Sciences. - Simon Carolan; Guillaume Moreau; Morgan Magnin; Francisco Chinesta (ICALT, 2015)

Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations. - Tony Ribeiro; Morgan Magnin; Katsumi Inoue; Chiaki Sakama (ICMLA, 2015)

Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information. - Alexander Andreychenko; Morgan Magnin; Katsumi Inoue (CoRR, 2015)

Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. - Francisco Chinesta; Morgan Magnin; Olivier H. Roux; Amine Ammar; Elías Cueto (Entropy, 2015)

Identification of biological regulatory networks from Process Hitting models. - Maxime Folschette; Loïc Paulevé; Katsumi Inoue; Morgan Magnin; Olivier F. Roux (Theor. Comput. Sci., 2015)

Sufficient conditions for reachability in automata networks with priorities. - Maxime Folschette; Loïc Paulevé; Morgan Magnin; Olivier F. Roux (Theor. Comput. Sci., 2015)

Analyses statiques de la dynamique des réseaux d'automates indéterministes. - Loïc Paulevé; Maxime Folschette; Morgan Magnin; Olivier F. Roux (Tech. Sci. Informatiques, 2015)

Contributions à l'élaboration de connaissances qualitatives en bio-informatique. (Contributions to the elaboration of qualitative knowledge in bioinformatics). - Morgan Magnin (2016)

Inference of Delayed Biological Regulatory Networks from Time Series Data. - Emna Ben Abdallah 001; Tony Ribeiro; Morgan Magnin; Olivier F. Roux; Katsumi Inoue (CMSB, 2016)

Analyzing resilience properties in oscillatory biological systems using parametric model checking. - Alexander Andreychenko; Morgan Magnin; Katsumi Inoue (Biosyst., 2016)

Formalization of resilience for constraint-based dynamic systems. - Nicolas Schwind; Morgan Magnin; Katsumi Inoue; Tenda Okimoto; Taisuke Sato; Kazuhiro Minami; Hiroshi Maruyama (J. Reliab. Intell. Environ., 2016)

Inductive Learning from State Transitions over Continuous Domains. - Tony Ribeiro; Sophie Tourret; Maxime Folschette; Morgan Magnin; Domenico Borzacchiello; Francisco Chinesta; Olivier F. Roux; Katsumi Inoue (ILP, 2017)

Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. - Emna Ben Abdallah 001; Tony Ribeiro; Morgan Magnin; Olivier H. Roux; Katsumi Inoue (Algorithms, 2017)

ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks. - Emna Ben Abdallah 001; Maxime Folschette; Olivier F. Roux; Morgan Magnin (Algorithms Mol. Biol., 2017)

Learning Dynamics with Synchronous, Asynchronous and General Semantics. - Tony Ribeiro; Maxime Folschette; Morgan Magnin; Olivier F. Roux; Katsumi Inoue (ILP, 2018)

A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks. - Xinwei Chai; Morgan Magnin; Olivier H. Roux (CoRR, 2018)

Static Analysis and Stochastic Search for Reachability Problem. - Xinwei Chai; Tony Ribeiro; Morgan Magnin; Olivier F. Roux; Katsumi Inoue (SASB, 2020)

Introduction to the JBCB special issue on CSBio 2019. - Elisabetta De Maria; Morgan Magnin (J. Bioinform. Comput. Biol., 2020)

Limit Cycle Analysis of a Class of Hybrid Gene Regulatory Networks. - Honglu Sun; Maxime Folschette; Morgan Magnin (CMSB, 2022)

Diagnosis of Event Sequences with LFIT. - Tony Ribeiro; Maxime Folschette; Morgan Magnin; Kotaro Okazaki; Lo Kuo-Yen; Katsumi Inoue (ILP, 2022)

Learning any memory-less discrete semantics for dynamical systems represented by logic programs. - Tony Ribeiro; Maxime Folschette; Morgan Magnin; Katsumi Inoue (Mach. Learn., 2022)

SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. - Takehide Soh; Morgan Magnin; Daniel Le Berre; Mutsunori Banbara; Naoyuki Tamura (BIOINFORMATICS, 2023)

Condition for Sustained Oscillations in Repressilator Based on a Hybrid Modeling of Gene Regulatory Networks. - Honglu Sun; Jean-Paul Comet; Maxime Folschette; Morgan Magnin (BIOINFORMATICS, 2023)

SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks. - Takehide Soh; Morgan Magnin; Daniel Le Berre; Mutsunori Banbara; Naoyuki Tamura (CMSB, 2023)

Condition for Periodic Attractor in 4-Dimensional Repressilators. - Honglu Sun; Maxime Folschette; Morgan Magnin (CMSB, 2023)

Reachability Analysis of a Class of Hybrid Gene Regulatory Networks. - Honglu Sun; Maxime Folschette; Morgan Magnin (RP, 2023)