Bibliographie

Ouvrages et articles de référence de l'équipe

1
F. BACCELLI, P. BRÉMAUD,
Elements of Queueing Theory, Série: Applications of Mathematics,
Springer Verlag, 1994.
2
F. BACCELLI, P. BRÉMAUD,
Modélisation et Simulation des Réseaux de Communication,
Ecole Polytechnique, 2000.
3
F. BACCELLI, G. COHEN, G. OSLDER, J. QUADRAT,
Synchronization and Linearity an Algebra for Discrete Event Systems,
Wiley, 1992.

Thèses et habilitations à diriger des recherches

4
D. HONG,
Exposants de Lyapunov de Réseaux Stochastiques Max-Plus Linéaires,
thèse de doctorat, Ecole Polytechnique, Mai 2000.
5
K. TCHOUMATCHENKO,
Modélisation de réseaux de communication par la géometrie stochastique,
thèse de doctorat, université de Nice Sophia Antipolis, Décembre 1999.

Articles et chapitres de livre

6
F. BACCELLI, D. HONG,
« Analyticity of Iterates of Random Non-Expansive Maps »,
Adv. in Appl.Prob. 32(1), 2000, p. 193-220.
7
F. BACCELLI, D. HONG,
« Slotted Jackson Networks »,
QUESTA, 2000,
Soumis pour publication.
8
F. BACCELLI, D. MAC DONALD,
« Rare Events for Stationary Proceesses »,
Stoch. Proc. and Appl., 89, 2000, p. 141-173.
9
F. BACCELLI, K. TCHOUMATCHENKO, S. ZUYEV,
« Markov Paths on the Poisson Delaunay Graph »,
Adv. in Appl.Prob. 32(1), 2000, p. 1-18.
10
B. BASZCZYSZYN, C. RAU, V. SCHMIDT,
« Bounds for clump size characteristics in the Boolean model »,
Adv. in Appl.Prob. 31, 1999, p. 910-938.
11
S. HAAR,
« Occurrence Net Logics »,
Fundamenta Informaticae 43, Août 2000, p. 105-127.
12
J. MARTIN,
« Point Processes in Fast Jackson Networks »,
Ann. Appl. Probab., 2000,
à paraître.

Communications à des congrès, colloques, etc.

13
F. BACCELLI, D. HONG,
« TCP is Max-Plus Linear »,
in: Proceedings of ACM-Sigcomm,
Stockhom, Suède, Septembre 2000. Rapport INRIA 3986, Août 2000.
14
B. GAUJAL, S. HAAR,
« A Limit Semantics for Timed Petri Nets »,
in: Proceedings WODES, Kluwer, p. 219-226,
Gent, Belgique, Août 2000.
15
S. HAAR, L. KAISER, F. SIMONOT-LION, J. TOUSSAINT,
« Using and translating equivalent Models: Timed State Machines and Time Petri Nets »,
in: TACAS 2001,
Soumis.

Rapports de recherche et publications internes

16
F. BACCELLI, B. BASZCZYSZYN,
« On a coverage process ranging from the Boolean model to the Poisson Voronoi tessellation, with applications to wireless communications »,
RR no 4019, INRIA, Rocquencourt, Octobre 2000,
http://www.inria.fr/rrrt/rr-4019.html.
17
A. CHAINTREAU, F. BACCELLI, C. DIOT,
« Impact of Network Delay Variation on Multicast Session Performance With TCP-like Congestion Control »,
RR no 3987, INRIA, Rocquencourt, Septembre 2000,
http://www.inria.fr/rrrt/rr-3987.html.
18
S. GAUBERT, D. HONG,
« Series Expansions of Lyapunov Exponents and Forgetful Monoids »,
RR no 3971, INRIA, Rocquencourt, Juillet 2000,
http://www.inria.fr/rrrt/rr-3971.html.
19
J. MARTIN,
« Large Tandem Queueing Networks with Blocking »,
RR no 4034, INRIA, Rocquencourt, Octobre 2000,
http://www.inria.fr/rrrt/rr-4034.html.
20
J. MARTIN,
« Linear Growth for Greedy Lattice Animals »,
RR no 4035, INRIA, Rocquencourt, Octobre 2000,
http://www.inria.fr/rrrt/rr-4035.html.

Divers

21
A. BOUILLARD,
Calcul du temps de réponse de systèmes temps réel dans le semi-anneau (max,plus),
Rapport de stage, Ecole Normale Supérieure, Septembre 2000.
22
J. GUYON,
Analyse du protocole de contrôle de flux de l'Internet: cas d'une double connexion,
Rapport de stage d'option, Ecole Polytechnique, Juin 2000.

Bibliographie générale

BBM
F. BACCELLI, A. BOROVKOV, J. MAIRESSE,
« Asymptotic Results on Infinite Tandem Queueing Networks »,
à paraître dans PTRF.
BGS
F. BACCELLI, B. GAUJAL, D. SIMON,
« Analysis of Preemptive Periodic Real Time Systems using the (max,plus) Algebra »,
Rapport INRIA 3778, 1999, soumis à IEEE CST, 2000.
BH
F. BACCELLI, D. HONG,
« Analytic Expansions of (max,+) Lyapunov Exponents »,
à paraître dans Annals of Appl. Prob.
BHL00
F. BACCELLI, D. HONG, Z. LIU,
« Fixed Point Methods for the Simulation of a Large Number of Interacting TCP Connections »,
Communication présentée au Workshop on the modeling of flow and congestion control mechanisms, 4-6 Septembre 2000.