Morgan Magnin

Available identifiers

zbMath Open magnin.morganMaRDI QIDQ275999

List of research outcomes

Publication	Date of Publication	Type
SAF: SAT-based attractor finder in asynchronous automata networks	2024-02-28	Paper
Condition for periodic attractor in 4-dimensional repressilators	2024-02-28	Paper
Limit cycle analysis of a class of hybrid gene regulatory networks	2023-01-18	Paper
Learning any memory-less discrete semantics for dynamical systems represented by logic programs	2022-11-28	Paper
Static analysis and stochastic search for reachability problem	2021-02-22	Paper
Inductive learning from state transitions over continuous domains	2021-02-08	Paper
Learning Dynamics with Synchronous, Asynchronous and General Semantics	2021-02-08	Paper
Modeling delayed dynamics in biological regulatory networks from time series data	2018-08-20	Paper
Inference of delayed biological regulatory networks from time series data	2018-03-22	Paper
Under-approximation of reachability in multivalued asynchronous networks	2016-04-26	Paper
Sufficient conditions for reachability in automata networks with priorities	2015-12-10	Paper
Identification of biological regulatory networks from process hitting models	2015-01-28	Paper
Abstract Interpretation of Dynamics of Biological Regulatory Networks	2014-06-27	Paper
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation	2012-09-06	Paper
Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework	2011-05-27	Paper
Expressiveness of Petri Nets with Stopwatches. Dense-time Part	2010-02-05	Paper
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part	2010-02-05	Paper
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)	2008-07-03	Paper
Computer Aided Verification	2006-01-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Morgan Magnin