Jerome Feret

Available identifiers

zbMath Open feret.jeromeMaRDI QIDQ418842

List of research outcomes

Publication	Date of Publication	Type
Counters in Kappa: semantics, simulation, and static analysis	2023-11-24	Paper
A generic framework to coarse-grain stochastic reaction networks by abstract interpretation	2023-08-17	Paper
Reachability analysis via orthogonal sets of patterns	2022-04-25	Paper
Tropical abstraction of biochemical reaction networks with guarantees	2021-02-22	Paper
Proving the absence of unbounded polymers in rule-based models	2021-02-22	Paper
Sharing ghost variables in a collection of abstract domains	2020-08-05	Paper
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models	2017-01-26	Paper
An algebraic approach for inferring and using symmetries in rule-based models	2016-12-16	Paper
Formal Reduction for Rule-based Models	2016-07-15	Paper
Combining Model Reductions	2016-07-08	Paper
Intrinsic information carriers in combinatorial dynamical systems	2015-05-19	Paper
Fragments-based Model Reduction: Some Case Studies	2014-03-21	Paper
Lumpability abstractions of rule-based systems	2012-05-30	Paper
Why does Astrée scale up?	2010-02-05	Paper
Rule-Based Modelling of Cellular Signalling	2008-09-18	Paper
Rule-Based Modelling, Symmetries, Refinements	2008-06-17	Paper
Abstract Interpretation of Cellular Signalling Networks	2008-04-04	Paper
Programming Languages and Systems	2007-09-28	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Programming Languages and Systems	2005-09-13	Paper
Abstract interpretation of mobile systems	2005-04-18	Paper
https://portal.mardi4nfdi.de/entity/Q4738364	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4414726	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4778710	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q2722053	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q2703725	2001-05-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jerome Feret