2019

Publications HAL de la structure 178327; 179717; 528454; 205728; 458310; 179718; 35418

2019

Journal articles

titre: Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
auteur: Patrick Baillot, Gilles Barthe, Ugo Dal Lago
article: Journal of Automated Reasoning, 2019, 63 (4), pp.813-855. ⟨10.1007/978-3-662-48899-7_15⟩
Accès au texte intégral et bibtex

titre: Learning Combination of Graph Filters for Graph Signal Modeling
auteur: Fei Hua, Cédric Richard, Chen Jie, Haiyan Wang, Pierre Borgnat, Paulo Gonçalves
article: IEEE Signal Processing Letters, 2019, 26 (12), pp.1912-1916. ⟨10.1109/lsp.2019.2954981⟩
Accès au texte intégral et bibtex

titre: Bisimulation and Coinduction Enhancements: A Historical Perspective
auteur: Damien Pous, Davide Sangiorgi
article: Formal Aspects of Computing, 2019, 31 (6), pp.733-749. ⟨10.1007/s00165-019-00497-w⟩
Accès au texte intégral et bibtex

titre: Improving the Complexity of Block Low-Rank Factorizations with Fast Matrix Arithmetic
auteur: Claude-Pierre Jeannerod, Théo Mary, Clément Pernet, Daniel S. Roche
article: SIAM Journal on Matrix Analysis and Applications, 2019, 40 (4), pp.1478-1496. ⟨10.1137/19M1255628⟩
Accès au texte intégral et bibtex

titre: Coloring Dense Digraphs
auteur: Ararat Harutyunyan, Tien-Nam Le, Alantha Newman, Stéphan Thomassé
article: Combinatorica, 2019, 39 (5), pp.1021-1053. ⟨10.1007/s00493-019-3815-8⟩
Accès au bibtex

titre: Algorithms for triple-word arithmetic
auteur: Nicolas Fabiano, Jean-Michel Muller, Joris Picot
article: IEEE Transactions on Computers, 2019, 68 (11), pp.1573-1583. ⟨10.1109/TC.2019.2918451⟩
Accès au texte intégral et bibtex

titre: Degree-based Outlier Detection within IP Traffic Modelled as a Link Stream
auteur: Audrey Wilmet, Tiphaine Viard, Matthieu Latapy, Robin Lamarche-Perrin
article: Computer Networks, 2019, 161, pp.197-209. ⟨10.1016/j.comnet.2019.07.002⟩
Accès au texte intégral et bibtex

titre: Semi-Linearized Proximal Alternating Minimization for a Discrete Mumford-Shah Model
auteur: Marion Foare, Nelly Pustelnik, Laurent Condat
article: IEEE Transactions on Image Processing, 2019, pp.1-13. ⟨10.1109/TIP.2019.2944561⟩
Accès au texte intégral et bibtex

titre: Reentrant phase transitions in threshold driven contagion on multiplex networks
auteur: Samuel Unicomb, Gerardo Iñiguez, János Kertész, Márton Karsai
article: Physical Review E , 2019, 100 (4), pp.1192-1199. ⟨10.1103/PhysRevE.100.040301⟩
Accès au bibtex

titre: Linear Differential Equations as a Data-Structure
auteur: Bruno Salvy
article: Foundations of Computational Mathematics, 2019, 19 (5), pp.1071-1112. ⟨10.1007/s10208-018-09411-x⟩
Accès au bibtex

titre: Fourier could be a Data Scientist: from Graph Fourier Transform to Signal Processing on Graphs
auteur: Benjamin Ricaud, Pierre Borgnat, Nicolas Tremblay, Paulo Gonçalves, Pierre Vandergheynst
article: Comptes Rendus. Physique, 2019, pp.474-488. ⟨10.1016/j.crhy.2019.08.003⟩
Accès au texte intégral et bibtex

titre: Discrete Mumford-Shah on graph for mixing matrix estimation
auteur: Yacouba Kaloga, Marion Foare, Nelly Pustelnik, Pablo Jensen
article: IEEE Signal Processing Letters, 2019, 26 (9), pp.1275-1279. ⟨10.1109/lsp.2019.2917518⟩
Accès au texte intégral et bibtex

titre: Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
auteur: Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn
article: Electronic Proceedings in Theoretical Computer Science, 2019, 302, pp.32-46. ⟨10.4204/EPTCS.302.3⟩
Accès au texte intégral et bibtex

titre: Fine-grained MPI+OpenMP plasma simulations: communication overlap with dependent tasks
auteur: Jérôme Richard, Guillaume Latu, Julien Bigot, Thierry Gautier
article: Lecture Notes in Computer Science, 2019, Euro-Par 2019: Euro-Par 2019: Parallel Processing, 11725, pp.419-433. ⟨10.1007/978-3-030-29400-7_30⟩
Accès au texte intégral et bibtex

titre: Companions, Causality and Codensity
auteur: Damien Pous, Jurriaan Rot
article: Logical Methods in Computer Science, 2019, ⟨10.23638/LMCS-15(3:14)2019⟩
Accès au bibtex

titre: Divergence and unique solution of equations
auteur: Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
article: Logical Methods in Computer Science, 2019, ⟨10.23638/LMCS-15(3:12)2019⟩
Accès au bibtex

titre: Performance Analysis of Video on Demand in an IEEE 802.11p-based Vehicular Network
auteur: Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous, Azzedine Boukerche
article: Computer Communications, 2019, 146, pp.174-185. ⟨10.1016/j.comcom.2019.08.006⟩
Accès au texte intégral et bibtex

titre: Interactional and Informational Attention on Twitter
auteur: Agathe Baltzer, Márton Karsai, Camille Roth
article: Information, 2019, 10 (8), pp.1-16. ⟨10.3390/info10080250⟩
Accès au bibtex

titre: InKS, a Programming Model to Decouple Algorithm from Optimization in HPC Codes
auteur: Ksander Ejjaaouani, Olivier Aumage, Julien Bigot, Michel Mehrenberger, Hitoshi Murai, Masahiro Nakao, Mitsuhisa Sato
article: Journal of Supercomputing, 2019, ⟨10.1007/s11227-019-02950-2⟩
Accès au texte intégral et bibtex

titre: Subdivisions in Digraphs of Large Out-Degree or Large Dichromatic Number
auteur: Pierre Aboulker, Nathann Cohen, Frédéric Havet, William Lochet, Phablo F S Moura, Stéphan Thomassé
article: The Electronic Journal of Combinatorics, 2019, 26, pp.P3.19
Accès au texte intégral et bibtex

titre: Multilevel Algorithms for Acyclic Partitioning of Directed Acyclic Graphs
auteur: Julien Herrmann, Yusuf M. Özkaya, Bora Uçar, Kamer Kaya, Ümit V. Çatalyürek
article: SIAM Journal on Scientific Computing, 2019, 41 (4), pp.A2117-A2145. ⟨10.1137/18M1176865⟩
Accès au texte intégral et bibtex

titre: A proof of the Erdős–Sands–Sauer–Woodrow conjecture
auteur: Nicolas Bousquet, William Lochet, Stéphan Thomassé
article: Journal of Combinatorial Theory, Series B, 2019, Elsevier Journal of Combinatorial Theory, Series B, 137, pp.316-319. ⟨10.1016/j.jctb.2018.11.005⟩
Accès au texte intégral et bibtex

titre: Comparing the performance of rigid, moldable and grid-shaped applications on failure-prone HPC platforms
auteur: Valentin Le Fèvre, Thomas Herault, Yves Robert, Aurelien Bouteiller, Atsushi Hori, George Bosilca, Jack Dongarra
article: Parallel Computing, 2019, 85, pp.1-12. ⟨10.1016/j.parco.2019.02.002⟩
Accès au texte intégral et bibtex

titre: Close proximity interactions support transmission of ESBL-K. pneumoniae but not ESBL-E. coli in healthcare settings
auteur: Audrey Duval, Thomas Obadia, Pierre-Yves Boëlle, Eric Fleury, Jean-Louis Herrmann, Didier Guillemot, Laura Temime, Lulla Opatowski
article: PLoS Computational Biology, 2019, 15 (5), pp.e1006496. ⟨10.1371/journal.pcbi.1006496⟩
Accès au texte intégral et bibtex

