Gérard Cécé

	2011
8		Gérard Cécé, Alain Giorgetti: Simulations over Two-Dimensional On-Line Tessellation Automata. Developments in Language Theory 2011: 141-152
	2008
7		Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier: Efficiency of automata in semi-commutation verification techniques. ITA 42(2): 197-215 (2008)
6		Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier: Clôtures transitives de semi-commutations et model-checking régulier. Technique et Science Informatiques 27(1-2): 7-28 (2008)
	2005
5		Gérard Cécé, Alain Finkel: Verification of programs with half-duplex communication. Inf. Comput. 202(2): 166-190 (2005)
	2002
4		Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair: Automatic Approximation for the Verification of Cryptographic Protocols. FASec 2002: 33-48
	1997
3		Gérard Cécé, Alain Finkel: Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract). CAV 1997: 304-315
	1996
2		Gérard Cécé, Alain Finkel, S. Purushothaman Iyer: Unreliable Channels are Easier to Verify Than Perfect Channels. Inf. Comput. 124(1): 20-31 (1996)
	1994
1		Gérard Cécé, Alain Finkel, S. Purushothaman Iyer: Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels. SIGSOFT FSE 1994: 35-43

Coauthor Index

1	Alain Finkel	[1] [2] [3] [5]
2	Alain Giorgetti	[8]
3	Pierre-Cyrille Héam	[6] [7]
4	S. Purushothaman Iyer (S. Purushothaman)	[1] [2]
5	Olga Kouchnarenko	[4]
6	Yann Mainier	[6] [7]
7	Frédéric Oehl	[4]
8	David Sinclair	[4]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page