Access content directly

Morgan Magnin

Professeur des Universités à Centrale Nantes / LS2N Visiting professor au National Institute of Informatics (NII), Tôkyô, Japan
63
Documents
Current affiliations
  • 21439
  • 473973
  • 6501

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⟩
Journal articles hal-04195846v1
Image document

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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles hal-01721290v1
Image document

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⟩
Journal articles hal-01654877v1
Image document

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⟩
Journal articles hal-01721287v1

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⟩
Journal articles hal-01710218v1
Image document

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⟩
Journal articles hal-01710485v1
Image document

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⟩
Journal articles hal-01094249v1
Image document

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⟩
Journal articles hal-01195963v1
Image document

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⟩
Journal articles hal-01202671v1
Image document

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⟩
Journal articles hal-01070295v2
Image document

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⟩
Journal articles 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⟩
Journal articles hal-00714481v1
Image document

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⟩
Journal articles hal-00397235v2
Image document

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⟩
Journal articles hal-00397308v1

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
Journal articles hal-00523936v1

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
Journal articles hal-00523933v1
Image document

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⟩
Conference papers hal-04135182v1
Image document

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
Conference papers hal-03964870v1

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
Conference papers hal-04184830v1
Image document

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⟩
Conference papers hal-03902156v1
Image document

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⟩
Conference papers hal-04180870v1
Image document

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
Conference papers hal-03700025v2
Image document

Diagnosis of Event Sequences with LFIT

Tony Ribeiro , Maxime Folschette , Morgan Magnin , Kotaro Okazaki , Lo Kuo-Yen
The 31st International Conference on Inductive Logic Programming (ILP), Sep 2022, Windsor, United Kingdom
Conference papers hal-03689936v2
Image document

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⟩
Conference papers hal-03468746v1
Image document

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⟩
Conference papers hal-01826564v1
Image document

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
Conference papers hal-01951251v1
Image document

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⟩
Conference papers hal-01721291v1
Image document

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⟩
Conference papers hal-01252610v1

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⟩
Conference papers hal-02448802v1
Image document

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
Conference papers hal-01065069v1
Image document

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
Conference papers hal-01184991v1
Image document

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⟩
Conference papers 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
Conference papers hal-01010171v1
Image document

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⟩
Conference papers hal-00873000v1
Image document

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⟩
Conference papers hal-01977283v1
Image document

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
Conference papers hal-00942447v1
Image document

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
Conference papers hal-00783543v1
Image document

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⟩
Conference papers 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
Conference papers hal-01980159v1
Image document

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
Conference papers 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⟩
Conference papers hal-00601118v1
Image document

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
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers hal-00523596v1
Image document

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
Conference poster hal-03700402v1

The Challenges of Inferring Dynamic Models from Time Series

Tony Ribeiro , Maxime Folschette , Laurent Trilling , Nicolas Glade , Katsumi Inoue
Symbolic Approaches to Modeling and Analysis of Biological Systems, Wiley, 2023, 9781789450293. ⟨10.1002/9781394229086.ch3⟩
Book sections hal-04279657v1
Image document

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
Book sections hal-03735849v2
Image document

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
Approches symboliques de la modélisation et de l’analyse des systèmes biologiques, 2022
Book sections hal-02634235v2
Image document

Inductive Learning from State Transitions over Continuous Domains

Tony Ribeiro , Sophie Tourret , Maxime Folschette , Morgan Magnin , Domenico Borzacchiello
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⟩
Book sections 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⟩
Book sections hal-01521560v1
Image document

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
Book sections hal-01060490v1
Image document

Contributions à l’élaboration de connaissances qualitatives en bio-informatique

Morgan Magnin
Bio-informatique [q-bio.QM]. Université de Nantes, 2016
Habilitation à diriger des recherches tel-01321311v1