Morgan Magnin - RankMe

47 papers A* 2B 7C 1Journal 17Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	A SAT-based Method for Counting All Singleton Attractors in Boolean Networks. IJCAI Rei Higuchi, Takehide Soh, Daniel Le Berre, Morgan Magnin, Mutsunori Banbara, Naoyuki Tamura
2025	—	`conf`	Conditions for Cyclic Attractors for a Class of Discrete n-Dimensional Repressilators. AUTOMATA Honglu Sun, Maxime Folschette, Morgan Magnin, Elisa Tonello
2024	—	`conf`	Learning from Interpretation Transition with Unknowns. IJCLR Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Kuo-Yen Lo, Antoine Roquilly, Jérémie Poschmann, Katsumi Inoue
2023	—	`conf`	Condition for Periodic Attractor in 4-Dimensional Repressilators. CMSB Honglu Sun, Maxime Folschette, Morgan Magnin
2023	—	`conf`	Condition for Sustained Oscillations in Repressilator Based on a Hybrid Modeling of Gene Regulatory Networks. BIOINFORMATICS Honglu Sun, Jean-Paul Comet, Maxime Folschette, Morgan Magnin
2023	—	`conf`	Reachability Analysis of a Class of Hybrid Gene Regulatory Networks. RP Honglu Sun, Maxime Folschette, Morgan Magnin
2023	—	`conf`	SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks. CMSB Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
2023	—	`conf`	SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. BIOINFORMATICS Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
2022	B	`conf`	Diagnosis of Event Sequences with LFIT. ILP Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue
2022	J	`jnl`	Learning any memory-less discrete semantics for dynamical systems represented by logic programs. Mach. Learn. Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue
2022	—	`conf`	Limit Cycle Analysis of a Class of Hybrid Gene Regulatory Networks. CMSB Honglu Sun, Maxime Folschette, Morgan Magnin
2020	J	`jnl`	Introduction to the JBCB special issue on CSBio 2019. J. Bioinform. Comput. Biol. Elisabetta De Maria, Morgan Magnin
2020	—	`conf`	Static Analysis and Stochastic Search for Reachability Problem. SASB Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
2018	J	`jnl`	A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks. CoRR Xinwei Chai, Morgan Magnin, Olivier H. Roux
2018	B	`conf`	Learning Dynamics with Synchronous, Asynchronous and General Semantics. ILP Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
2017	J	`jnl`	ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks. Algorithms Mol. Biol. Emna Ben Abdallah, Maxime Folschette, Olivier F. Roux, Morgan Magnin
2017	B	`conf`	Inductive Learning from State Transitions over Continuous Domains. ILP Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue
2017	J	`jnl`	Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. Algorithms Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue
2016	J	`jnl`	Analyzing resilience properties in oscillatory biological systems using parametric model checking. Biosyst. Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
2016	—	`book`	Contributions à l'élaboration de connaissances qualitatives en bio-informatique. (Contributions to the elaboration of qualitative knowledge in bioinformatics). Morgan Magnin
2016	J	`jnl`	Formalization of resilience for constraint-based dynamic systems. J. Reliab. Intell. Environ. Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama
2016	—	`conf`	Inference of Delayed Biological Regulatory Networks from Time Series Data. CMSB Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
2015	J	`jnl`	Analyses statiques de la dynamique des réseaux d'automates indéterministes. Tech. Sci. Informatiques Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier F. Roux
2015	—	`conf`	Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming. BIBM Emna Ben Abdallah, Maxime Folschette, Olivier F. Roux, Morgan Magnin
2015	J	`jnl`	Identification of biological regulatory networks from Process Hitting models. Theor. Comput. Sci. Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux
2015	J	`jnl`	Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. Entropy Francisco Chinesta, Morgan Magnin, Olivier H. Roux, Amine Ammar, Elías Cueto
2015	C	`conf`	Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations. ICMLA Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama
2015	—	`conf`	Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. CMSB Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
2015	J	`jnl`	Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information. CoRR Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
2015	J	`jnl`	Sufficient conditions for reachability in automata networks with priorities. Theor. Comput. Sci. Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux
2015	B	`conf`	Towards the Effective Use of Available Educational Resources: Designing Adaptive Hypermedia Environments for the Engineering Sciences. ICALT Simon Carolan, Guillaume Moreau, Morgan Magnin, Francisco Chinesta
2014	B	`conf`	Extracting Domain Ontologies from Reference Books. ICALT Simon Carolan, Francisco Chinesta, Christine Evain, Morgan Magnin, Guillaume Moreau
2013	—	`conf`	Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition. CMSB Courtney Chancellor, Amine Ammar, Francisco Chinesta, Morgan Magnin, Olivier F. Roux
2013	—	`ch.`	Tools for Model-Checking Timed Systems. Communicating Embedded Systems 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
2013	B	`conf`	Towards Augmented Learning in Science and Engineering in Higher Education. ICALT Simon Carolan, Francisco Chinesta, Christine Evain, Morgan Magnin, Guillaume Moreau
2013	—	`conf`	Under-approximation of Reachability in Multivalued Asynchronous Networks. CS2Bio Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux
2012	—	`conf`	Concretizing the Process Hitting into Biological Regulatory Networks. CMSB Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux
2012	J	`jnl`	Static analysis of Biological Regulatory Networks dynamics using abstract interpretation. Math. Struct. Comput. Sci. Loïc Paulevé, Morgan Magnin, Olivier F. Roux
2011	J	`jnl`	Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework. Trans. Comp. Sys. Biology Loïc Paulevé, Morgan Magnin, Olivier F. Roux
2011	J	`jnl`	Tuning Temporal Features within the Stochastic π-Calculus. IEEE Trans. Software Eng. Loïc Paulevé, Morgan Magnin, Olivier F. Roux
2010	—	`conf`	Abstract Interpretation of Dynamics of Biological Regulatory Networks. SASB Loïc Paulevé, Morgan Magnin, Olivier F. Roux
2009	J	`jnl`	Expressiveness of Petri Nets with Stopwatches. Dense-time Part. Fundam. Informaticae Morgan Magnin, Pierre Molinaro, Olivier H. Roux
2009	J	`jnl`	Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. Fundam. Informaticae Morgan Magnin, Pierre Molinaro, Olivier H. Roux
2009	—	`conf`	Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. BICoB Mylène Maurin, Morgan Magnin, Olivier H. Roux
2008	B	`conf`	Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets Morgan Magnin, Didier Lime, Olivier H. Roux
2005	—	`conf`	An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. SoftMC@CAV Morgan Magnin, Didier Lime, Olivier H. Roux
2005	A*	`conf`	Romeo: A Tool for Analyzing Time Petri Nets. CAV Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux