Morgan Magnin

According to our database1, Morgan Magnin authored at least 32 papers between 2005 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Learning Dynamics with Synchronous, Asynchronous and General Semantics.
Proceedings of the Inductive Logic Programming - 28th International Conference, 2018

2017
ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks.
Algorithms for Molecular Biology, 2017

Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data.
Algorithms, 2017

Inductive Learning from State Transitions over Continuous Domains.
Proceedings of the Inductive Logic Programming - 27th International Conference, 2017

2016
Formalization of resilience for constraint-based dynamic systems.
J. Reliable Intelligent Environments, 2016

Analyzing resilience properties in oscillatory biological systems using parametric model checking.
Biosystems, 2016

Inference of Delayed Biological Regulatory Networks from Time Series Data.
Proceedings of the Computational Methods in Systems Biology, 2016

Contributions à l'élaboration de connaissances qualitatives en bio-informatique. (Contributions to the elaboration of qualitative knowledge in bioinformatics).
, 2016

2015
Analyses statiques de la dynamique des réseaux d'automates indéterministes.
Technique et Science Informatiques, 2015

Sufficient conditions for reachability in automata networks with priorities.
Theor. Comput. Sci., 2015

Identification of biological regulatory networks from Process Hitting models.
Theor. Comput. Sci., 2015

Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions.
Entropy, 2015

Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations.
Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

Towards the Effective Use of Available Educational Resources: Designing Adaptive Hypermedia Environments for the Engineering Sciences.
Proceedings of the 15th IEEE International Conference on Advanced Learning Technologies, 2015

Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets.
Proceedings of the Computational Methods in Systems Biology, 2015

Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming.
Proceedings of the 2015 IEEE International Conference on Bioinformatics and Biomedicine, 2015

2014
Extracting Domain Ontologies from Reference Books.
Proceedings of the IEEE 14th International Conference on Advanced Learning Technologies, 2014

2013
Under-approximation of Reachability in Multivalued Asynchronous Networks.
Electr. Notes Theor. Comput. Sci., 2013

Towards Augmented Learning in Science and Engineering in Higher Education.
Proceedings of the IEEE 13th International Conference on Advanced Learning Technologies, 2013

Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition.
Proceedings of the Computational Methods in Systems Biology, 2013


2012
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation.
Mathematical Structures in Computer Science, 2012

Concretizing the Process Hitting into Biological Regulatory Networks.
Proceedings of the Computational Methods in Systems Biology, 2012

2011
Tuning Temporal Features within the Stochastic π-Calculus.
IEEE Trans. Software Eng., 2011

Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework.
Trans. Computational Systems Biology, 2011

Abstract Interpretation of Dynamics of Biological Regulatory Networks.
Electr. Notes Theor. Comput. Sci., 2011

2009
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part.
Fundam. Inform., 2009

Expressiveness of Petri Nets with Stopwatches. Dense-time Part.
Fundam. Inform., 2009

Modeling of Genetic Regulatory Network in Stochastic pi-Calculus.
Proceedings of the Bioinformatics and Computational Biology, 2009

2008
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2006
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches.
Electr. Notes Theor. Comput. Sci., 2006

2005
Romeo: A Tool for Analyzing Time Petri Nets.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005


  Loading...