Morgan Magnin

Professeur des Universités à Centrale Nantes / LS2N Visiting professor au National Institute of Informatics (NII), Tôkyô, Japan
69
Documents
Affiliations actuelles
  • Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN)
  • Laboratoire des Sciences du Numérique de Nantes (LS2N)
  • National Institute of Informatics (NII)

Publications

Publications

Gene network inference from single-cell omics data and domain knowledge for constructing COVID-19-specific ICAM1-associated pathways

Mitsuhiro Odaka , Morgan Magnin , Katsumi Inoue

Frontiers in Genetics, 2023, 14, ⟨10.3389/fgene.2023.1250545⟩

Article dans une revue hal-04195846v1
Deposit thumbnail

Learning any memory-less discrete semantics for dynamical systems represented by logic programs

Tony Ribeiro , Maxime Folschette , Morgan Magnin , Katsumi Inoue

Machine Learning, 2021, ⟨10.1007/s10994-021-06105-4⟩

Article dans une revue hal-02925942v5

Introduction to the JBCB special issue on CSBio 2019

Elisabetta de Maria , Magnin Morgan

Journal of Bioinformatics and Computational Biology, 2020, 18 (03), pp.2002002. ⟨10.1142/S0219720020020023⟩

Article dans une revue hal-02938160v1

Incorporating Time Delays in Process Hitting Framework for Dynamical Modeling of Large Biological Regulatory Networks

Iftikhar Ali Sheikh , Jamil Ahmad , Morgan Magnin , Olivier Roux

Frontiers in Physiology, 2019, 10, ⟨10.3389/fphys.2019.00090⟩

Article dans une revue hal-02448847v1
Deposit thumbnail

Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data

Emna Ben Abdallah , Tony Ribeiro , Morgan Magnin , Olivier Roux , Katsumi Inoue

Algorithms, 2017, 10 (4), ⟨10.3390/a10010008⟩

Article dans une revue hal-01721287v1

Learning Delays in Biological Regulatory Networks from Time Series Data

Emna Ben Abdallah , Tony Ribeiro , Morgan Magnin , Olivier Roux , Katsumi Inoue

Genomics and Computational Biology, 2017, 3 (2), ⟨10.18547/gcb.2017.vol3.iss2.e43⟩

Article dans une revue hal-01721290v1
Deposit thumbnail

ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks

Emna Ben Abdallah , Maxime Folschette , Olivier Roux , Morgan Magnin

Algorithms for Molecular Biology, 2017, 12 (1), ⟨10.1186/s13015-017-0111-2⟩

Article dans une revue hal-01654877v1

Analyzing resilience properties in oscillatory biological systems using parametric model checking

Alexander Andreychenko , Morgan Magnin , Katsumi Inoue

BioSystems, 2016, 149, pp.50 - 58. ⟨10.1016/j.biosystems.2016.09.002⟩

Article dans une revue hal-01710218v1
Deposit thumbnail

Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions

Francisco Chinesta , Morgan Magnin , Olivier Roux , Amine Ammar , Elías Cueto

Entropy, 2015, 17 (4), pp.1896-1915. ⟨10.3390/e17041896⟩

Article dans une revue hal-01195963v1
Deposit thumbnail

Identification of Biological Regulatory Networks from Process Hitting models

Maxime Folschette , Loïc Paulevé , Katsumi Inoue , Morgan Magnin , Olivier Roux

Theoretical Computer Science, 2015, 568, pp.39. ⟨10.1016/j.tcs.2014.12.002⟩

Article dans une revue hal-01094249v1
Deposit thumbnail

Learning Delayed Influences of Biological Systems

Tony Ribeiro , Morgan Magnin , Katsumi Inoue , Chiaki Sakama

Frontiers in Bioengineering and Biotechnology, 2015, 2, ⟨10.3389/fbioe.2014.00081⟩

Article dans une revue hal-01710485v1
Deposit thumbnail

Sufficient Conditions for Reachability in Automata Networks with Priorities

Maxime Folschette , Loïc Paulevé , Morgan Magnin , Olivier F. Roux

Theoretical Computer Science, 2015, ⟨10.1016/j.tcs.2015.08.040⟩

Article dans une revue hal-01202671v1
Deposit thumbnail

Analyses statiques de la dynamique des réseaux d'automates indéterministes

Loïc Paulevé , Maxime Folschette , Morgan Magnin , Olivier Roux

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (4), pp.22. ⟨10.3166/TSI.34.463-484⟩