titre: Host contact dynamics shapes richness and dominance of pathogen strains
auteur: Francesco Pinotti, Eric Fleury, Didier Guillemot, Pierre-Yves Böelle, Chiara Poletto
article: PLoS Computational Biology, 2019, 15 (5), pp.e1006530. ⟨10.1371/journal.pcbi.1006530⟩
Accès au texte intégral et bibtex

titre: Optimal Proxy Selection for Socioeconomic Status Inference on Twitter
auteur: Jacob Levy Abitbol, Eric Fleury, Márton Karsai
article: Complexity, 2019, 2019, pp.1-15. ⟨10.1155/2019/6059673⟩
Accès au bibtex

titre: A Generic Approach to Scheduling and Checkpointing Workflows
auteur: Li Han, Valentin Le Fèvre, Louis-Claude Canon, Yves Robert, Frédéric Vivien
article: International Journal of High Performance Computing Applications, 2019, pp.1-19. ⟨10.1177/1094342019866891⟩
Accès au texte intégral et bibtex

titre: Bridging the gap between flat and hierarchical low-rank matrix formats: the multilevel BLR format
auteur: Patrick Amestoy, Alfredo Buttari, Jean-Yves L'Excellent, Théo Mary
article: SIAM Journal on Scientific Computing, 2019, 41 (3), pp.A1414-A1442. ⟨10.1137/18M1182760⟩
Accès au texte intégral et bibtex

titre: Oritatami: A Computational Model for Molecular Co-Transcriptional Folding
auteur: Cody Geary, Pierre-Etienne Meunier, Nicolas Schabanel, Shinnosuke Seki
article: International Journal of Molecular Sciences, 2019, 20 (9), pp.2259. ⟨10.3390/ijms20092259⟩
Accès au texte intégral et bibtex

titre: The 2-domination and Roman domination numbers of grid graphs
auteur: Michaël Rao, Alexandre Talon
article: Discrete Mathematics and Theoretical Computer Science, 2019, ICGT 2018, 21 (1)
Accès au bibtex

titre: Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study
auteur: Anastasia Volkova, Matei Istoan, Florent de Dinechin, Thibault Hilaire
article: IEEE Transactions on Computers, 2019, 68 (4), pp.597 - 608. ⟨10.1109/TC.2018.2879432⟩
Accès au texte intégral et bibtex

titre: Edge-partitioning a graph into paths: beyond the Barát-Thomassen conjecture
auteur: Julien Bensmail, Ararat Harutyunyan, Tien-Nam Le, Stéphan Thomassé
article: Combinatorica, 2019, 39 (2), pp.239-263. ⟨10.1007/s00493-017-3661-5⟩
Accès au texte intégral et bibtex

titre: Co-scheduling HPC workloads on cache-partitioned CMP platforms
auteur: Guillaume Aupy, Anne Benoit, Brice Goglin, Loïc Pottier, Yves Robert
article: International Journal of High Performance Computing Applications, 2019, 33 (6), pp.1221-1239. ⟨10.1177/1094342019846956⟩
Accès au texte intégral et bibtex

titre: Conflict graph-based model for IEEE 802.11 networks: A Divide-and-Conquer approach
auteur: Marija Stojanova, Thomas Begin, Anthony Busson
article: Performance Evaluation, 2019, 130, pp.64-85. ⟨10.1016/j.peva.2018.11.002⟩
Accès au texte intégral et bibtex

titre: Cryptanalysis of the CLT13 Multilinear Map
auteur: Jung Hee Cheon, Kyoohyung Han, Changmin Lee, Hansol Ryu, Damien Stehlé
article: Journal of Cryptology, 2019, 32 (2), pp.547-565. ⟨10.1007/s00145-018-9307-y⟩
Accès au bibtex

titre: Locally self-avoiding Eulerian tours
auteur: Tien-Nam Le
article: Journal of Combinatorial Theory, Series B, 2019, 135, pp.279 - 294. ⟨10.1016/j.jctb.2018.08.008⟩
Accès au texte intégral et bibtex

titre: Bio-curation for cellular signalling: the KAMI project
auteur: Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Eugenia Oshurko
article: IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2019, 16 (5), pp.1562-1573. ⟨10.1109/TCBB.2019.2906164⟩
Accès au texte intégral et bibtex

titre: Infants rapidly detect human faces in complex naturalistic visual scenes
auteur: David Kelly, Sofia Duarte, David Meary, Markus Bindemann, Olivier Pascalis
article: Developmental Science, 2019, 22 (6), ⟨10.1111/desc.12829⟩
Accès au bibtex

titre: Thin Games with Symmetry and Concurrent Hyland-Ong Games
auteur: Simon Castellan, Pierre Clairambault, Glynn Winskel
article: Logical Methods in Computer Science, 2019, ⟨10.2168/LMCS-15(1:18)2019⟩
Accès au texte intégral et bibtex

titre: A multi-dimensional Morton-ordered block storage for mode-oblivious tensor computations
auteur: Filip Pawlowski, Bora Uçar, Albert-Jan Yzelman
article: Journal of computational science, 2019, 33, pp.34-44. ⟨10.1016/j.jocs.2019.02.007⟩
Accès au texte intégral et bibtex

titre: Coloring square-free Berge graphs
auteur: Maria Chudnovsky, Irene Lo, Frédéric Maffray, Nicolas Trotignon, Kristina Vušković
article: Journal of Combinatorial Theory, Series B, 2019, 135, pp.96-128. ⟨10.1016/j.jctb.2018.07.010⟩
Accès au texte intégral et bibtex

titre: An $O(n^2)$ time algorithm for the minimal permutation completion problem
auteur: Christophe Crespelle, Anthony Perez, Ioan Todinca
article: Discrete Applied Mathematics, 2019, 254, pp.80-95. ⟨10.1016/j.dam.2018.06.036⟩
Accès au texte intégral et bibtex

titre: Limiting the memory footprint when dynamically scheduling DAGs on shared-memory platforms
auteur: Loris Marchal, Bertrand Simon, Frédéric Vivien
article: Journal of Parallel and Distributed Computing, 2019, 128, pp.30-42. ⟨10.1016/j.jpdc.2019.01.009⟩
Accès au texte intégral et bibtex

titre: Performance and Scalability of the Block Low-Rank Multifrontal Factorization on Multicore Architectures
auteur: Patrick Amestoy, Alfredo Buttari, Jean-Yves L'Excellent, Théo Mary
article: ACM Transactions on Mathematical Software, 2019, 45 (1), pp.1-23. ⟨10.1145/3242094⟩
Accès au texte intégral et bibtex

titre: Pourquoi créer des nouveaux langages de programmation ?
auteur: Ludovic Henrio
article: Interstices, 2019
Accès au bibtex

titre: Subquadratic Kernels for Implicit 3-Hitting Set and 3-Set Packing Problems
auteur: Fedor V. Fomin, Tien-Nam Le, Daniel Lokshtanov, Saket Saurabh, Stéphan Thomassé, Meirav Zehavi
article: ACM Transactions on Algorithms, 2019, 15 (1), pp.1-44
Accès au bibtex

titre: Intersection Types and Runtime Errors in the Pi-Calculus
auteur: Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu
article: Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-29. ⟨10.1145/3290320⟩
Accès au texte intégral et bibtex

titre: Game semantics for quantum programming
auteur: Pierre Clairambault, Marc de Visme, Glynn Winskel
article: Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-29. ⟨10.1145/3290345⟩
Accès au bibtex

titre: Induced minors and well-quasi-ordering
auteur: Jarosław Błasiok, Marcin Kamiński, Jean-Florent Raymond, Théophile Trunck
article: Journal of Combinatorial Theory, Series B, 2019, 134, pp.110-142. ⟨10.1016/j.jctb.2018.05.005⟩
Accès au texte intégral et bibtex

