Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Morgan MAGNIN

ENSEIGNANT-CHERCHEUR

HDR

Service : MISSION INTERNATIONAL.Equipe : MEFORBIO.

: +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. 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
    • [2] 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
    • [3] 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 AG, 2017, vol. 10, num. 4.
      https://hal.archives-ouvertes.fr/hal-01721287
    • [4] M. MORGAN, 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
    • [5] 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
    • [6] 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
    • [7] 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
    • [8] 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, vol. 17, num. 4. 04-2015
      https://hal.archives-ouvertes.fr/hal-01195963
    • [9] 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
    • [10] 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
    • [11] 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
    • [12] 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
    • [13] 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
    • [14] 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)

    • [15] 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)

    • [16] 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
    • [17] 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
    • [18] 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
    • [19] 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
    • [20] 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
    • [21] 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
    • [22] 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
    • [23] 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
    • [24] 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
    • [25] 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
    • [26] 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
    • [27] 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
    • [28] 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
    • [29] 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
    • [30] 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)

    • [31] 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 - 
 -