Patrick Amar
- Bioinformatique (LRI) (BioInfo - LRI)
- Laboratoire de Recherche en Informatique (LRI)
- Laboratoire Interdisciplinaire des Sciences du Numérique (LISN)
- BioInformatique - LISN (BioInfo)
- Bioinformatique (LRI) (BioInfo - LRI)
Publications
Publications
Bio-calculateur booléen à base de réseaux métaboliques intégré dans une vésicule artificielle: temporisation par oscillateur enzymatiqueSéminaire de la Société Francophone de Biologie Théorique, Jun 2018, Saint Flour, France |
|
Extracting logic gates from a metabolic networkadvances in Systems and Synthetic Biology, Mar 2015, Strasbourg, France. pp.13 |
|
Parallel biological in silico simulation29th Intenational Symposium on Computer and Information Sciences, Oct 2014, Krakow, Poland. pp.387-394, ⟨10.1007/978-3-319-09465-6_40⟩ |
|
Systèmes oscillants chaotiques en biologieEcole de Printemps 2014 de la Société Francophone de Biologie Théorique, Société Francophone de Biologie Théorique, May 2014, St Flour, France |
|
Comparative study of some methods for simulation of biochemical reactionsEcole de Printemps 2012 de la Société Francophone de Biologie Théorique, Jun 2012, Saint Flour, France |
|
|
|
HSIM: an hybrid stochastic simulation system for systems biologyThe Third International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. pp.3 -- 21, ⟨10.1016/j.entcs.2015.04.016⟩ |
|
|
From bioputing to bactoputing: computing with bacteriaLille Spring School on Modelling Complex Biological Systems in the Context of Genomics, Apr 2008, Paris, France. pp.123-150 |
Hybolites: novel therapeutical tools based on stochastic automatamodelling complex biological systems, 2007, Evry, France |
|
Detection of emergent phenomena in multi-agent systemsProceedings of the Evry Spring School on Modelling Complex Biological Systems in the Context of Genomics, 2007, Evry, France |
|
Verification of Biochemical Agent-Based Models Using Petri NetsInternational Symposium on Agent Based Modeling and Simulation (ABModSim 2006), 2006, Vianna, Austria. pp.695--700 |
|
Validation d'une simulation à base d'agents par l'utilisation d'un réseau de PetriSystèmes multi-agents vers la conception de systèmes artificiels socio-mimétiques (JFSMA 2005), 2005, France. pp.187--190 |
|
Validation of an Agent Based System Using Petri NetsProceedings of the fourth international joint conference on Autonomous agents and multiagent systems, 2005, Netherlands. pp.1365--1366, ⟨10.1145/1082473.1082775⟩ |
|
Cellular automata, reaction-diffusion and multiagents systems for artificial cell modellingActes du Colloque Modélisation et simulation de processus biologiques dans le contexte de la génomique, 2002, Autrans, France. pp.257-280 |
|
|
Contributions à l'étude de la dynamique des systèmes biologiques et aux systèmes de calcul en biologie synthétiqueBio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2013 |