titre: Extension complexity of the correlation polytope
auteur: Pierre Aboulker, Samuel Fiorini, Tony Huynh, Marco Macchia, Johanna Seif
article: Operations Research Letters, 2019, 47 (1), pp.47-51. ⟨10.1016/j.orl.2018.12.001⟩
Accès au bibtex

titre: Immersion of transitive tournaments in digraphs with large minimum outdegree
auteur: William Lochet
article: Journal of Combinatorial Theory, Series B, 2019, 134, pp.350-353. ⟨10.1016/j.jctb.2018.05.004⟩
Accès au texte intégral et bibtex

titre: Nivat's conjecture and pattern complexity in algebraic subshifts
auteur: Jarkko Kari, Etienne Moutot
article: Theoretical Computer Science, 2019, ⟨10.1016/j.tcs.2018.12.029⟩
Accès au texte intégral et bibtex

titre: Les nouveaux maîtres de l'écriture du monde
auteur: Éric Guichard
article: Contemporary French and Francophone Studies, 2019, The Google Era? / L’Ère Google ?, 23 (4), pp.490-501. ⟨10.1080/17409292.2020.1723247⟩
Accès au texte intégral et bibtex

titre: On exploiting sparsity of multiple right-hand sides in sparse direct solvers
auteur: Patrick Amestoy, Jean-Yves L'Excellent, Gilles Moreau
article: SIAM Journal on Scientific Computing, 2019, 41 (1), pp.A269-A291. ⟨10.1137/17M1151882⟩
Accès au texte intégral et bibtex

titre: Coloring tournaments: From local to global
auteur: Ararat Harutyunyan, Tien-Nam Le, Stéphan Thomassé, Hehui Wu
article: Journal of Combinatorial Theory, Series B, 2019, 138, pp.166-171. ⟨10.1016/j.jctb.2019.01.005⟩
Accès au texte intégral et bibtex

titre: Performance and Energy Analysis of OpenMP Runtime Systems with Dense Linear Algebra Algorithms
auteur: Joao Vicente Ferreira Lima, Issam Raïs, Laurent Lefèvre, Thierry Gautier
article: International Journal of High Performance Computing Applications, 2019, 33 (3), pp.431-443. ⟨10.1177/1094342018792079⟩
Accès au texte intégral et bibtex

titre: First-Come-First-Served Queues with Multiple Servers and Customer Classes
auteur: Alexandre Brandwajn, Thomas Begin
article: Performance Evaluation, 2019, 130, pp.51-63. ⟨10.1016/j.peva.2018.11.001⟩
Accès au texte intégral et bibtex

titre: Separation Choosability and Dense Bipartite Induced Subgraphs
auteur: Louis Esperet, Ross Kang, Stéphan Thomassé
article: Combinatorics, Probability and Computing, 2019, 28 (5), pp.720-732. ⟨10.1017/S0963548319000026⟩
Accès au bibtex

titre: A generalization of the simulation theorem for semidirect products
auteur: Sebastián Barbieri, Mathieu Sablik
article: Ergodic Theory and Dynamical Systems, In press, pp.1-22. ⟨10.1017/etds.2018.21⟩
Accès au bibtex

titre: Combining Checkpointing and Replication for Reliable Execution of Linear Workflows with Fail-Stop and Silent Errors
auteur: Anne Benoit, Aurélien Cavelan, Florina Ciorba, Valentin Le Fèvre, Yves Robert
article: International Journal of Networking and Computing, 2019, 9 (1), pp.2-27. ⟨10.15803/ijnc.9.1_2⟩
Accès au texte intégral et bibtex

titre: Cartographie et visualisation
auteur: Éric Guichard
article: Annales des mines - Série Responsabilité et environnement, 2019, 94, pp.38-41. ⟨10.3917/re1.094.0038⟩
Accès au texte intégral et bibtex

titre: Realization of aperiodic subshifts and uniform densities in groups
auteur: Nathalie Aubrun, Sebastián Barbieri, Stéphan Thomassé
article: Groups, Geometry, and Dynamics, 2019, 13 (1), pp.107-129
Accès au texte intégral et bibtex

titre: Sharing Cache Resources among Content Providers: A Utility-Based Approach
auteur: Mostafa Dehghan, Weibo Chu, Philippe Nain, Don Towsley, Zhi-Li Zhang
article: IEEE/ACM Transactions on Networking, 2019, 40 (8), pp.1-14. ⟨10.1109/TNET.2018.2890512⟩
Accès au texte intégral et bibtex

titre: Root Separation for Trinomials
auteur: Pascal Koiran
article: Journal of Symbolic Computation, In press
Accès au texte intégral et bibtex

titre: $L^{\gamma}$ -PageRank for Semi-Supervised Learning
auteur: Esteban Bautista, Patrice Abry, Paulo Gonçalves
article: Applied Network Science, 2019, 4 (57), pp.1-20. ⟨10.1007/s41109-019-0172-x⟩
Accès au texte intégral et bibtex

titre: Checkpointing Strategies for Shared High-Performance Computing Platforms
auteur: Thomas Herault, Yves Robert, Aurelien Bouteiller, Arnold Arnold, Kurt Ferreira, George Bosilca, Jack Dongarra
article: International Journal of Networking and Computing, 2019, 9 (1), pp.28-52. ⟨10.15803/ijnc.9.1_28⟩
Accès au bibtex

titre: Non-altering time scales for aggregation of dynamic networks into series of graphs
auteur: Yannick Léo, Christophe Crespelle, Eric Fleury
article: Computer Networks, 2019, 148, pp.108-119. ⟨10.1016/j.comnet.2018.11.006⟩
Accès au bibtex

Conference papers

titre: Parameterized Streaming Algorithms for Min-Ones d-SAT
auteur: Akanksha Agrawal, Arindam Biswas, Edouard Bonnet, Nick Brettell, Radu Curticapean, Dániel Marx, Miltzow Tillmann, Venkatesh Raman, Saket Saurabh
article: FSTTCS 2019, Dec 2019, Bombay, India
Accès au texte intégral et bibtex

titre: When Maximum Stable Set Can Be Solved in FPT Time
auteur: Edouard Bonnet, Nicolas Bousquet, Stéphan Thomassé, Rémi Watrigant
article: 30th International Symposium on Algorithms and Computation (ISAAC 2019), Dec 2019, Shanghai, China. ⟨10.4230/LIPIcs.ISAAC.2019.49⟩
Accès au texte intégral et bibtex

titre: Shorter Pairing-based Arguments under Standard Assumptions
auteur: Alonso González, Carla Ràfols
article: ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.728-757, ⟨10.1007/978-3-030-34618-8_25⟩
Accès au texte intégral et bibtex

titre: Multi-Client Functional Encryption for Linear Functions in the Standard Model from LWE
auteur: Benoît Libert, Radu Titiu
article: ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.1-54, ⟨10.1007/978-3-030-34618-8_18⟩
Accès au texte intégral et bibtex

titre: Algebraic XOR-RKA-Secure Pseudorandom Functions from Post-Zeroizing Multilinear Maps
auteur: Michel Abdalla, Fabrice Benhamouda, Alain Passelègue
article: 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⟩
Accès au texte intégral et bibtex

titre: Remplacer un routeur par un serveur Linux : retour d'expérience des passerelles d'accès à Grid'5000
auteur: Dimitri Delabroye, Simon Delamare, David Loup, Lucas Nussbaum
article: JRES - Journées Réseaux de l'Enseignement et de la Recherche, Dec 2019, Dijon, France
Accès au texte intégral et bibtex

titre: Improved energy-aware strategies for periodic real-time tasks under reliability constraints
auteur: Li Han, Louis-Claude Canon, Jing Liu, Yves Robert, Frédéric Vivien
article: RTSS 2019 - 40th IEEE Real-Time Systems Symposium, Dec 2019, Hong Kong, China. pp.1-13, ⟨10.1109/RTSS46320.2019.00013⟩
Accès au texte intégral et bibtex

titre: Calcul haute performance et efficacité énergétique : focus sur OpenFOAM
auteur: Cyrille Bonamy, Laurent Lefèvre, Gabriel Pierre André Moreau
article: Congrès JRES : Les Journées Réseaux de l'Enseignement et de la Recherche, RENATER, Dec 2019, Dijon, France. pp.1-9
Accès au texte intégral et bibtex