Article dans une revue hal-01070295v2
Deposit thumbnail

Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition

Courtney Chacellor , Amine Ammar , Francisco Chinesta , Morgan Magnin , Olivier Roux

Computational Methods in Systems Biology, 2013, 8130, pp.50-63. ⟨10.1007/978-3-642-40708-6_5⟩

Article dans une revue hal-01207078v1

Static analysis of Biological Regulatory Networks dynamics using abstract interpretation

Loïc Paulevé , Morgan Magnin , Olivier Roux

Mathematical Structures in Computer Science, 2012, 22 (04), pp 651-685. ⟨10.1017/S0960129511000739⟩

Article dans une revue istex hal-00714481v1
Deposit thumbnail

Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework

Loïc Paulevé , Morgan Magnin , Olivier Roux

Transactions on Computational Systems Biology, 2011, XIII, pp.171-191. ⟨10.1007/978-3-642-19748-2_8⟩

Article dans une revue hal-00397235v2
Deposit thumbnail

Tuning Temporal Features within the Stochastic π-Calculus

Loïc Paulevé , Morgan Magnin , Olivier Roux

IEEE Transactions on Software Engineering, 2011, 37 (6), pp.858-871. ⟨10.1109/TSE.2010.95⟩

Article dans une revue hal-00397308v1

Expressiveness of Petri nets with stopwatches. Dense-time part

Morgan Magnin , Pierre Molinaro , Olivier Henri Roux

Fundamenta Informaticae, 2009, 97 (1-2), pp.111-138

Article dans une revue hal-00523933v1

Expressiveness of Petri Nets with Stopwatches. Discrete-time part

Morgan Magnin , Pierre Molinaro , Olivier Henri Roux

Fundamenta Informaticae, 2009, 97 (1-2), pp.139-176

Article dans une revue hal-00523936v1
Deposit thumbnail

Conditions for cyclic attractors for a class of discrete n-dimensional repressilators

Honglu Sun , Maxime Folschette , Morgan Magnin , Elisa Tonello

The 31st International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2025), Sara Riva; Adrien Richard, Jun 2025, Villeneuve-d'Ascq, France. pp.139-153, ⟨10.1007/978-3-032-01570-9_10⟩

Communication dans un congrès hal-05236106v1

A SAT-based Method for Counting All Singleton Attractors in Boolean Networks

Rei Higuchi , Takehide Soh , Daniel Le Berre , Morgan Magnin , Mutsunori Banbara et al.

Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-25), Aug 2025, Montreal, Canada. pp.2601-2609, ⟨10.24963/ijcai.2025/290⟩

Communication dans un congrès hal-05358684v1
Deposit thumbnail

Counterfactual Explanations for Dynamic Multi-Valued Logic

Tony Ribeiro , Maxime Folschette , Morgan Magnin , Katsumi Inoue , Kotaro Okazaki et al.

Special Interest Group on Fundamental Problems in Artificial Intelligence 2025 (SIG-FPAI), Aug 2025, Toyama, Japan

Communication dans un congrès hal-05230575v1
Deposit thumbnail

Learning From Interpretation Transitions with Unknowns

Tony Ribeiro , Maxime Folschette , Morgan Magnin , Kotaro Okazaki , Kuo-Yen Lo et al.

4th International Joint Conference on Learning & Reasoning, Sep 2024, Nanjing, China. pp.66-85, ⟨10.1007/978-3-032-09087-4_5⟩

Communication dans un congrès hal-04634356v2
Deposit thumbnail

SAF: SAT-based Attractor Finder in Asynchronous Automata Networks

Takehide Soh , Morgan Magnin , Daniel Le Berre , Mutsunori Banbara , Naoyuki Tamura

21st International Conference on Computational Methods in Systems Biology (CMSB 2023), Sep 2023, Luxembourg City, Luxembourg

Communication dans un congrès hal-04184830v1
Deposit thumbnail

SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks

Takehide Soh , Morgan Magnin , Daniel Le Berre , Mutsunori Banbara , Naoyuki Tamura

14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023), Feb 2023, Lisbon, Portugal

Communication dans un congrès hal-03964870v1
Deposit thumbnail

Condition for periodic attractor in 4-dimensional repressilators

Honglu Sun , Maxime Folschette , Morgan Magnin

