Gilles Bernot

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
What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer	2022-12-22	Paper
Exception handling and term labelling Lecture Notes in Computer Science	2022-11-02	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
On the impact of the distance between two genes on their interaction curve Journal of Mathematical Biology	2012-02-24	Paper
Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network Fundamenta Informaticae	2009-06-23	Paper
Enzymatic competition: Modeling and verification with timed hybrid Petri nets Pattern Recognition	2009-04-17	Paper
Delays in Biological Regulatory Networks (BRN) Computational Science – ICCS 2006	2008-12-09	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
scientific article; zbMATH DE number 1368947 (Why is no real title available?)	2000-09-18	Paper
scientific article; zbMATH DE number 1418366 (Why is no real title available?)	2000-07-09	Paper
Observational specifications and the indistinguishability assumption Theoretical Computer Science	1997-02-28	Paper
Label algebras and exception handling Science of Computer Programming	1995-04-10	Paper
Behavioural approaches to algebraic specifications. A comparative study Acta Informatica	1994-12-18	Paper
Correctness proofs for abstract implementations Information and Computation	1989-01-01	Paper
scientific article; zbMATH DE number 4153905 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4043228 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3943002 (Why is no real title available?)	1986-01-01	Paper
Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors Theoretical Computer Science	1986-01-01	Paper
scientific article; zbMATH DE number 3938540 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Gilles Bernot