titre: Cyclic Proofs and Jumping Automata
auteur: Denis Kuperberg, Laureline Pinault, Damien Pous
article: FSTTCS, Dec 2019, Bombay, India. ⟨10.4230/LIPIcs.FSTTCS.2019.45⟩
Accès au texte intégral et bibtex

titre: Simulation and Performance Evaluation of the Intel Rate Adaptation Algorithm
auteur: Rémy Grünblatt, Isabelle Guérin-Lassous, Olivier Simonin
article: MSWiM 2019 - 22nd ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Nov 2019, Miami Beach, United States. pp.27-34, ⟨10.1145/3345768.3355921⟩
Accès au texte intégral et bibtex

titre: Towards a Distributed Congestion Control mechanism for Smart Grid Neighborhood Area Networks
auteur: Juan Pablo Astudillo León, Thomas Begin, Anthony Busson, Luis Javier de La Cruz Llopis
article: PE-WASUN 2019 - Sixteenth ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Nov 2019, Miami, United States
Accès au texte intégral et bibtex

titre: Generic Matrix Multiplication for Multi-GPU Accelerated Distributed-Memory Platforms over PaRSEC
auteur: Thomas Herault, Yves Robert, George Bosilca, Jack Dongarra
article: ScalA 2019 - IEEE/ACM 10th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, Nov 2019, Denver, United States. pp.33-41, ⟨10.1109/ScalA49573.2019.00010⟩
Accès au bibtex

