Morgan Magnin Professeur des Universités à Centrale Nantes / LS2N Visiting professor au National Institute of Informatics (NII), Tôkyô, Japan

Publications

Article dans une revue (19)

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
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
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
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
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
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
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
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
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
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
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
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
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

Communication dans un congrès (34)

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
Learning From Interpretation Transitions with Unknowns Tony Ribeiro,Maxime Folschette,Morgan Magnin,Kotaro Okazaki,Kuo-Yen Loet 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
A SAT-based Method for Counting All Singleton Attractors in Boolean Networks Rei Higuchi,Takehide Soh,Daniel Le Berre,Morgan Magnin,Mutsunori Banbaraet 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
Counterfactual Explanations for Dynamic Multi-Valued Logic Tony Ribeiro,Maxime Folschette,Morgan Magnin,Katsumi Inoue,Kotaro Okazakiet al. Special Interest Group on Fundamental Problems in Artificial Intelligence 2025 (SIG-FPAI), Aug 2025, Toyama, Japan Communication dans un congrès hal-05230575v1
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
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
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
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
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
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
Diagnosis of Event Sequences with LFIT Tony Ribeiro,Maxime Folschette,Morgan Magnin,Kotaro Okazaki,Lo Kuo-Yenet al. The 31st International Conference on Inductive Logic Programming (ILP), Sep 2022, Windsor, United Kingdom Communication dans un congrès hal-03689936v2
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Poster de conférence (1)

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

Chapitre d'ouvrage (7)

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 Inoueet al. Symbolic Approaches to Modeling and Analysis of Biological Systems, Wiley, 2023, 9781789450293. ⟨10.1002/9781394229086.ch3⟩ Chapitre d'ouvrage hal-04279657v1
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 Inoueet al. Approches symboliques de la modélisation et de l’analyse des systèmes biologiques, 2022 Chapitre d'ouvrage hal-02634235v2
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
Inductive Learning from State Transitions over Continuous Domains Tony Ribeiro,Sophie Tourret,Maxime Folschette,Morgan Magnin,Domenico Borzacchielloet 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
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
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

Pré-publication, Document de travail (4)

Counterfactual Explanations Under Learning From Interpretation Transitions Tony Ribeiro,Maxime Folschette,Morgan Magnin,Katsumi Inoue,Tuan Nguyenet al. 2025 Pré-publication, Document de travail hal-05110444v2
Appendix of Reachability Analysis of a Class of Hybrid Gene Regulatory Networks Honglu Sun,Maxime Folschette,Morgan Magnin 2023 Pré-publication, Document de travail hal-04182253v1
Supplementary material of condition for sustained oscillations in repressilator based on a hybrid modeling of gene regulatory networks Honglu Sun,Jean-Paul Comet,Maxime Folschette,Morgan Magnin 2022 Pré-publication, Document de travail hal-03890505v1
Using Reachability Properties of Logic Program for Revising Biological Models Xinwei Chai,Tony Ribeiro,Morgan Magnin,Olivier Roux,Katsumi Inoue 2018 Pré-publication, Document de travail hal-01951247v1

Rapport (2)

From the Process Hitting to Petri Nets and Back Loïc Paulevé,Morgan Magnin,Olivier Roux 2012 Rapport hal-00744807v1
Static Analysis by Abstract Interpretation of Biological Regulatory Networks Dynamics Loïc Paulevé,Morgan Magnin,Olivier Roux 2011 Rapport hal-00574353v2

HDR (1)

Contributions à l’élaboration de connaissances qualitatives en bio-informatique Morgan Magnin Bio-informatique [q-bio.QM]. Université de Nantes, 2016 HDR tel-01321311v1

Logiciel (1)

pylfit Tony Ribeiro,Maxime Folschette,Morgan Magnin,Katsumi Inoue,Chiaki Sakamaet al. 2022, ⟨swh:1:dir:253fc595a7b0695e8b58396de8a0dbecfcc2d4f8;origin=https://hal.archives-ouvertes.fr/hal-04435180;visit=swh:1:snp:32e97fa297205b15881d7e629637ebaf1167a1f7;anchor=swh:1:rel:bd05bc079cbaec08139ca176051e66b656cd64ee;path=/⟩ Logiciel hal-04435180v1