Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 14 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00704569v2 Communication dans un congrès Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier Roux. Concretizing the Process Hitting into Biological Regulatory Networks Computational Methods in Systems Biology, Oct 2012, London, United Kingdom. Springer Berlin Heidelberg, p. 166-186, 2012, <10.1007/978-3-642-33636-2_11>
	hal-01060490v1 Chapitre d'ouvrage Loïc Paulevé, Courtney Chancellor, Maxime Folschette, Morgan Magnin, Olivier Roux. Analyzing Large Network Dynamics with Process Hitting Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8
	hal-00758168v1 Communication dans un congrès Patrick Amar, Loïc Paulevé. HSIM: an hybrid stochastic simulation system for systems biology The Third International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. Electronic Notes in Theoretical Computer Science, 313, pp.3 -- 21, 2012, <10.1016/j.entcs.2015.04.016>
	hal-01354079v1 Communication dans un congrès Hugues Mandon, Stefan Haar, Loïc Paulevé. Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph Eugenio Cinquemani; Alexandre Donzé. Fifth International Workshop on Hybrid Systems Biology (HSB 2016), Oct 2016, Grenoble, France. Springer International Publishing, 9957, pp.113-127, Lecture Notes in Computer Science. <http://hsb2016.imag.fr/>. <10.1007/978-3-319-47151-8_8>
	hal-00712557v1 Communication dans un congrès Stefan Janssen, Loïc Paulevé, Yann Ponty, Balaji Raman, Matthias Zytnicki. Can Probabilistic Model Checking Explore Ribo-Nucleic Acid Folding Space? IWBDA - 4th International Workshop on Bio-Design Automation - 2012, Jun 2012, San Francisco, United States. 2012, <http://www.iwbdaconf.org/2012>
	hal-01094249v1 Article dans une revue Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier Roux. Identification of Biological Regulatory Networks from Process Hitting models Theoretical Computer Science, Elsevier, 2015, 568, pp.39. <10.1016/j.tcs.2014.12.002>
	hal-00872969v1 Article dans une revue Matthew Lakin, Loïc Paulevé, Andrew Phillips. Stochastic simulation of multiple process calculi for biology Theoretical Computer Science, Elsevier, 2012, 431, pp.181-206. <10.1016/j.tcs.2011.12.057>
	hal-00769446v1 Rapport Araks Martirosyan, Loïc Paulevé, Clair Poignard, Mireille Régnier, Jean-Marc Steyaert et al. A Dynamical Model for the Transmembrane Potential Regulation by pH [Research Report] LIX, Ecole polytechnique. 2012
	hal-01060450v1 Communication dans un congrès Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon. Characterization of Reachable Attractors Using Petri Net Unfoldings Pedro Mendes; Joseph Dada; Kieran Smallbone. CMSB 2014, Nov 2014, Manchester, United Kingdom. Springer International Publishing, 8859, pp.14, 2014, LNCS/LNBI. <10.1007/978-3-319-12982-2_10>
	hal-01158514v1 Article dans une revue Jorgelindo da Veiga Moreira, Sabine Pérès, Jean-Marc Steyaert, Erwan Bigan, Loïc Paulevé et al. Cell cycle progression is regulated by intertwined redox oscillators Theoretical Biology and Medical Modelling, BioMed Central, 2015, 12 (1), pp.10. <10.1186/s12976-015-0005-2>
	hal-01354109v2 Communication dans un congrès Juraj Kolčák, David Šafránek, Stefan Haar, Loïc Paulevé. Unfolding of Parametric Boolean Networks The Seventh International Workshop on Static Analysis and Systems Biology (SASB 2016), Sep 2016, Edimbourg, United Kingdom. Elsevier, accepted, Electronic Notes in Theoretical Computer Science. <http://sasb2016.fi.muni.cz/>
	hal-01392203v2 Communication dans un congrès Thomas Chatain, Loïc Paulevé. Goal-Driven Unfolding of Petri Nets 28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. <https://www.concur2017.tu-berlin.de/>. <10.4230/LIPIcs.CONCUR.2017.14>
	hal-01338156v1 Article dans une revue Erwan Bigan, Loïc Paulevé, Jean-Marc Steyaert, Stéphane Douady. Necessary and sufficient conditions for protocell growth Journal of Mathematical Biology, Springer Verlag (Germany), 2016, <10.1007/s00285-016-0998-0>
	hal-00714481v1 Article dans une revue Loïc Paulevé, Morgan Magnin, Olivier Roux. Static analysis of Biological Regulatory Networks dynamics using abstract interpretation Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (04), pp 651-685. <10.1017/S0960129511000739>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 14 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM