Gilles Bernot

2009
28	EE	Sylvie Troncale, Jean-Paul Comet, Gilles Bernot: Enzymatic competition: Modeling and verification with timed hybrid petri nets. Pattern Recognition 42(4): 562-566 (2009)
2008
27	EE	Jamil Ahmad, Olivier Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard: Analysing formal models of genetic regulatory networks with delays. IJBRA 4(3): 240-262 (2008)
2007
26	EE	Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux: Semantics of Biological Regulatory Networks. Electr. Notes Theor. Comput. Sci. 180(3): 3-14 (2007)
25	EE	Gilles Bernot, François Képès: Chronique : Le programme d'épigénomique. Technique et Science Informatiques 26(1-2): 237-240 (2007)
2006
24	EE	Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux: Delays in Biological Regulatory Networks (BRN). International Conference on Computational Science (2) 2006: 887-894
2005
23	EE	Adrien Richard, Jean-Paul Comet, Gilles Bernot: R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics. Fundam. Inform. 65(4): 373-392 (2005)
2004
22	EE	Adrien Richard, Jean-Paul Comet, Gilles Bernot: Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States. CMSB 2004: 58-72
21	EE	Christine Collet, Khalid Belhajjame, Gilles Bernot, Christophe Bobineau, Gennaro Bruno, Béatrice Finance, Fabrice Jouanot, Zoubida Kedad, David Laurent, Fariza Tahi, Genoveva Vargas-Solar, Tuyet-Trinh Vu, Xiaohui Xue: Towards a Mediation System Framework for Transparent Access to Largely Distributed Sources. The MediaGrid Project. ICSNW 2004: 65-78
2003
20	EE	Vincent Bassano, Gilles Bernot: Marked Regulatory Graphs: A Formal Framework to Simulate Biological Regulatory Networks with Simple Automata. IEEE International Workshop on Rapid System Prototyping 2003: 93-99
1998
19	EE	Sophie Coudert, Gilles Bernot, Pascale Le Gall: Hierarchical Heterogeneous Specifications. WADT 1998: 107-121
1997
18	EE	Gilles Bernot, Laurent Bouaziz, Pascale Le Gall: A Theory of Probabilistic Functional Testing. ICSE 1997: 216-226
1996
17		Gilles Bernot, Sophie Coudert, Pascale Le Gall: Towards Heterogeneous Formal Specification. AMAST 1996: 458-472
1995
16	EE	Gilles Bernot, Michel Bidoit, Teodor Knapik: Observational Specifications and the Indistinguishability Assumption. Theor. Comput. Sci. 139(1&2): 275-314 (1995)
1994
15		Gilles Bernot, Michel Bidoit, Teodor Knapik: Behavioural Approaches to Algebraic Specifications: A Comparative Study. Acta Inf. 31(7): 651-671 (1994)
14		Gilles Bernot, Pascale Le Gall, Marc Aiguier: Label Algebras and Exception Handling. Sci. Comput. Program. 23(2-3): 227-286 (1994)
1993
13		Gilles Bernot, Pascale Le Gall: Exception Handling and Term Labelling. TAPSOFT 1993: 421-436
1992
12		Gilles Bernot, Michel Bidoit, Teodor Knapik: Towards an Adequate Notion of Observation. ESOP 1992: 39-55
1991
11		Gilles Bernot, Michel Bidoit: Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. AMAST 1991: 216-239
10		Gilles Bernot, Marie-Claude Gaudel, Bruno Marre: A Formal Approach to Software Testing. AMAST 1991: 243-253
9		Gilles Bernot, Pascale Le Gall: Label Algebras: A Systematic Use of Terms. COMPASS/ADT 1991: 144-163
8		Gilles Bernot: Testing Against Formal Specifications: A Theoretical View. TAPSOFT, Vol.2 1991: 99-119
1989
7		Gilles Bernot: Correctness Proofs for Abstract Implementation Inf. Comput. 80(2): 121-151 (1989)
1987
6		Gilles Bernot: Good Functors... are Those Preserving Philosophy. Category Theory and Computer Science 1987: 182-195
1986
5		Gilles Bernot: Abstract Implementation with Exception Handling. ADT 1986
4		Gilles Bernot: Correctness Proofs for Abstract Implementations. ADT 1986
3		Gilles Bernot, Michel Bidoit, Christine Choppy: Algebraic Semantics of Exception Handling. ESOP 1986: 173-186
2		Gilles Bernot, Michel Bidoit, Christine Choppy: Abstract Implementations and Correctness Proofs. STACS 1986: 236-251
1		Gilles Bernot, Michel Bidoit, Christine Choppy: Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors. Theor. Comput. Sci. 46(3): 13-45 (1986)

Coauthor Index

1	Jamil Ahmad	[24] [27]
2	Marc Aiguier	[14]
3	Vincent Bassano	[20]
4	Khalid Belhajjame	[21]
5	Michel Bidoit	[1] [2] [3] [11] [12] [15] [16]
6	Christophe Bobineau	[21]
7	Laurent Bouaziz	[18]
8	Gennaro Bruno	[21]
9	Franck Cassez	[26]
10	Christine Choppy	[1] [2] [3]
11	Christine Collet	[21]
12	Jean-Paul Comet	[22] [23] [24] [26] [27] [28]
13	Sophie Coudert	[17] [19]
14	Franck Delaplace	[26]
15	Béatrice Finance	[21]
16	Pascale Le Gall	[9] [13] [14] [17] [18] [19]
17	Marie-Claude Gaudel	[10]
18	Fabrice Jouanot	[21]
19	Zoubida Kedad	[21]
20	François Képès	[25]
21	Teodor Knapik	[12] [15] [16]
22	David Laurent	[21]
23	Bruno Marre	[10]
24	Céline Müller	[26]
25	Adrien Richard	[22] [23] [24] [27]
26	Olivier F. Roux	[24]
27	Olivier H. Roux (Olivier Roux)	[26] [27]
28	Fariza Tahi	[21]
29	Sylvie Troncale	[28]
30	Genoveva Vargas-Solar	[21]
31	Tuyet-Trinh Vu	[21]
32	Xiaohui Xue	[21]

Colors in the list of coauthors