Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Morgan MAGNIN

ENSEIGNANT-CHERCHEUR

HDR
Responsable d'équipe
Service : MISSION INTERNATIONAL.Equipe : MEFORBIO.

: Morgan.Magninatls2n.fr

: +33 (0)2 40 37 69 78

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] 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.archives-ouvertes.fr/hal-02938160
    • [2] 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.archives-ouvertes.fr/hal-02448847
    • [3] 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.archives-ouvertes.fr/hal-01721290
    • [4] 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.archives-ouvertes.fr/hal-01654877
    • [5] 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.archives-ouvertes.fr/hal-01721287
    • [6] 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.archives-ouvertes.fr/hal-01710218
    • [7] 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.archives-ouvertes.fr/hal-01202671
    • [8] 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.archives-ouvertes.fr/hal-01710485
    • [9] 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.archives-ouvertes.fr/hal-01094249
    • [10] 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.archives-ouvertes.fr/hal-01195963
    • [11] 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.archives-ouvertes.fr/hal-01207078
    • [12] 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.archives-ouvertes.fr/hal-00714481
    • [13] 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.archives-ouvertes.fr/hal-00397235v2
    • [14] 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.archives-ouvertes.fr/hal-00397308
    • [15] 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.archives-ouvertes.fr/hal-00523936
    • [16] 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.archives-ouvertes.fr/hal-00523933

Revues nationales avec comité de lecture (ART_NAT)

    • [17] 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.archives-ouvertes.fr/hal-01070295v2

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

    • [18] 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.archives-ouvertes.fr/hal-01951251
    • [19] 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.archives-ouvertes.fr/hal-01826564
    • [20] 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.archives-ouvertes.fr/hal-01721291
    • [21] 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.archives-ouvertes.fr/hal-02448802
    • [22] 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.archives-ouvertes.fr/hal-01252610
    • [23] 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.archives-ouvertes.fr/hal-01010171
    • [24] 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://hal.univ-rennes2.fr/hal-01973160
    • [25] 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.archives-ouvertes.fr/hal-01065069
    • [26] 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.archives-ouvertes.fr/hal-01184991
    • [27] 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.archives-ouvertes.fr/hal-00942447
    • [28] 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://hal.univ-rennes2.fr/hal-01977283
    • [29] 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.archives-ouvertes.fr/hal-00873000
    • [30] 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://hal.univ-rennes2.fr/hal-01980159
    • [31] 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.archives-ouvertes.fr/hal-01314470
    • [32] 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.archives-ouvertes.fr/hal-00783543
    • [33] 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.In Lecture Notes in Computer Science ; éd. Springer, 2012.
      https://hal.archives-ouvertes.fr/hal-00704569v2
    • [34] 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.archives-ouvertes.fr/hal-00601118
    • [35] 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://hal.univ-rennes2.fr/hal-01980543
    • [36] 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.archives-ouvertes.fr/hal-00523612
    • [37] 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.archives-ouvertes.fr/hal-00523601
    • [38] 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.archives-ouvertes.fr/hal-00523596
    • [39] 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.archives-ouvertes.fr/hal-00523595

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

    • [40] 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.archives-ouvertes.fr/hal-01655644v3
    • [41] 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.archives-ouvertes.fr/hal-01521560

Theses et HDR (THESE)

Autres publications (AUTRES)

Copyright : LS2N 2017 - Mentions Légales - 
 -