2 citations · 4 across the 2 of their papers we have counts for
3 papers
q-bio.MN2018
Tropical Abstraction of Biochemical Reaction Networks with Guarantees
Andreea Beica, Jérôme Feret, Tatjana Petrov
Biochemical molecules interact through modification and binding reactions, giving raise to a combinatorial number of possible biochemical species. The time-dependent evolution of c…
cs.CE2010★ 2 cited
Lumpability Abstractions of Rule-based Systems
Jerome Feret, Thomas Henzinger, Heinz Koeppl +1
The induction of a signaling pathway is characterized by transient complex formation and mutual posttranslational modification of proteins. To faithfully capture this combinatorial…
cs.OH2008★ 2 cited
Partitioning the Threads of a Mobile System
Jérôme Feret
In this paper, we show how thread partitioning helps in proving properties of mobile systems. Thread partitioning consists in gathering the threads of a mobile system into several…