Login / Signup
Laetitia Gibart
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Autonomous Agents
Modal Logic
Parametric Models
Free Parameters
Top Venues
CMSB
BIOINFORMATICS
Theor. Comput. Sci.
</>
Publications
</>
Jean-Paul Comet
,
Hélène Collavizza
,
Laetitia Gibart
Constrained Kripke structure for identifying parameters of biological models.
Theor. Comput. Sci.
996 (2024)
Laetitia Gibart
,
Hélène Collavizza
,
Jean-Paul Comet
Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach.
CMSB
(2021)
Laetitia Gibart
,
Gilles Bernot
,
Hélène Collavizza
,
Jean-Paul Comet
TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism.
BIOINFORMATICS
(2021)