Morgan Magnin

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 18

Top Topics

Biological Systems

Regulatory Networks

State Transitions

Top Venues

Publications

Honglu Sun, Maxime Folschette, Morgan Magnin
Reachability Analysis of a Class of Hybrid Gene Regulatory Networks. RP (2023)
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks. CMSB (2023)
Honglu Sun, Jean-Paul Comet, Maxime Folschette, Morgan Magnin
Condition for Sustained Oscillations in Repressilator Based on a Hybrid Modeling of Gene Regulatory Networks. BIOINFORMATICS (2023)
Honglu Sun, Maxime Folschette, Morgan Magnin
Condition for Periodic Attractor in 4-Dimensional Repressilators. CMSB (2023)
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. BIOINFORMATICS (2023)
Honglu Sun, Maxime Folschette, Morgan Magnin
Limit Cycle Analysis of a Class of Hybrid Gene Regulatory Networks. CMSB (2022)
Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue
Learning any memory-less discrete semantics for dynamical systems represented by logic programs. Mach. Learn. 111 (10) (2022)
Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue
Diagnosis of Event Sequences with LFIT. ILP (2022)
Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
Static Analysis and Stochastic Search for Reachability Problem. SASB (2020)
Elisabetta De Maria, Morgan Magnin
Introduction to the JBCB special issue on CSBio 2019. J. Bioinform. Comput. Biol. 18 (3) (2020)
Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
Learning Dynamics with Synchronous, Asynchronous and General Semantics. ILP (2018)
Xinwei Chai, Morgan Magnin, Olivier H. Roux
A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks. CoRR (2018)
Emna Ben Abdallah, Maxime Folschette, Olivier F. Roux, Morgan Magnin
ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks. Algorithms Mol. Biol. 12 (1) (2017)
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue
Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. Algorithms 10 (1) (2017)
Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue
Inductive Learning from State Transitions over Continuous Domains. ILP (2017)
Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama
Formalization of resilience for constraint-based dynamic systems. J. Reliab. Intell. Environ. 2 (1) (2016)
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
Inference of Delayed Biological Regulatory Networks from Time Series Data. CMSB (2016)
Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
Analyzing resilience properties in oscillatory biological systems using parametric model checking. Biosyst. 149 (2016)
Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama
Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations. ICMLA (2015)
Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Sufficient conditions for reachability in automata networks with priorities. Theor. Comput. Sci. 608 (2015)
Simon Carolan, Guillaume Moreau, Morgan Magnin, Francisco Chinesta
Towards the Effective Use of Available Educational Resources: Designing Adaptive Hypermedia Environments for the Engineering Sciences. ICALT (2015)
Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux
Identification of biological regulatory networks from Process Hitting models. Theor. Comput. Sci. 568 (2015)
Francisco Chinesta, Morgan Magnin, Olivier H. Roux, Amine Ammar, Elías Cueto
Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. Entropy 17 (4) (2015)
Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. CMSB (2015)
Emna Ben Abdallah, Maxime Folschette, Olivier F. Roux, Morgan Magnin
Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming. BIBM (2015)
Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier F. Roux
Analyses statiques de la dynamique des réseaux d'automates indéterministes. Tech. Sci. Informatiques 34 (4) (2015)
Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information. CoRR (2015)
Simon Carolan, Francisco Chinesta, Christine Evain, Morgan Magnin, Guillaume Moreau
Extracting Domain Ontologies from Reference Books. ICALT (2014)
Simon Carolan, Francisco Chinesta, Christine Evain, Morgan Magnin, Guillaume Moreau
Towards Augmented Learning in Science and Engineering in Higher Education. ICALT (2013)
Courtney Chancellor, Amine Ammar, Francisco Chinesta, Morgan Magnin, Olivier F. Roux
Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition. CMSB (2013)
Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Under-approximation of Reachability in Multivalued Asynchronous Networks. Electron. Notes Theor. Comput. Sci. 299 (2013)
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. Math. Struct. Comput. Sci. 22 (4) (2012)
Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux
Concretizing the Process Hitting into Biological Regulatory Networks. CMSB (2012)
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Abstract Interpretation of Dynamics of Biological Regulatory Networks. Electron. Notes Theor. Comput. Sci. 272 (2011)
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework. Trans. Comp. Sys. Biology 13 (2011)
Loïc Paulevé, Morgan Magnin, Olivier F. Roux
Tuning Temporal Features within the Stochastic π-Calculus. IEEE Trans. Software Eng. 37 (6) (2011)
Morgan Magnin, Pierre Molinaro, Olivier H. Roux
Expressiveness of Petri Nets with Stopwatches. Dense-time Part. Fundam. Informaticae 97 (1-2) (2009)
Morgan Magnin, Pierre Molinaro, Olivier H. Roux
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. Fundam. Informaticae 97 (1-2) (2009)
Mylène Maurin, Morgan Magnin, Olivier H. Roux
Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. BICoB (2009)
Morgan Magnin, Didier Lime, Olivier H. Roux
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets (2008)
Morgan Magnin, Didier Lime, Olivier H. Roux
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. Electron. Notes Theor. Comput. Sci. 144 (3) (2006)
Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux
Romeo: A Tool for Analyzing Time Petri Nets. CAV (2005)