Fiche membre Retour à l'annuaire
Morgan MAGNIN
ENSEIGNANT-CHERCHEUR
HDR
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-2017https://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. 2013https://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
- [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
- [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] 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
- [43] 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.science/hal-00704569v2
- [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
- [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
- [57] M. Magnin. Contributions à l’élaboration de connaissances qualitatives en bio-informatique. https://theses.hal.science/tel-01321311v1
- [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
- [59] L. Paulevé, M. Magnin, O. Roux. From the Process Hitting to Petri Nets and Back. Rapport technique, 2012 ; .https://hal.science/hal-00744807v1
- [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