Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By structure
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Search
Filters
Sub-domain level 1 ×
All ×
11459 results
save search
Document types
Reports
(6827)
Conference papers
(2655)
Journal articles
(835)
Theses
(777)
Book sections
(173)
Directions of work or proceedings
(44)
Books
(37)
Preprints, Working Papers, ...
(32)
Other publications
(27)
Habilitation à diriger des recherches
(21)
Lectures
(12)
Poster communications
(8)
Patents
(5)
Documents associated with scientific events
(3)
Master thesis
(2)
Videos
(1)
Author
Tarek Abbes
(7)
Amel Ben Abda
(7)
Remi Abgrall
(14)
Serge Abiteboul
(16)
Jean-Raymond Abrial
(6)
Cédric Adjih
(17)
Riad Aggoune
(8)
Giovanni Agosta
(8)
Christian Ah-Soon
(11)
Marianne Akian
(14)
Frédéric Alauzet
(6)
Luc Albert
(6)
Frédéric Alexandre
(59)
Francis Alexandre
(11)
Pierre Alliez
(11)
Laurent Alonso
(21)
Mohamed Ali Aloulou
(17)
Gülgün Alpan
(8)
Eitan Altman
(77)
Roberto M. Amadio
(16)
Henri Amet
(8)
Laurent Amsaleg
(11)
Emmanuelle Anceaume
(12)
Rumen Andonov
(8)
Laurent Andrey
(17)
Françoise André
(11)
Jacques André
(7)
Fabienne Anhalt
(6)
Christophe Antoine
(8)
Gabriel Antoniu
(19)
René Anxionnat
(13)
Daniel Archambault
(6)
Masoud Saeida Ardekani
(8)
Alessandro Armando
(6)
Bruno Arnaldi
(9)
Vincent Arsigny
(7)
Isabelle Attali
(7)
David Auber
(14)
Gilles Aubert
(13)
Daniel Augot
(6)
Jean-François Aujol
(7)
Marco Autili
(7)
Konstantin Avrachenkov
(16)
Nicholas Ayache
(65)
Olivier Aycard
(24)
Emmanuel Baccelli
(8)
François Baccelli
(80)
Rémi Badonnel
(6)
Eric Badouel
(19)
Didier Badouel
(6)
Sandie Balaguer
(6)
Paolo Baldan
(8)
Roberto Baldoni
(7)
Valter Balegas
(6)
Vlad Bally
(13)
A. Bamberger
(9)
Michel Banâtre
(34)
Jean-Pierre Banâtre
(14)
Chadi Barakat
(25)
Laurent Baratchart
(13)
Christian Barillot
(9)
Vincent Barreaud
(6)
Dominique Barth
(8)
Andrea Bartolini
(8)
Michèle Basseville
(29)
Karim Baïna
(13)
Olivier Beaumont
(13)
Bruno Beauquier
(7)
Andrea Beccari
(8)
Abdel Belaïd
(51)
David Bellot
(7)
Khalid Benali
(15)
Jean-David Benamou
(16)
Yassine Benayed
(10)
Luca Benini
(8)
Marc Benoît
(8)
Albert Benveniste
(85)
Boumediene Benyahia
(6)
Florence Le Ber
(38)
Sandra Berasaluce
(6)
Marie-Odile Berger
(48)
Amine Bermak
(6)
Jean-Claude Bermond
(14)
Michel Bernadou
(31)
Olivier Bernard
(7)
Pierre Bernhard
(12)
Gérard Berry
(20)
Marc Berthod
(20)
Jean-Yves Berthou
(9)
Clara Bertolissi
(7)
Yves Bertot
(21)
Loïc Besnard
(10)
Jérôme Besombes
(12)
Pierre Bessière
(22)
Jean-Luc Beuchat
(12)
Sami Bhiri
(6)
Thérèse Biedl
(7)
Marius Bilasco
(9)
João Bispo
(8)
Julia Bitcheva
(6)
Patrick Blackburn
(13)
Frédéric Blaise
(10)
Laure Blanc-Féraud
(15)
Bartlomiej Blaszczyszyn
(9)
Pierre-Alexandre Bliman
(15)
Alexander Bockmayr
(37)
François Bodin
(20)
Jean-Daniel Boissonnat
(50)
Sylvie Boldo
(7)
Benedikt Bollig
(8)
Florian Bonacina
(8)
Guillaume Bonfante
(17)
Yann Boniface
(12)
J. Frederic Bonnans
(58)
Anne Bonneau
(16)
Charles Bordenave
(6)
Michel Le Borgne
(10)
Houman Borouchaki
(25)
Peter Borovansky
(9)
Henry J. Borron
(7)
Najoua Bouaka
(6)
Mohamed Salah Bouassida
(9)
Kadi Bouatouch
(25)
Sara Bouchenak
(10)
Nacer Boudjlida
(17)
Gérard Boudol
(34)
Laurent Bougrain
(16)
Luc Bougé
(19)
Adel Bouhoula
(16)
Nozha Boujemaa
(8)
Pierre Boulet
(7)
Pierre Boullier
(13)
Jean-François Bourgat
(8)
Christine Bourjot
(13)
Patricia Bournai
(6)
Olivier Bournez
(44)
Romain Bourqui
(13)
Frédéric Boussinot
(20)
Patrick Bouthemy
(25)
Christophe Bouthier
(11)
Makram Bouzid
(7)
Anne Boyer
(16)
Edmond Boyer
(7)
Serge Bracard
(7)
Sébastien Brachais
(7)
Christophe Braillon
(9)
Mark G. J. van den Brand
(7)
Christiane Branlant
(6)
Yann Brenier
(9)
Nicolas Brisebarre
(17)
Marie-Odile Bristeau
(9)
Bernard Brogliato
(15)
Armelle Brun
(17)
Christian Brunette
(6)
Hervé Brönnimann
(10)
Khaled Bsaïes
(9)
David Bueno
(9)
Olivier Buffet
(12)
Julien Burlet
(9)
Eliane Bécache
(12)
Gilbert Cabillic
(6)
Jordi Cabot
(6)
Martine Cadot
(20)
Martine Cadot
(7)
Jean-Pierre Le Cadre
(6)
Benoît Caillaud
(37)
Simone Camarri
(7)
Paul Camion
(13)
Fabien Campillo
(13)
Gérôme Canals
(19)
Marie-Paule Cani
(6)
Yves Caniou
(13)
Dominique Cansell
(38)
Anne Canteaut
(8)
Frédéric Cao
(8)
Antonio Capobianco
(13)
Franck Cappello
(7)
Noëlle Carbonell
(28)
Denis Caromel
(9)
Pierre-André Caron
(11)
Eddy Caron
(26)
Romuald Carpentier
(6)
Eduardo Casas
(6)
Paul Caspi
(7)
Ilaria Castellani
(14)
Claude Castelluccia
(11)
Paolo Castelpietra
(10)
Carlos Castro
(9)
Didier Caucal
(9)
Carlo Cavazzoni
(8)
Xavier Cavin
(14)
Frédéric Cazals
(19)
Gilles Celeux
(39)
Christophe Cerisara
(22)
Ghassan Chaddoud
(12)
Augustin Chaintreau
(6)
Zbigniew Chamski
(7)
François Charot
(7)
François Charoy
(25)
François Charpillet
(75)
Pascale Charpin
(9)
Philippe Chartier
(10)
Romaric Charton
(10)
Philippe Chassaing
(7)
Thomas Chatain
(18)
Claude Chaudet
(12)
Satyaveer Singh Chauhan
(7)
François Chaumette
(17)
Fabrice Chauvet
(12)
Guy Chavent
(32)
Guillaume Chelius
(12)
Philippe Le Chenadec
(8)
Hacène Cherfi
(12)
Stefano Cherubin
(6)
Yannick Chevalier
(18)
Vincent Chevrier
(32)
Christophe Choisy
(15)
Gérard Chollet
(10)
Isabelle Chrisment
(32)
Chengbin Chu
(17)
Frédéric Chyzak
(10)
Adam Cichon
(6)
Horatiu Cirstea
(23)
Thomas Heide Clausen
(9)
Dominique Clement
(6)
Maureen Clerc
(8)
Lionel Clément
(7)
François Clément
(12)
Radim Cmar
(7)
Isaac Cohen
(9)
Johanne Cohen
(8)
Albert Cohen
(10)
Laurent D. Cohen
(7)
Johanne Cohen
(11)
Albert Cohen
(8)
David Cohen-Steiner
(10)
Francis Collino
(19)
Dominique Colnet
(23)
Vincent Colotte
(13)
Charles Consel
(18)
Colin Cooper
(8)
T. Coquand
(6)
Olivier Corby
(9)
Véronique Cortier
(7)
Michel Cosnard
(12)
Philippe Coucaud
(9)
Paul Couderc
(15)
David Coudert
(7)
Olivier Coulaud
(14)
Sylvain Coulonges
(8)
Arnaud Courtois
(6)
Patrick Cousot
(9)
Radhia Cousot
(10)
Raphaël Couturier
(7)
Tyler Crain
(6)
Vincent Cridlig
(8)
Samuel Cruz-Lara
(11)
François Cuny
(9)
Javier Cánovas
(9)
Frédéric Cérou
(9)
Guy-Marie Côme
(7)
Mathieu d'Aquin
(15)
Fadi El Dabaghi
(8)
Walid Dabbous
(16)
Khalid Daoudi
(20)
Philippe Darondeau
(30)
Alain Darte
(7)
Marc Daumas
(10)
Amos Abayomi David
(33)
Isabelle Debled-Rennesson
(19)
David Defour
(8)
Jean-Luc Dekeyser
(11)
François Delebecque
(9)
Maylis Delest
(6)
Hervé Delingette
(17)
Olivier Delmas
(7)
Moussa Demba
(7)
Alain Denise
(7)
Yves Denneulin
(10)
Pierre Deransart
(17)
Rachid Deriche
(44)
Jean-Claude Derniame
(9)
Alain Dervieux
(58)
Alain Derycke
(11)
Mathieu Desbrun
(7)
Xavier Descombes
(31)
Jean-Antoine Desideri
(34)
Joelle Despeyroux
(6)
Thierry Despeyroux
(6)
Frédéric Desprez
(35)
Frédéric Devernay
(7)
Marie-Dominique Devignes
(12)
Olivier Devillers
(71)
Murat Deviren
(13)
Julien Diard
(9)
Alicia Diaz
(7)
E. Diday
(11)
Jean Diebolt
(15)
Eric Dillon
(10)
Mohab Safey El Din
(13)
Florent de Dinechin
(18)
Christophe Diot
(11)
Chabane Djeraba
(32)
Eric Domenjoud
(6)
Michele Dominici
(7)
Philippe Dosch
(19)
Gilles Dowek
(20)
Guillaume Doyen
(9)
George Drettakis
(10)
Sérgio Duarte
(6)
Jonathan Dubois
(7)
Hubert Dubois
(8)
Mireille Ducassé
(15)
Denys Duchier
(6)
Jacques Ducloy
(8)
Gérald Duffing
(6)
Philippe Dumas
(7)
Laurent Dupont
(7)
Étienne Duris
(7)
Arnaud Dury
(7)
Alain Dutech
(15)
Elias Egho
(10)
Christine Eisenbeis
(32)
Ahmed El-Mahdy
(6)
André Elisseeff
(9)
Jean-Pierre Elloy
(8)
Ioannis Z. Emiris
(10)
Milos Ercegovac
(15)
Jocelyne Erhel
(24)
Tawfik Es-Sqalli
(10)
Brigitte Escofier
(12)
Bernard Espiau
(15)
Mohamed Essaïdi
(6)
Jérôme Euzenat
(19)
Jérôme Euzenat
(6)
Damien Eveillard
(8)
Hazel Everett
(19)
Eric Fabre
(12)
Eric Fabre
(18)
Françoise Fabret
(6)
François Fages
(12)
P. Falzon
(9)
Charbel Farhat
(7)
Olivier Faugeras
(79)
Jean-Charles Faugère
(23)
Christèle Faure
(14)
Guy Fayolle
(28)
Amy Felty
(7)
Jérôme Feret
(15)
Miguel Angel Fernández
(12)
Carla Ferreira
(6)
Afonso Ferreira
(7)
Sébastien Ferré
(14)
Olivier Festor
(92)
Loula Fezoui
(26)
Olivier Fissore
(18)
Philippe Flajolet
(97)
Michele Flammini
(6)
Eric Fleury
(13)
Éric Fleury
(35)
Daniela Florescu
(9)
Dominique Fohr
(54)
Julien Fondrevelle
(8)
Florence Forbes
(8)
Arnaud de la Fortelle
(11)
Dominique Fortin
(8)
Serguei Foss
(9)
Laurent Fousse
(6)
Pascal Fradet
(10)
Thierry Fraichard
(27)
Claire François
(11)
Ulrich Freund
(6)
Pascal Frey
(17)
Hervé Frezza-Buet
(14)
Christine Fricker
(14)
Patrice Frison
(10)
Eddy Fromentin
(6)
Pablo de la Fuente
(6)
Davide Gadioli
(6)
Benjamin Gaidioz
(7)
Bertrand Gaiffe
(12)
Didier Galmiche
(41)
Jérôme Galtier
(8)
Virginie Galtier
(9)
Abdoulaye Gamatié
(11)
Boubakar Gamatié
(6)
Hubert Garavel
(14)
Georges Gardarin
(11)
Claire Gardent
(16)
Danièle Gardy
(7)
Paul Gastin
(10)
Stéphane Gaubert
(18)
Bruno Gaujal
(69)
Thierry Gautier
(23)
Thierry Gautier
(13)
Eric Gautrin
(8)
Cyril Gavoille
(6)
Franck Gechter
(10)
Mikhail Gelfand
(6)
Blaise Genest
(28)
Thomas Genet
(13)
Nikolaos Georgantas
(8)
Paul-Louis George
(39)
Laurent George
(7)
Jean-Frédéric Gerbeau
(12)
Asma Ghaffari
(8)
Jean-Paul Gibson
(7)
Jean Charles Gilbert
(15)
Stéphane Girard
(11)
Bernard Girau
(24)
Gerard Giraudon
(9)
Gérard Giraudon
(9)
Alain Girault
(7)
François Le Gland
(16)
Roland Glowinski
(10)
Isabelle Gnaedig
(24)
Xavier Goaoc
(9)
Claude Godart
(70)
Jean-Jacques Godon
(6)
Mordecai Golin
(9)
Roberto L. Gonzalez
(11)
Roberto L.V. González
(9)
Xavier Gourdon
(10)
Maurice Goursat
(8)
Jean-Luc Gouzé
(19)
Gérard Govaert
(9)
Dizan Alejandro Vasquez Govea
(12)
Bénédicte Le Grand
(6)
Daniela Grigori
(8)
José Grimm
(8)
Philippe de Groote
(19)
Patrick Gros
(8)
Yann Guermeur
(19)
Abdou Guermouche
(7)
Paul Le Guernic
(41)
Hervé Guillard
(20)
Fabrice Guillemin
(11)
Pascal Guitton
(23)
Orazio Gurrieri
(8)
Jens Gustedt
(37)
Jacques Guyard
(12)
Stefan Haar
(61)
Martin Hachet
(18)
Serge Haddad
(16)
Bart Haegeman
(8)
Daniel Hagimont
(8)
Emmanuel Hainry
(11)
Miled El Hajji
(9)
Guillaume Hanrot
(23)
Thérèse Hardin
(13)
Jérôme Harmand
(27)
Jean-Paul Haton
(73)
Marie-Christine Haton
(9)
Frédéric Havet
(15)
Frédéric Hecht
(11)
Maritta Heisel
(22)
Fabrice Heitz
(8)
Isabelle Herlin
(7)
Miki Hermann
(10)
Gerardo Hermosillo
(6)
Jorje Hermosillo
(8)
Nicolas Holzschuch
(8)
Dohy Hong
(10)
Frederic Hoogstoel
(7)
Radu Horaud
(14)
Arie Hordijk
(12)
Mathieu Hoyrup
(11)
Juraj Hromkovic
(6)
Philippe Hubert
(6)
Gérard Huet
(20)
Etienne Hugues
(7)
J.M. Hullot
(7)
Rim Al Hulou
(12)
Michel Hurfin
(11)
Jean-Luc Husson
(7)
Emmanuel Hyon
(13)
Gérard Hégron
(6)
Jean-Michel Hélary
(27)
Loïc Hélouët
(8)
Liliana Ibanescu
(7)
L. Idoumghar
(9)
Claudia-Lavinia Ignat
(15)
Nacim Ihaddadene
(9)
Irina Illina
(22)
Abdessamad Imine
(13)
Valérie Issarny
(18)
Florent Jacquemard
(16)
Philippe Jacquet
(75)
Evelyne Jacquey
(8)
Jean-Pierre Jacquot
(9)
Jérôme Jaffré
(13)
Salma Jamoussi
(13)
Mathieu Jan
(10)
Olivier Jaray
(7)
Claude Jard
(57)
Nicolas Jay
(8)
Alain Jean-Marie
(16)
Claude-Pierre Jeannerod
(6)
Emmanuel Jeannot
(33)
Laurent Jeanpierre
(9)
Emmanuel Jeanvoine
(7)
Ian Jermyn
(7)
Ning Jia
(10)
Patrick Joly
(63)
Hidde de Jong
(10)
Philippe Joubert
(6)
Martin Jourdan
(13)
Laurent Juban
(9)
Fabrice Jumel
(7)
Yvon Jégou
(14)
Thierry Jéron
(12)
Jean-Marc Jézéquel
(8)
Gilles Kahn
(11)
Laurent Kaiser
(10)
Matthias Kalverkamp
(7)
Renaud Keriven
(8)
Anne-Marie Kermarrec
(17)
Michel Kern
(7)
Erwan Kerrien
(17)
Mohamed Khalgui
(7)
Ki Baek Kim
(6)
Claude Kirchner
(74)
Hélène Kirchner
(74)
Ralf Klasing
(44)
Francis Klay
(7)
Audrey Knauf
(19)
Roman Kolpakov
(17)
Bruno Koobus
(25)
Peter Kornerup
(12)
Pierre Kornprobst
(10)
Anis Koubaa
(17)
Hend Koubaa
(10)
Olga Kouchnarenko
(7)
Mikhail Y. Kovalyov
(12)
Gregory Kucherov
(43)
Jean-Yves l'Excellent
(12)
Claude Labit
(6)
Adel Lablack
(11)
Abdelkader Lahmadi
(11)
Marie-Hélène Lallemand
(6)
François Lamarche
(15)
Antoine Lambert
(8)
Jean-Charles Lamirel
(33)
Luigi Lancieri
(7)
Christophe Lang
(6)
Frederic Lang
(9)
David Langlois
(16)
Philippe Langlois
(7)
Gerard Le Lann
(7)
Stephane Lanteri
(15)
Anis Laouiti
(10)
Yves Laprie
(37)
Dominique Larchey-Wendling
(9)
Pierre Laroche
(8)
Bernard Larrouturou
(15)
Jean-Marc Lasgouttes
(8)
Isabelle Guérin Lassous
(31)
Patrick Laug
(14)
Christian Laugier
(45)
Claude Laurenço
(6)
Christoph Lauter
(11)
Ivan Lavallee
(10)
Christophe Lavarenne
(6)
C. Lavault
(8)
Dominique Lavenier
(15)
Christian Lavergne
(8)
Julia Lawall
(8)
Daniel Lazard
(23)
Sylvain Lazard
(37)
Francis Lazarus
(6)
Juliette Leblond
(15)
Yves Lechevallier
(9)
Hung Ledang
(14)
Laurent Lefèvre
(8)
Vincent Lefèvre
(23)
Axel Legay
(7)
Arnaud Legrand
(20)
Marc Lelarge
(6)
Alain Lelu
(9)
Claude Lemaréchal
(10)
Christophe Lenglet
(6)
Vincent Lepetit
(7)
Daniel Leprince
(7)
Israël-César Lerman
(23)
Xavier Leroy
(14)
Pierre Lescanne
(10)
Nicole Levy
(9)
A. Lichnewsky
(10)
Jean Lieber
(34)
Zhen Liu
(47)
François Llirbat
(6)
James Lockerbie
(6)
Jacques Lonchamp
(11)
Patrice Lopez
(8)
Renaud Lottiaux
(13)
Nicolas Louvet
(7)
Denis Lugiez
(11)
Quang-Tuan Luong
(6)
Thé Van Luong
(7)
Evelyne Lutton
(10)
Bruno Lévy
(14)
Eric Madelaine
(10)
Frédéric Magoulès
(9)
Abdel Halim Mahdi
(10)
Christophe de Maindreville
(9)
Jean Mairesse
(10)
Mesaac Makpangou
(12)
Grégoire Malandain
(26)
Michael Malisoff
(12)
Jean-Laurent Mallet
(7)
François Mallinger
(6)
Vadim A. Malyshev
(24)
Ludmila Mangelinck
(8)
Ioana Manolescu
(7)
Bernard Mans
(7)
Hélène Manuélian
(8)
Loris Marchal
(12)
Hervé Marchand
(14)
Jean-François Mari
(21)
Raymond A. Marie
(14)
Jean-Yves Marion
(39)
Euripides Markou
(7)
Renaud Marlet
(10)
Philippe Marquet
(7)
Steven Martin
(6)
Agostino Martinelli
(7)
Jean Martinet
(14)
Dominique Martinez
(24)
Claude Martini
(9)
Joseph Di Martino
(11)
Jan Martinovič
(8)
Maarten Marx
(6)
Gérald Masini
(14)
Radu Mateescu
(17)
Hervé Mathieu
(6)
Pascal Matsakis
(6)
Laurent Mauborgne
(6)
Michel Mauny
(7)
Frédéric Mazenc
(17)
Emmanuel Mazer
(7)
Nouredine Melab
(23)
Guy Melançon
(10)
B. Melese
(6)
Odile Mella
(14)
Jean-Pierre Merlet
(17)
Stephan Merz
(15)
Jean-Luc Metzger
(12)
Laurent Mevel
(7)
Alain Michard
(7)
Pierre Michaud
(9)
Martial Michel
(6)
Jörn Migge
(20)
Pascale Minet
(19)
Antoine Miné
(8)
Masaaki Mizuno
(9)
Bijan Mohammadi
(16)
Roger Mohr
(10)
Sabine Moisan
(7)
Pascal Molli
(57)
Miklós Molnár
(10)
Eric Monfroy
(10)
Olivier Monga
(8)
Sébastien Monnet
(14)
F. Morain
(6)
Pierre-Etienne Moreau
(21)
Pascal Morin
(17)
Christine Morin
(45)
Michel Morvan
(6)
Jean-Marie Morvan
(7)
Achour Mostefaoui
(16)
Marwan Moubachir
(6)
Bernard Mourrain
(19)
George Moustakides
(15)
Paul Muhlethaler
(16)
Jean-Michel Muller
(92)
Gilles Muller
(26)
Manuel Munier
(10)
Anca Muscholl
(8)
Philippe Mussi
(8)
Claire Médigue
(10)
Jean-François Méhaut
(11)
Etienne Mémin
(9)
Dominique Méry
(49)
Dominique Méry
(6)
Daniel Méry
(8)
Daniel Le Métayer
(11)
Paul Mühlethaler
(13)
Hyeon-Suk Na
(6)
Philippe Nain
(38)
Mahsa Najafzadeh
(9)
Raymond Namyst
(10)
Amedeo Napoli
(103)
Paliath Narendran
(8)
Emmanuel Nataf
(22)
Emmanuel Nauer
(15)
Alfredo Navarra
(15)
Nicolas Navet
(53)
Fabrice Neyret
(8)
Quang-Huy Nguyen
(7)
Ramine Nikoukhah
(22)
Laurent Noé
(13)
Louis-Marie Le Ny
(6)
Gérald Oster
(40)
Ammar Oulamara
(7)
Slim Ouni
(10)
M.W. Padberg
(7)
Gianluca Palermo
(8)
Xavier Le Pallec
(9)
Marc Pallot
(6)
Bernadette Palmerio
(6)
Théodore Papadopoulo
(14)
Michel Parent
(6)
Didier Parigot
(13)
Jonathan R. Partington
(8)
Hélène Paugam-Moisy
(6)
Jean-Claude Paul
(10)
Christine Paulin-Mohring
(7)
Jean-Louis Pazat
(14)
Arnaud Pecher
(7)
Jean Pellaumail
(8)
Xavier Pennec
(28)
Guy Perrier
(17)
Olivier Perrin
(22)
Benoît Perthame
(16)
Yvan Peter
(7)
Philippe Peter
(6)
Sylvain Petitjean
(22)
Stephane Petti
(7)
Dinh-Tuan Pham
(6)
Cong-Duc Pham
(8)
Bernard Philippe
(20)
Andrey Piatnitski
(6)
Luc Picard
(12)
Michel Pierre
(6)
Jean-Marie Pierrel
(15)
Guillaume Pilot
(6)
Bruno Pinaud
(17)
Pedro Pinto
(8)
Serge Piperno
(20)
Olivier Pironneau
(11)
Nicolai Pisaruk
(9)
Noël Plouzeau
(12)
Sylvain Pogodalla
(8)
Xavier Polanco
(10)
Jean-Baptiste Pomet
(13)
Marie-Claude Portmann
(66)
Loïc Pottier
(10)
Joachim Pouderoux
(8)
Dominique Poulalhon
(6)
François Poulet
(6)
Marc Pouzet
(9)
Cédric Pradalier
(20)
Emmanuel Prados
(6)
Nuno Preguiça
(14)
Franco Preparata
(15)
Pascale Primet
(11)
Thierry Priol
(43)
Jean-Marie Proth
(85)
Loïc Prylli
(7)
Isabelle Puaut
(10)
Stéphane Pérennes
(31)
Christian Pérez
(22)
Patrick Pérez
(11)
Jacques Périaux
(7)
Arnaud Pêcher
(15)
Jean-Pierre Quadrat
(11)
Joël Quinqueton
(6)
Martin Quinson
(9)
Patrice Quinton
(27)
Jean-Baptiste Raclet
(6)
Tomasz Radzik
(10)
Charbel Rahhal
(7)
Frédéric Raimbault
(8)
Sanjay Rajopadhye
(10)
Sergio Rajsbaum
(9)
Henri Ralambondrainy
(8)
Jean-Xavier Rampon
(9)
Alain Rapaport
(39)
Michel Raynal
(104)
Chedy Raïssi
(8)
Xavier Rebeuf
(19)
Anne Reboul
(17)
Mireille Regnier
(16)
Christian Retoré
(19)
Patrick Reuter
(13)
Nathalie Revol
(12)
Nidhal Rezg
(11)
Olivier Richard
(9)
Patrick Richard
(6)
Laurence Rideau
(7)
Olivier Ridoux
(24)
Louis Rilling
(12)
Christophe Ringeissen
(32)
Xavier Rival
(7)
Patrick Rives
(11)
J.-B. de la RiviÈre
(6)
Steve Robbins
(7)
Yves Robert
(32)
Philippe Robert
(28)
Luc Robert
(8)
Jean Roberts
(15)
Vincent Roca
(9)
Jean-Louis Roch
(8)
Alexis Roche
(6)
Olivier Rochel
(7)
Denis Roegel
(12)
Edmundo Rofman
(10)
Erven Rohou
(50)
Cristobal Rojas
(6)
Luc Rolland
(6)
Laurent Romary
(53)
C. Roucairol
(6)
Nicolas P. Rougier
(10)
José Rouillard
(12)
Fabrice Rouillier
(34)
Gilles Roussel
(7)
Mikaël Rousson
(7)
Jocelyne Rouyer-Degli
(9)
Marie-Françoise Roy
(6)
Gerardo Rubino
(23)
Michael Rusinowitch
(70)
Eric Rutten
(16)
Isabelle Réchiniac
(10)
Jean-Luc Rémy
(13)
Laurent Réveillère
(7)
Miloud Sadkane
(10)
Claudia Sagastizábal
(8)
Marie-France Sagot
(8)
Patrick Saint-Dizier
(10)
Hassen Sallay
(7)
Susanne Salmon-Alt
(6)
Eric Saltel
(8)
Maria Vittoria Salvetti
(7)
Maria-Vittoria Salvetti
(7)
Bruno Salvy
(44)
Claude Samson
(28)
Clément Poncelet Sanchez
(8)
Davide Sangiorgi
(8)
Nico Sanna
(7)
Yannick Saouter
(9)
Tewfik Sari
(14)
Nathalie Sauer
(7)
Dominique L. Scapin
(14)
Gilles Schaeffer
(29)
André Schaff
(18)
Bruno Scherrer
(9)
Christophe Schlick
(6)
Cordelia Schmid
(6)
René Schott
(24)
Stefan Schwoon
(10)
S. Sebillotte
(10)
Robert Sedgewick
(10)
Sepanta Sekhavat
(6)
Bernard Senach
(19)
Nicolas Sendrier
(11)
Pierre Sens
(9)
Bruno Sericola
(34)
André Seznec
(55)
Marc Shapiro
(40)
Marc Shapiro
(13)
Md. Haidar Sharif
(13)
Shadi Al Shehabi
(9)
Hassan Shekarforoush
(6)
Pavel Shvaiko
(7)
Roland Siegwart
(8)
François X. Sillion
(7)
Cristina Silvano
(8)
Daniel Simon
(9)
Arnaud Simon
(7)
Eric Simon
(19)
Gilles Simon
(31)
Robert de Simone
(16)
François Simonot
(10)
Françoise Simonot-Lion
(101)
David Simplot-Ryl
(8)
Hala Skaf-Molli
(44)
Kateřina Slaninová
(7)
Malika Smaïl
(8)
Kamel Smaïli
(44)
Jan Sokolowski
(24)
Ye-Qiong Song
(81)
Eric Sonnendrücker
(12)
Julien Sopena
(6)
Yves Sorel
(10)
Michel Sorine
(12)
Jeanine Souquières
(50)
Jeanine Souquières
(8)
Anne Spalanzani
(9)
N. Spyratos
(8)
Radu State
(36)
Damien Stehlé
(10)
Hervé Steve
(7)
Sorin Stratulat
(13)
Jürgen Stuber
(10)
Peter Sturm
(10)
Gérard Subsol
(7)
Agnès Sulem
(9)
Youxian Sun
(8)
Frédéric Suter
(9)
Pierre Sutra
(9)
Daniel Szer
(6)
Wojciec Szpankowski
(12)
Salvatore Tabbone
(29)
Denis Talay
(16)
El-Ghazali Talbi
(24)
Patrick Le Tallec
(24)
Jean-Pierre Talpin
(30)
Alexandru-Adrian Tantar
(8)
J.C. Tarby
(11)
Jean-Philippe Tarel
(7)
Samir Tata
(10)
Christopher Tay
(7)
Monique Teillaud
(18)
Jan Arne Telle
(10)
Olivier Temam
(10)
Scott Thibault
(6)
Eric Thierry
(7)
Odile Thiery
(9)
Jean-Philippe Thirion
(17)
Guillaume Thisselin
(6)
Vincent Thomas
(15)
F. Thomasset
(8)
François Thomasset
(6)
Jean-Pierre Thomesse
(72)
Monique Thonnat
(10)
Laurent Théry
(10)
Mabel M. Tidball
(11)
Arnaud Tisserand
(18)
Anthony Tomasic
(7)
Karl Tombre
(27)
Sid Touati
(30)
Yannick Toussaint
(26)
Don Towsley
(15)
Yvon Trinquet
(15)
Brigitte Trousse
(30)
P. Trouve
(8)
Ninh Thuan Truong
(7)
Denis Trystram
(8)
Jesse Tseng
(7)
Bruno Tuffin
(18)
Thierry Turletti
(24)
Mathieu Turuani
(9)
Pascal Urso
(12)
Alexandre Urzhumtsev
(6)
Gil Utard
(6)
Olivier Vacus
(8)
Régis Vaillant
(7)
Patrick Valduriez
(21)
Geoffroy Vallée
(14)
Brigitte Vallée
(7)
Thomas Vantroys
(11)
Didier Vergamini
(6)
Anne Verroust-Blondet
(8)
Stéphane Vialle
(12)
Pascale Vicat-Blanc
(18)
Marina Vidrascu
(9)
Laurent Viennot
(17)
Laurent Vigneron
(18)
Laurent Vigneron
(9)
Antony Vignier
(16)
César Viho
(8)
Jurgen Vinju
(7)
Willemien Visser
(13)
Alexey Vitreschak
(8)
J.S. Vitter
(6)
Frédéric Vivien
(15)
Thierry Viéville
(49)
J. Vuillemin
(7)
Jacques Lévy Véhel
(22)
Benjamin Wack
(6)
Annegret K. Wagler
(17)
Frédéric Wagner
(6)
Dongming Wang
(19)
Zhi Wang
(10)
Valérie Warth
(7)
Frédéric Weis
(19)
Laurent Wendling
(30)
Benjamin Werner
(6)
Sue Whitesides
(14)
Doran Wilde
(7)
Cédric Wilwert
(12)
Stephen Wornom
(13)
Laura Wynter
(10)
Xiaolan Xie
(28)
Manuel Yguel
(13)
Nizar Ben Youssef
(12)
Mariette Yvinec
(21)
Apostolos Zarras
(7)
Marek Zawirski
(8)
Dominique Zelus
(6)
Olivier Zendra
(26)
Josiane Zerubia
(69)
Qinghua Zhang
(9)
Zhengyou Zhang
(16)
Jianyang Zhou
(7)
Hasnaa Zidani
(11)
Paul Zimmermann
(63)
Imed Zitouni
(13)
Jean-Paul Zolésio
(8)
Sergei Zuyev
(7)
Subject field
Computer Science [cs]
(11459)
Mathematics [math]
(96)
Engineering Sciences [physics]
(55)
Humanities and Social Sciences
(41)
Life Sciences [q-bio]
(40)
Statistics [stat]
(10)
Physics [physics]
(7)
Cognitive science
(4)
domain_stic
(4)
domain_other
(2)
Environmental Sciences
(2)
Laboratory
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(3589)
INRIA Lorraine
(3146)
Inria Sophia Antipolis - Méditerranée
(1997)
Institut de Recherche en Informatique et Systèmes Aléatoires
(1552)
Inria Paris-Rocquencourt
(1522)
Inria Grenoble - Rhône-Alpes
(1050)
INRIA Rocquencourt
(1026)
INRIA Rennes
(791)
Inria Rennes – Bretagne Atlantique
(725)
Laboratoire de l'Informatique du Parallélisme
(404)
Inria Saclay - Ile de France
(351)
Laboratoire Bordelais de Recherche en Informatique
(277)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(233)
Graphisme, Vision et Robotique
(221)
Inria Bordeaux - Sud-Ouest
(214)
Laboratoire d'Informatique Fondamentale de Lille
(211)
Laboratoire d'Informatique de Paris 6
(145)
Département d'informatique de l'École normale supérieure
(141)
Laboratoire d'Informatique de Grenoble
(135)
Inria Lille - Nord Europe
(101)
Laboratoire de Recherche en Informatique
(94)
Inria Nancy - Grand Est
(89)
Laboratoire Spécification et Vérification [Cachan]
(83)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(79)
Laboratoire de Biométrie et Biologie Evolutive - UMR 5558
(71)
CITI Centre of Innovation in Telecommunications and Integration of services
(60)
no affiliation
(57)
INRIA Futurs
(49)
Mathématiques, Informatique et STatistique pour l'Environnement et l'Agronomie
(42)
Informatique et Distribution
(38)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(37)
Department of Computer Science
(36)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(36)
Laboratoire Jean Alexandre Dieudonné
(35)
Centre de Mathématiques Appliquées
(34)
Institut de recherche en informatique de Toulouse
(34)
Institut Élie Cartan de Nancy
(30)
Laboratoire d'Informatique de Nantes Atlantique
(30)
Laboratoire de Biotechnologie de l'Environnement [Narbonne]
(29)
Institut des Maladies Neurodégénératives [Bordeaux]
(28)
LA ou URA 227 - INRIA Rennes
(27)
Inria de Paris
(25)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(25)
Parallélisme, Réseaux, Systèmes, Modélisation
(25)
Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique
(24)
Institut de Mathématiques de Bordeaux
(22)
Laboratoire d'informatique de l'école normale supérieure
(22)
Laboratoire d'océanographie de Villefranche
(21)
Institut de Recherche en Communications et en Cybernétique de Nantes
(20)
Laboratoire Jacques-Louis Lions
(20)
Institut de Recherche Mathématique de Rennes
(19)
PSA Peugeot - Citroën
(17)
Department of Computer Science [Santa Barbara]
(16)
Laboratoire de Mathématiques d'Orsay
(16)
Analyse des Systèmes et Biométrie
(15)
Centrum voor Wiskunde en Informatica
(15)
Laboratoire Jean Kuntzmann
(14)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(14)
University of Rhode Island
(14)
VERIMAG
(14)
Department of Computer Science [Calgary]
(13)
School of computer science [Ottawa]
(13)
Department of Mathematics [Baton Rouge]
(12)
Inria Siège
(12)
Institut de Recherche Mathématique Avancée
(12)
Laboratoire de Mathématiques et Applications de Metz
(12)
Centro de Investigação em Informática e Tecnologias da Informação
(11)
Department of Mathematics and Computer Science [Odense]
(11)
Digital Arithmetic and Reconfigurable Architecture Laboratory
(11)
Institut Élie Cartan de Lorraine
(11)
Physics Laboratory
(11)
Sciences et Technologies de la Musique et du Son
(11)
CEntre de REcherches en MAthématiques de la DEcision
(10)
Dipartimento di Informatica [Italy]
(10)
France Télécom Recherche & Développement
(10)
Laboratoire d'analyse et d'architecture des systèmes
(10)
Laboratoire du traitement du signal et instrumentation
(10)
Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
(9)
Department of Computing and Information Sciences [Kansas]
(9)
Department of Information Engineering and Computer Science
(9)
Instituto de Matematicas [México]
(9)
LINA
(9)
Microsoft Research [Cambridge]
(9)
Department of Computer Science [Amherst]
(8)
Dipartimento Ingegneria Aerospaziale "Lucio Lazzarino"
(8)
Dipartimento di Elettronica, Informazione e Bioingegneria
(8)
Dipartimento di Matematica e Informatica [Perugia]
(8)
Département de Mathématiques [Montpellier]
(8)
Faculdade de Engenharia [Porto]
(8)
Laboratoire Méthodes Mathématiques pour l'Analyse des Systèmes
(8)
Laboratoire d'Informatique Fondamentale d'Orléans
(8)
Laboratoire d'Informatique Gaspard-Monge
(8)
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
(8)
Laboratoire de Mathématiques
(8)
Laboratoire de Modélisation Mathématique et Numérique dans les Sciences de l'Ingénieur
(8)
Laboratoire de Semio-Linguistique, Didactique et Informatique
(8)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(8)
Analyse et Traitement Informatique de la Langue Française
(7)
Bremer Institut für Produktion und Logistik GmbH
(7)
CEGELEC
(7)
Centre de Recherche en Automatique de Nancy
(7)
Department of Computer Science [Ioannina]
(7)
Laboratoire d'Imagerie Paramétrique
(7)
Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
(7)
Max-Planck-Institut für Informatik
(7)
Amélioration génétique et adaptation des plantes méditerranéennes et tropicales
(6)
Centre Scientifique et Technique du Bâtiment
(6)
Département d'Informatique [Bruxelles]
(6)
General Electric Medical Systems [Buc]
(6)
Groupe de Recherche en Apprentissage Automatique
(6)
IT4Innovations - National Supercomputing Center [Ostrava]
(6)
Institut Charles Delaunay
(6)
Institut de Mathématiques et de Modélisation de Montpellier
(6)
Institute of Computer Science
(6)
Instituto de Informática da UFRGS
(6)
Intelligent Systems Research Laboratory
(6)
Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo"
(6)
Laboratoire Informatique d'Avignon
(6)
Laboratoire Photonique, Numérique et Nanosciences
(6)
Laboratoire d'Arithmétique et d'Algèbre
(6)
Laboratoire d'Automatique de Tlemcen
(6)
Laboratoire d'Informatique de Paris-Nord
(6)
Laboratoire de Génie Industriel et de Production Mécanique
(6)
Laboratoire de Génie Informatique
(6)
Mathématiques - Analyse, Probabilités, Modélisation - Orléans
(6)
Microbiologie du Sol et de l'Environnement
(6)
Microsoft Research [Redmond]
(6)
AT&T Bell Laboratories
(5)
Botanique et Modélisation de l'Architecture des Plantes et des Végétations
(5)
Centre Inter universitaire de Calcul de Bretagne
(5)
Centre de Mathématiques et de Leurs Applications
(5)
Centre for systems engineering and applied mechanics [Louvain]
(5)
Centro de Modelamiento Matemático
(5)
Courant Institute of Mathematical Sciences [New York]
(5)
Departamento de Informática
(5)
Departamento de Informática [Minho]
(5)
Department of Computer and Information Science - Linköping University
(5)
Department of Mathematics
(5)
Department of mathematics and computing science [Eindhoven]
(5)
Dipartimento di Matematica Pura e Applicata [Padova]
(5)
Distributed Programming Laboratory
(5)
Eco-informatics
(5)
Faculté des Sciences de Tunis
(5)
Fondazione Centro San Raffaele del Monte Tabor [Milan]
(5)
Institute for Information Systems - ETH Zurich
(5)
Institute for Logic, Language and Computation
(5)
Institute for Mathematical Optimization
(5)
Institute of Applied Mathematics
(5)
Laboratoire RIADI-GDL [Manouba]
(5)
Laboratoire d'Algorithmique Complexité et Logique
(5)
Laboratoire d'Intégration des Systèmes et des Technologies
(5)
No Magic Europe
(5)
ONERA - The French Aerospace Lab [Châtillon]
(5)
School of Computing - Soongsil University, Séoul
(5)
Service de neurochirurgie [Brest]
(5)
Vytsoka Skola Ekonomicka v Praze
(5)
Abteilung Informatik und angewandte Kognitionswissenschaft [Duisburg]
(4)
Alcatel Lucent Bell Labs
(4)
Alcatel-Lucent Bell Labs France [Nozay]
(4)
Center of Operation Research and Econometrics [Louvain]
(4)
Centre d'Enseignement et de Recherche en Informatique, Communication et Systèmes
(4)
Centre de Robotique
(4)
Clique Strategic Research Cluster
(4)
Computer Science Department [Los Angeles]
(4)
Departamento de Informática y Sistemas [Murcia]
(4)
Department of Algorithms and System Modeling [Gdansk]
(4)
Department of Computer Science [Oxford]
(4)
Department of Computer Science and Engineering [Bombay]
(4)
Department of Computer Science and Engineering [Colombus]
(4)
Department of Computer Science. University of Tennessee
(4)
Department of Computer and Information Science
(4)
Department of Electrical Engineering and Computer Science [Berkeley]
(4)
Department of Electrical and Computer Engineering [Blacksburg]
(4)
Department of Informatics [Oslo]
(4)
Department of Mechanical and Industrial Engineering [Baton Rouge]
(4)
Dynamique Du Langage
(4)
Ecole supérieure d'ingénieurs de Beyrouth
(4)
Equipe d'Entomologie et de lutte biologique
(4)
Image & Pervasive Access Lab
(4)
Institut de Mathématiques Appliquées de Grenoble [Grenoble]
(4)
Institut des Sciences de la Communication du CNRS
(4)
Institute of Computer Engineering [Vienna]
(4)
Laboratoire Analyse, Géométrie et Applications
(4)
Laboratoire Logiciels Systèmes Réseaux
(4)
Laboratoire d'Automatique, Génie Informatique et Signal
(4)
Laboratoire d'InfoRmatique en Image et Systèmes d'information
(4)
Laboratoire des Sciences du Numérique de Nantes
(4)
Laboratory for Information and Decision Systems - Massachusetts Institute of Technology
(4)
Maturation des ARN et enzymologie moléculaire
(4)
Mechanical Engineering Department
(4)
Microsoft Research - Inria Joint Centre
(4)
Panasonic Speech Technology Laboratory
(4)
School of computing [Singapore]
(4)
Sciences Techniques Éducation Formation
(4)
Service de neurochirurgie [Rennes]
(4)
Alcatel-Thalès III-V lab
(3)
Association Enseignement Public et Informatique
(3)
CNET
(3)
Centre Européen de Recherche et de Formation Avancée en Calcul Scientifique
(3)
Centre d'Ecologie Végétale et d'Hydrologie
(3)
Language
English
(8627)
French
(2754)
Interlingue
(67)
Spanish
(6)
German
(2)
Chinese
(2)
Italian
(1)
Keyword
Réécriture
(117)
Scheduling
(113)
Rewriting
(102)
Ordonnancement
(90)
COMPUTATIONAL GEOMETRY
(67)
Classification
(62)
Neural networks
(61)
Complexity
(58)
Modélisation
(54)
Réseaux de neurones
(54)
Simulation
(54)
Temps réel
(54)
Non disponible sur le PDF
(52)
OPTIMIZATION
(48)
Real-time
(48)
Validation
(48)
SCHEDULING
(47)
Complexité
(46)
Linear logic
(45)
Parallelism
(44)
Parallélisme
(44)
Uml
(44)
Fouille de données
(42)
Security
(42)
Sécurité
(42)
Xml
(42)
Data mining
(41)
Logique linéaire
(41)
Apprentissage par renforcement
(38)
TCP
(38)
Verification
(38)
Automated deduction
(36)
Reinforcement learning
(36)
Semantics
(36)
Speech recognition
(36)
Vérification
(36)
Adaptation
(35)
Reconnaissance automatique de la parole
(35)
Apprentissage
(34)
Performance evaluation
(34)
VERIFICATION
(34)
COQ
(33)
Optimization
(33)
Reconnaissance de la parole
(33)
Floating-point arithmetic
(32)
Optimisation
(32)
Strategy
(32)
Network management
(31)
Raisonnement à partir de cas
(31)
Case-based reasoning
(30)
JAVA
(30)
PERFORMANCE EVALUATION
(30)
Refinement
(30)
SIMULATION
(30)
Spécification
(30)
XML
(30)
COMPUTER ARITHMETIC
(29)
Systèmes embarqués
(29)
Termination
(29)
Connexionnisme
(28)
Contraintes
(28)
Cooperation
(28)
Preuve
(28)
Raffinement
(28)
Speech
(28)
Stratégie
(28)
Bioinformatique
(27)
Compilation
(27)
Constraints
(27)
Coordination
(27)
M
(27)
Multicast
(27)
Parole
(27)
STABILITY
(27)
Sémantique
(27)
Term rewriting
(27)
Workflow
(27)
Augmented reality
(26)
Bioinformatics
(26)
COMPLEXITY
(26)
Computer arithmetic
(26)
Hmm
(26)
Induction
(26)
K-firm
(26)
Learning
(26)
Modelling
(26)
Real time
(26)
Web services
(26)
B method
(25)
Distributed systems
(25)
Java
(25)
MPI
(25)
Petri nets
(25)
Terminaison
(25)
CLUSTER
(24)
GRID COMPUTING
(24)
Matching
(24)
OPTIMAL CONTROL
(24)
Proof
(24)
Qualité de service
(24)
Type of deposit
Fulltext
(8338)
Notice
(3116)
Annex
(5)
Year
2020
(1)
2019
(25)
2018
(38)
2017
(58)
2016
(63)
2015
(95)
2014
(136)
2013
(196)
2012
(169)
2011
(197)
2010
(221)
2009
(199)
2008
(193)
2007
(194)
2006
(393)
2005
(484)
2004
(922)
2003
(935)
2002
(864)
2001
(660)
2000
(667)
1999
(626)
1998
(613)
1997
(271)
1996
(326)
1995
(308)
1994
(296)
1993
(335)
1992
(266)
1991
(223)
1990
(221)
1989
(203)
1988
(191)
1987
(199)
1986
(140)
1985
(140)
1984
(101)
1983
(91)
1982
(84)
1981
(65)
1980
(50)
Search
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: idHal (integer)
Author: Identifier
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
ANR project: Call Acronym
ANR project: Project call name
ANR project: Reference
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Successfully saved
My saved searches / my alerts
An error occurred while saving
1
2
3
4
5
6
7
8
9
10
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
hal-01502644
v1
Preprints, Working Papers, ...
Yohann Uguen
,
Florent de Dinechin
,
Steven Derrien
.
High-Level Synthesis Using Application-Specific Arithmetic: A Case Study
2017
tel-00502510
v1
Habilitation à diriger des recherches
Jean-Philippe Babau
.
Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel
Autre [cs.OH]. INSA de Lyon, 2005
inria-00103288
v1
Directions of work or proceedings
Monique Grandbastien
,
Jean-Marc Labat
.
Environnements Informatiques pour l'Apprentissage Humain
France. Hermes Lavoisier, pp.384, 2006, Traité IC2, Série Cognition et traitement de l'information, 2-7462-1171-8
inria-00452799
v1
Reports
François Bonnet
,
Michel Raynal
.
Anonymous Asynchronous Systems: The Case of Failure Detectors
[Research Report] PI 1945, 2010, pp.16
inria-00603208
v1
Conference papers
Jónathan Heras
,
María Poza
,
Maxime Denes
,
Laurence Rideau
.
Incidence simplicial matrices formalized in Coq/SSReflect
Conference on Intelligent Computer Mathematics
, Jul 2011, Bertinoro, Italy.
⟨10.1007/978-3-642-22673-1_3⟩
inria-00182023
v1
Conference papers
Olivier Aycard
,
Anne Spalanzani
,
Julien Burlet
,
Chiara Fulgenzi
,
Trung-Dung Vu
et al.
Pedestrian Tracking Using Offboard Cameras
Proc. of the IEEE-RSJ Int. Conf. on Intelligent Robots and Systems
, Oct 2006, Beijing (CN), China
inria-00182033
v1
Reports
Gerald Chong Chin Hui
.
Absolute Localization Of Cycab
[Technical Report] 2005
inria-00182038
v1
Conference papers
Nicolas Mansard
,
Olivier Aycard
,
Carla Koike
.
Hierarchy of behaviors
Proc. of the IEEE International Conference on Robotics and Biomimetics
, 2005, Hong Kong, France
inria-00182042
v1
Conference papers
Christopher Tay
,
Cédric Pradalier
,
Christian Laugier
.
Online Reconstruction Of Vehicles In A Car Park
Proc. of the Int. Conf. on Field and Service Robotics
, Jul 2005, Port Douglas Australia, Australia. pp.207-218,
⟨10.1007/978-3-540-33453-8_18⟩
inria-00182037
v1
Reports
Pierre Dangauthier
,
Pierre Bessière
,
Anne Spalanzani
.
Feature Selection For Self-Supervised Learning
[Technical Report] 2005
inria-00182041
v1
Conference papers
Julien Diard
,
Pierre Bessière
,
Emmanuel Mazer
.
Merging probabilistic models of navigation: the Bayesian Map and the Superposition operator
Proc. of the IEEE-RSJ Int. Conf. on Intelligent Robots and Systems
, 2005, Edmonton, Canada. pp.668--673
inria-00182046
v1
Conference papers
Stephane Petti
,
Thierry Fraichard
.
Safe Motion Planning in Dynamic Environments
Proc. of the IEEE-RSJ Int. Conf. on Intelligent Robots and Systems
, Aug 2005, Edmonton, AB (CA), France
inria-00182043
v1
Conference papers
Stephane Petti
,
Thierry Fraichard
.
Partial Motion Planning Framework for Reactive Planning Within Dynamic Environments
Proc. of the IFAC/AAAI Int. Conf. on Informatics in Control, Automation and Robotics
, Sep 2005, Barcelona (SP), France
inria-00182077
v1
Reports
Frederic Helin
.
Développement de la plate-forme expérimentale ParkView pour la reconstruction de l'environnement dynamique
[Technical Report] 2003
inria-00182078
v1
Reports
Dizan Alejandro Vasquez Govea
.
Estimation de mouvement des obstacles mobiles: une approche statistique
[Travaux universitaires] 2003
inria-00182067
v1
Conference papers
Dizan Alejandro Vasquez Govea
,
Frédéric Large
,
Thierry Fraichard
,
Christian Laugier
.
Moving Obstacles' Motion Prediction for Autonomous Navigation
Proc. of the Int. Conf. on Control, Automation, Robotics and Vision
, Dec 2004, Kunming, China, France
inria-00182072
v1
Conference papers
Pierre Dangauthier
,
Anne Spalanzani
,
Pierre Bessière
.
Statistical methods and genetic algorithms for prior knowledge selection.
Actes du congrès francophone de Reconnaissance des Formes et Intelligence Artificielle
, Jan 2004, Toulouse (FR), France
inria-00182075
v1
Reports
Joel Schaerer
.
Calcul des états de collision inévitable pour un véhicule de type voiture
[Technical Report] 2003
inria-00182083
v1
Reports
Jerome de Saint Jean
.
Recherche et poursuite d'une cible mobile par un robot
[Technical Report] 2003
inria-00182084
v1
Conference papers
Cédric Pradalier
,
Jorje Hermosillo
,
Carla Koike
,
Christophe Braillon
,
Pierre Bessière
et al.
Safe and Autonomous Navigation for a Car-Like Robot Among Pedestrian
IARP Int. Workshop on Service, Assistive and Personal Robots
, Oct 2003, Madrid (ES), France
inria-00182085
v1
Reports
Pierre Dangauthier
.
Sélection automatique de variables pertinentes
[Travaux universitaires] 2003
inria-00343817
v1
Conference papers
Claudia-Lavinia Ignat
,
Stavroula Papadopoulou
,
Gérald Oster
,
Moira C. Norrie
.
Providing awareness in multi-synchronous collaboration without compromising privacy
ACM 2008 conference on Computer supported cooperative work
, Nov 2008, San Diego, United States. pp.659-668,
⟨10.1145/1460563.1460665⟩
inria-00343812
v1
Conference papers
Claudia-Lavinia Ignat
,
Gérald Oster
.
Awareness of Concurrent Changes in Distributed Software Development
International Conference on Cooperative Information Systems - CoopIS 2008
, Nov 2008, Monterrey, Mexico. pp.456-464,
⟨10.1007/978-3-540-88871-0⟩
hal-01235741
v1
Conference papers
Cristina Silvano
,
Giovanni Agosta
,
Andrea Bartolini
,
Andrea Beccari
,
Luca Benini
et al.
AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems: the ANTAREX Approach
Design, Automation, and Test in Europe
, Mar 2016, Dresden, Germany
hal-01235781
v1
Conference papers
Armelle Bonenfant
,
Fabienne Carrier
,
Hugues Cassé
,
Philippe Cuenot
,
Denis Claraz
et al.
When the worst-case execution time estimation gains from the application semantics
8th European Congress on Embedded Real-Time Software and Systems
, Jan 2016, Toulouse, France
hal-01235713
v1
Conference papers
Cristina Silvano
,
Giovanni Agosta
,
Andrea Bartolini
,
Andrea Beccari
,
Luca Benini
et al.
ANTAREX – AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems
18th IEEE International Conference on Computational Science and Engineering
, Oct 2015, Porto, Portugal
tel-00193300
v1
Theses
Heinrich Hördegen
.
Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats --- Etude des protocoles récursifs
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2007. Français
inria-00101080
v1
Reports
Anamaria Martins Moreira
,
Christophe Ringeissen
,
David Déharbe
,
Gleydson Lima
.
Manipulating Algebraic Specifications with Term-based and Graph-based Representations
[Intern report] A02-R-521 || martins_moreira02a, 2002, 33 p
inria-00101081
v1
Reports
Yassine Benayed
,
Dominique Fohr
,
Jean-Paul Haton
,
Gérard Chollet
.
Détection de mots clés dans un flux de parole par les modèles de Markov cachés
[Interne] A02-R-033 || benayed02e, 2002, 10 p
inria-00101082
v1
Reports
Romaric Charton
.
Agent approach for Dialoca Services, Architecture and user-mediator interaction
[Intern report] A02-R-048 || charton02a, 2002, 20 p
1
2
3
4
5
6
7
8
9
10
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
Save
Cancel
Label
Compulsory field(s) not filled in.