Jean-Paul Comet

Available identifiers

zbMath Open comet.jean-paulMaRDI QIDQ359893

List of research outcomes

Publication	Date of Publication	Type
Constrained Kripke structure for identifying parameters of biological models	2024-04-04	Paper
Constraint identification using modified Hoare logic on hybrid models of gene networks	2023-02-03	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
Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic	2020-06-15	Paper
Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes	2019-07-25	Paper
A genetically modified Hoare logic	2019-06-18	Paper
Modeling and Analysis of Gene Regulatory Networks	2018-11-13	Paper
Erratum to: ``Stable periodicity and negative circuits in differential systems	2015-02-23	Paper
On circuit functionality in Boolean networks	2013-10-11	Paper
Embedding of biological regulatory networks and property preservation	2013-08-23	Paper
On the impact of the distance between two genes on their interaction curve	2012-02-24	Paper
Stable periodicity and negative circuits in differential systems	2012-02-09	Paper
Enzymatic competition: Modeling and verification with timed hybrid Petri nets	2009-04-17	Paper
Property Preservation along Embedding of Biological Regulatory Networks	2009-02-03	Paper
Delays in Biological Regulatory Networks (BRN)	2008-12-09	Paper
Graph Transformation for Topology Modelling	2008-11-20	Paper
Necessary conditions for multistationarity in discrete dynamical systems	2007-11-30	Paper
R. Thomas' modeling of biological regulatory networks: Introduction of singular states in the qualitative dynamics	2006-06-19	Paper
Computational Methods in Systems Biology	2005-12-23	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4413205	2003-07-17	Paper
Application of max-plus algebra to biological sequence comparisons	2003-05-14	Paper

Research outcomes over time

This page was built for person: Jean-Paul Comet