21st International Conference on Computational Methods in Systems Biology (CMSB 2023), Sep 2023, Luxembourg City, Luxembourg. pp.184-201, ⟨10.1007/978-3-031-42697-1_13⟩

Communication dans un congrès hal-04135182v1
Deposit thumbnail

Condition for sustained oscillations in repressilator based on a hybrid modeling of gene regulatory networks

Honglu Sun , Jean-Paul Comet , Maxime Folschette , Morgan Magnin

International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023), Feb 2023, Lisbon, Portugal. pp.29-40, ⟨10.5220/0011614300003414⟩

Communication dans un congrès hal-03902156v1
Deposit thumbnail

Reachability analysis of a class of hybrid gene regulatory networks

Honglu Sun , Maxime Folschette , Morgan Magnin

17th International Conference on Reachability Problems (RP'23), Oct 2023, Nice, France. pp.56-69, ⟨10.1007/978-3-031-45286-4_5⟩

Communication dans un congrès hal-04180870v1
Deposit thumbnail

Limit cycle analysis of a class of hybrid gene regulatory networks

Honglu Sun , Maxime Folschette , Morgan Magnin

20th International Conference on Computational Methods in Systems Biology (CMSB 2022), Sep 2022, Bucharest, Romania. pp.217-236, ⟨10.1007/978-3-031-15034-0_11⟩

Communication dans un congrès hal-03700025v2
Deposit thumbnail

Diagnosis of Event Sequences with LFIT

Tony Ribeiro , Maxime Folschette , Morgan Magnin , Kotaro Okazaki , Lo Kuo-Yen et al.

The 31st International Conference on Inductive Logic Programming (ILP), Sep 2022, Windsor, United Kingdom

Communication dans un congrès hal-03689936v2
Deposit thumbnail

Inference of Gene Networks from Single Cell Data through Quantified Inductive Logic Programming

Samuel Buchet , Francesco Carbone , Morgan Magnin , Mickaël Ménager , Olivier Roux

CSBio2021, Oct 2021, FULLY VIRTUAL, Thailand. ⟨10.1145/3486713.3486746⟩

Communication dans un congrès hal-03468746v1
Deposit thumbnail

Learning Dynamics with Synchronous, Asynchronous and General Semantics

Tony Ribeiro , Maxime Folschette , Morgan Magnin , Olivier Roux , Katsumi Inoue

28th International Conference on Inductive Logic Programming, Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese, Sep 2018, Ferrara, Italy. ⟨10.1007/978-3-319-99960-9_8⟩

Communication dans un congrès hal-01826564v1
Deposit thumbnail

Static Analysis and Stochastic Search for Reachability Problem

Xinwei Chai , Tony Ribeiro , Morgan Magnin , Olivier Roux , Katsumi Inoue

9th Workshop on Static Analysis and Systems Biology (SASB 2018), Aug 2018, Freiburg, Germany. ⟨10.1016/j.entcs.2020.06.008⟩

Communication dans un congrès hal-01951251v1
Deposit thumbnail

Inference of Delayed Biological Regulatory Networks from Time Series Data

Emna Ben Abdallah , Tony Ribeiro , Morgan Magnin , Olivier Roux , Katsumi Inoue

14th International Conference on Computational Methods for Systems Biology (CMSB 2016), Sep 2016, Cambridge, United Kingdom. ⟨10.1007/978-3-319-45177-0_3⟩

Communication dans un congrès hal-01721291v1

Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets

Magnin Morgan , Alexander Andreychenko , Katsumi Inoue

International Conference on Computational Methods in Systems Biology CMSB2015, Sep 2015, Nantes, France. pp.239-250, ⟨10.1007/978-3-319-23401-4_20⟩

Communication dans un congrès hal-02448802v1
Deposit thumbnail

Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming

Emna Ben Abdallah , Maxime Folschette , Olivier Roux , Morgan Magnin

IEEE International Conference on Bioinformatics and Biomedicine (BIBM), Nov 2015, Washington, D.C., United States. pp.281-285, ⟨10.1109/BIBM.2015.7359694⟩

Communication dans un congrès hal-01252610v1
Deposit thumbnail

Sparking a Digital Revolution: Digital Educational Tools in Fragile and Emerging Learning Contexts

Simon Carolan , Morgan Magnin , Anne-Laure Kabalu

Digital Intelligence 2014, Sep 2014, Nantes, France

Communication dans un congrès hal-01065069v1
Deposit thumbnail

Un MOOC et ses partenaires - Remettre l'humain dans le massif

Simon Carolan , Morgan Magnin , Jean-Marie Gilliot , Anne-Céline Grolleau , Christine Vaufrey

TICE 2014 : 9ème colloque des Technologies de l'Information et de la Communication pour l'Enseignement, Nov 2014, Béziers, France. pp.1 - 8

Communication dans un congrès hal-01184991v1
Deposit thumbnail

Extracting Domain Ontologies from Reference Books

Simon Carolan , Francisco Chinesta , Christine Evain , Morgan Magnin , Guillaume Moreau

14th International Conference on Advanced Learning Technologies (ICALT 2014), Jul 2014, Athènes, Greece. ⟨10.1109/ICALT.2014.159⟩

Communication dans un congrès hal-01973160v1

Engineering MOOCs for Future Engineers: Integrating MOOCs into Formal Learning Environments

Simon Carolan , Morgan Magnin , Jean-Marie Gilliot

EMOOCs 2014 : 2nd MOOC European stakeholders summit, Feb 2014, Lausanne, Suisse

Communication dans un congrès hal-01010171v1
Deposit thumbnail

ITyPA, un premier MOOC francophone et connectiviste

Jean-Marie Gilliot , Anne-Céline Grolleau , Magnin Morgan , Christine Vaufrey

QPES 2013 : colloque questions de pédagogies dans l'enseignement supérieur, Jun 2013, Sherbrooke, Canada

Communication dans un congrès hal-00942447v1
Deposit thumbnail

Towards Augmented Learning in Science and Engineering in Higher Education

Simon Carolan , Francisco Chinesta , Christine Evain , Morgan Magnin , Guillaume Moreau

13th IEEE International Conference on Advanced Learning Technologies, Jul 2013, Beijing, China. pp.512-513, ⟨10.1109/ICALT.2013.169⟩

Communication dans un congrès hal-01977283v1
Deposit thumbnail

Under-approximation of Reachability in Multivalued Asynchronous Networks

Maxime Folschette , Loïc Paulevé , Morgan Magnin , Olivier Roux

fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13), Jun 2013, Florence, Italy. pp.33--51, ⟨10.1016/j.entcs.2013.11.004⟩

