Statistics
Publications
32
Citations
2.5K
H-Index
22
Active since
1991
Jérôme Ferêt is an author at École Normale Supérieure - PSL specializing in computer science, computing, and biology.
Publications per year
1991–2024
32
32
A static analyzer for large safety-critical software
Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 577 citations
A static analyzer for large safety-critical software
Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · 2003 · 312 citations · Full text
Rule-Based Modelling of Cellular Signalling
Vincent Danos, Jérôme Ferêt, Walter Fontana et al. · Lecture notes in computer science · 2007 · 282 citations · Full text
Internal coarse-graining of molecular systems
Jérôme Ferêt, Vincent Danos, Jean Krivine et al. · Proceedings of the National Academy of Sciences · 2009 · 225 citations · Full text
The Kappa platform for rule-based modeling
Pierre Boutillier, Mutaamba Maasha, Li Xing et al. · Bioinformatics · 2018 · 107 citations · Full text
1–5 of 32