| Romeo: A tool for analyzing time Petri nets G Gardey, D Lime, M Magnin, OH Roux Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 234 | 2005 |
| Static analysis of biological regulatory networks dynamics using abstract interpretation L Paulevé, M Magnin, O Roux Mathematical Structures in Computer Science 22 (4), 651-685, 2012 | 52 | 2012 |
| Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework L Paulevé, M Magnin, O Roux Transactions on computational systems biology xiii, 171-191, 2011 | 48 | 2011 |
| Sufficient conditions for reachability in automata networks with priorities M Folschette, L Paulevé, M Magnin, O Roux Theoretical Computer Science 608, 66-83, 2015 | 39 | 2015 |
| Learning delayed influences of biological systems T Ribeiro, M Magnin, K Inoue, C Sakama Frontiers in bioengineering and biotechnology 2, 81, 2015 | 26 | 2015 |
| Learning dynamics with synchronous, asynchronous and general semantics T Ribeiro, M Folschette, M Magnin, O Roux, K Inoue Inductive Logic Programming: 28th International Conference, ILP 2018 …, 2018 | 22 | 2018 |
| Learning multi-valued biological models with delayed influence from time-series observations T Ribeiro, M Magnin, K Inoue, C Sakama 2015 IEEE 14th international conference on machine learning and applications …, 2015 | 21 | 2015 |
| ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks E Ben Abdallah, M Folschette, O Roux, M Magnin Algorithms for Molecular Biology 12, 1-23, 2017 | 20 | 2017 |
| Concretizing the process hitting into biological regulatory networks M Folschette, L Paulevé, K Inoue, M Magnin, O Roux International Conference on Computational Methods in Systems Biology, 166-186, 2012 | 19 | 2012 |
| Formalization of resilience for constraint-based dynamic systems N Schwind, M Magnin, K Inoue, T Okimoto, T Sato, K Minami, ... Journal of Reliable Intelligent Environments 2, 17-35, 2016 | 18 | 2016 |
| Inductive learning from state transitions over continuous domains T Ribeiro, S Tourret, M Folschette, M Magnin, D Borzacchiello, F Chinesta, ... Inductive Logic Programming: 27th International Conference, ILP 2017 …, 2018 | 17 | 2018 |
| Symbolic state space of stopwatch petri nets with discrete-time semantics (theory paper) M Magnin, D Lime, OH Roux Applications and Theory of Petri Nets: 29th International Conference, PETRI …, 2008 | 17 | 2008 |
| Under-approximation of reachability in multivalued asynchronous networks M Folschette, L Paulevé, M Magnin, O Roux Electronic Notes in Theoretical Computer Science 299, 33-51, 2013 | 16 | 2013 |
| Abstract interpretation of dynamics of biological regulatory networks L Paulevé, M Magnin, O Roux Electronic Notes in Theoretical Computer Science 272, 43-56, 2011 | 16 | 2011 |
| Tuning temporal features within the stochastic π-calculus L Pauleve, M Magnin, O Roux IEEE Transactions on Software Engineering 37 (6), 858-871, 2010 | 16 | 2010 |
| An efficient method for computing exact state space of Petri nets with stopwatches M Magnin, D Lime Electronic Notes in Theoretical Computer Science 144 (3), 59-77, 2006 | 16 | 2006 |
| Analyzing large network dynamics with process hitting L Paulevé, C Chancellor, M Folschette, M Magnin, O Roux Logical modeling of biological systems, 125-166, 2014 | 15 | 2014 |
| Learning any memory-less discrete semantics for dynamical systems represented by logic programs T Ribeiro, M Folschette, M Magnin, K Inoue Machine Learning, 1-78, 2022 | 14 | 2022 |
| Exhaustive analysis of dynamical properties of biological regulatory networks with answer set programming EB Abdallah, M Folschette, O Roux, M Magnin 2015 IEEE international conference on bioinformatics and biomedicine (BIBM …, 2015 | 14 | 2015 |
| Identification of biological regulatory networks from process hitting models M Folschette, L Paulevé, K Inoue, M Magnin, O Roux Theoretical Computer Science 568, 49-71, 2015 | 12 | 2015 |
Olivier H. RouxProfessor - Ecole Centrale Nantes, LS2N (CNRS) - FranceVerified email at ec-nantes.fr