Communication dans un congrès hal-00873000v1

Promoting Science and Engineering to Generation Z

Christine Evain , Simon Carolan , Magnin Morgan

ASME 11th Biennial Conference on Engineering Systems Design and Analysis, Université de Nantes, Jul 2012, Nantes, France

Communication dans un congrès hal-01980159v1
Deposit thumbnail

Developing models for enhanced learning in engineering

Simon Carolan , Morgan Magnin , Christine Evain , Guillaume Moreau , Francisco Chinesta

6th Centrale Beihang Workshop, Dec 2012, Lille, France. Paper 1

Communication dans un congrès hal-00783543v1
Deposit thumbnail

Concretizing the Process Hitting into Biological Regulatory Networks

Maxime Folschette , Loïc Paulevé , Katsumi Inoue , Morgan Magnin , Olivier Roux

Computational Methods in Systems Biology, Oct 2012, London, United Kingdom. p. 166-186, ⟨10.1007/978-3-642-33636-2_11⟩

Communication dans un congrès hal-00704569v2
Deposit thumbnail

Abducing Biological Regulatory Networks from Process Hitting models

Maxime Folschette , Loïc Paulevé , Katsumi Inoue , Morgan Magnin , Olivier F. Roux

ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology, Sep 2012, Bristol, United Kingdom

Communication dans un congrès hal-01314470v1

Abstract Interpretation of Dynamics of Biological Regulatory Networks

Loïc Paulevé , Morgan Magnin , Olivier Roux

1st International Workshop on Static Analysis and Systems Biology (SASB 2010), Sep 2010, Perpignan, France. pp.43-56, ⟨10.1016/j.entcs.2011.04.004⟩

Communication dans un congrès hal-00601118v1
Deposit thumbnail

Diffuser les bonnes pratiques autour de l'usage des blogs en pédagogie

Christine Evain , Magnin Morgan , Guillaume Moreau

7ème Colloque Technologies de l’Information et de la Communication pour l’Enseignement, Dec 2010, Nancy, France

Communication dans un congrès hal-01980543v1

Symbolic state space of Stopwatch {Petri} nets with discrete-time semantics

