Documentation
Français (FR)

Anglais (EN)

Loïc Paulevé

13

Documents

Identifiants chercheurs

loic-pauleve
0000-0002-7219-2027
Google Scholar : https://scholar.google.fr/citations?user=Lcdry6AAAAAJ
IdRef : 127903690

Présentation

français
anglais

Publications

morgan-magnin

	Sufficient Conditions for Reachability in Automata Networks with Priorities Maxime Folschette , Loïc Paulevé , Morgan Magnin , Olivier F. Roux Theoretical Computer Science, 2015, ⟨10.1016/j.tcs.2015.08.040⟩ Article dans une revue hal-01202671v1
	Analyses statiques de la dynamique des réseaux d'automates indéterministes Loïc Paulevé , Maxime Folschette , Morgan Magnin , Olivier Roux Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (4), pp.22. ⟨10.3166/TSI.34.463-484⟩ Article dans une revue hal-01070295v2
	Identification of Biological Regulatory Networks from Process Hitting models Maxime Folschette , Loïc Paulevé , Katsumi Inoue , Morgan Magnin , Olivier Roux Theoretical Computer Science, 2015, 568, pp.39. ⟨10.1016/j.tcs.2014.12.002⟩ Article dans une revue hal-01094249v1
	Static analysis of Biological Regulatory Networks dynamics using abstract interpretation Loïc Paulevé , Morgan Magnin , Olivier Roux Mathematical Structures in Computer Science, 2012, 22 (04), pp 651-685. ⟨10.1017/S0960129511000739⟩ Article dans une revue hal-00714481v1
	Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework Loïc Paulevé , Morgan Magnin , Olivier Roux Transactions on Computational Systems Biology, 2011, XIII, pp.171-191. ⟨10.1007/978-3-642-19748-2_8⟩ Article dans une revue hal-00397235v2
	Tuning Temporal Features within the Stochastic π-Calculus Loïc Paulevé , Morgan Magnin , Olivier Roux IEEE Transactions on Software Engineering, 2011, 37 (6), pp.858-871. ⟨10.1109/TSE.2010.95⟩ Article dans une revue hal-00397308v1

	Under-approximation of Reachability in Multivalued Asynchronous Networks Maxime Folschette , Loïc Paulevé , Morgan Magnin , Olivier Roux fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13), Jun 2013, Florence, Italy. pp.33--51, ⟨10.1016/j.entcs.2013.11.004⟩ Communication dans un congrès hal-00873000v1
	Abducing Biological Regulatory Networks from Process Hitting models Maxime Folschette , Loïc Paulevé , Katsumi Inoue , Morgan Magnin , Olivier F. Roux ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology, Sep 2012, Bristol, United Kingdom Communication dans un congrès hal-01314470v1
	Concretizing the Process Hitting into Biological Regulatory Networks Maxime Folschette , Loïc Paulevé , Katsumi Inoue , Morgan Magnin , Olivier Roux Computational Methods in Systems Biology, Oct 2012, London, United Kingdom. p. 166-186, ⟨10.1007/978-3-642-33636-2_11⟩ Communication dans un congrès hal-00704569v2
	Abstract Interpretation of Dynamics of Biological Regulatory Networks Loïc Paulevé , Morgan Magnin , Olivier Roux 1st International Workshop on Static Analysis and Systems Biology (SASB 2010), Sep 2010, Perpignan, France. pp.43-56, ⟨10.1016/j.entcs.2011.04.004⟩ Communication dans un congrès hal-00601118v1

	Analyzing Large Network Dynamics with Process Hitting Loïc Paulevé , Courtney Chancellor , Maxime Folschette , Morgan Magnin , Olivier Roux Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8 Chapitre d'ouvrage hal-01060490v1

	From the Process Hitting to Petri Nets and Back Loïc Paulevé , Morgan Magnin , Olivier Roux 2012 Rapport hal-00744807v1
	Static Analysis by Abstract Interpretation of Biological Regulatory Networks Dynamics Loïc Paulevé , Morgan Magnin , Olivier Roux 2011 Rapport hal-00574353v2