Підписатись
Morgan Magnin
Morgan Magnin
Professor of Computer Science, LS2N, École Centrale de Nantes, National Institute of Informatics
Підтверджена електронна адреса в ec-nantes.fr - Домашня сторінка
Назва
Посилання
Посилання
Рік
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
2282005
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
522012
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
482011
Sufficient conditions for reachability in automata networks with priorities
M Folschette, L Paulevé, M Magnin, O Roux
Theoretical Computer Science 608, 66-83, 2015
392015
Learning delayed influences of biological systems
T Ribeiro, M Magnin, K Inoue, C Sakama
Frontiers in bioengineering and biotechnology 2, 81, 2015
252015
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
212015
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
202018
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
192012
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
182017
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
182016
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
172018
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
162013
Abstract interpretation of dynamics of biological regulatory networks
L Paulevé, M Magnin, O Roux
Electronic Notes in Theoretical Computer Science 272, 43-56, 2011
162011
Tuning temporal features within the stochastic π-calculus
L Pauleve, M Magnin, O Roux
IEEE Transactions on Software Engineering 37 (6), 858-871, 2010
162010
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
162008
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
162006
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
152014
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
142015
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
112022
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
112015
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20