Morgan Magnin
Professeur des Universités à Centrale Nantes / LS2N
Visiting professor au National Institute of Informatics (NII), Tôkyô, Japan
64
Documents
Affiliations actuelles
- 21439
- 473973
- 6501
Publications
|
|
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-04135182v1
|
|
|
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-03964870v1
|
|
|
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-04184830v1
|
|
|
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-04180870v1
|
|
|
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-03902156v1
|
|
|
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-03700025v2
|
|
|
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-03689936v2
|
|
|
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-03468746v1
|
|
|
Static Analysis and Stochastic Search for Reachability Problem9th Workshop on Static Analysis and Systems Biology (SASB 2018), Aug 2018, Freiburg, Germany
Communication dans un congrès
hal-01951251v1
|
|
|
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-01826564v1
|
|
|
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-01721291v1
|
|
|
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-01252610v1
|
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-02448802v1
|
|
|
|
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-01065069v1
|
|
|
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-01973160v1
|
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-01010171v1
|
|
|
|
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-01184991v1
|
|
|
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-00873000v1
|
|
|
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-01977283v1
|
|
|
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-00942447v1
|
|
|
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-00704569v2
|
|
|
Developing models for enhanced learning in engineering6th Centrale Beihang Workshop, Dec 2012, Lille, France. Paper 1
Communication dans un congrès
hal-00783543v1
|
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-01980159v1
|
|
|
|
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-01314470v1
|
|
|
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-01980543v1
|
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-00601118v1
|
|
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-00523612v1
|
|
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-00523601v1
|
|
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-00523595v1
|
|
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-00523596v1
|
|
|
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-03700402v1
|
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-04526433v1
|
|
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-04279657v1
|
|
|
|
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-03735849v2
|
|
|
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-02634235v2
|
|
|
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-01655644v3
|
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-01521560v1
|
|
|
|
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
Chapitre d'ouvrage
hal-01060490v1
|
|
|
Appendix of Reachability Analysis of a Class of Hybrid Gene Regulatory Networks2023
Pré-publication, Document de travail
hal-04182253v1
|
|
|
Supplementary material of condition for sustained oscillations in repressilator based on a hybrid modeling of gene regulatory networks2022
Pré-publication, Document de travail
hal-03890505v1
|
|
|
Using Reachability Properties of Logic Program for Revising Biological Models2018
Pré-publication, Document de travail
hal-01951247v1
|
|
|
Contributions à l’élaboration de connaissances qualitatives en bio-informatiqueBio-informatique [q-bio.QM]. Université de Nantes, 2016
HDR
tel-01321311v1
|