( en | de | ru )

 

Disambiguation of "Feret, Jérôme"

Author of the publication

copydeleteadd this publication to your clipboard
Occurrence Counting Analysis for the pi-Calculus.

. GETCO, volume 39 of Electronic Notes in Theoretical Computer Science, page 1-18. Elsevier, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jérôme Feret

Jérôme Huppertz

Modulation inflammatorischer Prozesse mittels GPI-verankerter Chemokin-Analoga. Uni München, (2009)

Jérôme Clerc

Jérôme Boucher

Jérôme Krets

 

Other publications of authors with the same name

Stochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models., , and . Int. J. Softw. Informatics, 7 (4): 527-604 (2013)Analyse statique et réduction de modèles pour un langage de réécriture de graphes à sites.. (2023)Counters in Kappa: Semantics, Simulation, and Static Analysis., , and . ESOP, volume 11423 of Lecture Notes in Computer Science, page 176-204. Springer, (2019)Sharing Ghost Variables in a Collection of Abstract Domains., and . VMCAI, volume 11990 of Lecture Notes in Computer Science, page 158-179. Springer, (2020)Internal coarse-graining of molecular systems., , , , and . Proc. Natl. Acad. Sci. USA, 106 (16): 6453-6458 (2009)A Semantics of Core Erlang with Handling of Signals., , and . Erlang Workshop, page 31-38. ACM, (2023)An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models.. SASB, volume 316 of Electronic Notes in Theoretical Computer Science, page 45-65. Elsevier, (2014)Occurrence Counting Analysis for the pi-Calculus.. GETCO, volume 39 of Electronic Notes in Theoretical Computer Science, page 1-18. Elsevier, (2000)Preface., , and . Theor. Comput. Sci., (2019)Proving the Absence of Unbounded Polymers in Rule-based Models., , and . SASB, volume 350 of Electronic Notes in Theoretical Computer Science, page 33-56. Elsevier, (2020)