Skip to Main content Skip to Navigation


hal-01357514v1  Journal articles
Stéphane Ubéda. Comparaison d'algorithmes d'amincissement d'images sur machine à base de Transputers
La Lettre du transputer et des calculateurs distribués, La Boucle informatique, 1992, pp.21-33
hal-01357895v1  Journal articles
Stéphane UbédaPierre KuonenJanez Žerovnik. Graph theory applied to mobile network optimisation
Elektroniski vestnik, 1996, 2 (63), pp.62-72
...
ensl-00086707v1  Books
Jean-Michel Muller. Arithmétique des ordinateurs
Masson, pp.214, 1989, 2-225-81689-1
...
tel-00295072v1  Theses
Dino Lopez Pacheco. Propositions for a robust and inter-operable eXplicit Control Protocol on heterogeneous high speed networks
Networking and Internet Architecture [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2008. English
...
inria-00195379v1  Reports
Stéphane Le Roux. Graphs and Path Equilibria
[Research Report] 2007, pp.41
...
tel-00007765v1  Theses
Nicolas Ollinger. Automates cellulaires : structures
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2002. Français
hal-01992078v1  Journal articles
Alhussein FawziOmar FawziPascal Frossard. Analysis of classifiers’ robustness to adversarial perturbations
Machine Learning, Springer Verlag, 2018, 107 (3), pp.481-508
...
hal-01217564v1  Journal articles
Anh Tuan GiangAnthony BussonAlain LambertDominique Gruyer. Capacity of IEEE 802.11p based VANET: models, simulations and experimentations
IEEE Transactions on Vehicular Technology, Institute of Electrical and Electronics Engineers, 2015, 15p. ⟨10.1109/TVT.2015.2474156⟩
...
hal-00922261v1  Conference papers
Anh Tuan GiangAnthony BussonAlain LambertDominique Gruyer. Topology Control in VANET and Capacity Estimation
2013 IEEE Vehicular Networking Conference (VNC), Dec 2013, BOSTON, United States. ⟨10.1109/vnc.2013.6737600⟩
...
hal-01245436v1  Journal articles
R RiediPaulo Gonçalves. A strong Tauberian theorem for characteristic functions
Applied and Computational Harmonic Analysis, Elsevier, 2015, 39, pp.6. ⟨10.1016/j.acha.2015.03.007⟩
hal-01990304v1  Journal articles
Pierre AboulkerZhentao LiStéphan Thomassé. Excluding clocks
Electronic Notes in Discrete Mathematics, Elsevier, 2015, 50, pp.103-108
...
hal-02102827v1  Reports
Sylvain ChevillardMioara JoldeşChristoph Lauter. Certified and fast computation of supremum norms of approximation errors
[Research Report] LIP RR-2008-37, Laboratoire de l'informatique du parallélisme. 2008, 2+11p
...
hal-02101816v1  Reports
Daniel HirschkoffE. LozesD. Sangiorgi. Separability, Expressiveness, and Decidability in the Ambient Logic
[Research Report] LIP RR-2002-18, Laboratoire de l'informatique du parallélisme. 2002, 2+17p
...
hal-02102599v1  Reports
Sébastien SoudanRomaric GuillierPascale Primet. End-host based mechanisms for implementing flow scheduling in GridNetworks
[Research Report] LIP RR-2007-24, Laboratoire de l'informatique du parallélisme. 2007, 2+16p
...
hal-02102602v1  Reports
Ludovic HablotOlivier GlückJean-Christophe MignotStéphane GenaudPascale Vicat-Blanc Primet. Comparison and tuning of MPI implementations in a grid context
[Research Report] LIP RR-2007-21, Laboratoire de l'informatique du parallélisme. 2007, 2+19p
...
hal-02102601v1  Reports
Romaric GuillierSébastien SoudanPascale Vicat-Blanc Primet. TCP variants and transfer time predictability in very high speed networks
[Research Report] LIP RR-2007-37, Laboratoire de l'informatique du parallélisme. 2007, 2+25p
...
hal-02101843v1  Reports
Cristopher MooreIvan RapaportEric Rémila. Tiling groups for Wang tiles
[Research Report] LIP RR-2001-32, Laboratoire de l'informatique du parallélisme. 2001, 2+14p
ensl-01892455v1  Journal articles
Katarzyna GrygielPierre Lescanne. Counting and generating terms in the binary lambda calculus
Journal of Functional Programming, Cambridge University Press (CUP), 2015, 25, ⟨10.1017/S0956796815000271⟩
...
inria-00159085v1  Journal articles
Thierry CoquandHugo Herbelin. A-Translation and Looping Combinators in Pure Type Systems
Journal of Functional Programming, Cambridge University Press (CUP), 1994, 4 (1), pp.77-88
lirmm-00806762v1  Journal articles
Jan van den HeuvelStéphan Thomassé. Cyclic orderings and cyclic arboricity of matroids
Journal of Combinatorial Theory, Series B, Elsevier, 2012, 102, pp.638-646. ⟨10.1016/j.jctb.2011.08.004⟩
hal-01993403v1  Journal articles
Maria ChudnovskyRingi KimChun-Hung LiuPaul SeymourStéphan Thomassé. Domination in tournaments
Journal of Combinatorial Theory, Series B, Elsevier, 2018, 130, pp.98-113
hal-02397396v1  Journal articles
Jung Hee CheonKyoohyung HanChangmin LeeHansol RyuDamien Stehlé. Cryptanalysis of the CLT13 Multilinear Map
Journal of Cryptology, Springer Verlag, 2019, 32 (2), pp.547-565. ⟨10.1007/s00145-018-9307-y⟩