Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Morgan MAGNIN

ENSEIGNANT-CHERCHEUR

HDR

: Morgan.Magninatls2n.fr

Page pro : http://pagesperso.ls2n.fr/~magnin-m

Adresse :

Centrale Nantes ( CN )
Petit Port
1, rue de la Noë
BP 92101
44321 NANTES Cedex 3

Batiment S, étage 5, bureau 518


Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] M. Odaka, M. Magnin, K. Inoue. Gene network inference from single-cell omics data and domain knowledge for constructing COVID-19-specific ICAM1-associated pathways. In Frontiers in Genetics ; éd. Frontiers Media, 2023, vol. 14.
      https://hal.science/hal-04195846v1
    • [2] T. Ribeiro, M. Folschette, M. Magnin, K. Inoue. Learning any memory-less discrete semantics for dynamical systems represented by logic programs. In Machine Learning ; éd. Springer Verlag, 2021.
      https://hal.science/hal-02925942v5
    • [3] E. de Maria, M. Morgan. Introduction to the JBCB special issue on CSBio 2019. In Journal of Bioinformatics and Computational Biology ; éd. World Scientific Publishing, 2020, vol. 18, num. 03.
      https://hal.science/hal-02938160v1
    • [4] I. Sheikh, J. Ahmad, M. Magnin, O. Roux. Incorporating Time Delays in Process Hitting Framework for Dynamical Modeling of Large Biological Regulatory Networks. In Frontiers in Physiology ; éd. Frontiers, 2019, vol. 10.
      https://hal.science/hal-02448847v1
    • [5] E. Ben Abdallah, T. Ribeiro, M. Magnin, O. Roux, K. Inoue. Learning Delays in Biological Regulatory Networks from Time Series Data. In Genomics and Computational Biology, vol. 3, num. 2. 30-01-2017
      https://hal.science/hal-01721290v1
    • [6] E. Ben Abdallah, M. Folschette, O. Roux, M. Magnin. ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks. In Algorithms for Molecular Biology ; éd. BioMed Central, 2017, vol. 12, num. 1.
      https://hal.science/hal-01654877v1
    • [7] E. Ben Abdallah, T. Ribeiro, M. Magnin, O. Roux, K. Inoue. Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. In Algorithms ; éd. MDPI, 2017, vol. 10, num. 4.
      https://hal.science/hal-01721287v1
    • [8] A. Andreychenko, M. Magnin, K. Inoue. Analyzing resilience properties in oscillatory biological systems using parametric model checking. In BioSystems ; éd. Elsevier, 2016, vol. 149.
      https://hal.science/hal-01710218v1
    • [9] M. Folschette, L. Paulevé, M. Magnin, O. Roux. Sufficient Conditions for Reachability in Automata Networks with Priorities. In Theoretical Computer Science ; éd. Elsevier, 2015.
      https://hal.science/hal-01202671v1
    • [10] T. Ribeiro, M. Magnin, K. Inoue, C. Sakama. Learning Delayed Influences of Biological Systems. In Frontiers in Bioengineering and Biotechnology ; éd. Frontiers, 2015, vol. 2.
      https://hal.science/hal-01710485v1
    • [11] M. Folschette, L. Paulevé, K. Inoue, M. Magnin, O. Roux. Identification of Biological Regulatory Networks from Process Hitting models. In Theoretical Computer Science ; éd. Elsevier, 2015, vol. 568.
      https://hal.science/hal-01094249v1
    • [12] F. Chinesta, M. Magnin, O. Roux, A. Ammar, E. Cueto. Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. In Entropy ; éd. MDPI, 2015, vol. 17, num. 4.
      https://hal.science/hal-01195963v1
    • [13] C. Chacellor, A. Ammar, F. Chinesta, M. Magnin, O. Roux. Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition. In Computational Methods in Systems Biology, vol. 8130. 2013
      https://hal.science/hal-01207078v1
    • [14] L. Paulevé, M. Magnin, O. Roux. Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. In Mathematical Structures in Computer Science ; éd. Cambridge University Press (CUP), 2012, vol. 22, num. 04.
      https://hal.science/hal-00714481v1
    • [15] L. Paulevé, M. Magnin, O. Roux. Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework. In Transactions on Computational Systems Biology ; éd. Springer, 2011, vol. XIII.
      https://hal.science/hal-00397235v2
    • [16] L. Paulevé, M. Magnin, O. Roux. Tuning Temporal Features within the Stochastic π-Calculus. In IEEE Transactions on Software Engineering ; éd. Institute of Electrical and Electronics Engineers, 2011, vol. 37, num. 6.
      https://hal.science/hal-00397308v1
    • [17] M. Magnin, P. Molinaro, O. Roux. Expressiveness of Petri Nets with Stopwatches. Discrete-time part. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2009, vol. 97, num. 1-2.
      https://hal.science/hal-00523936v1
    • [18] M. Magnin, P. Molinaro, O. Roux. Expressiveness of Petri nets with stopwatches. Dense-time part. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2009, vol. 97, num. 1-2.
      https://hal.science/hal-00523933v1

