Gilles Bernot

	2009
31		Gilles Bernot, Fariza Tahi: Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network. Fundam. Inform. 91(3-4): 463-485 (2009)
30		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
29		Ana C. Fierro, Raphael Thuret, Kristof Engelen, Gilles Bernot, Kathleen Marchal, Nicolas Pollet: Evaluation of time profile reconstruction from complex two-color microarray designs. BMC Bioinformatics 9: (2008)
28		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
27		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)
26		Gilles Bernot, François Képès: Chronique : Le programme d'épigénomique. Technique et Science Informatiques 26(1-2): 237-240 (2007)
	2006
25		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
24		Didier Filopon, Annabelle Mérieau, Gilles Bernot, Jean-Paul Comet, Rozenne LeBerre, Benoit Guery, Benoit Polack, Janine Guespin-Michel: Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa. BMC Bioinformatics 7: 272 (2006)
	2005
23		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		Adrien Richard, Jean-Paul Comet, Gilles Bernot: Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States. CMSB 2004: 58-72
21		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		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		Sophie Coudert, Gilles Bernot, Pascale Le Gall: Hierarchical Heterogeneous Specifications. WADT 1998: 107-121
	1997
18		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		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	[25] [28]
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	[27]
10	Christine Choppy	[1] [2] [3]
11	Christine Collet	[21]
12	Jean-Paul Comet	[22] [23] [24] [25] [27] [28] [30]
13	Sophie Coudert	[17] [19]
14	Franck Delaplace	[27]
15	Kristof Engelen	[29]
16	Ana C. Fierro	[29]
17	Didier Filopon	[24]
18	Béatrice Finance	[21]
19	Pascale Le Gall	[9] [13] [14] [17] [18] [19]
20	Marie-Claude Gaudel	[10]
21	Benoit Guery	[24]
22	Janine Guespin-Michel	[24]
23	Fabrice Jouanot	[21]
24	Zoubida Kedad	[21]
25	François Képès	[26]
26	Teodor Knapik	[12] [15] [16]
27	David Laurent	[21]
28	Rozenne LeBerre	[24]
29	Kathleen Marchal	[29]
30	Bruno Marre	[10]
31	Annabelle Mérieau	[24]
32	Céline Müller	[27]
33	Benoit Polack	[24]
34	Nicolas Pollet	[29]
35	Adrien Richard	[22] [23] [25] [28]
36	Olivier F. Roux	[25]
37	Olivier H. Roux (Olivier Roux)	[27] [28]
38	Fariza Tahi	[21] [31]
39	Raphael Thuret	[29]
40	Sylvie Troncale	[30]
41	Genoveva Vargas-Solar	[21]
42	Tuyet-Trinh Vu	[21]
43	Xiaohui Xue	[21]

Colors in the list of coauthors