titre: Replication Is More Efficient Than You Think
auteur: Anne Benoit, Thomas Hérault, Valentin Le Fèvre, Yves Robert
article: SC 2019 - International Conference for High Performance Computing, Networking, Storage, and Analysis (SC'19), Nov 2019, Denver, United States. pp.1-14, ⟨10.1145/3295500.3356171⟩
Accès au texte intégral et bibtex

titre: Response Time Analysis of Dataflow Applications on a Many-Core Processor with Shared-Memory and Network-on-Chip
auteur: Amaury Graillat, Claire Maiza, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin
article: RTNS 2019 - 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France. pp.61-69, ⟨10.1145/3356401.3356416⟩
Accès au texte intégral et bibtex

titre: Schema validation and evolution for graph databases
auteur: Angela Bonifati, Peter Furniss, Alastair Green, Russ Harmer, Eugenia Oshurko, Hannes Voigt
article: ER 2019 - 38th International Conference on Conceptual Modeling, Nov 2019, Salvador, Brazil. pp.448-456, ⟨10.1007/978-3-030-33223-5_37⟩
Accès au texte intégral et bibtex

titre: Resource Allocation in One-dimensional Distributed Service Networks
auteur: Nitish K Panigrahy, Prithwish Basu, Philippe Nain, Don Towsley, Ananthram Swami, Kevin S. Chan, Kin K Leung
article: MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.14-26, ⟨10.1109/MASCOTS.2019.00013⟩
Accès au texte intégral et bibtex

titre: Is it time to revisit Erasure Coding in Data-intensive clusters?
auteur: Jad Darrous, Shadi Ibrahim, Christian Pérez
article: MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.165-178, ⟨10.1109/MASCOTS.2019.00026⟩
Accès au texte intégral et bibtex

titre: Phase-Based Tasks Scheduling in Data Centers Powered Exclusively by Renewable Energy
auteur: Berk Celik, Gustavo Rostirolla, Stéphane Caux, Paul Renaud-Goud, Patricia Stolf
article: 2019 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Oct 2019, Campo Grande, Brazil. pp.136-143, ⟨10.1109/SBAC-PAD.2019.00032⟩
Accès au bibtex

titre: Monte-Carlo Tree Search and Reinforcement Learning for Reconfiguring Data Stream Processing on Edge Computing
auteur: Alexandre da Silva Veith, Marcos Dias de Assuncao, Laurent Lefevre
article: SBAC-PAD 2019 - International Symposium on Computer Architecture and High Performance Computing, Oct 2019, Campo Grande, Brazil. pp.1-8
Accès au texte intégral et bibtex

titre: fkcc: the Farkas Calculator
auteur: Christophe Alias
article: TAPAS 2019 - 10th Workshop on Tools for Automatic Program Analysis, Oct 2019, Porto, Portugal. pp.526-536
Accès au texte intégral et bibtex

titre: A Passive Method to Infer the Weighted Conflict Graph of an IEEE 802.11 Network
auteur: Lafdal Abdelwedoud, Anthony Busson, Isabelle Guérin-Lassous, Marion Foare
article: 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⟩
Accès au texte intégral et bibtex

titre: Scheduling independent stochastic tasks on heterogeneous cloud platforms
auteur: Yiqin Gao, Louis-Claude Canon, Yves Robert, Frédéric Vivien
article: IEEE Cluster 2019 - International Conference on Cluster Computing, Sep 2019, Albuquerque, United States. pp.1-11, ⟨10.1109/CLUSTER.2019.8891048⟩
Accès au texte intégral et bibtex

titre: Bridging Concepts and Practice in eScience via Simulation-driven Engineering
auteur: Rafael Ferreira da Silva, Henri Casanova, Ryan Tanaka, Frédéric Suter
article: BC2DC 2019 - Workshop on Bridging from Concepts to Data and Computation for eScience, Sep 2019, San Diego, CA, United States. pp.1-6
Accès au texte intégral et bibtex

titre: KAMIStudio: an environment for biocuration of cell signalling knowledge
auteur: Russ Harmer, Eugenia Oshurko
article: 17th International Conference on Computational Methods in Systems Biology, Sep 2019, Trieste, Italy
Accès au bibtex

titre: Metric Dimension Parameterized by Treewidth
auteur: Edouard Bonnet, Nidhi Purohit
article: IPEC 2019, Sep 2019, Munich, Germany
Accès au texte intégral et bibtex

titre: The MPFI Library: Towards IEEE 1788-2015 Compliance
auteur: Nathalie Revol
article: PPAM 2019 - 13th International Conference on Parallel Processing and Applied Mathematics, Sep 2019, Bialystok, Poland. pp.353-363, ⟨10.1007/978-3-030-43222-5_31⟩
Accès au texte intégral et bibtex

titre: Is Acyclic Directed Graph Partitioning Effective for Locality-Aware Scheduling?
auteur: Yusuf M. Özkaya, Anne Benoit, Ümit V. Çatalyürek
article: PPAM 2019 - 13th International Conference on Parallel Processing and Applied Mathematics, Sep 2019, Bialystok, Poland
Accès au texte intégral et bibtex

titre: A certificate-based approach to formally verified approximations
auteur: Florent Bréhard, Assia Mahboubi, Damien Pous
article: ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩
Accès au texte intégral et bibtex

titre: High performance tensor-vector multiplication on shared-memory systems
auteur: Filip Pawlowski, Bora Uçar, Albert-Jan Yzelman
article: PPAM 2019 - 13th International Conference on Parallel Processing and Applied Mathematics, Sep 2019, Bialystok, Poland. pp.1-11
Accès au texte intégral et bibtex

titre: The domino problem is undecidable on surface groups
auteur: Nathalie Aubrun, Sebastián Barbieri, Etienne Moutot
article: MFCS2019 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany
Accès au texte intégral et bibtex

titre: Traitement du signal sur graphe pour modéliser les WLANs
auteur: Marija Stojanova, Thomas Begin, Paulo Gonçalves
article: GRETSI 2019 - XXVIIème Colloque francophonede traitement du signal et des images, Aug 2019, Lille, France. pp.1-4
Accès au texte intégral et bibtex

titre: Réduction de dimension tensorielle parcimonieuse: Application au clustering de connectivité fonctionnelle
auteur: Gaëtan Frusque, Julien Jung, Pierre Borgnat, Paulo Gonçalves
article: GRETSI 2019 - XXVIIème Colloque francophonede traitement du signal et des images, Aug 2019, Lille, France. pp.1-4
Accès au texte intégral et bibtex

titre: Transport Optimal sous Contrainte de Régularité pour l'Adaptation de Domaines entre Graphes avec Attributs
auteur: Dominique Barbe, Pierre Borgnat, Paulo Gonçalves, Marc Sebban
article: GRETSI 2019 - XXVIIème Colloque francophonede traitement du signal et des images, Aug 2019, Lille, France. pp.1-4
Accès au texte intégral et bibtex

titre: Event structures for mixed choice
auteur: Marc de Visme
article: The 30th International Conference on Concurrency Theory, CONCUR 2019, Aug 2019, Amsterdam, Netherlands
Accès au texte intégral et bibtex

titre: On the Expressivity of Linear Recursion Schemes
auteur: Pierre Clairambault, Andrzej Murawski
article: 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. ⟨10.4230/LIPIcs.MFCS.2019.50⟩
Accès au bibtex

titre: On the Capacity Region of Bipartite and Tripartite Entanglement Switching and Key Distribution
auteur: Gayane Vardoyan, Saikat Guha, Philippe Nain, Don Towsley
article: QCRYPT 2019 - 9th International Conference on Quantum Cryptography, Aug 2019, Montreal, Canada. pp.1-3
Accès au texte intégral et bibtex

titre: Unifying Leakage Models on a Rényi Day
auteur: Thomas Prest, Dahmun Goudarzi, Ange Martinelli, Alain Passelègue
article: Crypto 2019 - 39th Annual International Cryptology Conference, Aug 2019, Santa Barbara, CA, United States. pp.683-712, ⟨10.1007/978-3-030-26948-7_24⟩
Accès au bibtex

titre: Two-Party ECDSA from Hash Proof Systems and Efficient Instantiations
auteur: Guilhem Castagnos, Dario Catalano, Fabien Laguillaumie, Federico Savasta, Ida Tucker
article: CRYPTO 2019 - 39th Annual International Cryptology Conference, Aug 2019, Santa Barbara, United States. pp.191-221, ⟨10.1007/978-3-030-26954-8_7⟩
Accès au texte intégral et bibtex

titre: Sparse tensor dimensionality reduction with application to clustering of functional connectivity
auteur: Gaëtan Frusque, Julien Jung, Pierre Borgnat, Paulo Gonçalves
article: Wavelets and Sparsity XVIII, Aug 2019, San Diego, United States. pp.22, ⟨10.1117/12.2529595⟩
Accès au texte intégral et bibtex

titre: Eventually Safe Languages
auteur: Simon Iosti, Denis Kuperberg
article: Developments in Language Theory, Aug 2019, Varsovie, Poland. pp.192-205, ⟨10.1007/978-3-030-24886-4_14⟩
Accès au texte intégral et bibtex

titre: Multi-Objective Reinforcement Learning for Reconfiguring Data Stream Analytics on Edge Computing
auteur: Alexandre da Silva Veith, Felipe Rodrigo de Souza, Marcos Dias de Assuncao, Laurent Lefèvre, Julio C. S. dos Anjos
article: ICPP 2019 - 48th International Conference on Parallel Processing, Aug 2019, Kyoto, Japan. pp.1-10, ⟨10.1145/3337821.3337894⟩
Accès au texte intégral et bibtex

titre: Coinductive algorithms for Büchi automata
auteur: Denis Kuperberg, Laureline Pinault, Damien Pous
article: Developments in Language Theory, Aug 2019, Varsovie, Poland
Accès au texte intégral et bibtex

titre: On the Importance of Container Image Placement for Service Provisioning in the Edge
auteur: Jad Darrous, Thomas Lambert, Shadi Ibrahim
article: ICCCN 2019 - 28th International Conference on Computer Communication and Networks, Jul 2019, Valencia, Spain. ⟨10.1109/ICCCN.2019.8846920⟩
Accès au texte intégral et bibtex

titre: Interaction reconstruction methods for large-scale RFID social experiments
auteur: Sicheng Dai, Màrton Karsai, Hélène Bouchet, Eric Fleury, Jean-Pierre Chevrot, Aurélie Nardy
article: IC2S2 2019 - 5th International Conference on Computational Social Science, Jul 2019, Amsterdam, Netherlands
Accès au texte intégral et bibtex

titre: Knowledge representation and update in hierarchies of graphs
auteur: Russ Harmer, Eugenia Oshurko
article: International Conference on Graph Transformation, Jul 2019, Eindhoven, Netherlands
Accès au bibtex

titre: A Throughput Model for Data Stream Processing on Fog Computing
auteur: Felipe Rodrigo de Souza, Marcos Dias de Assuncao, Eddy Caron
article: HPCS 2019 - 17th International Conference on High Performance Computing & Simulation, Jul 2019, Dublin, Ireland. pp.1-7
Accès au texte intégral et bibtex

titre: Godot: All the Benefits of Implicit and Explicit Futures
auteur: Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
article: ECOOP 2019 - 33rd European Conference on Object-Oriented Programming, Jul 2019, London, United Kingdom. pp.1-28
Accès au texte intégral et bibtex

titre: On Moment Problems with Holonomic Functions
auteur: Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre
article: 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Jul 2019, Pékin, China. pp.66-73
Accès au texte intégral et bibtex

titre: Leveraging energy-efficient non-lossy compression for data-intensive applications
auteur: Issam Raïs, Daniel Balouek-Thomert, Anne-Cécile Orgerie, Laurent Lefèvre, Manish Parashar
article: HPCS 2019 - 17th International Conference on High Performance Computing & Simulation, Jul 2019, Dublin, Ireland. pp.1-7
Accès au texte intégral et bibtex

titre: From normal functors to logarithmic space queries
auteur: Lê Thành Dũng Nguyễn, Cécilia Pradic
article: 46th International Colloquium on Automata, Languages and Programming (ICALP 2019), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.123⟩
Accès au texte intégral et bibtex

titre: Approximation algorithms for classical-quantum channel coding
auteur: Omar Fawzi, Johanna Seif, Daniel Szilagyi
article: 2019 IEEE International Symposium on Information Theory (ISIT), Jul 2019, Paris, France. pp.2569-2573, ⟨10.1109/ISIT.2019.8849617⟩
Accès au bibtex

titre: Variations du (ne) négatif du français dans Twitter. Que peut apporter l’étude des données massives aux questions de sociolinguistique ?
auteur: Jean-Pierre Chevrot, Jacob Levy Abitbol, Màrton Karsai, Jean-Philippe Magué, Eric Fleury
article: CILPR 2019 - XXIXe Congrès international de linguistique et de philologie romanes, Jul 2019, Copenhague, Danemark
Accès au bibtex

titre: Efficient and effective sparse tensor reordering
auteur: Jiajia Li, Bora Uçar, Ümit V. Çatalyürek, Jimeng Sun, Kevin Barker, Richard Vuduc
article: ICS 2019 - ACM International Conference on Supercomputing, Jun 2019, Phoenix, United States. pp.227-237, ⟨10.1145/3330345.3330366⟩
Accès au texte intégral et bibtex

titre: A macroscopic analysis of GPU power consumption
auteur: Laurent Lefèvre, Anne-Cécile Orgerie, Dorra Boughzala
article: COMPAS2019 : Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Accès au texte intégral et bibtex

titre: Effective heuristics for matchings in hypergraphs
auteur: Fanny Dufossé, Kamer Kaya, Ioannis Panagiotas, Bora Uçar
article: SEA2 2019 - International Symposium on Experimental Algorithms - Special Event, Jun 2019, Kalamata, Greece. pp.248-264, ⟨10.1007/978-3-030-34029-2_17⟩
Accès au texte intégral et bibtex

titre: The Theory of Traces for Systems with Nondeterminism and Probability
auteur: Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
article: Logic in Computer Science (LICS) 2019, Jun 2019, Vancouver, Canada
Accès au texte intégral et bibtex

titre: Individual variation, network heterogeneity and linguistic complexity: which way does the relationship go?
auteur: Sébastien Lerique, Dan Dediu, Màrton Karsai, Jean-Philippe Magué
article: Interaction and the Evolution of Linguistic Complexity, Jun 2019, Edinburgh, United Kingdom
Accès au texte intégral et bibtex

titre: Verification of concurrent design patterns with data
auteur: Simon Bliudze, Ludovic Henrio, Eric Madelaine
article: COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Accès au texte intégral et bibtex

titre: Accurately Simulating Energy Consumption of I/O-intensive Scientific Workflows
auteur: Rafael Ferreira da Silva, Anne-Cécile Orgerie, Henri Casanova, Ryan Tanaka, Ewa Deelman, Frédéric Suter
article: ICCS 2019 - International Conference on Computational Science, Jun 2019, Faro, Portugal. pp.138-152, ⟨10.1007/978-3-030-22734-0_11⟩
Accès au texte intégral et bibtex

titre: Accurate Complex Multiplication in Floating-Point Arithmetic
auteur: Vincent Lefèvre, Jean-Michel Muller
article: ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7
Accès au texte intégral et bibtex

titre: Semi-automatic implementation of the complementary error function
auteur: Anastasia Volkova, Jean-Michel Muller
article: ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
Accès au texte intégral et bibtex

titre: Exchange algorithm for evaluation and approximation error-optimized polynomials
auteur: Denis Arzelier, Florent Bréhard, Mioara Joldes
article: ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
Accès au texte intégral et bibtex

titre: Computational Limitations of Affine Automata
auteur: Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryilmaz
article: UCNC2019, Jun 2019, Tokyo, Japan. pp.108-121, ⟨10.1007/978-3-030-19311-9_10⟩
Accès au texte intégral et bibtex

titre: Inférence des poids d'un graphe des conflits modélisant un réseau Wi-Fi
auteur: Lafdal Abdelwedoud, Anthony Busson, Isabelle Guérin-Lassous
article: 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
Accès au texte intégral et bibtex

titre: Causal Unfoldings
auteur: Marc de Visme, Glynn Winskel
article: 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), Jun 2019, London, United Kingdom. ⟨10.4230/LIPIcs.CONCUR.2019.11⟩
Accès au bibtex

titre: Modélisation des réseaux IEEE 802.11 : Diviser pour régner
auteur: Marija Stojanova, Thomas Begin, Anthony Busson
article: 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
Accès au texte intégral et bibtex

titre: Study of the Intel WiFi Rate Adaptation Algorithm
auteur: Rémy Grünblatt, Isabelle Guérin-Lassous, Olivier Simonin
article: 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
Accès au texte intégral et bibtex

titre: Coinduction: Automata, Formal Proof, Companions (Invited Paper)
auteur: Damien Pous
article: CALCO, Jun 2019, London, United Kingdom
Accès au bibtex

titre: Reservation Strategies for Stochastic Jobs
auteur: Guillaume Aupy, Ana Gainaru, Valentin Honoré, Padma Raghavan, Yves Robert, Hongyang Sun
article: IPDPS 2019 - 33rd IEEE International Parallel and Distributed Processing Symposium, May 2019, Rio de Janeiro, Brazil. pp.166-175, ⟨10.1109/IPDPS.2019.00027⟩
Accès au texte intégral et bibtex

titre: A scalable clustering-based task scheduler for homogeneous processors using DAG partitioning
auteur: Yusuf M. Özkaya, Anne Benoit, Bora Uçar, Julien Herrmann, Ümit V. Çatalyürek
article: IPDPS 2019 - 33rd IEEE International Parallel & Distributed Processing Symposium, May 2019, Rio de Janeiro, Brazil. pp.155-165, ⟨10.1109/IPDPS.2019.00026⟩
Accès au texte intégral et bibtex

titre: Approx-SVP in Ideal Lattices with Pre-processing
auteur: Alice Pellet-Mary, Guillaume Hanrot, Damien Stehlé
article: Eurocrypt 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2019, Darmstadt, Germany. pp.685-716, ⟨10.1007/978-3-030-17656-3_24⟩
Accès au bibtex

titre: Distributed Operator Placement for IoT Data Analytics Across Edge and Cloud Resources
auteur: Eduard Gibert Renart, Alexandre da Silva Veith, Daniel Balouek-Thomert, Marcos Dias de Assuncao, Laurent Lefèvre, Manish Parashar
article: CCGrid 2019 - 19th Annual IEEE/ACM International Symposium in Cluster, Cloud, and Grid Computing, May 2019, Larnaca, Cyprus. pp.1-10, ⟨10.1109/CCGRID.2019.00060⟩
Accès au texte intégral et bibtex

titre: SeeDep: Deploying Reproducible Application Topologies on Cloud Platform
auteur: Cyril Séguin, Eddy Caron, Samuel Dubus
article: CLOSER 2019 - 9th International Conference on Cloud Computing and Services Science, May 2019, Heraklion, Greece. pp.363-370, ⟨10.5220/0007721103630370⟩
Accès au texte intégral et bibtex

titre: Lossy Algebraic Filters With Short Tags
auteur: Benoît Libert, Chen Qian
article: PKC 2019 - 22nd International Conference on Practice and Theory of Public Key Cryptography, Apr 2019, Beijing, China. pp.34--65, ⟨10.1007/978-3-030-17253-4_2⟩
Accès au texte intégral et bibtex

titre: Zero-Knowledge Elementary Databases with More Expressive Queries
auteur: Benoît Libert, Khoa Nguyen, Benjamin Hong Meng Tan, Huaxiong Wang
article: PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Apr 2019, Beijing, China. pp.255-285, ⟨10.1007/978-3-030-17253-4_9⟩
Accès au texte intégral et bibtex

titre: Shorter Ring Signatures from Standard Assumptions
auteur: Alonso González
article: PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Apr 2019, Beijing, China. pp.99-126, ⟨10.1007/978-3-030-17253-4_4⟩
Accès au texte intégral et bibtex

titre: Shorter Quadratic QA-NIZK Proofs
auteur: Vanesa Daza, Alonso González, Zaira Pindado, Carla Ràfols, Javier Silva
article: PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Apr 2019, Beijing, China. pp.314-343, ⟨10.1007/978-3-030-17253-4_11⟩
Accès au texte intégral et bibtex

titre: Resource-Tracking Concurrent Games
auteur: Aurore Alcolei, Pierre Clairambault, Olivier Laurent
article: Foundations of Software Science and Computation Structures, Apr 2019, Prague, Czech Republic. pp.27-44, ⟨10.1007/978-3-030-17127-8_2⟩
Accès au bibtex

titre: On Reachability in Parameterized Phaser Programs
auteur: Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
article: TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.299-315, ⟨10.1007/978-3-030-17462-0_17⟩
Accès au bibtex

titre: Towards a Structural Proof Theory of Probabilistic mu-Calculi
auteur: Christophe Lucas, Matteo Mio
article: FoSSaCS, Apr 2019, Prague, Czech Republic. pp.418-435
Accès au bibtex

titre: A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
auteur: Cécilia Pradic, Colin Riba
article: FOSSACS'19, Apr 2019, Prague, Czech Republic
Accès au texte intégral et bibtex

titre: BGP Zombies: an Analysis of Beacons Stuck Routes
auteur: Romain Fontugne, Esteban Bautista, Colin Petrie, Yutaro Nomura, Patrice Abry, Paulo Gonçalves, Kensuke Fukuda, Emile Aben
article: PAM 2019 - 20th Passive and Active Measurements Conference, Mar 2019, Puerto Varas, Chile. pp.197-209, ⟨10.1007/978-3-030-15986-3_13⟩
Accès au texte intégral et bibtex

titre: Posits: the good, the bad and the ugly
auteur: Florent de Dinechin, Luc Forget, Jean-Michel Muller, Yohann Uguen
article: CoNGA 2019 - Conference on Next-Generation Arithmetic, Mar 2019, Singapore, Singapore. pp.1-10, ⟨10.1145/3316279.3316285⟩
Accès au texte intégral et bibtex

titre: Fast Virtual Prototyping for Embedded Computing Systems Design and Exploration
auteur: Amir Charif, Gabriel Busnot, Rania Mameesh, Tanguy Sassolas, Nicolas Ventroux
article: RAPIDO2019 - 11th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2019, Valence, Spain. pp.1-8, ⟨10.1145/3300189.3300192⟩
Accès au texte intégral et bibtex

titre: Static Analysis Of Binary Code With Memory Indirections Using Polyhedra
auteur: Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz
article: VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩
Accès au texte intégral et bibtex

titre: An LLL Algorithm for Module Lattices
auteur: Changmin Lee, Alice Pellet-Mary, Damien Stehlé, Alexandre Wallet
article: ASIACRYPT, 2019, Kobe, Japan. pp.59-90, ⟨10.1007/978-3-030-34621-8_3⟩
Accès au bibtex

titre: The General Sieve Kernel and New Records in Lattice Reduction
auteur: Martin Albrecht, Leo Ducas, Gottfried Herold, Elena Kirshanova, Eamonn Postlethwaite, Marc Stevens
article: EUROCRYPT, 2019, Darmstadt, Germany. pp.717-746, ⟨10.1007/978-3-030-17656-3_25⟩
Accès au bibtex

titre: Towards Practical GGM-Based PRF from (Module-)Learning-with-Rounding
auteur: Chitchanok Chuengsatiansup, Damien Stehlé
article: Selected Areas in Cryptography, 2019, Waterloo, Canada. pp.693-713, ⟨10.1007/978-3-030-38471-5_28⟩
Accès au bibtex

titre: Statistical Zeroizing Attack: Cryptanalysis of Candidates of BP Obfuscation over GGH15 Multilinear Map
auteur: Jung Hee Cheon, Wonhee Cho, Minki Hhan, Jiseung Kim, Changmin Lee
article: CRYPTO, 2019, Santa Barbara, United States. pp.253-283, ⟨10.1007/978-3-030-26954-8_9⟩
Accès au bibtex

titre: Kleene Algebra with Hypotheses
auteur: Amina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic
article: 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2019, Prague, Czech Republic
Accès au texte intégral et bibtex

Book sections

titre: The Fish Tank Complex of Social Modelling on Space and Time in Understanding Collective Dynamics
auteur: Tommaso Venturini
article: Michiru Nagatsu; Attilia Ruzzene. Frontiers of Social Science: A Philosophical Reflection, Bloomsbury, 2019
Accès au texte intégral et bibtex

titre: Energy aware ultrascale systems
auteur: Ariel Oleksiak, Laurent Lefèvre, Pedro Alonso, Georges da Costa, Vincenzo de Maio, Neki Frasheri, Victor Garcia, Joel Guerrero, Sébastien Lafond, Alexey Lastovetsky, Ravi Reddy Manumachu, Benson Muite, Anne-Cécile Orgerie, Wojciech Piatek, Jean-Marc Pierson, Radu Prodan, Patricia Stolf, Enida Sheme, Sébastien Varrette
article: Ultrascale Computing Systems, Institution of Engineering and Technology, pp.127-188, 2019, ⟨10.1049/PBPC024E_ch⟩
Accès au texte intégral et bibtex

titre: L’histoire et l’écriture numérique : approche technique, politique, épistémologique
auteur: Éric Guichard
article: Lamassé, Stéphane; Bonnot, Gaëtan. Dans les dédales du web : historiens en territoires numériques, Éditions de la Sorbonne, pp.193-212, 2019, Homme et société, 979-10-351-0300-2
Accès au texte intégral et bibtex

titre: Actor-Network VS Network Analysis VS Digital Networks
auteur: Tommaso Venturini, Anders Kristian Munk, Mathieu Jacomy
article: Janet Vertesi; David Ribes. DigitalSTS: A Handbook and Fieldguide, Princeton university press, pp.510-523, 2019, 9780691187075
Accès au texte intégral et bibtex

Habilitation à diriger des recherches

titre: Partitioning, matching, and ordering: Combinatorial scientific computing with matrices and tensors
auteur: Bora Uçar
article: Computer Science [cs]. ENS de Lyon, 2019
Accès au texte intégral et bibtex

titre: Contributions to Program Optimization and High-Level Synthesis
auteur: Christophe Alias
article: Hardware Architecture [cs.AR]. ENS de Lyon, 2019
Accès au texte intégral et bibtex

titre: Computational Human Dynamics: People, Networks, and Collective Phenomena
auteur: Màrton Karsai
article: Social and Information Networks [cs.SI]. Ecole normale supérieure de Lyon; Laboratoire de l'Informatique du Parallélisme, 2019
Accès au texte intégral et bibtex

Special issue

titre: Relational and algebraic methods in computer science
auteur: Peter Höfner, Damien Pous, Georg Struth
article: Journal of Logical and Algebraic Methods in Programming, 106, pp.198-199, 2019, ⟨10.1016/j.jlamp.2019.05.005⟩
Accès au bibtex

Other publications

titre: Trends in Combinatorial Analysis: Complex Data, Machine Learning, and High-Performance Computing
auteur: Ariful Azad, Bora Uçar, Alex Pothen
article: 2019, pp.1-3
Accès au texte intégral et bibtex

Books

titre: 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
auteur: Filippo Bonchi, Barbara König
article: Filippo Bonchi; Barbara Konig. 2019
Accès au bibtex

titre: Special Issue Proposal for the Parallel Computing Journal: HeteroPar 2016 and HCW 2016 Workshops
auteur: Loris Marchal, Érik Saule, Oliver Sinnen
article: Elsevier, 2019
Accès au bibtex

Poster communications

titre: On Channel Restructuring for Complete FIFO Recovery
auteur: Christophe Alias
article: ICCD 2019 - 37th IEEE International Conference on Computer Design, Nov 2019, Abu Dhabi, United Arab Emirates
Accès au texte intégral et bibtex

titre: Enabling Data Processing under Erasure Coding in the Fog
auteur: Jad Darrous, Shadi Ibrahim
article: ICPP 2019 - 48th International Conference on Parallel Processing, Aug 2019, Kyoto, Japan. pp.1
Accès au texte intégral et bibtex

Reports

titre: A Compiler Algorithm to Guide Runtime Scheduling
auteur: Christophe Alias, Samuel Thibault, Laure Gonnord
article: [Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019
Accès au texte intégral et bibtex

titre: Pipeline-aware Scheduling of Polyhedral Process Networks
auteur: Christophe Alias, Julien Rudeau
article: [Research Report] RR-9314, INRIA Grenoble - Rhone-Alpes. 2019
Accès au texte intégral et bibtex

titre: fkcc: the Farkas Calculator
auteur: Christophe Alias
article: [Research Report] RR-9313, Inria. 2019
Accès au texte intégral et bibtex

titre: Sciences, Environnements et Sociétés
auteur: Françoise Berthoud, Pascal Guitton, Laurent Lefèvre, Sophie Quinton, Antoine Rousseau, Jacques Sainte-Marie, Céline Serrano, Jean-Bernard Stefani, Peter Sturm, Eric Tannier
article: [0] Inria. 2019
Accès au texte intégral et bibtex

titre: Reservation and Checkpointing Strategies for Stochastic Jobs (Extended Version)
auteur: Ana Gainaru, Brice Goglin, Valentin Honoré, Guillaume Pallez, Padma Raghavan, Yves Robert, Hongyang Sun
article: [Research Report] RR-9294, Inria & Labri, Univ. Bordeaux; Department of EECS, Vanderbilt University, Nashville, TN, USA; Laboratoire LIP, ENS Lyon & University of Tennessee Knoxville, Lyon, France. 2019
Accès au texte intégral et bibtex

titre: Design and Comparison of Resilient Scheduling Heuristics for Parallel Jobs
auteur: Anne Benoit, Valentin Le Fèvre, Padma Raghavan, Yves Robert, Hongyang Sun
article: [Research Report] RR-9296, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.31
Accès au texte intégral et bibtex

titre: Generic matrix multiplication for multi-GPU accelerated distributed-memory platforms over PaRSEC
auteur: Thomas Herault, Yves Robert, George Bosilca, Jack Dongarra
article: [Research Report] RR-9289, INRIA Grenoble - Rhone-Alpes. 2019
Accès au texte intégral et bibtex

titre: High performance tensor-vector multiplies on shared memory systems
auteur: Filip Pawłowski, Bora Uçar, Albert-Jan Yzelman
article: [Research Report] RR-9274, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-20
Accès au texte intégral et bibtex

titre: Scheduling independent stochastic tasks on heterogeneous cloud platforms
auteur: Yiqin Gao, Louis-Claude Canon, Yves Robert, Frédéric Vivien
article: [Research Report] RR-9275, Inria - Research Centre Grenoble – Rhône-Alpes. 2019
Accès au texte intégral et bibtex

titre: Global Probability of Collision: Problem modeling via occupation measures
auteur: Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre, Léo Martire, Aude Rondepierre
article: DAJ/AR/EO-2016-6457, LAAS / CNRS; CNES. 2019
Accès au bibtex

titre: Partitioning tree-shaped task graphs for distributed platforms with limited memory
auteur: Anne Benoit, Changjiang Gou, Loris Marchal
article: [Research Report] RR-9115, Inria Grenoble Rhône-Alpes. 2019, pp.1-34
Accès au texte intégral et bibtex

titre: Improved energy-aware strategies for periodic real-time tasks under reliability constraints
auteur: Li Han, Louis-Claude Canon, Jing Liu, Yves Robert, Frédéric Vivien
article: [Research Report] RR-9259, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-38
Accès au texte intégral et bibtex

titre: Scheduling independent stochastic tasks under deadline and budget constraints. Extended Version
auteur: Louis-Claude Canon, Aurélie Kong Win Chang, Yves Robert, Frédéric Vivien
article: [Research Report] RR-9257, Inria Grenoble Rhône-Alpes. 2019, pp.1-38
Accès au texte intégral et bibtex

titre: Scheduling stochastic tasks on heterogeneous cloud platforms under budget and deadline constraints
auteur: Yiqin Gao, Louis-Claude Canon, Frédéric Vivien, Yves Robert
article: [Research Report] RR-9260, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-34
Accès au texte intégral et bibtex

titre: Replication Is More Efficient Than You Think
auteur: Anne Benoit, Thomas Herault, Valentin Le Fèvre, Yves Robert
article: [Research Report] RR-9278, Inria - Research Centre Grenoble – Rhône-Alpes. 2019
Accès au texte intégral et bibtex

titre: L'impact spatial et énergétique des data centers sur les territoires
auteur: Cécile Diguet, Fanny Lopez, Laurent Lefèvre
article: [Rapport de recherche] ADEME, Direction Villes et territoires durables. 2019, pp.1-141
Accès au texte intégral et bibtex

Software

titre: Givaro
auteur: The Givaro Group
article: 2019, ⟨swh:1:dir:df65912bd1e5ea4b96b935de95f6638eb6d9472d;origin=https://hal.archives-ouvertes.fr/hal-02130729;visit=swh:1:snp:da818bf8900aa772999896546db83b8e9cbe9f6f;anchor=swh:1:rev:5a63bd17a83030740eb27a980fe14a7a37f47efe;path=/⟩
Accès au texte intégral et bibtex

titre: LinBox
auteur: The Linbox Group
article: 2019, ⟨swh:1:dir:393b611a1424f032e83569bf6762502371cfcf65;origin=https://hal.archives-ouvertes.fr/hal-02130801;visit=swh:1:snp:19c29b988fe02623c70c7dc8bc97c42481eb691b;anchor=swh:1:rev:e8e18328952266b7875c692963b11963b1496107;path=/⟩
Accès au texte intégral et bibtex

titre: SPADE Toolbox
auteur: Clément Gaultier, Srđan Kitić, Ewen Camberlein, Rémi Gribonval, Nancy Bertin
article: 2019, ⟨swh:1:dir:670f1ff15abcb3d510841e83acfc1ef9318a5326;origin=https://hal.archives-ouvertes.fr/hal-03024116;visit=swh:1:snp:e8da0f3d1e1bd541affa397491da967147b690d0;anchor=swh:1:rev:1747d2d1bf483a8938562b068438a55a12ae01fc;path=/⟩
Accès au texte intégral et bibtex

Theses

titre: Scalable and Efficient Data Management in Distributed Clouds : Service Provisioning and Data Processing
auteur: Jad Darrous
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN077⟩
Accès au texte intégral et bibtex

titre: Performance Modeling of IEEE 802.11 WLANs
auteur: Marija Stojanova
article: Networking and Internet Architecture [cs.NI]. Lyon1, 2019. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex

titre: Intensive use of computing resources for dominations in grids and other combinatorial problems
auteur: Alexandre Talon
article: Discrete Mathematics [cs.DM]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN079⟩
Accès au texte intégral et bibtex

titre: Laplacian Powers for Graph-Based Semi-Supervised Learning
auteur: Esteban Bautista Ruiz
article: Artificial Intelligence [cs.AI]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN081⟩
Accès au texte intégral et bibtex

titre: Enriched concurrent games : witnesses for proofs and resource analysis
auteur: Aurore Alcolei
article: Logic in Computer Science [cs.LO]. Université de Lyon; University of Cambridge, 2019. English. ⟨NNT : 2019LYSEN054⟩
Accès au texte intégral et bibtex

titre: On ideal lattices and the GGH13 multilinear map
auteur: Alice Pellet--Mary
article: Cryptography and Security [cs.CR]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN048⟩
Accès au texte intégral et bibtex

titre: Lossy trapdoor primitives, zero-knowledge proofs and applications
auteur: Chen Qian
article: Cryptography and Security [cs.CR]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S088⟩
Accès au texte intégral et bibtex

titre: Quality of Service Aware Mechanisms for (Re)Configuring Data Stream Processing Applications on Highly Distributed Infrastructure
auteur: Alexandre da Silva Veith
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN050⟩
Accès au texte intégral et bibtex

titre: Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle
auteur: Florent Bréhard
article: Numerical Analysis [cs.NA]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN032⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

titre: weg2vec: Event embedding for temporal networks
auteur: Maddalena Torricelli, Márton Karsai, Laetitia Gauvin
article: 2019
Accès au bibtex

titre: Efficient limited time reachability estimation in temporal networks
auteur: Arash Badie Modiri, Márton Karsai, Mikko Kivelä
article: 2019
Accès au bibtex

titre: Types for Parallel Complexity in the Pi-calculus
auteur: Patrick Baillot, Alexis Ghyselen
article: 2019
Accès au texte intégral et bibtex

titre: Les humanités numériques n'existent pas
auteur: Éric Guichard
article: 2019
Accès au texte intégral et bibtex

titre: (Theta, triangle)-free and (even hole, $K_4$)-free graphs. Part 1 : Layered wheels
auteur: Ni Luh Dewi Sintiari, Nicolas Trotignon
article: 2019
Accès au bibtex

titre: Sparse tensor dimensionality reduction with application to clustering of functional connectivity
auteur: Gaëtan Frusque, Julien Jung, Pierre Borgnat, Paulo Gonçalves
article: 2019
Accès au texte intégral et bibtex

titre: Graph Theory in Coq: Minors, Treewidth, and Isomorphisms
auteur: Christian Doczkal, Damien Pous
article: 2019
Accès au texte intégral et bibtex

titre: Short proof of Menger's Theorem in Coq (Proof Pearl)
auteur: Christian Doczkal
article: 2019
Accès au texte intégral et bibtex

titre: A New Lower Bound on the Hilbert Number for Quartic Systems
auteur: Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker
article: 2019
Accès au bibtex

titre: Reentrant phase transitions in threshold driven contagion on multiplex networks
auteur: Samuel Unicomb, Gerardo Iñiguez, János Kertész, Màrton Karsai
article: 2019
Accès au bibtex

titre: Parler du virtuel aux temps du numérique
auteur: Éric Guichard
article: 2019
Accès au texte intégral et bibtex

titre: Semidefinite programming hierarchies for quantum error correction
auteur: Mario Berta, Francesco Borderi, Omar Fawzi, Volkher Scholz
article: 2019
Accès au bibtex