Morgan Magnin , Didier Lime , Olivier Henri Roux

The 29th International Conference on Application and Theory of {Petri} Nets and other models of concurrency (ICATPN 2008), 2008, Xi'an, China. pp.307--326

Communication dans un congrès hal-00523612v1

Decidability, expressivity and state-space computation of Stopwatch {Petri} nets with discrete-time semantics

Morgan Magnin , Pierre Molinaro , Olivier Henri Roux

8th International Workshop on Discrete Event Systems (WODES'06), 2006, Ann Arbor, United States. pp.33-38

Communication dans un congrès hal-00523601v1

Romeo: A Tool for Analyzing time Petri nets

Guillaume Gardey , Didier Lime , Morgan Magnin , Olivier Henri Roux

17th International Conference on Computer Aided Verification (CAV'05), 2005, Edinburgh, United Kingdom. pp.418-423

Communication dans un congrès hal-00523596v1

An efficient method for computing exact state space of Petri nets with stopwatches

Morgan Magnin , Didier Lime , Olivier Henri Roux

third International Workshop on Software Model-Checking (SoftMC'05), 2005, Edinburgh, United Kingdom. pp.59--77

Communication dans un congrès hal-00523595v1
Deposit thumbnail

Limit cycle analysis of a class of hybrid gene regulatory networks

Honglu Sun , Maxime Folschette , Morgan Magnin

Journées Nationales de l’Informatique Mathématique (JNIM 2022), Mar 2022, Lille, France

Poster de conférence hal-03700402v1

Option projet : objectif compétences

Alban Leroyer , Morgan Magnin , Emilie Poirson , Gwénaëlle Le Mauff

Presses polytechniques et universitaires romandes (EPFL PRESS). Prototyper pour renforcer l'expérience d'apprentissage, Pédagogie universitaire, pp.201-228, 2024, 978-2-8323-2257-4. ⟨10.55430/8021VA01⟩

Chapitre d'ouvrage hal-04526433v1

The Challenges of Inferring Dynamic Models from Time Series

Tony Ribeiro , Maxime Folschette , Laurent Trilling , Nicolas Glade , Katsumi Inoue et al.

Symbolic Approaches to Modeling and Analysis of Biological Systems, Wiley, 2023, 9781789450293. ⟨10.1002/9781394229086.ch3⟩

Chapitre d'ouvrage hal-04279657v1
Deposit thumbnail

Les enjeux de l'inférence de modèles dynamiques des systèmes biologiques à partir de séries temporelles

Tony Ribeiro , Maxime Folschette , Laurent Trilling , Nicolas Glade , Katsumi Inoue et al.

Approches symboliques de la modélisation et de l’analyse des systèmes biologiques, 2022

Chapitre d'ouvrage hal-02634235v2
Deposit thumbnail

Analyzing Long-Term Dynamics of Biological Networks with Answer Set Programming

Emna Ben Abdallah , Maxime Folschette , Morgan Magnin

Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, 2022

Chapitre d'ouvrage hal-03735849v2
Deposit thumbnail

Inductive Learning from State Transitions over Continuous Domains

Tony Ribeiro , Sophie Tourret , Maxime Folschette , Morgan Magnin , Domenico Borzacchiello et al.

27th International Conference on Inductive Logic Programming, LNCS, volume 10759, Springer, Cham, pp.124-139, 2018, Inductive Logic Programming, ⟨10.1007/978-3-319-78090-0_9⟩

Chapitre d'ouvrage hal-01655644v3
Deposit thumbnail

Analyzing Large Network Dynamics with Process Hitting

Loïc Paulevé , Courtney Chancellor , Maxime Folschette , Morgan Magnin , Olivier Roux

Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8. ⟨10.1002/9781119005223.ch4⟩

Chapitre d'ouvrage hal-01060490v1

Challenges of Image-Based Crowd-Sourcing for Situation Awareness in Disaster Management

Guillaume Moreau , Myriam Servières , Jean-Marie Normand , Morgan Magnin

Teodorescu, Horia-Nicolaiand Kirschenbaum, Alanand Cojocaru, Svetlanaand Bruderlein, Claude. Improving Disaster Resilience and Mitigation - IT Means and Tools, Springer Netherlands, pp.103--118, 2014, 978-94-017-9136-6. ⟨10.1007/978-94-017-9136-6_7⟩

Chapitre d'ouvrage hal-01521560v1