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
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
software
Astrée
OpenKappa
teaching
FDV Licence
Licence Website
Course notes
Naked science :
a science blog
AIV Master
MPRI
Master Website
Course notes
former lectures
projects
AbstractCell
presentation
summary
objectives and scientific challenges
working schedule
affiliated events
members and frequent collaborators
publications
AstréeA
MBAT
VERASCO
former projects
seminar
Abstract Interpretation
Computational Biology
hobbies
music
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)
Jérôme Feret
, Last modified: 17 Jan 2012, 11:02:11 CET