Gilles Bernot Vis

*	2009
30	EE	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)
29	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
28	EE	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)
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	EE	Gilles Bernot, Pascale Le Gall: Exception Handling and Term Labelling. TAPSOFT 1993: 421-436
	1992
12	EE	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	EE	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	EE	Gilles Bernot, Michel Bidoit, Christine Choppy: Algebraic Semantics of Exception Handling. ESOP 1986: 173-186
2	EE	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] [29]
13	Sophie Coudert	[17] [19]
14	Franck Delaplace	[26]
15	Kristof Engelen	[28]
16	Ana C. Fierro	[28]
17	Béatrice Finance	[21]
18	Pascale Le Gall	[9] [13] [14] [17] [18] [19]
19	Marie-Claude Gaudel	[10]
20	Fabrice Jouanot	[21]
21	Zoubida Kedad	[21]
22	François Képès	[25]
23	Teodor Knapik	[12] [15] [16]
24	David Laurent	[21]
25	Kathleen Marchal	[28]
26	Bruno Marre	[10]
27	Céline Müller	[26]
28	Nicolas Pollet	[28]
29	Adrien Richard	[22] [23] [24] [27]
30	Olivier F. Roux	[24]
31	Olivier H. Roux (Olivier Roux)	[26] [27]
32	Fariza Tahi	[21] [30]
33	Raphael Thuret	[28]
34	Sylvie Troncale	[29]
35	Genoveva Vargas-Solar	[21]
36	Tuyet-Trinh Vu	[21]
37	Xiaohui Xue	[21]

Colors in the list of coauthors