Morgan Magnin
- 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
|
|
Conditions for cyclic attractors for a class of discrete n-dimensional repressilatorsThe 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⟩ |
A SAT-based Method for Counting All Singleton Attractors in Boolean NetworksThirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-25), Aug 2025, Montreal, Canada. pp.2601-2609, ⟨10.24963/ijcai.2025/290⟩ |
|
|
|
Counterfactual Explanations for Dynamic Multi-Valued LogicSpecial Interest Group on Fundamental Problems in Artificial Intelligence 2025 (SIG-FPAI), Aug 2025, Toyama, Japan |
|
|
Learning From Interpretation Transitions with Unknowns4th International Joint Conference on Learning & Reasoning, Sep 2024, Nanjing, China. pp.66-85, ⟨10.1007/978-3-032-09087-4_5⟩ |
|
|
SAF: SAT-based Attractor Finder in Asynchronous Automata Networks21st International Conference on Computational Methods in Systems Biology (CMSB 2023), Sep 2023, Luxembourg City, Luxembourg |
|
|
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023), Feb 2023, Lisbon, Portugal |
|
|
Condition for periodic attractor in 4-dimensional repressilators21st 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⟩ |
|
|
Condition for sustained oscillations in repressilator based on a hybrid modeling of gene regulatory networksInternational Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023), Feb 2023, Lisbon, Portugal. pp.29-40, ⟨10.5220/0011614300003414⟩ |
|
|
Reachability analysis of a class of hybrid gene regulatory networks17th International Conference on Reachability Problems (RP'23), Oct 2023, Nice, France. pp.56-69, ⟨10.1007/978-3-031-45286-4_5⟩ |
|
|
Limit cycle analysis of a class of hybrid gene regulatory networks20th 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⟩ |
|
|
Diagnosis of Event Sequences with LFITThe 31st International Conference on Inductive Logic Programming (ILP), Sep 2022, Windsor, United Kingdom |
|
|
Inference of Gene Networks from Single Cell Data through Quantified Inductive Logic ProgrammingCSBio2021, Oct 2021, FULLY VIRTUAL, Thailand. ⟨10.1145/3486713.3486746⟩ |
|
|
Learning Dynamics with Synchronous, Asynchronous and General Semantics28th International Conference on Inductive Logic Programming, Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese, Sep 2018, Ferrara, Italy. ⟨10.1007/978-3-319-99960-9_8⟩ |
|
|
Static Analysis and Stochastic Search for Reachability Problem9th Workshop on Static Analysis and Systems Biology (SASB 2018), Aug 2018, Freiburg, Germany. ⟨10.1016/j.entcs.2020.06.008⟩ |
|
|
Inference of Delayed Biological Regulatory Networks from Time Series Data14th International Conference on Computational Methods for Systems Biology (CMSB 2016), Sep 2016, Cambridge, United Kingdom. ⟨10.1007/978-3-319-45177-0_3⟩ |
Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri NetsInternational Conference on Computational Methods in Systems Biology CMSB2015, Sep 2015, Nantes, France. pp.239-250, ⟨10.1007/978-3-319-23401-4_20⟩ |
|
|
|
Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set ProgrammingIEEE International Conference on Bioinformatics and Biomedicine (BIBM), Nov 2015, Washington, D.C., United States. pp.281-285, ⟨10.1109/BIBM.2015.7359694⟩ |
|
|
Sparking a Digital Revolution: Digital Educational Tools in Fragile and Emerging Learning ContextsDigital Intelligence 2014, Sep 2014, Nantes, France |
|
|
Un MOOC et ses partenaires - Remettre l'humain dans le massifTICE 2014 : 9ème colloque des Technologies de l'Information et de la Communication pour l'Enseignement, Nov 2014, Béziers, France. pp.1 - 8 |
|
|
Extracting Domain Ontologies from Reference Books14th International Conference on Advanced Learning Technologies (ICALT 2014), Jul 2014, Athènes, Greece. ⟨10.1109/ICALT.2014.159⟩ |
Engineering MOOCs for Future Engineers: Integrating MOOCs into Formal Learning EnvironmentsEMOOCs 2014 : 2nd MOOC European stakeholders summit, Feb 2014, Lausanne, Suisse |
|
|
|
ITyPA, un premier MOOC francophone et connectivisteQPES 2013 : colloque questions de pédagogies dans l'enseignement supérieur, Jun 2013, Sherbrooke, Canada |
|
|
Towards Augmented Learning in Science and Engineering in Higher Education13th IEEE International Conference on Advanced Learning Technologies, Jul 2013, Beijing, China. pp.512-513, ⟨10.1109/ICALT.2013.169⟩ |
|
|
Under-approximation of Reachability in Multivalued Asynchronous Networksfourth 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⟩ |
Promoting Science and Engineering to Generation ZASME 11th Biennial Conference on Engineering Systems Design and Analysis, Université de Nantes, Jul 2012, Nantes, France |
|
|
|
Developing models for enhanced learning in engineering6th Centrale Beihang Workshop, Dec 2012, Lille, France. Paper 1 |
|
|
Concretizing the Process Hitting into Biological Regulatory NetworksComputational Methods in Systems Biology, Oct 2012, London, United Kingdom. p. 166-186, ⟨10.1007/978-3-642-33636-2_11⟩ |
|
|
Abducing Biological Regulatory Networks from Process Hitting modelsECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology, Sep 2012, Bristol, United Kingdom |
|
|
Abstract Interpretation of Dynamics of Biological Regulatory Networks1st International Workshop on Static Analysis and Systems Biology (SASB 2010), Sep 2010, Perpignan, France. pp.43-56, ⟨10.1016/j.entcs.2011.04.004⟩ |
|
|
Diffuser les bonnes pratiques autour de l'usage des blogs en pédagogie7ème Colloque Technologies de l’Information et de la Communication pour l’Enseignement, Dec 2010, Nancy, France |
Symbolic state space of Stopwatch {Petri} nets with discrete-time semanticsThe 29th International Conference on Application and Theory of {Petri} Nets and other models of concurrency (ICATPN 2008), 2008, Xi'an, China. pp.307--326 |
|
Decidability, expressivity and state-space computation of Stopwatch {Petri} nets with discrete-time semantics8th International Workshop on Discrete Event Systems (WODES'06), 2006, Ann Arbor, United States. pp.33-38 |
|
Romeo: A Tool for Analyzing time Petri nets17th International Conference on Computer Aided Verification (CAV'05), 2005, Edinburgh, United Kingdom. pp.418-423 |
|
An efficient method for computing exact state space of Petri nets with stopwatchesthird International Workshop on Software Model-Checking (SoftMC'05), 2005, Edinburgh, United Kingdom. pp.59--77 |
|
|
Limit cycle analysis of a class of hybrid gene regulatory networksJournées Nationales de l’Informatique Mathématique (JNIM 2022), Mar 2022, Lille, France |
Option projet : objectif compétencesPresses 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⟩ |
|
|
|
The Challenges of Inferring Dynamic Models from Time SeriesSymbolic Approaches to Modeling and Analysis of Biological Systems, Wiley, 2023, 9781789450293. ⟨10.1002/9781394229086.ch3⟩ |
|
|
Les enjeux de l'inférence de modèles dynamiques des systèmes biologiques à partir de séries temporellesApproches symboliques de la modélisation et de l’analyse des systèmes biologiques, 2022 |
|
|
Analyzing Long-Term Dynamics of Biological Networks with Answer Set ProgrammingSystems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, 2022 |
|
|
Inductive Learning from State Transitions over Continuous Domains27th 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⟩ |
|
|
Analyzing Large Network Dynamics with Process HittingLuis 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⟩ |
Challenges of Image-Based Crowd-Sourcing for Situation Awareness in Disaster ManagementTeodorescu, 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⟩ |
|
|
Counterfactual Explanations Under Learning From Interpretation Transitions2025 |
|
|
Appendix of Reachability Analysis of a Class of Hybrid Gene Regulatory Networks2023 |
|
|
Supplementary material of condition for sustained oscillations in repressilator based on a hybrid modeling of gene regulatory networks2022 |
|
|
Using Reachability Properties of Logic Program for Revising Biological Models2018 |
|
|
Contributions à l’élaboration de connaissances qualitatives en bio-informatiqueBio-informatique [q-bio.QM]. Université de Nantes, 2016 |