HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

hal-01370430v1  Journal articles
Atte Aalto. Iterative observer-based state and parameter estimation for linear systems
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2018, 24 (1), pp.265-288. ⟨10.1051/cocv/2017005⟩
hal-02333719v1  Conference papers
Amar AbaneMehammed DaouiPaul MühlethalerHossam Afifi. A down-to-earth integration of Named Data Networking in the real-world IoT
FiCloudW 2018 : 6th International Conference on Future Internet of Things and Cloud Workshops, Aug 2018, Barcelona, Spain. pp.243-249, ⟨10.1109/W-FiCloud.2018.00046⟩
hal-01949202v1  Conference papers
Carmine AbateArthur Azevedo de AmorimRoberto BlancoAna Nora EvansGuglielmo Fachini et al.  When Good Components Go Bad
25th ACM Conference on Computer and Communications Security (CCS), Oct 2018, Toronto, Canada. pp.1351--1368, ⟨10.1145/3243734.3243745⟩
hal-01673013v1  Conference papers
Abdullah AbbasPierre GenevèsCécile RoisinNabil Layaïda. Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions
ICWE'18 - 18th International Conference on Web Engineering, Jun 2018, Cáceres, Spain. pp.195-209, ⟨10.1007/978-3-319-91662-0_15⟩
hal-01901222v1  Conference papers
Emanuela AbbateAngelo IolloGabriella Puppo. Numerical simulation of weakly compressible multi-material flows
SIMAI 2018 - Bi-annual congress of the Italian Society of Applied and Industrial Mathematics, Italian Society of Applied and Industrial Mathematics, Jul 2018, Rome, Italy
hal-01901218v1  Conference papers
Emanuela AbbateAngelo IolloGabriella Puppo. An All-Speed Relaxation Scheme for the Simulation of Multi-material Flows
SHARK-FV 2018 - 5th experimental Sharing Higher-order Advanced Research Know-how on Finite Volume, May 2018, Minho, Portugal
hal-01940467v1  Journal articles
Emmanuel AbbeLaurent MassouliéAndrea MontanariAllan SlyNikhil Srivastava. Group synchronization on grids
Mathematical Statistics and Learning, EMS Publishing House, 2018
tel-01977804v1  Theses
Yacine Abboud. Fouille de motifs : entre accessibilité et robustesse
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0176⟩
hal-01862210v1  Conference papers
Feriel AbboudEmilie ChouzenouxJean-Christophe PesquetHugues Talbot. A Multicore Convex Optimization Algorithm with Applications to Video Restoration
IEEE International Conference on Image Processing, Oct 2018, Athens, Greece
hal-01538113v1  Journal articles
Michel AbdallaMihir BellareGregory Neven. Robust Encryption
Journal of Cryptology, Springer Verlag, 2018, 31 (2), pp.307-350. ⟨10.1007/s00145-017-9258-8⟩
hal-02293208v1  Directions of work or proceedings
Michel AbdallaRicardo Dahab. Public-Key Cryptography – PKC 2018
Michel Abdalla; Ricardo Dahab. Public-Key Cryptography – PKC 2018, Mar 2018, Rio de Janeiro, Brazil. Springer, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-76578-5⟩
hal-02293219v1  Directions of work or proceedings
Michel AbdallaRicardo Dahab. Public-Key Cryptography – PKC 2018
Michel Abdalla; Ricardo Dahab. Public-Key Cryptography – PKC 2018, Mar 2018, Rio de Janeiro, Brazil. 10770, Springer, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-76581-5⟩
hal-01654158v1  Journal articles
Meriem AbdallahMarie BlonskiSophie Wantz-MézièresYann GaudeauLuc Taillandier et al.  On the relevance of two manual tumor volume estimation methods for diffuse low-grade gliomas
Healthcare Technology Letters, The Institution of Engineering and Technology, 2018, 5 (1), pp.13-17. ⟨10.1049/htl.2017.0013⟩
hal-01726493v1  Conference papers
Omar AbdelkafiLhassane IdoumgharJulien LepagnotJean-Louis Paillaud. The determination of new stable zeolite frameworks using a parallel hybrid genetic algorithm
OLA 2018 - International Workshop on Optimization and Learning: Challenges and Applications, Feb 2018, Alicante, Spain. pp.1-2
hal-03376084v1  Directions of work or proceedings
El Hassan AbdelwahedLadjel BellatrecheMatteo GolfarelliDominique MéryCarlos Ordonez. Model and Data Engineering. 8th International Conference, MEDI 2018, Proceedings
Model and Data Engineering. 8th International Conference, MEDI 2018, Oct 2018, Marrakesh, Morocco. Springer, 2018, Lecture Notes in Computer Science, 978-3-030-00855-0. ⟨10.1007/978-3-030-00856-7⟩
hal-01933975v1  Directions of work or proceedings
El Hassan AbdelwahedLadjel BellatrecheDjamal BenslimaneMatteo GolfarelliStéphane Jean et al.  New Trends in Model and Data Engineering
MEDI 2018 - International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. Communications in Computer and Information Science, Communications in Computer and Information Science (929), Springer, 2018, 978-3-030-02851-0. ⟨10.1007/978-3-030-02852-7⟩
hal-01897570v3  Reports
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJérôme FrançoisXavier Lorca et al.  A Framework for Edge Infrastructures Monitoring
[Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14
hal-01911619v1  Conference papers
Muhammad Abdul WahabPascal CotretMounir Nasr AllahGuillaume HietArnab Kumar Biswas et al.  A small and adaptive coprocessor for information flow tracking in ARM SoCs
ReConFig 2018 - International Conference on Reconfigurable Computing and FPGAs, Dec 2018, Cancun, Mexico. pp.1-17, ⟨10.1109/reconfig.2018.8641695⟩
hal-01874495v1  Conference papers
Badr AbdullahIrina IllinaDominique Fohr. Dynamic Extension of ASR Lexicon Using Wikipedia Data
IEEE Workshop on Spoken and Language Technology (SLT), Dec 2018, Athènes, Greece
hal-01816256v3  Conference papers
Simon AbelardPierrick GaudryPierre-Jean Spaenlehauer. Counting points on genus-3 hyperelliptic curves with explicit real multiplication
ANTS-XIII - Thirteenth Algorithmic Number Theory Symposium, Jul 2018, Madison, United States. pp.1--19
hal-01826517v1  Poster communications
Clement Abi NaderNicholas AyacheValeria ManeraPhilippe RobertMarco Lorenzi. Disentangling spatio-temporal patterns of brain changes in large-scale brain imaging databases through Independent Gaussian Process Analysis
12ème Conférence Francophone d'Epidémiologie Clinique (EPICLIN) et 25èmes Journées des statisticiens des Centre de Lutte Contre le Cancer (CLCC), May 2018, Nice, France. Revue d'Épidémiologie et de Santé Publique (66), pp.S159, 2018, ⟨10.1016/j.respe.2018.03.108⟩
hal-01853934v1  Conference papers
Firas Abi-FarrajBernd HenzeAlexander WernerMichael PanzirschChristian Ott et al.  Humanoid Teleoperation using Task-Relevant Haptic Feedback
IROS'18 - IEEE/RSJ Int. Conf. on Intelligent Robots and SystemsIROS'18, Oct 2018, Madrid, Spain. pp.5010-5017, ⟨10.1109/IROS.2018.8593521⟩
hal-01851710v1  Conference papers
Firas Abi-FarrajClaudio PacchierottiPaolo Robuffo Giordano. User evaluation of a haptic-enabled shared-control approach for robotic telemanipulation
IROS 2018 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2018, Madrid, Spain. pp.1-8
tel-01863354v1  Theses
Younes Abid. Automated Risk Analysis on Privacy in Social Networks
Social and Information Networks [cs.SI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0088⟩
hal-01939277v1  Conference papers
Younes AbidAbdessamad ImineMichaël Rusinowitch. Online Testing of User Profile Resilience Against Inference Attacks in Social Networks
ADBIS 2018 - First International Workshop on Advances on Big Data Management, Analytics, Data Privacy and Security, BigDataMAPS 2018, Sep 2018, Budapest, Hungary
hal-01939283v1  Conference papers
Younes AbidAbdessamad ImineMichaël Rusinowitch. Sensitive attribute prediction for social networks users
DARLI-AP 2018 - 2nd International workshop on Data Analytics solutions for Real-LIfe APplications, Mar 2018, Vienne, Austria
hal-01718110v1  Conference papers
Karima AbidiKamel Smaïli. An Automatic Learning of an Algerian Dialect Lexicon by using Multilingual Word Embeddings
11th edition of the Language Resources and Evaluation Conference, LREC 2018, May 2018, Miyazaki, Japan
hal-01744978v1  Conference papers
Serge AbiteboulPierre BourhisVictor Vianu. Explanations and Transparency in Collaborative Workflows
PODS 2018 - 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles Of Database Systems, Jun 2018, Houston, Texas, United States
hal-01875161v1  Book sections
Serge Abiteboul. The Digital Shoebox
Memory, edited by Philippe Tortell, Mark Turin, and Margot Young, UBC Press, 2018
hal-01963510v1  Journal articles
Serge Abiteboul. Les déclinaisons de la neutralité
Annales des Mines - Enjeux Numériques, Conseil général de l'Économie, ministère de l'Économie et des Finances, 2018
hal-01744283v1  Journal articles
Serge Abiteboul. Les algorithmes du commerce
Concurrences - revue des droits de la concurrence, Institut de droit de la concurrence, 2018
hal-01651842v1  Conference papers
Pierre AblinJean-François CardosoAlexandre Gramfort. Faster ICA under orthogonal constraint
International Conference on Acoustics, Speech, & Signal Processing, 2018, Calgary, Canada
hal-01970746v1  Journal articles
Pierre AblinJean-François CardosoAlexandre Gramfort. Faster Independent Component Analysis by Preconditioning With Hessian Approximations
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2018, 66 (15), pp.4040-4049
hal-01815512v3  Conference papers
Nachwa AboubakrRémi RonfardJames L. Crowley. Recognition and Localization of Food in Cooking Videos
Joint Workshop on Multimedia for Cooking and Eating Activities and Multimedia Assisted Dietary Management (CEA-MADiMa 2018), Jul 2018, Stockholm, Sweden. pp.21-24, ⟨10.1145/3230519.3230590⟩
hal-01613842v1  Journal articles
Romain AbrahamJean-François Delmas. Reversal property of the Brownian tree
ALEA : Latin American Journal of Probability and Mathematical Statistics, Instituto Nacional de Matemática Pura e Aplicada, 2018, 15, pp.1293-1309
hal-02476494v1  Conference papers
Nabil AbsiChristian ArtiguesSafia Kedad-SidhoumSandra Ulrich NgueveuJanik Rannou et al.  Ordonnancement sous contraintes d’énergie avec stockage et couts linéaires par morceaux
ROADEF 2018 - 19e congrès de la société française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2018, Lorient, France
hal-01888549v1  Conference papers
Mohammad AbualhoulEdgar Talavera MunozFawzi Nashashibi. The Use of Lane-Centering to Ensure the Visible Light Communication Connectivity for a Platoon of Autonomous Vehicles
ICVES’2018 - 20th IEEE International Conference on Vehicular Electronics and Safety, Sep 2018, Madrid, Spain
hal-01888576v1  Conference papers
Mohammad AbualhoulMustafa Al-BadoOyunchimeg ShagdarFawzi Nashashibi. A Proposal for VLC-Assisting IEEE802.11p Communication for Vehicular Environment Using a Prediction-based Handover
ITSC 2018 – 21st IEEE International Conference on Intelligent Transportation Systems, Nov 2018, Maui, Hawaii, U.S. Outlying Islands
hal-01887065v1  Conference papers
Hayri AcarHind BenfenatkiJean-Patrick GelasCatarina Ferreira da SilvaGülfem Alptekin et al.  Software Greenability: A Case Study of Cloud-Based Business Applications Provisioning
CLOUD 2018 - IEEE 11th International Conference on Cloud Computing, Jul 2018, San Francisco, CA, United States. pp.875-878, ⟨10.1109/CLOUD.2018.00125⟩
hal-01937946v1  Conference papers
Umut AcarArthur CharguéraudAdrien GuattoMike RaineyFilip Sieczkowski. Heartbeat scheduling: provable efficiency for nested parallelism
PLDI’18 - 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2018, Philadelphia, United States. ⟨10.1145/3192366.3192391⟩
hal-01878539v1  Book sections
Vincent AcaryMaurice BrémondOlivier Huber. On solving contact problems with Coulomb friction: formulations and numerical comparisons
Springer International Publishing. Advanced Topics in Nonsmooth Dynamics - Transactions of the European Network for Nonsmooth Dynamics, pp.375-457, 2018, 9783319759715. ⟨10.1007/978-3-319-75972-2_10⟩
hal-01967532v1  Conference papers
Beniamino Accattoli. Proof Nets and the Linear Substitution Calculus
15th International Colloquium on Theoretical Aspects of Computing (ICTAC 2018), Oct 2018, Stellenbosch, South Africa
hal-01967531v1  Conference papers
Beniamino AccattoliGiulio Guerrieri. Types of Fireballs
APLAS 2018 - 16th Asian Symposium on Programming Languages and System, Dec 2018, Wellington, New Zealand
hal-01936141v1  Conference papers
Beniamino AccattoliStéphane Graham-LengrandDelia Kesner. Tight typings and split bounds
23rd ACM International Conference on Functional Programming, Sep 2018, St Louis, United States. pp.1 - 30, ⟨10.1145/3236789⟩
hal-01942275v1  Book sections
Matteo AcclavioLutz Straßburger. From Syntactic Proofs to Combinatorial Proofs
International Joint Conference on Automated Reasoning, IJCAR 2018, Springer, pp.481-497, 2018, 978-3-319-94204-9
lirmm-01651998v1  Journal articles
Cesar Arturo Aceves-LaraViolaine AthèsPatrice BucheGuy ValleVincent Farines et al.  The virtual food system: Innovative models and experiential feedback in technologies for winemaking, the cereals chain, food packaging and eco-designed starter production
Innovative Food Science and Emerging Technologies, Elsevier, 2018, Food Science and Technology in France: INRA’s contribution to this area, 46, pp.54-64. ⟨10.1016/j.ifset.2017.10.006⟩
hal-02023057v1  Journal articles
Mastane AchabStéphan ClémençonAurélien Garivier. Profitable Bandits
Proceedings of Machine Learning Research, PMLR, 2018, 95, pp.694-709
hal-01921868v1  Journal articles
Jagdish Prasad AcharaJavier Parra-ArnauClaude Castelluccia. Fine-Grained Control over Tracking to Support the Ad-Based Web Economy
ACM Transactions on Internet Technology, Association for Computing Machinery, 2018, 18 (4), pp.1-25. ⟨10.1145/3158372⟩
hal-01659161v1  Conference papers
Mathieu AcherPaul TempleJean-Marc JézéquelJosé Ángel Galindo DuarteJabier Martinez et al.  VaryLaTeX: Learning Paper Variants That Meet Constraints
VaMoS 2018 - 12th International Workshop on Variability Modelling of Software-Intensive Systems, Feb 2018, Madrid, Spain. pp.83-88, ⟨10.1145/3168365.3168372⟩
hal-01829933v1  Conference papers
Mathieu AcherRoberto Lopez-HerrejonRick Rabiser. Teaching Software Product Lines: A Snapshot of Current Practices and Challenges (Journal-First Abstract)
SPLC2018 - 22nd International Systems and Software Product Line Conference, Sep 2018, Gothenburg, Sweden. pp.1
hal-01921891v1  Book sections
Gergely AcsGergely BiczókClaude Castelluccia. Privacy-Preserving Release of Spatio-Temporal Density
Handbook of Mobile Data Privacy, Springer, pp.307-335, 2018, 978-3-319-98160-4. ⟨10.1007/978-3-319-98161-1_12⟩
tel-01939268v1  Theses
Yinoussa Adagolodjo. Couplage de La rObotique et de la simulatioN médicalE pour des proCédures automaTisées (CONECT)
Optimisation et contrôle [math.OC]. Université de Strasbourg, 2018. Français
hal-01792837v1  Conference papers
Yinoussa AdagolodjoNicolas GolseEric VibertMichel de MathelinStéphane Cotin et al.  Marker-based Registration for Large Deformations -Application to Open Liver Surgery
ICRA 2018 - International Conference on Robotics and Automation, May 2018, Brisbane, Australia
hal-01753444v1  Conference papers
Jordan AdamekMikhail NesterenkoJames Scott RobinsonSébastien Tixeuil. Concurrent Geometric Multicasting
The 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. ⟨10.1145/3154273.3154314⟩
tel-02976934v1  Habilitation à diriger des recherches
Bernardetta Addis. A journey through optimization: from global to discrete optimization and back.
Operations Research [cs.RO]. Université de Lorraine, 2018
hal-01876327v1  Poster communications
Aria AdliEric EngelLaurent RomaryFahime Same. A stand-off XML-TEI representation of reference annotation
DGfS 2018: 40. Jahrestagung der Deutschen Gesellschaft für Sprachwissenschaft, Mar 2018, Stuttgart, Germany. 2017
hal-01982426v1  Journal articles
David AdrianKarthikeyan BhargavanZakir DurumericPierrick GaudryMatthew Green et al.  Imperfect forward secrecy: How Diffie-Hellman fails in practice
Communications of the ACM, Association for Computing Machinery, 2018, 62 (1), pp.106-114. ⟨10.1145/3292035⟩
hal-01951964v1  Directions of work or proceedings
Kemo AdrianJérôme EuzenatDagmar Gromann. Proc. 1st JOMO workshop on Interaction-Based Knowledge Sharing (WINKS)
WINKS 2017 - 1st JOMO workshop on Interaction-Based Knowledge Sharing (WINKS), Sep 2017, Bozen-Bolzano, Italy. No commercial editor., pp.1-42, 2018
hal-01970768v1  Conference papers
Al Hassan AfailalJéremy GalpinAnthony VelgheRemi Manceau. A Hybrid Temporal RANS-LES Method for internal combustion engine applications
Large-Eddy Simulation for Internal Combustion Engines, Dec 2018, Rueil-Malmaison, France
hal-01923856v1  Poster communications
Rachit AgarwalNikolaos GeorgantasValérie Issarny. Impact of Spatial Scale on Mobility Parameters
NetSci 2018 - International Conference on Network Science, Jun 2018, Paris, France. Netsci 2018: Book of Abstracts (Posters - Social)
hal-01960756v1  Conference papers
Divesh AggarwalAntoine JouxAnupam PrakashMiklos Santha. A New Public-Key Cryptosystem via Mersenne Numbers
Crypto 2018, 2018, Santa-Barbara, United States. pp.459-482
hal-01359208v1  Journal articles
Reza AghajaniPhilippe RobertWen Sun. A Large Scale Analysis of Unreliable Stochastic Networks
Annals of Applied Probability, Institute of Mathematical Statistics (IMS), In press, 28 (2), pp.36. ⟨10.1214/17-AAP1318⟩
hal-01658263v2  Journal articles
Joubine AghiliDaniele Antonio Di Pietro. An advection-robust Hybrid High-Order method for the Oseen problem
Journal of Scientific Computing, Springer Verlag, 2018, 77 (3), pp.1310-1338. ⟨10.1007/s10915-018-0681-2⟩