Skip to Main content Skip to Navigation

hal-01110386v1  Journal articles
Dario CatalanoMario Di RaimondoDario FioreMariagrazia Messina. Zero-Knowledge Sets With Short Proofs
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2011, 57 (4), pp.2488-2502. ⟨10.1109/TIT.2011.2112150⟩
inria-00315920v1  Conference papers
Richard BonichonDavid DelahayeDamien Doligez. Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs
LPAR 2007 - 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. pp.151-165, ⟨10.1007/978-3-540-75560-9_13⟩
hal-00909784v1  Conference papers
David DelahayeDamien DoligezFrédéric GilbertPierre HalmagrandOlivier Hermant. Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo
LPAR - Logic for Programming Artificial Intelligence and Reasoning - 2013, Dec 2013, Stellenbosch, South Africa. pp.274-290, ⟨10.1007/978-3-642-45221-5_20⟩
hal-00909029v1  Conference papers
Timothy BourkeMarc Pouzet. Zélus: A Synchronous Language with ODEs
HSCC - 16th International Conference on Hybrid systems: computation and control, Calin Belta and Franjo Ivančić, Apr 2013, Philadelphia, United States. pp.113-118, ⟨10.1145/2461328.2461348⟩
hal-00814448v1  Journal articles
Laurent BurgyLaurent RéveillèreJulia LawallGilles Muller. Zebu: A Language-Based Approach for Network Protocol Message Processing
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2011, 37 (4), pp.575-591
hal-02425985v1  Conference papers
Shuhang ChenAdithya M. DevrajFan LuAna BušićSean P. Meyn. Zap Q-Learning With Nonlinear Function Approximation
NeurIPS 2020: Thirty-fourth Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtual, Canada
hal-03094388v1  Conference papers
Shuhang ChenAdithya DevrajAna BušićSean Meyn. Zap Q-Learning for Optimal Stopping
ACC 2020 - American Control Conference, Jul 2020, Denver / Virtual, United States. pp.3920-3925, ⟨10.23919/ACC45564.2020.9147481⟩
hal-02429733v1  Conference papers
Adithya DevrajAna BušićSean Meyn. Zap Q-Learning - A User's Guide
ICC 2019 - Fifth Indian Control Conference, Jan 2019, New Delhi, India. pp.10-15, ⟨10.1109/INDIANCC.2019.8715554⟩
halshs-01562486v1  Book sections
Anne Baillot. Zahlenwahn oder Textliebe? Digitale Philologie als Disziplin und als Weltanschauung
Johannes Dahm; Ruth Lambertz-Pollan; Maïwenn Roudaut; Bénédicte Terrisse. Machines/Maschinen. Les machines dans l'espace germanique: de l'automate de Kempelen à Kraftwerk, Presses Universitaires de Rennes, 2020, 978-2-7535-8002-2
hal-00863378v1  Conference papers
Robert KünnemannGraham Steel. YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM
Revised Selected Papers of the 8th Workshop on Security and Trust Management (STM'12), 2012, Pisa, Italy. pp.257-272, ⟨10.1007/978-3-642-38004-4_17⟩
hal-01801224v1  Conference papers
Francisco NavasImane MahtoutVicente MilanésFawzi Nashashibi. Youla-Kucera control structures for switching
CCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhagen, Denmark
hal-01591705v1  Conference papers
Francisco NavasVicente MilanésFawzi Nashashibi. Youla-Kucera Based Online Closed-Loop Identification For Longitudinal Vehicle Dynamics
21st International Conference on System Theory, Control and Computing, Oct 2017, Sinaia, Romania
tel-03126748v1  Theses
Imane Mahtout. Youla-Kucera based multi-objective controllers : Application to autonomous vehicles
Automatic Control Engineering. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLM044⟩
hal-01906268v1  Conference papers
Imane MahtoutFrancisco NavasDavid GonzalezVicente MilanésFawzi Nashashibi. Youla-Kucera Based Lateral Controller for Autonomous Vehicle
​ITSC 2018 - 21st IEEE International Conference on Intelligent Transportation Systems, Nov 2018, Maui, Hawaii, U.S. Outlying Islands
hal-02388974v1  Conference papers
Maximilian JaritzTuan-Hung VuRaoul de CharetteEmilie WirbelPatrick Pérez. xMUDA: Cross-Modal Unsupervised Domain Adaptation for 3D Semantic Segmentation
Conference on Computer Vision and Pattern Recognition (CVPR), Jun 2020, Virtual, United States
hal-00616613v1  Journal articles
Benjamin NguyenAntoine VionFrancois-Xavier DudouetDario ColazzoIoana Manolescu et al.  XML content warehousing: Improving sociological studies of mailing lists and web data
Bulletin de Méthodologie Sociologique / Bulletin of Sociological Methodology, SAGE Publications, 2011, 112 (1), pp.5-31. ⟨10.1177/0759106311417540⟩
hal-00768224v1  Journal articles
Benoît CrabbéDenys DuchierClaire GardentJoseph Le RouxYannick Parmentier. XMG : eXtensible MetaGrammar
Computational Linguistics, Massachusetts Institute of Technology Press (MIT Press), 2013, 39 (3), pp.591-629
hal-00450235v2  Journal articles
Sébastien BubeckRémi MunosGilles StoltzCsaba Szepesvari. X-Armed Bandits
Journal of Machine Learning Research, Microtome Publishing, 2011, 12, pp.1655-1695
hal-00941142v1  Conference papers
Julia LawallJulien BrunelNicolas PalixRené HansenHenrik Stuart et al.  WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code
DSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Lisbon, Portugal. pp.43-52, ⟨10.1109/DSN.2009.5270354⟩
inria-00627507v1  Journal articles
Erika RosasXavier Bonnaire. WTR: a reputation metric for distributed hash tables based on a risk and credibility factor
Journal of Computer Science and Technology, Iberoamerican Science & Technology Education Consortium, 2009, 24 (5), ⟨10.1007/s11390-009-9276-6⟩
hal-02407007v1  Conference papers
Slim Ben-AmorLiliana Cucu-GrosjeanDorin Maxim. Worst-case response time analysis for partitioned fixed-priority DAG tasks on identical processors
ETFA 2019 - 24th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2019, Zaragoza, Spain. pp.1423-1426, ⟨10.1109/ETFA.2019.8869147⟩
hal-01272090v1  Book sections
Anne BouillardGiovanni Stea. Worst-Case Analysis of Tandem Queueing Systems Using Network Calculus
Bruneo; Distefano. Quantitative Assessments of Distributed Systems, 2015, ⟨10.1002/9781119131151.ch6⟩
hal-01408633v1  Conference papers
Julia ChauletNicolas Sendrier. Worst case QC-MDPC decoder for McEliece cryptosystem
IEEE International Symposium on Information Theory, ISIT 2016, Jul 2016, Barcelone, Spain. pp.5, ⟨10.1109/ISIT.2016.7541522⟩
hal-01142465v1  Conference papers
Ranjan JhaDamien ChablatFabrice RouillierGuillaume Moroz. Workspace and Singularity analysis of a Delta like family robot
4th IFTOMM International Symposium on Robotics and Mechatronics, Jun 2015, Poitiers, France
hal-01006614v1  Conference papers
Damien ChablatRanjan JhaFabrice RouillierGuillaume Moroz. Workspace and joint space analysis of the 3-RPS parallel robot
ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Aug 2014, Buffalo, United States. pp.1-10
hal-00786830v1  Conference papers
Antoniu PopAlbert Cohen. Work-Streaming Compilation of Futures
PLACES'12 - 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Mar 2012, Tallin, Estonia
hal-02421157v1  Conference papers
Roberto MedinaLiliana Cucu-Grosjean. Work-in-Progress: System-wide DVFS for real-time systems with probabilistic parameters
2019 IEEE Real-Time Systems Symposium (RTSS), Dec 2019, Hong Kong, Hong Kong SAR China. pp.508-511
hal-03124588v1  Conference papers
Marwan Wehaiba El KhazenAdriana GogonelLiliana Cucu-Grosjean. Work in Progress Lessons learnt from creating Extreme Value Libraries in Python
RTSS 2020 - 41st IEEE Real Time Systems Symposium, Dec 2020, Dallas / Virtual, United States
hal-03124586v1  Conference papers
Kossivi KougblenouRihab BennourAdriana GogonelLiliana Cucu-Grosjean. Work in Progress : Towards representative measurement protocols
RTSS 2020 - 41st IEEE Real Time Systems Symposium, Dec 2020, Dallas / Virtual, United States
hal-02274157v1  Conference papers
Rahma ChaabouniEugene KharitonovAlessandro LazaricEmmanuel DupouxMarco Baroni. Word-order biases in deep-agent emergent communication
ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Jul 2019, Florence, Italy
hal-01251971v1  Journal articles
Abdelhak FarsiNadjib AchirKhaled Boussetta. WLAN Planning: Separate and Joint Optimization of Both Access Point Placement and Channel Assignment
Annals of Telecommunications - annales des télécommunications, Springer, 2015, 70 (5-6), pp.263-274. ⟨10.1007/s12243-014-0447-2⟩
hal-01064378v2  Journal articles
Bartlomiej BlaszczyszynMohamed Kadhem KarrayHolger Paul Keeler. Wireless networks appear Poissonian due to strong shadowing
IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, 2015, 14 (8), pp.4379 - 4390. ⟨10.1109/TWC.2015.2420099⟩
hal-02432805v1  Conference papers
Miguel Landry Foko SindjoungPascale Minet. Wireless Link Quality Prediction in IoT Networks
PEMWN 2019 - 8th IFIP/IEEE International Conference on Performance Evaluation and Modeling inWired andWireless Networks, Nov 2019, Paris, France
hal-00651600v1  Book sections
Juan Antonio Cordero FuertesEmmanuel BaccelliPhilippe JacquetThomas Heide Clausen. Wired/Wireless Compound Networking
Mobile Ad-Hoc Networks: Applications, InTech, pp.349 - 375, 2011
hal-00915848v1  Journal articles
Michel AbdallaJames BirkettDario CatalanoAlexander W. DentJohn Malone-Lee et al.  Wildcarded Identity-Based Encryption
Journal of Cryptology, Springer Verlag, 2011, 24 (1), pp.42-82. ⟨10.1007/s00145-010-9060-3⟩
hal-01256368v1  Journal articles
Justyna Signerska-RynkowskaJonathan TouboulAlexandre VidalJonathan Rubin. Wild oscillations in a nonlinear neuron model with resets: (II) Mixed-mode oscillations
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2017, 22, pp.4003-4039
hal-01416002v1  Journal articles
Jonathan RubinJustyna Signerska-RynkowskaJonathan TouboulAlexandre Vidal. Wild oscillations in a nonlinear neuron model with resets: (I) Bursting, spike adding and chaos
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2017, 22, pp.3967-4002. ⟨10.3934/dcdsb.2017204⟩
hal-01389581v1  Conference papers
Syphax IskounenThi-Mai-Trang NguyenSébastien Monnet. WiFi-Direct Simulation for INET in OMNeT++
The 3rd OMNeT++ Community Summit, Sep 2016, Brno, Czech Republic
hal-01851504v1  Conference papers
Dinh-Van NguyenRaoul de CharetteTrung-Kien DaoEric CastelliFawzi Nashashibi. WiFi Fingerprinting Localization for Intelligent Vehicles in Car Park
IPIN 2018 : Ninth International Conference on Indoor Positioning and Indoor Navigation, Sep 2018, Nantes, France
hal-02396308v1  Conference papers
Georg Fuchsbauer. WI Is Not Enough: Zero-Knowledge Contingent (Service) Payments Revisited
ACM CCS 2019 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom. pp.49-62, ⟨10.1145/3319535.3354234⟩
hal-01618357v2  Book sections
Luís AlmeidaRebecca ChisholmJean ClairambaultTommaso LorenziAlexander Lorz et al.  Why Is Evolution Important in Cancer and What Mathematics Should Be Used to Treat Cancer? Focus on Drug Resistance
Trends in Biomathematics: Modeling, Optimization and Computational Problems: Selected works from the BIOMAT Consortium Lectures, Moscow 2017, Springer International Publishing, pp.107-120, 2018
inria-00528582v1  Journal articles
Patrick CousotRadhia CousotJérôme FeretLaurent MauborgneAntoine Miné et al.  Why does Astrée scale up?
Formal Methods in System Design, Springer Verlag, 2009, Special issue on Numerical Software Verification, 35 (3), pp.229-264. ⟨10.1007/s10703-009-0089-6⟩
hal-01064766v1  Conference papers
Vibhor GoelAnand MishraKarteek AlahariC. V. Jawahar. Whole is Greater than Sum of Parts: Recognizing Scene Text Words
International Conference on Document Analysis and Recognition, Aug 2013, Washington DC, United States
hal-00907446v1  Conference papers
Anaïs GouinPierre NouhaudFabrice LegeaiGuillaume RizkJean-Christophe Simon et al.  Whole genome re-sequencing : lessons from unmapped reads
Journées Ouvertes Biologie Informatique Mathématiques, Jul 2013, Toulouse, France
hal-01257258v1  Conference papers
Albert Cohen. Who wants to adopt a polyhedral compiler?
3rd Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), Jan 2013, Berlin, Germany
hal-02166432v2  Conference papers
Aurélien BelletRachid GuerraouiHadrien Hendrikx. Who started this rumor? Quantifying the natural differential privacy guarantees of gossip protocols
DISC 2020 - 34th International Symposium on Distributed Computing, Oct 2020, Freiburg / Virtual, Germany
hal-00872841v1  Conference papers
Cécile DelerabléeTancrède LepointPascal PaillierMatthieu Rivain. White-Box Security Notions for Symmetric Encryption Schemes
SAC 2013 - Conference Selected Areas in Cryptography, Aug 2013, Burnaby, British Columbia, Canada
hal-01589649v1  Conference papers
Kuldeep KumarPietro GoriBenjamin CharlierStanley Durrleman​Olivier Colliot et al.  White Matter Fiber Segmentation Using Functional Varifolds
MFCA 2017 - 6th MICCAI workshop on Mathematical Foundations of Computational Anatomy, Sep 2017, Québec, Canada. pp.92-100
hal-00416485v1  Journal articles
Khaldoun Al AghaMarc-Henri BertinTuan DangAlexandre GuittonPascale Minet et al.  Which wireless technology for Industrial Wireless Sensors Network? The development of OCARI technology
IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2009, 56 (10), pp.13
hal-01687489v1  Journal articles
Adriana Guevara-RukozIsabelle LinMasahiro MoriiYasuyo Minagawa-KawaiEmmanuel Dupoux et al.  Which epenthetic vowel? Phonetic categories versus acoustic detail in perceptual vowel epenthesis
Journal of the Acoustical Society of America, Acoustical Society of America, 2017, 142 (2), pp.EL211 - EL217. ⟨10.1121/1.4998138⟩
hal-00988830v1  Conference papers
Mathieu AubryBryan C. RussellJosef Sivic. Where was this picture painted ? - Localizing paintings by alignment to 3D models
Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, Rouen, France. 6 p
hal-01895955v1  Conference papers
Quentin Lobbé. Where the dead blogs are. A Disaggregated Exploration of Web Archives to Reveal Extinct Online Collectives
ICADL 2018 - 20th International Conference on Asia-Pacific Digital Libraries, Nov 2018, Hamilton, New Zealand. pp.1-12
hal-01677427v1  Conference papers
Hector Martinez AlonsoBarbara Plank. When is multitask learning effective? Semantic sequence prediction under varying data conditions
EACL 2017 - 15th Conference of the European Chapter of the Association for Computational Linguistics, Apr 2017, Valencia, Spain. pp.1-10
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-02333640v2  Conference papers
Bao BuiDjob MvondoBoris TeabeKevin JiokengLavoisier Wapet et al.  When eXtended Para-Virtualization (XPV) meets NUMA
EUROSYS 2019: 14th European Conference on Computer Systems, Mar 2019, Dresde, Germany. pp.7, ⟨10.1145/3302424.3303960⟩
hal-01340283v1  Conference papers
Taisuke IzumiMaria Potop-ButucaruMathieu Valero. When Expanders Help Self-Healing Distributed R-Tree Overlays
IEEE ISPDC 2013, IEEE 12th International Symposium on Parallel and Distributed Computing, Jun 2013, Bucarest, Romania. pp.143-150
hal-01634630v1  Conference papers
Simon ApersAlain SarletteFrancesco Ticozzi. When Does Memory Speed-up Mixing?
IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia
hal-00940552v1  Conference papers
Tien V. NguyenFrançois BaccelliKai ZhuSundar SubramanianXinzhou Wu. When does CSMA become ALOHA?
Allerton 2012 - 50th Annual Allerton Conference on Communication, Control, and Computing, Oct 2012, Monticello, IL, United States. pp.1634-1636, ⟨10.1109/Allerton.2012.6483416⟩
hal-01678548v1  Journal articles
Yigong ZhangYingna SuJian YangJean PonceHui Kong. When Dijkstra meets vanishing point: a stereo vision approach for road detection
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.1-12
hal-03021720v1  Conference papers
Gaël GuibonMarine CourtinKim GerdesBruno Guillaume. When Collaborative Treebank Curation Meets Graph Grammars
LREC 2020 - 12th Language Resources and Evaluation Conference, May 2020, Marseille, France
inria-00444782v1  Journal articles
Marc Shapiro. What's wrong with us?
Distributed Systems Online, IEEE, 2006, 7 (5), pp.ONLINE. ⟨10.1109/MDSO.2006.34⟩
hal-01286584v1  Conference papers
Fabíola Gonçalves Pereira GreveLuciana ArantesPierre Sens. What model and what conditions to implement unreliable failure detectors in dynamic networks?
The 3rd International Workshop on Theoretical Aspects of Dynamic Distributed Systems, Sep 2011, Rome, Italy. pp.13-17, ⟨10.1145/2034640.2034645⟩
hal-01053876v1  Journal articles
Carl DoerschSaurabh SinghAbhinav GuptaJosef SivicAlexei Efros. What Makes Paris Look like Paris?
ACM Transactions on Graphics, Association for Computing Machinery, 2012, 31 (4)
hal-01248528v1  Journal articles
Carl DoerschSaurabh SinghAbhinav GuptaJosef SivicAlexei Efros. What Makes Paris Look Like Paris?
Communications of the ACM, Association for Computing Machinery, 2015, 58 (12), pp.103-110. ⟨10.1145/2830541⟩
hal-01415090v1  Conference papers
Adrian Kosowski. What Makes a Distributed Problem Truly Local?
SIROCCO 2016 - 23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland. pp.3, ⟨10.1007/978-3-319-48314-6⟩