
Morgan Magnin
Professeur des Universités à Centrale Nantes / LS2N
Visiting professor au National Institute of Informatics (NII), Tôkyô, Japan
65
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
|
Learning From Interpretation Transitions with Unknowns4th International Joint Conference on Learning & Reasoning, Sep 2024, Nanjing, China
Communication dans un congrès
hal-04634356
v2
|
|
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⟩
Communication dans un congrès
hal-04135182
v1
|
|
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
Communication dans un congrès
hal-03964870
v1
|
|
SAF: SAT-based Attractor Finder in Asynchronous Automata Networks21st International Conference on Computational Methods in Systems Biology (CMSB 2023), Sep 2023, Luxembourg City, Luxembourg
Communication dans un congrès
hal-04184830
v1
|
|
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⟩
Communication dans un congrès
hal-03902156
v1
|
|
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⟩
Communication dans un congrès
hal-04180870
v1
|
|
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
Communication dans un congrès
hal-03700025
v2
|
|
Diagnosis of Event Sequences with LFITThe 31st International Conference on Inductive Logic Programming (ILP), Sep 2022, Windsor, United Kingdom
Communication dans un congrès
hal-03689936
v2
|
|
Inference of Gene Networks from Single Cell Data through Quantified Inductive Logic ProgrammingCSBio2021, Oct 2021, FULLY VIRTUAL, Thailand. ⟨10.1145/3486713.3486746⟩
Communication dans un congrès
hal-03468746
v1
|
|
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⟩
Communication dans un congrès
hal-01951251
v1
|
|
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⟩
Communication dans un congrès
hal-01826564
v1
|
|
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⟩
Communication dans un congrès
hal-01721291
v1
|
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⟩
Communication dans un congrès
hal-02448802
v1
|
|
|
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⟩
Communication dans un congrès
hal-01252610
v1
|
|
Sparking a Digital Revolution: Digital Educational Tools in Fragile and Emerging Learning ContextsDigital Intelligence 2014, Sep 2014, Nantes, France
Communication dans un congrès
hal-01065069
v1
|
|
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
Communication dans un congrès
hal-01184991
v1
|
|
Extracting Domain Ontologies from Reference Books14th International Conference on Advanced Learning Technologies (ICALT 2014), Jul 2014, Athènes, Greece. ⟨10.1109/ICALT.2014.159⟩
Communication dans un congrès
hal-01973160
v1
|
Engineering MOOCs for Future Engineers: Integrating MOOCs into Formal Learning EnvironmentsEMOOCs 2014 : 2nd MOOC European stakeholders summit, Feb 2014, Lausanne, Suisse
Communication dans un congrès
hal-01010171
v1
|
|
|
ITyPA, un premier MOOC francophone et connectivisteQPES 2013 : colloque questions de pédagogies dans l'enseignement supérieur, Jun 2013, Sherbrooke, Canada
Communication dans un congrès
hal-00942447
v1
|
|
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⟩
Communication dans un congrès
hal-00873000
v1
|
|
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⟩
Communication dans un congrès
hal-01977283
v1
|
|
Developing models for enhanced learning in engineering6th Centrale Beihang Workshop, Dec 2012, Lille, France. Paper 1
Communication dans un congrès
hal-00783543
v1
|
|
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⟩
Communication dans un congrès
hal-00704569
v2
|
Promoting Science and Engineering to Generation ZASME 11th Biennial Conference on Engineering Systems Design and Analysis, Université de Nantes, Jul 2012, Nantes, France
Communication dans un congrès
hal-01980159
v1
|
|
|
Abducing Biological Regulatory Networks from Process Hitting modelsECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology, Sep 2012, Bristol, United Kingdom
Communication dans un congrès
hal-01314470
v1
|
|
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⟩
Communication dans un congrès
hal-00601118
v1
|
|
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
Communication dans un congrès
hal-01980543
v1
|
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
Communication dans un congrès
hal-00523612
v1
|
|
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
Communication dans un congrès
hal-00523601
v1
|
|
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
Communication dans un congrès
hal-00523595
v1
|
|
Romeo: A Tool for Analyzing time Petri nets17th International Conference on Computer Aided Verification (CAV'05), 2005, Edinburgh, United Kingdom. pp.418-423
Communication dans un congrès
hal-00523596
v1
|
|
Limit cycle analysis of a class of hybrid gene regulatory networksJournées Nationales de l’Informatique Mathématique (JNIM 2022), Mar 2022, Lille, France
Poster de conférence
hal-03700402
v1
|
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⟩
Chapitre d'ouvrage
hal-04526433
v1
|
|
|
The Challenges of Inferring Dynamic Models from Time SeriesSymbolic Approaches to Modeling and Analysis of Biological Systems, Wiley, 2023, 9781789450293. ⟨10.1002/9781394229086.ch3⟩
Chapitre d'ouvrage
hal-04279657
v1
|
|
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
Chapitre d'ouvrage
hal-02634235
v2
|
|
Analyzing Long-Term Dynamics of Biological Networks with Answer Set ProgrammingSystems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, 2022
Chapitre d'ouvrage
hal-03735849
v2
|
|
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⟩
Chapitre d'ouvrage
hal-01655644
v3
|
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⟩
Chapitre d'ouvrage
hal-01521560
v1
|
|
|
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⟩
Chapitre d'ouvrage
hal-01060490
v1
|
|
Appendix of Reachability Analysis of a Class of Hybrid Gene Regulatory Networks2023
Pré-publication, Document de travail
hal-04182253
v1
|
|
Supplementary material of condition for sustained oscillations in repressilator based on a hybrid modeling of gene regulatory networks2022
Pré-publication, Document de travail
hal-03890505
v1
|
|
Using Reachability Properties of Logic Program for Revising Biological Models2018
Pré-publication, Document de travail
hal-01951247
v1
|
|
Contributions à l’élaboration de connaissances qualitatives en bio-informatiqueBio-informatique [q-bio.QM]. Université de Nantes, 2016
HDR
tel-01321311
v1
|
Chargement...
Chargement...