Gilles Bernot

From MaRDI portal
Person:662599

Available identifiers

zbMath Open bernot.gillesMaRDI QIDQ662599

List of research outcomes





PublicationDate of PublicationType
What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer2022-12-22Paper
Exception handling and term labelling2022-11-02Paper
Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic2020-06-15Paper
Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes2019-07-25Paper
A genetically modified Hoare logic2019-06-18Paper
Modeling and Analysis of Gene Regulatory Networks2018-11-13Paper
On the impact of the distance between two genes on their interaction curve2012-02-24Paper
Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network2009-06-23Paper
Enzymatic competition: Modeling and verification with timed hybrid Petri nets2009-04-17Paper
Delays in Biological Regulatory Networks (BRN)2008-12-09Paper
R. Thomas' modeling of biological regulatory networks: Introduction of singular states in the qualitative dynamics2006-06-19Paper
Computational Methods in Systems Biology2005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q47025912000-09-18Paper
https://portal.mardi4nfdi.de/entity/Q49419292000-07-09Paper
Observational specifications and the indistinguishability assumption1997-02-28Paper
Label algebras and exception handling1995-04-10Paper
Behavioural approaches to algebraic specifications. A comparative study1994-12-18Paper
Correctness proofs for abstract implementations1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34828231989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37804221987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37135761986-01-01Paper
Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37098661986-01-01Paper

Research outcomes over time

This page was built for person: Gilles Bernot