Morgan Magnin

Morgan Magnin

École Centrale de Nantes - Nantes / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 1660289
Central School of Nantes
person_outline Morgan Magnin's MOST POPULAR ARTICLES
1-) Romeo: A tool for analyzing time Petri netsG Gardey, D Lime, M Magnin, O RouxInternational Conference on Computer Aided Verification, 418-423, 20052212005
2-) Static analysis of biological regulatory networks dynamics using abstract interpretationL Paulevé, M Magnin, O RouxMathematical Structures in Computer Science 22 (4), 651-685, 2012472012
3-) Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus FrameworkL Paulevé, M Magnin, O RouxTransactions on computational systems biology xiii, 171-191, 2011472011
4-) Sufficient conditions for reachability in automata networks with prioritiesM Folschette, L Paulevé, M Magnin, O RouxTheoretical Computer Science 608, 66-83, 2015392015
5-) Learning delayed influences of biological systemsT Ribeiro, M Magnin, K Inoue, C SakamaFrontiers in bioengineering and biotechnology 2, 81, 2015262015