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
https://portal.mardi4nfdi.de/entity/Q5472864	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

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: Jean-Paul Comet