Skip to Main content Skip to Navigation


...
hal-02141622v1  Conference papers
Massinissa AbaAlix Munier-KordonGuillaume Aupy. Scheduling on Two Unbounded Resources with Communication Costs
Euro-Par - European Conference on Parallel Processing, Aug 2019, Gottingen, Germany
...
hal-02333795v1  Conference papers
Amar AbanePaul MuhlethalerSamia BouzefraneAbdella Battou. Modeling and Improving Named Data Networking over IEEE 802.15.4
IFIP/IEEE PEMWN 2019 : IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, Nov 2019, Paris, France
...
hal-02168775v1  Conference papers
Nacira AbbasJérôme DavidAmedeo Napoli. Linkex: A Tool for Link Key Discovery Based on Pattern Structures
ICFCA 2019 - workshop on Applications and tools of formal concept analysis, Jun 2019, Frankfurt, Germany. pp.33-38
...
hal-02335025v1  Conference papers
Amir AbboudLoukas GeorgiadisGiuseppe ItalianoRobert KrauthgamerNikos Parotsidis et al.  Faster Algorithms for All-Pairs Bounded Min-Cuts
ICALP 2019 - 46th International Colloquium on Automata, Languages and Programming, Jul 2019, Patras, Greece. pp.1-15, ⟨10.4230/LIPIcs.ICALP.2019.7⟩
...
hal-02375577v1  Conference papers
Michel AbdallaFabrice BenhamoudaRomain Gay. From Single-Input to Multi-client Inner-Product Functional Encryption
ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.552-582, ⟨10.1007/978-3-030-34618-8_19⟩
...
hal-02375594v1  Conference papers
Michel AbdallaFabrice BenhamoudaAlain Passelègue. Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps
ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.386-412, ⟨10.1007/978-3-030-34621-8_14⟩
...
hal-02179193v1  Conference papers
Omar AbdelkafiBilel DerbelArnaud Liefooghe. A Parallel Tabu Search for the Large-scale Quadratic Assignment Problem
IEEE CEC 2019 - IEEE Congress on Evolutionary Computation, Jun 2019, Wellington, New Zealand
...
hal-02122772v1  Conference papers
Lafdal AbdelwedoudAnthony BussonIsabelle Guérin-Lassous. Inférence des poids d'un graphe des conflits modélisant un réseau Wi-Fi
CoRes 2019 - Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Saint-Laurent-de-la-Cabrerisse, France. pp.1-4
...
hal-02404943v1  Conference papers
Lafdal AbdelwedoudAnthony BussonIsabelle Guérin-LassousMarion Foare. A Passive Method to Infer the Weighted Conflict Graph of an IEEE 802.11 Network
AdHoc-Now 2019 - 18th International Conference on Ad Hoc Networks and Wireless, Oct 2019, Luxembourg, Luxembourg. pp.304-316, ⟨10.1007/978-3-030-31831-4_21⟩
...
hal-01987946v1  Conference papers
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJérôme FrançoisAdrien Lebre et al.  Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavie, Italy. pp.1-8, ⟨10.1109/EMPDP.2019.8671621⟩
...
hal-02154074v1  Conference papers
Yassine AbidiJulien BouyssierMoncef MahjoubNejib Zemzemi. Maximal conductances ionic parameters estimation in cardiac electrophysiology multiscale modelling
FIMH 2019 - 10th International Conference Functionnal Imaging and Modeling of the Heart, Y. Coudière, V. Ozenne, E. Vigmond and N. Zemzemi, Jun 2019, Bordeaux, France. pp.131-138, ⟨10.1007/978-3-030-21949-9⟩
...
hal-01912918v1  Conference papers
Pierre AblinDylan FagotHerwig WendtAlexandre GramfortCédric Févotte. A quasi-Newton algorithm on the orthogonal manifold for NMF with transform learning
IEEE-ICASSP 2019 - International Conference on Acoustics, Speech and Signal Processing, May 2019, Brighton, United Kingdom
...
hal-02346829v1  Conference papers
Pierre AblinDylan FagotHerwig WendtAlexandre GramfortCédric Févotte. A Quasi-Newton Algorithm on the Orthogonal Manifold for NMF with Transform Learning
IEEE-ICASSP 2019 - International Conference on Acoustics, Speech and Signal Processing, May 2019, Brighton, United Kingdom
...
hal-02372092v1  Conference papers
Pierre AblinAlexandre GramfortJean-François CardosoFrancis Bach. Stochastic algorithms with descent guarantees for ICA
AISTATS 2019 - 22nd International Conference on Artificial Intelligence and Statistics, Apr 2019, Naha, Japan
...
hal-03039679v1  Conference papers
Zeinab Abou Khalil. Studying the Impact of Policy Changes on Bug Handling Performance
The International Conference on Software Maintenance and Evolution (ICSME), Sep 2019, cleveland, United States. ⟨10.1109/icsme.2019.00093⟩
...
hal-02179172v1  Conference papers
Zeinab Abou KhalilEleni ConstantinouTom MensLaurence DuchienClément Quinton. A Longitudinal Analysis of Bug Handling Across Eclipse Releases
ICSME 2019 - 35th IEEE International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States
...
hal-01973285v2  Conference papers
Umut AcarVitaly AksenovArthur CharguéraudMike Rainey. Provably and Practically Efficient Granularity Control
PPoPP 2019 - Principles and Practice of Parallel Programming, Feb 2019, Washington DC, United States. ⟨10.1145/3293883.3295725⟩
...
hal-02415766v1  Conference papers
Beniamino AccattoliAndrea CondoluciGiulio GuerrieriClaudio Coen. Crumbling Abstract Machines
PPDP 2019 - 21st International Symposium on Principles and Practice of Programming Languages, Oct 2019, Porto, Portugal. ⟨10.1145/3354166.3354169⟩
...
hal-02415758v1  Conference papers
Beniamino AccattoliGiulio GuerrieriMaico Leberle. Types by Need
ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17184-1_15⟩
...
hal-02415786v1  Conference papers
Beniamino Accattoli. A Fresh Look at the λ-Calculus
FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨10.4230/LIPIcs.FSCD.2019.1⟩
...
hal-02411556v1  Conference papers
Beniamino AccattoliClaudia FaggianGiulio Guerrieri. Factorization and Normalization, Essentially
APLAS 2019 - 17th Asian Symposium on Programming Languages and Systems, Dec 2019, Bali, Indonesia. ⟨10.1007/978-3-030-34175-6_9⟩
...
hal-02390426v1  Conference papers
Matteo AcclavioLutz Straßburger. On Combinatorial Proofs for Logics of Relevance and Entailment
WoLLIC 2019 - 26th International Workshop on Logic, Language, Information, and Computation, Jul 2019, Utrecht, Netherlands. pp.1-16, ⟨10.1007/978-3-662-59533-6_1⟩
...
hal-02390400v1  Conference papers
Matteo AcclavioLutz Straßburger. On Combinatorial Proofs for Modal Logic
TABLEAUX 2019 - 28t International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2019, London, United Kingdom. pp.223-240, ⟨10.1007/978-3-030-29026-9_13⟩
...
hal-02342130v1  Conference papers
Mathieu Acher. Learning the Linux Kernel Configuration Space: Results and Challenges
ELC Europe 2019 - Embedded Linux Conference Europe 2019, Oct 2019, Lyon, France. pp.1-49
...
hal-02337628v1  Conference papers
Federica AdobbatiCarlo FerigatoStefano GandelliAdrián Puerto Aubel. Two Operations for Stable Structures of Elementary Regions
ATAED 2019 - Workshop Algorithms & Theories for the Analysis of Event Data, Wil van der Aalst, Jun 2019, Aachen, Germany. pp.36-53
...
hal-02151434v1  Conference papers
Rachit AgarwalShaan ChopraVassilis ChristophidesNikolaos GeorgantasValérie Issarny. Detecting Mobile Crowdsensing Context in the Wild
20th IEEE International Conference on Mobile Data Management (MDM) 2019, Jun 2019, Hong Kong, Hong Kong SAR China
...
hal-02394246v1  Conference papers
Zahra AghazadehDamien ImbsMichel RaynalGadi TaubenfeldPhilipp Woelfel. Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion
PODC 2019 - ACM Symposium on Principles of Distributed Computing, Jul 2019, Toronto, Canada. pp.157-166, ⟨10.1145/3293611.3331594⟩
...
hal-02191331v1  Conference papers
Emmanuel AgulloLuc GiraudStephane LanteriGilles MaraitAnne-Cécile Orgerie et al.  Energy Analysis of a Solver Stack for Frequency-Domain Electromagnetics
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavia, Italy. pp.385-391, ⟨10.1109/EMPDP.2019.8671555⟩