Hélène Collavizza

Available identifiers

zbMath Open collavizza.heleneMaRDI QIDQ968352

List of research outcomes

Publication	Date of Publication	Type
Constrained Kripke structure for identifying parameters of biological models	2024-04-04	Paper
What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer	2022-12-22	Paper
Greening R. Thomas' framework with environment variables: a divide and conquer approach	2022-05-25	Paper
Forward with Hoare	2010-10-26	Paper
CPBPV: a constraint-programming framework for bounded program verification	2010-05-05	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
Comparing partial consistencies	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4944887	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4949361	1999-01-01	Paper

Research outcomes over time

This page was built for person: Hélène Collavizza