Gilles Bernot

Available identifiers

zbMath Open bernot.gillesMaRDI QIDQ662599

List of research outcomes

Publication	Date of Publication	Type
What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer	2022-12-22	Paper
Exception handling and term labelling	2022-11-02	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
On the impact of the distance between two genes on their interaction curve	2012-02-24	Paper
Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network	2009-06-23	Paper
Enzymatic competition: Modeling and verification with timed hybrid Petri nets	2009-04-17	Paper
Delays in Biological Regulatory Networks (BRN)	2008-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5472864	2006-06-19	Paper
Computational Methods in Systems Biology	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4702591	2000-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4941929	2000-07-09	Paper
Observational specifications and the indistinguishability assumption	1997-02-28	Paper
Label algebras and exception handling	1995-04-10	Paper
Behavioural approaches to algebraic specifications. A comparative study	1994-12-18	Paper
Correctness proofs for abstract implementations	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3482823	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3780422	1987-01-01	Paper
Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709866	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3713576	1986-01-01	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: Gilles Bernot