Jean-Paul Comet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Constrained Kripke structure for identifying parameters of biological models Theoretical Computer Science	2024-04-04	Paper
Constraint identification using modified Hoare logic on hybrid models of gene networks 1515.68158	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 Journal of Theoretical Biology	2020-06-15	Paper
Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes Computational Methods in Systems Biology	2019-07-25	Paper
A genetically modified Hoare logic Theoretical Computer Science	2019-06-18	Paper
Modeling and analysis of gene regulatory networks Modeling in Computational Biology and Biomedicine	2018-11-13	Paper
Erratum to: ``Stable periodicity and negative circuits in differential systems'' Journal of Mathematical Biology	2015-02-23	Paper
On circuit functionality in Boolean networks Bulletin of Mathematical Biology	2013-10-11	Paper
Embedding of biological regulatory networks and property preservation Mathematics in Computer Science	2013-08-23	Paper
On the impact of the distance between two genes on their interaction curve Journal of Mathematical Biology	2012-02-24	Paper
Stable periodicity and negative circuits in differential systems Journal of Mathematical Biology	2012-02-09	Paper
Enzymatic competition: Modeling and verification with timed hybrid Petri nets Pattern Recognition	2009-04-17	Paper
Property Preservation along Embedding of Biological Regulatory Networks Algebraic Biology	2009-02-03	Paper
Delays in Biological Regulatory Networks (BRN) Computational Science – ICCS 2006	2008-12-09	Paper
Graph Transformation for Topology Modelling Lecture Notes in Computer Science	2008-11-20	Paper
Necessary conditions for multistationarity in discrete dynamical systems Discrete Applied Mathematics	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 Lecture Notes in Computer Science	2005-12-23	Paper
Applications and Theory of Petri Nets 2005 Lecture Notes in Computer Science	2005-12-14	Paper
scientific article; zbMATH DE number 1950548 (Why is no real title available?)	2003-07-17	Paper
Application of max-plus algebra to biological sequence comparisons Theoretical Computer Science	2003-05-14	Paper

Research outcomes over time

This page was built for person: Jean-Paul Comet