Revues nationales avec comité de lecture (ART_NAT)

    • [19] L. Paulevé, M. Folschette, M. Magnin, O. Roux. Analyses statiques de la dynamique des réseaux d'automates indéterministes. In Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques ; éd. Lavoisier, 2015, vol. 34, num. 4.
      https://hal.science/hal-01070295v2

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [20] H. Sun, J. Comet, M. Folschette, M. Magnin. Condition for sustained oscillations in repressilator based on a hybrid modeling of gene regulatory networks. In International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023), février 2023, Lisbon, Portugal.
      https://hal.science/hal-03902156v1
    • [21] H. Sun, M. Folschette, M. Magnin. Condition for periodic attractor in 4-dimensional repressilators. In 21st International Conference on Computational Methods in Systems Biology (CMSB 2023), septembre 2023, Luxembourg City, Luxembourg.
      https://hal.science/hal-04135182v1
    • [22] T. Soh, M. Magnin, D. Le Berre, M. Banbara, N. Tamura. SAF: SAT-based Attractor Finder in Asynchronous Automata Networks. In 21st International Conference on Computational Methods in Systems Biology (CMSB 2023), septembre 2023, Luxembourg City, Luxembourg.
      https://hal.science/hal-04184830v1
    • [23] H. Sun, M. Folschette, M. Magnin. Reachability analysis of a class of hybrid gene regulatory networks. In 17th International Conference on Reachability Problems (RP'23), octobre 2023, Nice, France.
      https://hal.science/hal-04180870v1
    • [24] T. Soh, M. Magnin, D. Le Berre, M. Banbara, N. Tamura. SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. In 14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023), février 2023, Lisbon, Portugal.In Ana Fred (éds.), . SCITEPRESS, 2023.
      https://hal.science/hal-03964870v1
    • [25] H. Sun, M. Folschette, M. Magnin. Limit cycle analysis of a class of hybrid gene regulatory networks. In 20th International Conference on Computational Methods in Systems Biology (CMSB 2022), septembre 2022, Bucharest, Roumanie.
      https://hal.science/hal-03700025v2
    • [26] T. Ribeiro, M. Folschette, M. Magnin, K. Okazaki, L. Kuo-Yen, K. Inoue. Diagnosis of Event Sequences with LFIT. In The 31st International Conference on Inductive Logic Programming (ILP), septembre 2022, Windsor, Royaume-Uni.
      https://hal.science/hal-03689936v2
    • [27] S. Buchet, F. Carbone, M. Magnin, M. Ménager, O. Roux. Inference of Gene Networks from Single Cell Data through Quantified Inductive Logic Programming. In CSBio2021, octobre 2021, FULLY VIRTUAL, Thaïlande.
      https://hal.science/hal-03468746v1
    • [28] X. Chai, T. Ribeiro, M. Magnin, O. Roux, K. Inoue. Static Analysis and Stochastic Search for Reachability Problem. In 9th Workshop on Static Analysis and Systems Biology (SASB 2018), août 2018, Freiburg, Allemagne.
      https://hal.science/hal-01951251v1
    • [29] T. Ribeiro, M. Folschette, M. Magnin, O. Roux, K. Inoue. Learning Dynamics with Synchronous, Asynchronous and General Semantics. In 28th International Conference on Inductive Logic Programming, septembre 2018, Ferrara, Italie.
      https://hal.science/hal-01826564v1
    • [30] E. Abdallah, T. Ribeiro, M. Magnin, O. Roux, K. Inoue. Inference of Delayed Biological Regulatory Networks from Time Series Data. In 14th International Conference on Computational Methods for Systems Biology (CMSB 2016), septembre 2016, Cambridge, Royaume-Uni.In Ezio Bartocci, Pietro Lio, Nicola Paoletti (éds.), . Springer, 2016.
      https://hal.science/hal-01721291v1
    • [31] M. Morgan, A. Andreychenko, K. Inoue. Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. In International Conference on Computational Methods in Systems Biology CMSB2015, septembre 2015, Nantes, France.
      https://hal.science/hal-02448802v1
    • [32] E. Ben Abdallah, M. Folschette, O. Roux, M. Magnin. Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming. In IEEE International Conference on Bioinformatics and Biomedicine (BIBM), novembre 2015, Washington, D.C., états-Unis.
      https://hal.science/hal-01252610v1
    • [33] S. Carolan, M. Magnin, J. Gilliot. Engineering MOOCs for Future Engineers: Integrating MOOCs into Formal Learning Environments. In EMOOCs 2014 : 2nd MOOC European stakeholders summit, février 2014, Lausanne, Suisse.
      https://hal.science/hal-01010171v1
    • [34] S. Carolan, F. Chinesta, C. Evain, M. Magnin, G. Moreau. Extracting Domain Ontologies from Reference Books. In 14th International Conference on Advanced Learning Technologies (ICALT 2014), juillet 2014, Athènes, Grèce.
      https://univ-rennes2.hal.science/hal-01973160v1
    • [35] S. Carolan, M. Magnin, A. Kabalu. Sparking a Digital Revolution: Digital Educational Tools in Fragile and Emerging Learning Contexts. In Digital Intelligence 2014, septembre 2014, Nantes, France.
      https://hal.science/hal-01065069v1
    • [36] S. Carolan, M. Magnin, J. Gilliot, A. Grolleau, C. Vaufrey. Un MOOC et ses partenaires - Remettre l'humain dans le massif. In TICE 2014 : 9ème colloque des Technologies de l'Information et de la Communication pour l'Enseignement, novembre 2014, Béziers, France.
      https://hal.science/hal-01184991v1
    • [37] J. Gilliot, A. Grolleau, M. Morgan, C. Vaufrey. ITyPA, un premier MOOC francophone et connectiviste. In QPES 2013 : colloque questions de pédagogies dans l'enseignement supérieur, juin 2013, Sherbrooke, Canada.
      https://hal.science/hal-00942447v1
    • [38] S. Carolan, F. Chinesta, C. Evain, M. Magnin, G. Moreau. Towards Augmented Learning in Science and Engineering in Higher Education. In 13th IEEE International Conference on Advanced Learning Technologies, juillet 2013, Beijing, Chine.
      https://univ-rennes2.hal.science/hal-01977283v1
    • [39] M. Folschette, L. Paulevé, M. Magnin, O. Roux. Under-approximation of Reachability in Multivalued Asynchronous Networks. In fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13), juin 2013, Florence, Italie.In Electronic Notes in Theoretical Computer Science ; éd. Elsevier, 2013, vol. 299.
      https://hal.science/hal-00873000v1
    • [40] C. Evain, S. Carolan, M. Morgan. Promoting Science and Engineering to Generation Z. In ASME 11th Biennial Conference on Engineering Systems Design and Analysis, juillet 2012, Nantes, France.
      https://univ-rennes2.hal.science/hal-01980159v1
    • [41] M. Folschette, L. Paulevé, K. Inoue, M. Magnin, O. Roux. Abducing Biological Regulatory Networks from Process Hitting models. In ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology, septembre 2012, Bristol, Royaume-Uni.
      https://hal.science/hal-01314470v1
    • [42] M. Folschette, L. Paulevé, K. Inoue, M. Magnin, O. Roux. Concretizing the Process Hitting into Biological Regulatory Networks. In Computational Methods in Systems Biology, octobre 2012, London, Royaume-Uni.
      https://hal.science/hal-00704569v2
    • [43] S. Carolan, M. Magnin, C. Evain, G. Moreau, F. Chinesta. Developing models for enhanced learning in engineering. In 6th Centrale Beihang Workshop, décembre 2012, Lille, France.
      https://hal.science/hal-00783543v1
    • [44] L. Paulevé, M. Magnin, O. Roux. Abstract Interpretation of Dynamics of Biological Regulatory Networks. In 1st International Workshop on Static Analysis and Systems Biology (SASB 2010), septembre 2010, Perpignan, France.
      https://hal.science/hal-00601118v1
    • [45] C. Evain, M. Morgan, G. Moreau. Diffuser les bonnes pratiques autour de l'usage des blogs en pédagogie. In 7ème Colloque Technologies de l’Information et de la Communication pour l’Enseignement, décembre 2010, Nancy, France.
      https://univ-rennes2.hal.science/hal-01980543v1
    • [46] M. Magnin, D. Lime, O. Roux. Symbolic state space of Stopwatch {Petri} nets with discrete-time semantics. In The 29th International Conference on Application and Theory of {Petri} Nets and other models of concurrency (ICATPN 2008), 2008, Xi'an, Chine.
      https://hal.science/hal-00523612v1
    • [47] M. Magnin, P. Molinaro, O. Roux. Decidability, expressivity and state-space computation of Stopwatch {Petri} nets with discrete-time semantics. In 8th International Workshop on Discrete Event Systems (WODES'06), 2006, Ann Arbor, états-Unis.
      https://hal.science/hal-00523601v1
    • [48] G. Gardey, D. Lime, M. Magnin, O. Roux. Romeo: A Tool for Analyzing time Petri nets. In 17th International Conference on Computer Aided Verification (CAV'05), 2005, Edinburgh, Royaume-Uni.
      https://hal.science/hal-00523596v1
    • [49] M. Magnin, D. Lime, O. Roux. An efficient method for computing exact state space of Petri nets with stopwatches. In third International Workshop on Software Model-Checking (SoftMC'05), 2005, Edinburgh, Royaume-Uni.
      https://hal.science/hal-00523595v1

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

    • [50] A. Leroyer, M. Magnin, E. Poirson, G. Mauff. Option projet : objectif compétences. In Prototyper pour renforcer l'expérience d'apprentissage. 21-03-2024
      https://hal.science/hal-04526433v1
    • [51] T. Ribeiro, M. Folschette, L. Trilling, N. Glade, K. Inoue, M. Magnin, O. Roux. The Challenges of Inferring Dynamic Models from Time Series. In Symbolic Approaches to Modeling and Analysis of Biological Systems. 10-08-2023
      https://hal.science/hal-04279657v1
    • [52] T. Ribeiro, M. Folschette, L. Trilling, N. Glade, K. Inoue, M. Magnin, O. Roux. Les enjeux de l'inférence de modèles dynamiques des systèmes biologiques à partir de séries temporelles. In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. 07-2022
      https://hal.science/hal-02634235v2
    • [53] E. Ben Abdallah, M. Folschette, M. Magnin. Analyzing Long-Term Dynamics of Biological Networks with Answer Set Programming. In Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools. 11-2022
      https://hal.science/hal-03735849v2
    • [54] T. Ribeiro, S. Tourret, M. Folschette, M. Magnin, D. Borzacchiello, F. Chinesta, O. Roux, K. Inoue. Inductive Learning from State Transitions over Continuous Domains. In 27th International Conference on Inductive Logic Programming. 15-03-2018
      https://hal.science/hal-01655644v3
    • [55] G. Moreau, M. Servières, J. Normand, M. Magnin. Challenges of Image-Based Crowd-Sourcing for Situation Awareness in Disaster Management. In Improving Disaster Resilience and Mitigation - IT Means and Tools. 2014
      https://hal.science/hal-01521560v1
    • [56] L. Paulevé, C. Chancellor, M. Folschette, M. Magnin, O. Roux. Analyzing Large Network Dynamics with Process Hitting. In Logical Modeling of Biological Systems. 01-07-2014
      https://hal.science/hal-01060490v1

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [58] H. Sun, M. Folschette, M. Magnin. Limit cycle analysis of a class of hybrid gene regulatory networks. In Journées Nationales de l’Informatique Mathématique (JNIM 2022), mars 2022, Lille, France.
      https://hal.science/hal-03700402v1
    • [60] L. Paulevé, M. Magnin, O. Roux. Static Analysis by Abstract Interpretation of Biological Regulatory Networks Dynamics. Rapport technique, 2011 ; .
      https://hal.science/hal-00574353v2
Copyright : LS2N 2017 - Mentions Légales - 
 -