Articles with public access mandates - Jérôme FeretLearn more
Available somewhere: 16
Internal coarse-graining of molecular systems
J Feret, V Danos, J Krivine, R Harmer, W Fontana
Proceedings of the National Academy of Sciences 106 (16), 6453-6458, 2009
Mandates: US National Institutes of Health
The Kappa platform for rule-based modeling
P Boutillier, M Maasha, X Li, HF Medina-Abarca, J Krivine, J Feret, ...
Bioinformatics 34 (13), i583-i592, 2018
Mandates: US Department of Defense
Lumpability abstractions of rule-based systems
J Feret, T Henzinger, H Koeppl, T Petrov
Theoretical Computer Science 431, 137-164, 2012
Mandates: Swiss National Science Foundation
Combinatorial complexity and compositional drift in protein interaction networks
EJ Deeds, J Krivine, J Feret, V Danos, W Fontana
PLoS ONE 7 (3), 14, 2012
Mandates: US National Institutes of Health
Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models
J Feret, H Koeppl, T Petrov
International Journal of Software and Informatics, 2013
Mandates: Swiss National Science Foundation
Combining model reductions
F Camporesi, J Feret, H Koeppl, T Petrov
Electronic Notes in Theoretical Computer Science 265, 73-96, 2010
Mandates: Swiss National Science Foundation
KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models
F Camporesi, J Feret, KQ Lý
Computational Methods in Systems Biology: 15th International Conference …, 2017
Mandates: US Department of Defense
Reconstructing species-based dynamics from reduced stochastic rule-based models
T Petrov, J Feret, H Koeppl
Proceedings of the 2012 Winter Simulation Conference (WSC), 1-15, 2012
Mandates: Swiss National Science Foundation
Kasa: A static analyzer for kappa
P Boutillier, F Camporesi, J Coquet, J Feret, KQ Lý, N Théret, P Vignet
Computational Methods in Systems Biology: 16th International Conference …, 2018
Mandates: US Department of Defense
Sharing ghost variables in a collection of abstract domains
M Chevalier, J Feret
Verification, Model Checking, and Abstract Interpretation: 21st …, 2020
Mandates: Agence Nationale de la Recherche
Local traces: An over-approximation of the behavior of the proteins in rule-based models
J Feret, KQ Lý
IEEE/ACM Transactions on Computational Biology and Bioinformatics 15 (4 …, 2018
Mandates: US Department of Defense
Automatic reduction of stochastic rules-based models in a nutshell
F Camporesi, J Feret, H Koeppl, T Petrov
Aip Conference Proceedings 1281 (1), 1330, 2010
Mandates: Swiss National Science Foundation
Distinguishing Context Dependent Events in Quotients of Causal Stories
S Légaré, J Krivine, J Feret
JOBIM 2021-Journées Ouvertes en Biologie, Informatique et Mathématiques, 54-61, 2021
Mandates: Agence Nationale de la Recherche
A semantics of core Erlang with handling of signals
A Kong Win Chang, J Feret, G Gössler
Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, 31-38, 2023
Mandates: Agence Nationale de la Recherche
Using alternated sums to express the occurrence number of extended patterns in site-graphs
F Camporesi, J Feret
SASB 2017-The Eighth International Workshop on Static Analysis for Systems …, 2017
Mandates: US Department of Defense
Modelling hepatic stellate cells activation by TGFB1 using Kappa language
M Bouguéon, P Boutillier, J Feret, O Hazard, N Theret
Mandates: National Institute of Health and Medical Research, France
Publication and funding information is determined automatically by a computer program