AbstractCell
presentation
summary
objectives and scientific challenges
working schedule
affiliated events
members and frequent collaborators
publications
home
contact
venue
research fields
forthcoming events
curriculum vitæ
short CV
long CV
cv court
cv long
social networks
Linkedin
ResearchGate
publications
by topic
Static analysis of mobile systems
Static analysis of biological systems
Static analysis of critical embedded software
online bibliographies
DBLP
Google Scholar
HAL - INRIA
PubMed
social networks
Linkedin
ResearchGate
online talks
teaching
MPRI 2.6
master website
course notes
my materials
MPRI 2.19
master website
course notes
former lectures
projects
ANR DCore
SecurEval project (PEPR Sécurité des systèmes)
former projects
seminar
General Seminoar of the DIENS
hobbies
web series
theatre
AbstractCell
Formal abstraction of quantitative semantics for protein-protein interaction cellular network models.
Affiliated events
The working group on
Computational Biology
at École normale supérieure.
The international workshop on Static Analysis and Systems Biology
SASB 2010
(Perpignan, France)
SASB 2011
(Venice, Italy)
SASB 2012
(Deauville, France)
SASB 2013
(Seattle, USA)
Jérôme Feret
, Last modified: 12 Dec 2012, 12:05:00 CET