![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Morgan Magnin
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c25]Honglu Sun, Jean-Paul Comet, Maxime Folschette, Morgan Magnin:
Condition for Sustained Oscillations in Repressilator Based on a Hybrid Modeling of Gene Regulatory Networks. BIOINFORMATICS 2023: 29-40 - [c24]Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura:
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. BIOINFORMATICS 2023: 163-174 - [c23]Takehide Soh
, Morgan Magnin
, Daniel Le Berre
, Mutsunori Banbara
, Naoyuki Tamura
:
SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks. CMSB 2023: 175-183 - [c22]Honglu Sun
, Maxime Folschette
, Morgan Magnin
:
Condition for Periodic Attractor in 4-Dimensional Repressilators. CMSB 2023: 184-201 - [c21]Honglu Sun
, Maxime Folschette
, Morgan Magnin
:
Reachability Analysis of a Class of Hybrid Gene Regulatory Networks. RP 2023: 56-69 - 2022
- [j15]Tony Ribeiro
, Maxime Folschette
, Morgan Magnin, Katsumi Inoue:
Learning any memory-less discrete semantics for dynamical systems represented by logic programs. Mach. Learn. 111(10): 3593-3670 (2022) - [c20]Honglu Sun
, Maxime Folschette
, Morgan Magnin
:
Limit Cycle Analysis of a Class of Hybrid Gene Regulatory Networks. CMSB 2022: 217-236 - [c19]Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue:
Diagnosis of Event Sequences with LFIT. ILP 2022: 117-126 - 2020
- [j14]Elisabetta De Maria, Morgan Magnin:
Introduction to the JBCB special issue on CSBio 2019. J. Bioinform. Comput. Biol. 18(3): 2002002:1-2002002:2 (2020) - [c18]Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue:
Static Analysis and Stochastic Search for Reachability Problem. SASB 2020: 139-158
2010 – 2019
- 2018
- [c17]Tony Ribeiro, Maxime Folschette
, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
:
Learning Dynamics with Synchronous, Asynchronous and General Semantics. ILP 2018: 118-140 - [i2]Xinwei Chai, Morgan Magnin, Olivier H. Roux:
A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks. CoRR abs/1804.07543 (2018) - 2017
- [j13]Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue
:
Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. Algorithms 10(1): 8 (2017) - [j12]Emna Ben Abdallah
, Maxime Folschette
, Olivier F. Roux, Morgan Magnin:
ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks. Algorithms Mol. Biol. 12(1): 20:1-20:23 (2017) - [c16]Tony Ribeiro, Sophie Tourret, Maxime Folschette
, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue
:
Inductive Learning from State Transitions over Continuous Domains. ILP 2017: 124-139 - 2016
- [b1]Morgan Magnin:
Contributions à l'élaboration de connaissances qualitatives en bio-informatique. (Contributions to the elaboration of qualitative knowledge in bioinformatics). University of Nantes, France, 2016 - [j11]Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
:
Analyzing resilience properties in oscillatory biological systems using parametric model checking. Biosyst. 149: 50-58 (2016) - [j10]Nicolas Schwind, Morgan Magnin, Katsumi Inoue
, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama:
Formalization of resilience for constraint-based dynamic systems. J. Reliab. Intell. Environ. 2(1): 17-35 (2016) - [c15]Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
:
Inference of Delayed Biological Regulatory Networks from Time Series Data. CMSB 2016: 30-48 - 2015
- [j9]Francisco Chinesta, Morgan Magnin, Olivier H. Roux, Amine Ammar
, Elías Cueto
:
Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. Entropy 17(4): 1896-1915 (2015) - [j8]Maxime Folschette
, Loïc Paulevé, Katsumi Inoue
, Morgan Magnin, Olivier F. Roux:
Identification of biological regulatory networks from Process Hitting models. Theor. Comput. Sci. 568: 49-71 (2015) - [j7]Maxime Folschette
, Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Sufficient conditions for reachability in automata networks with priorities. Theor. Comput. Sci. 608: 66-83 (2015) - [j6]Loïc Paulevé, Maxime Folschette
, Morgan Magnin, Olivier F. Roux:
Analyses statiques de la dynamique des réseaux d'automates indéterministes. Tech. Sci. Informatiques 34(4): 463-484 (2015) - [c14]Emna Ben Abdallah, Maxime Folschette
, Olivier F. Roux, Morgan Magnin:
Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming. BIBM 2015: 281-285 - [c13]Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
:
Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. CMSB 2015: 239-250 - [c12]Simon Carolan, Guillaume Moreau, Morgan Magnin, Francisco Chinesta:
Towards the Effective Use of Available Educational Resources: Designing Adaptive Hypermedia Environments for the Engineering Sciences. ICALT 2015: 400-402 - [c11]Tony Ribeiro, Morgan Magnin, Katsumi Inoue
, Chiaki Sakama:
Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations. ICMLA 2015: 25-31 - [i1]Alexander Andreychenko, Morgan Magnin, Katsumi Inoue:
Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information. CoRR abs/1506.06299 (2015) - 2014
- [c10]Simon Carolan, Francisco Chinesta, Christine Evain, Morgan Magnin, Guillaume Moreau:
Extracting Domain Ontologies from Reference Books. ICALT 2014: 544-545 - 2013
- [c9]Courtney Chancellor, Amine Ammar
, Francisco Chinesta, Morgan Magnin, Olivier F. Roux:
Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition. CMSB 2013: 50-63 - [c8]Simon Carolan, Francisco Chinesta, Christine Evain, Morgan Magnin, Guillaume Moreau:
Towards Augmented Learning in Science and Engineering in Higher Education. ICALT 2013: 512-513 - [c7]Maxime Folschette
, Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Under-approximation of Reachability in Multivalued Asynchronous Networks. CS2Bio 2013: 33-51 - [p1]Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen
, Paul Pettersson
, Jacob Illum Rasmussen, Jirí Srba
, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime
, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez:
Tools for Model-Checking Timed Systems. Communicating Embedded Systems 2013: 165-225 - 2012
- [j5]Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. Math. Struct. Comput. Sci. 22(4): 651-685 (2012) - [c6]Maxime Folschette
, Loïc Paulevé, Katsumi Inoue
, Morgan Magnin, Olivier F. Roux:
Concretizing the Process Hitting into Biological Regulatory Networks. CMSB 2012: 166-186 - 2011
- [j4]Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework. Trans. Comp. Sys. Biology 13: 171-191 (2011) - [j3]Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Tuning Temporal Features within the Stochastic π-Calculus. IEEE Trans. Software Eng. 37(6): 858-871 (2011) - 2010
- [c5]Loïc Paulevé, Morgan Magnin, Olivier F. Roux:
Abstract Interpretation of Dynamics of Biological Regulatory Networks. SASB 2010: 43-56
2000 – 2009
- 2009
- [j2]Morgan Magnin, Pierre Molinaro, Olivier H. Roux:
Expressiveness of Petri Nets with Stopwatches. Dense-time Part. Fundam. Informaticae 97(1-2): 111-138 (2009) - [j1]Morgan Magnin, Pierre Molinaro, Olivier H. Roux:
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. Fundam. Informaticae 97(1-2): 139-176 (2009) - [c4]Mylène Maurin, Morgan Magnin, Olivier H. Roux:
Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. BICoB 2009: 282-294 - 2008
- [c3]Morgan Magnin, Didier Lime
, Olivier H. Roux:
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets 2008: 307-326 - 2005
- [c2]Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux:
Romeo: A Tool for Analyzing Time Petri Nets. CAV 2005: 418-423 - [c1]Morgan Magnin, Didier Lime
, Olivier H. Roux:
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. SoftMC@CAV 2005: 59-77
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint