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-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-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-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-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-02346829v2  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-02140383v1  Conference papers
Pierre AblinThomas MoreauMathurin MassiasAlexandre Gramfort. Learning step sizes for unfolded sparse coding
Advances in Neural Information Processing Systems, 2019, Vancouver, Canada
hal-01936887v1  Conference papers
Pierre AblinJean-François CardosoAlexandre Gramfort. Beyond Pham's algorithm for joint diagonalization
European symposium on artificial neural networks, 2019, Bruges, Belgium
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-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-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-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-03149218v1  Conference papers
G AgliettiB TaylorS FellowesS AinleyD Tye et al.  RemoveDebris Mission, In Orbit Operations
33rd Annual AIAA/USU Conference on Small Satellites, Aug 2019, Logan, United States