Patrick Bellot

2008
18	EE	Quoc-Cuong Le, Patrick Bellot, Akim Demaille: Towards the World-Wide Quantum Network. ISPEC 2008: 218-232
17	EE	Loic Baud, Nguyen Pham, Patrick Bellot: Robust overlay network with Self-Adaptive topology: Protocol description. RIVF 2008: 154-160
2007
16	EE	Qing Xu, M. B. C. Silva, Jean-Luc Danger, Sylvain Guilley, Patrick Bellot, Philippe Gallion, Francisco Mendieta: Towards Quantum Key Distribution System using Homodyne Detection with Differential Time-Multiplexed Reference. RIVF 2007: 158-165
15	EE	C. Le Quoc, Patrick Bellot, Akim Demaille: Stochastic routing in large grid-shaped quantum networks. RIVF 2007: 166-174
2006
14	EE	Quoc-Cuong Le, Patrick Bellot: Enhancement of AGT telecommunication security using quantum cryptography. RIVF 2006: 7-16
1999
13		Patrick Bellot, J.-P. Cottin, Bernard Robinet, Djamil Sarni, J. Leneutre, Emmanuel Zarpas: Prolegomena of a Logic of Causality and Dynamism. Studia Logica 62(1): 77-105 (1999)
1998
12	EE	Patrick Bellot, Bernard Robinet: Logical Synthesis of Imperative O. O. Programs. LOPSTR 1998: 316-318
1995
11		Patrick Bellot, Olivier Camp, Christophe Matiachoff: Explicit Implementation of a Constraint Solving Mechanism in a Relational Programming System. GULP-PRODE 1995: 401-408
10		Patrick Bellot, Olivier Camp, Christophe Matiachoff: An Overview of MILES and its constraint solving mechanism. JFPLC 1995: 387-390
1988
9		Patrick Bellot: Unformly Applicative Structures, A Theory of Computability and Polyadic Functions. FSTTCS 1988: 270-285
8		Patrick Bellot, Remi Legrand: Functions and Relations: The GRAAL System. STACS 1988: 389-390
7		Patrick Bellot, Djamil Sarni: Proposal for A Natural Formalization of Functional Programming Concepts. ITA 22(3): 341-360 (1988)
1987
6		Patrick Bellot, Véronique Jay: A theory for natural modelisation and implementation of functions with variable arity. FPCA 1987: 212-233
1986
5		Patrick Bellot: GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine. ESOP 1986: 82-98
1985
4		Patrick Bellot, Bernard Robinet: Streams are not Dreams. Combinators and Functional Programming Languages 1985: 1-20
3		Patrick Bellot: High Order Programming in Extended FP. FPCA 1985: 65-80
2		Patrick Bellot: A New Proof for Craig's Theorem. J. Symb. Log. 50(2): 395-396 (1985)
1984
1		Patrick Bellot: Sémantiques comparées des systeèmes de programmation fonctioneele FP et FFP de J. W. Backus. Symposium on Programming 1984: 23-34

Coauthor Index

1	Loic Baud	[17]
2	Olivier Camp	[10] [11]
3	J.-P. Cottin	[13]
4	Jean-Luc Danger	[16]
5	Akim Demaille	[15] [18]
6	Philippe Gallion	[16]
7	Sylvain Guilley	[16]
8	Véronique Jay	[6]
9	Quoc-Cuong Le	[14] [18]
10	Remi Legrand	[8]
11	J. Leneutre	[13]
12	Christophe Matiachoff	[10] [11]
13	Francisco Mendieta	[16]
14	Nguyen Pham	[17]
15	C. Le Quoc	[15]
16	Bernard Robinet	[4] [12] [13]
17	Djamil Sarni	[7] [13]
18	M. B. C. Silva	[16]
19	Qing Xu	[16]
20	Emmanuel Zarpas	[13]

Colors in the list of coauthors