Gilles Bernot

According to our database1, Gilles Bernot authored at least 48 papers between 1986 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism.
Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021

2020
What is a Cell Cycle Checkpoint? The TotemBioNet Answer.
Proceedings of the Computational Methods in Systems Biology, 2020

2019
A genetically modified Hoare logic.
Theor. Comput. Sci., 2019

Modeling of Goal-oriented Human Motion Evolution using Hidden Markov Models.
Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019

2018
Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free.
Proceedings of the Biomedical Engineering Systems and Technologies, 2018

Computer-aided Formal Proofs about Dendritic Integration within a Neuron.
Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018), 2018

2017
Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes.
Proceedings of the Computational Methods in Systems Biology, 2017

A Qualitative Framework Dedicated to Toxicology.
Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

2016
A hybrid model of cell cycle in mammals.
J. Bioinform. Comput. Biol., 2016

2015
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network.
Proceedings of the Computational Methods in Systems Biology, 2015

2012
Simplified Models for the Mammalian Circadian Clock.
Proceedings of the 3rd International Conference on Computational Systems-Biology and Bioinformatics, 2012

2011
Computing with bacterial constituents, cells and populations: from bioputing to bactoputing.
Theory Biosci., 2011

2010
A Formal Model for Gene Regulatory Networks with Time Delays.
Proceedings of the Computational Systems-Biology and Bioinformatics, 2010

2009
Enzymatic competition: Modeling and verification with timed hybrid petri nets.
Pattern Recognit., 2009

Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network.
Fundam. Informaticae, 2009

On the Use of Temporal Formal Logic to Model Gene Regulatory Networks.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2009

2008
Analysing formal models of genetic regulatory networks with delays.
Int. J. Bioinform. Res. Appl., 2008

A stochastic automaton shows how enzyme assemblies may contribute to metabolic efficiency.
BMC Syst. Biol., 2008

Evaluation of time profile reconstruction from complex two-color microarray designs.
BMC Bioinform., 2008

2007
Chronique : Le programme d'épigénomique.
Tech. Sci. Informatiques, 2007

2006
Epigenetic acquisition of inducibility of type III cytotoxicity in <i>P. aeruginosa</i>.
BMC Bioinform., 2006

Delays in Biological Regulatory Networks (BRN).
Proceedings of the Computational Science, 2006

2005
R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics.
Fundam. Informaticae, 2005

2004
Towards a Mediation System Framework for Transparent Access to Largely Distributed Sources. The MediaGrid Project.
Proceedings of the Semantics for Grid Databases, 2004

Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003
Semantics of Biological Regulatory Networks.
Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003

Marked Regulatory Graphs: A Formal Framework to Simulate Biological Regulatory Networks with Simple Automata.
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

1999
The Role of Formal Specifications.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

1998
Hierarchical Heterogeneous Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997
A Theory of Probabilistic Functional Testing.
Proceedings of the Pulling Together, 1997

1996
Towards Heterogeneous Formal Specification.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Observational Specifications and the Indistinguishability Assumption.
Theor. Comput. Sci., 1995

1994
Label Algebras and Exception Handling.
Sci. Comput. Program., 1994

Behavioural Approaches to Algebraic Specifications: A Comparative Study.
Acta Informatica, 1994

1993
Exception Handling and Term Labelling.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992
Towards an Adequate Notion of Observation.
Proceedings of the ESOP '92, 1992

1991
Software testing based on formal specifications: a theory and a tool.
Softw. Eng. J., 1991

Testing Against Formal Specifications: A Theoretical View.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Label Algebras: A Systematic Use of Terms.
Proceedings of the Recent Trends in Data Type Specification, 1991

A Formal Approach to Software Testing.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1989
Correctness Proofs for Abstract Implementation
Inf. Comput., February, 1989

1987
Good Functors... are Those Preserving Philosophy.
Proceedings of the Category Theory and Computer Science, 1987

1986
Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors.
Theor. Comput. Sci., 1986

Abstract Implementations and Correctness Proofs.
Proceedings of the STACS 86, 1986

Algebraic Semantics of Exception Handling.
Proceedings of the ESOP 86, 1986

Correctness Proofs for Abstract Implementations.
Proceedings of the 4st Workshop on Abstract Data Type, 1986

Abstract Implementation with Exception Handling.
Proceedings of the 4st Workshop on Abstract Data Type, 1986


  Loading...