By continuing your visit to this site you accept the use of cookies to offer you content and services tailored to your interests

 

CNRS ENS Lyon inria 200x200 blurb
UCB Lyon logo univ lyon 200x200 blurb

 


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

2016

Journal articles

titre
From analysis to presentation. Information visualization for reifying issues and reenacting insights in visual data analysis
auteur
Marina Boechat, Tommaso Venturini
article
Les Cahiers du numérique, Lavoisier, 2016, 12 (4), pp.185 - 204. ⟨10.3166/LCN.12.4.185-204⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01672299/file/BoechatM-VenturiniT-From-analysis-to-presentation_Preprint.pdf BibTex
titre
On linear rewriting systems for Boolean logic and some applications to proof theory
auteur
Anupam Das, Lutz Straßburger
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016
Accès au bibtex
https://arxiv.org/pdf/1610.08772 BibTex
titre
MultiAspect Graphs: Algebraic Representation and Algorithms
auteur
Artur Ziviani, Klaus Wehmuth, Eric Fleury
article
Algorithms, MDPI, 2016, 10 (1), ⟨10.3390/a10010001⟩
Accès au bibtex
BibTex
titre
Socioeconomic correlations and stratification in social-communication networks
auteur
Yannick Léo, Eric Fleury, Carlos Sarraute, Márton Karsai, José Ignacio Alvarez-Hamelin
article
Journal of the Royal Society Interface, the Royal Society, 2016, 13, ⟨10.1098/rsif.2016.0598⟩
Accès au bibtex
BibTex
titre
Preconditioning Techniques Based on the Birkhoff–von Neumann Decomposition
auteur
Michele Benzi, Bora Uçar
article
Computational Methods in Applied Mathematics, De Gruyter, 2016, ⟨10.1515/cmam-2016-0040⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01318486/file/BenziUcar.pdf BibTex
titre
Un algorithme auto-stabilisant pour le déploiement auto-adaptatif d'un intergiciel hiérarchique : spécification, preuve, simulations
auteur
Maurice-Djibril Faye, Eddy Caron, Ousmane Thiare
article
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2016, ARIMA Journal, Volume 25 - 2016 - Special issue CNRIA 2015 (Special Issue, CNRIA 2015), pp. 1-20. ⟨10.46298/arima.1473⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01311153/file/ARIMA-Vol25-Faye.pdf BibTex
titre
Co-scheduling algorithms for high-throughput workload execution
auteur
Guillaume Aupy, Manu Shantharam, Anne Benoit, Yves Robert, Padma Raghavan
article
Journal of Scheduling, Springer Verlag, 2016, Journal of Scheduling, 19 (6), pp.627-640. ⟨10.1007/s10951-015-0445-x⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01252366/file/jos2014-revised.pdf BibTex
titre
Coping with recall and precision of soft error detectors
auteur
Leonardo Bautista-Gomez, Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article
Journal of Parallel and Distributed Computing, Elsevier, 2016, 98, pp.8-24. ⟨10.1016/j.jpdc.2016.07.007⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354888/file/jpdc.pdf BibTex
titre
Optimizing memory allocation for multi stage scheduling including setup times
auteur
Anne Benoit, Mathias Coqblin, Jean-Marc Nicod, Veronika Rehn-Sonigo
article
Journal of Scheduling, Springer Verlag, 2016, 19 (6), pp.641-658. ⟨10.1007/s10951-015-0437-x⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02082773/file/journalOfScheduling-sti-bi_submitted.pdf BibTex
titre
Using Runtime Systems Tools to Implement Efficient Preconditioners for Heterogeneous Architectures
auteur
Adrien Roussel, Jean-Marc Gratien, Thierry Gautier
article
Oil & Gas Science and Technology - Revue d'IFP Energies nouvelles, Institut Français du Pétrole (IFP), 2016, 71 (6), pp.65:1-13. ⟨10.2516/ogst/2016020⟩
Accès au texte intégral et bibtex
https://hal-ifp.archives-ouvertes.fr/hal-01396153/file/ogst150225.pdf BibTex
titre
Avoidability of long $k$-abelian repetitions
auteur
Michael Rao, Matthieu Rosenfeld
article
Mathematics of Computation, American Mathematical Society, 2016, 85 (302), pp.3051-3060
Accès au bibtex
BibTex
titre
Fast 3D frequency-domain full waveform inversion with a parallel Block Low-Rank multifrontal direct solver: application to OBC data from the North Sea
auteur
Patrick Amestoy, Romain Brossier, Alfredo Buttari, Jean-Yves l'Excellent, Théo Mary, Ludovic Métivier, Alain Miniussi, Stéphane Operto
article
Geophysics, Society of Exploration Geophysicists, 2016, 81 (6), pp.R363-R383. ⟨10.1190/geo2016-0052.1⟩
Accès au bibtex
BibTex
titre
File dissemination in dynamic graphs: The case of independent and correlated links in series
auteur
Philippe Nain, Don Towsley
article
ACM Transactions on Modeling and Performance Evaluation of Computing Systems, ACM, 2016, 2 (1), ⟨10.1145/2981344⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01266505/file/Dynamic-links-final%20%281%29.pdf BibTex
titre
Sharp error bounds for complex floating-point inversion
auteur
Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Antoine Plet
article
Numerical Algorithms, Springer Verlag, 2016, 73 (3), pp.735-760. ⟨10.1007/s11075-016-0115-x⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01195625/file/VersionAccepteeNumericalAlgorithmsFeb2016.pdf BibTex
titre
A backward/forward recovery approach for the preconditioned conjugate gradient method
auteur
Massimiliano Fasi, Julien Langou, Yves Robert, Bora Uçar
article
Journal of computational science, Elsevier, 2016, 17 (3), pp.522-534. ⟨10.1016/j.jocs.2016.04.008⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354682/file/jocs_488_ucar.pdf BibTex
titre
Tableau sequences, open diagrams, and Baxter families
auteur
Sophie Burrill, Julien Courtiel, Eric Fusy, Stephen Melczer, Marni Mishna
article
European Journal of Combinatorics, Elsevier, 2016, 58, pp.144 - 165. ⟨10.1016/j.ejc.2016.05.011⟩
Accès au bibtex
https://arxiv.org/pdf/1506.03544 BibTex
titre
On MultiAspect graphs
auteur
Klaus Wehmuth, Artur Ziviani, Eric Fleury
article
Theoretical Computer Science, Elsevier, 2016, 651, pp.50-61. ⟨10.1016/j.tcs.2016.08.017⟩
Accès au bibtex
BibTex
titre
Asymptotic theory of time-varying social networks with heterogeneous activity and tie allocation
auteur
Enrico Ubaldi, Nicola Perra, Márton Karsai, Alessandro Vezzani, Raffaella Burioni, Alessandro Vespignani
article
Scientific Reports, Nature Publishing Group, 2016, 6 (1), pp.35724. ⟨10.1038/srep35724⟩
Accès au bibtex
BibTex
titre
On 3-dimensional lattice walks confined to the positive octant
auteur
Alin Bostan, Mireille Bousquet-Mélou, Manuel Kauers, Stephen Melczer
article
Annals of Combinatorics, Springer Verlag, 2016, pp.36. ⟨10.1007/s00026-016-0328-7⟩
Accès au bibtex
https://arxiv.org/pdf/1409.3669 BibTex
titre
Drawing graphs with vertices and edges in convex position
auteur
Ignacio García-Marco, Kolja Knauer
article
Computational Geometry, Elsevier, 2016, 58, pp.25-33. ⟨10.1016/j.comgeo.2016.06.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01457727/file/paper_rev.pdf BibTex
titre
Optimization of the geometry of Fresnel linear collectors
auteur
Paola Boito, Roberto Grena
article
Solar Energy, Elsevier, 2016, 135, pp.479 - 486. ⟨10.1016/j.solener.2016.05.060⟩
Accès au bibtex
BibTex
titre
Born and raised distributively: Fully distributed non-interactive adaptively-secure threshold signatures with short shares
auteur
Benoît Libert, Marc Joye, Moti Yung
article
Theoretical Computer Science, Elsevier, 2016, 645, pp.1-24. ⟨10.1016/j.tcs.2016.02.031⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01394405/file/2threshold-short-sig-journal.pdf BibTex
titre
Building Efficient and Compact Data Structures for Simplicial Complexe
auteur
Jean-Daniel Boissonnat, Karthik C. Srikanta, Sébastien Tavenas
article
Algorithmica, Springer Verlag, 2016, ⟨10.1007/s00453-016-0207-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01364648/file/Journal-final.pdf BibTex
titre
Tight performance bounds in the worst-case analysis of feed-forward networks *
auteur
Anne Bouillard, Eric Thierry
article
Discrete Event Dynamic Systems, Springer Verlag, 2016, 26 (3), pp.383-411
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01583622/file/jdeds-lp.pdf BibTex
titre
Aperiodic pseudorandom number generators based on infinite words
auteur
Ľubomíra Balková, Michelangelo Bucci, Alessandro de Luca, Jiří Hladký, Svetlana Puzynina
article
Theoretical Computer Science, Elsevier, 2016, 647, pp.85-100
Accès au bibtex
BibTex
titre
Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination
auteur
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan
article
Parallel Computing, Elsevier, 2016, 57, pp.235-249. ⟨10.1016/j.parco.2015.10.003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01084238/file/parco_DumasGautierPernetRochSultan.pdf BibTex
titre
Modern Computer Arithmetic
auteur
Paolo Montuschi, Jean-Michel Muller
article
Computer, IEEE Computer Society, 2016, 49 (9), pp.12
Accès au bibtex
BibTex
titre
Personal Income Tax Reforms: A Genetic Algorithm Approach
auteur
Matteo Morini, Pellegrino Simone
article
European Journal of Operational Research, Elsevier, 2016, ⟨10.1016/j.ejor.2016.07.059⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01388958/file/MoPe_GA.pdf BibTex
titre
A robust and scalable implementation of the Parks-McClellan algorithm for designing FIR filters
auteur
Silviu-Ioan Filip
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2016, 43 (1), pp.7:1 - 7:24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01136005/file/pm.pdf BibTex
titre
Performance Evaluation of Cloud Computing Centers with General Arrivals and Service
auteur
Tulin Atmaca, Thomas Begin, Alexandre Brandwajn, Hind Castel-Taleb
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2016, 27 (8), pp.2341 - 2348. ⟨10.1109/TPDS.2015.2499749⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01241713/file/bare_jrnl_compsoc.pdf BibTex
titre
Asymptotic Lattice Path Enumeration Using Diagonals
auteur
Stephen Melczer, Marni Mishna
article
Algorithmica, Springer Verlag, 2016, 75 (4), pp.782 - 811. ⟨10.1007/s00453-015-0063-1⟩
Accès au bibtex
BibTex
titre
User-based representation of time-resolved multimodal public transportation networks
auteur
Alessandretti Laura, Márton Karsai, Laetitia Gauvin
article
Royal Society Open Science, The Royal Society, 2016, 3, pp.160156. ⟨10.1098/rsos.160156⟩
Accès au bibtex
BibTex
titre
Performance evaluation of DTN protocols to deliver SMS in dense mobile network: Empirical proofs
auteur
Yannick Léo, Anthony Busson, Carlos Sarraute, Eric Fleury
article
Ad Hoc Networks, Elsevier, 2016, 52, pp.173-182. ⟨10.1016/j.adhoc.2016.07.006⟩
Accès au bibtex
BibTex
titre
Robust memory-aware mappings for parallel multifrontal factorizations
auteur
Emmanuel Agullo, Patrick Amestoy, Alfredo Buttari, Abdou Guermouche, Jean-Yves l'Excellent, François-Henry Rouet
article
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2016, 38 (3), pp.C256 - C279. ⟨10.1137/130938505⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01334113/file/article.pdf BibTex
titre
Spanning connectivity in a multilayer network and its relationship to site-bond percolation
auteur
Saikat Guha, Donald Towsley, Philippe Nain, Cagatay Capar, Ananthram Swami, Prithwish Basu
article
Physical Review E , American Physical Society (APS), 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01257188/file/PRE2016.pdf BibTex
titre
Local cascades induced global contagion: How heterogeneous thresholds, exogenous effects, and unconcerned behaviour govern online adoption spreading
auteur
Márton Karsai, Gerardo Iñiguez, Riivo Kikas, Kimmo Kaski, János Kertész
article
Scientific Reports, Nature Publishing Group, 2016, 6, pp.27178 ⟨10.1038/srep27178⟩
Accès au bibtex
BibTex
titre
Call detail records to characterize usages and mobility events of phone users
auteur
Yannick Léo, Anthony Busson, Carlos Sarraute, Eric Fleury
article
Computer Communications, Elsevier, 2016, 95, pp.43-53. ⟨10.1016/j.comcom.2016.05.003⟩
Accès au bibtex
BibTex
titre
A General Account of Coinduction Up-To
auteur
Filippo Bonchi, Daniela Petrişan, Damien Pous, Jurriaan Rot
article
Acta Informatica, Springer Verlag, 2016, ⟨10.1007/s00236-016-0271-4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01442724/file/acta.pdf BibTex
titre
Fast and Accurate Computation of Orbital Collision Probability for Short-Term Encounters
auteur
Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, Bruno Salvy
article
Journal of Guidance, Control, and Dynamics, American Institute of Aeronautics and Astronautics, 2016, 39 (5), pp.1009-1021. ⟨10.2514/1.G001353⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01132149/file/CollisionProbability.pdf BibTex
titre
Efficient Cryptosystems From $2^k$ -th Power Residue Symbols
auteur
Fabrice Benhamouda, Javier Herranz, Marc Joye, Benoît Libert
article
Journal of Cryptology, Springer Verlag, 2016, ⟨10.1007/s00145-016-9229-5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01394400/file/435.pdf BibTex
titre
Arithmetic algorithms for extended precision using floating-point expansions
auteur
Mioara Joldes, Olivier Marty, Jean-Michel Muller, Valentina Popescu
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2016, 65 (4), pp.1197 - 1210. ⟨10.1109/TC.2015.2441714⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01111551/file/newton-raph.pdf BibTex
titre
Modeling and optimization of CSMA/CA in VANET
auteur
Anh Tuan Giang, Anthony Busson, Marco Di Renzo
article
Annals of Operations Research, Springer Verlag, 2016, 239 (2), pp.553-568. ⟨10.1007/s10479-014-1610-x⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01060340/file/journalAstma.pdf BibTex
titre
Isolating Highly Connected Induced Subgraphs
auteur
Irena Penev, Stéphan Thomassé, Nicolas Trotignon
article
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2016, 30, pp.592-619. ⟨10.1137/140981939⟩
Accès au bibtex
BibTex
titre
Perfect Graphs with No Balanced Skew-Partition are 2-Clique-Colorable
auteur
Irena Penev
article
Journal of Graph Theory, Wiley, 2016, 81 (3), pp.213-235
Accès au bibtex
BibTex
titre
Linear kernel for Rooted Triplet Inconsistency and other problems based on conflict packing technique
auteur
Christophe Paul, Anthony Perez, Stéphan Thomassé
article
Journal of Computer and System Sciences, Elsevier, 2016, 82 (2), ⟨10.1016/j.jcss.2015.08.002⟩
Accès au bibtex
BibTex
titre
Improved error bounds for floating-point products and Horner’s scheme
auteur
Siegfried M. Rump, Florian Bünger, Claude-Pierre Jeannerod
article
BIT Numerical Mathematics, Springer Verlag, 2016, 56 (1), pp.293 - 307. ⟨10.1007/s10543-015-0555-z⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01137652/file/products.pdf BibTex
titre
Performance analysis of multi-hop flows in IEEE 802.11 networks: A flexible and accurate modeling framework
auteur
Thomas Begin, Bruno Baynat, Isabelle Guérin-Lassous, Thiago Abreu
article
Performance Evaluation, Elsevier, 2016, 96, pp.12-32. ⟨10.1016/j.peva.2015.12.003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01246822/file/article-mod.pdf BibTex
titre
Universal recovery map for approximate Markov chains
auteur
David Sutter, Omar Fawzi, Renato Renner
article
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2016, 472 (2186), pp.20150623
Accès au bibtex
BibTex
titre
VNP = VP in the multilinear world
auteur
Meena Mahajan, Nitin Saurabh, Sébastien Tavenas
article
Information Processing Letters, Elsevier, 2016, 116 (2), pp.179-182
Accès au bibtex
BibTex
titre
Notes on Birkhoff-von Neumann decomposition of doubly stochastic matrices
auteur
Fanny Dufossé, Bora Uçar
article
Linear Algebra and its Applications, Elsevier, 2016, 497, pp.108--115. ⟨10.1016/j.laa.2016.02.023⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01270331/file/bvn-laa.pdf BibTex
titre
Modular encoding of synchronous and asynchronous interactions using open Petri nets
auteur
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Valentina Monreale
article
Science of Computer Programming, Elsevier, 2016, ⟨10.1016/j.scico.2014.11.019⟩
Accès au bibtex
BibTex
titre
Bialgebraic Semantics for Logic Programming
auteur
Filippo Bonchi, Fabio Zanasi
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, ⟨10.2168/LMCS-11(1:14)2015⟩
Accès au bibtex
BibTex
titre
Strong edge-coloring of $(3, \Delta)$-bipartite graphs
auteur
Julien Bensmail, Aurélie Lagoutte, Petru Valicov
article
Discrete Mathematics, Elsevier, 2016, 339 (1), ⟨10.1016/j.disc.2015.08.026⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01080279/file/paper_v2.pdf BibTex
titre
The Erdös--Hajnal Conjecture for Long Holes and Antiholes
auteur
Marthe Bonamy, Nicolas Bousquet, Stéphan Thomassé
article
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2016, 30 (2), pp.1159-1164. ⟨10.1137/140981745⟩
Accès au bibtex
BibTex
titre
Quantum Bilinear Optimization
auteur
Mario Berta, Omar Fawzi, Volkher Scholz
article
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2016, 26 (3), pp.1529-1564
Accès au bibtex
BibTex
titre
Perfect graphs of arbitrarily large clique-chromatic number
auteur
Pierre Charbit, Irena Penev, Stéphan Thomassé, Nicolas Trotignon
article
Journal of Combinatorial Theory, Series B, Elsevier, 2016, 116, pp.456-464. ⟨10.1016/j.jctb.2015.09.008⟩
Accès au bibtex
BibTex
titre
The effect of range and bandwidth on the round complexity in the congested clique model
auteur
Becker Florent, Antonio Fernández Anta, Ivan Rapaport, Eric Rémila
article
Lecture Notes in Computer Science, Springer, 2016, 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings, 9797, pp 182-193
Accès au bibtex
BibTex
titre
Clique-Stable Set Separation in Perfect Graphs with no Balanced Skew-Partitions
auteur
Aurélie Lagoutte, Théophile Trunck
article
Discrete Mathematics, Elsevier, 2016, 339, pp.1809 - 1825. ⟨10.1016/j.disc.2016.02.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01508655/file/cliquestable_skew_elsarticle_revision_2.pdf BibTex
titre
Self-Stabilizing Prefix Tree Based Overlay Networks
auteur
Eddy Caron, Ajoy Datta, Franck Petit, Cédric Tedeschi
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2016, 27 (5), pp.607-630. ⟨10.1142/S0129054116500192⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01347457/file/version-HAL.pdf BibTex
titre
Availability/Network-aware MapReduce over the Internet
auteur
Bing Tang, Mingdong Tang, Gilles Fedak, Haiwu He
article
Information Sciences, Elsevier, 2016, 379, pp.94--111. ⟨10.1016/j.ins.2016.09.030⟩
Accès au bibtex
BibTex
titre
Multi-criteria and satisfaction oriented scheduling for hybrid distributed computing infrastructures
auteur
Mircea Moca, Cristian Litan, Gheorghe Silaghi, Gilles Fedak
article
Future Generation Computer Systems, Elsevier, 2016, 55, ⟨10.1016/j.future.2015.03.022⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01239218/file/FGCS-promethee-preprint.pdf BibTex
titre
The Impact of Source Code in Software on Power Consumption
auteur
Hayri Acar, Gülfem Alptekin, Jean-Patrick Gelas, Parisa Ghodous
article
International Journal of Electronic Business Management, Electronic Business Management Society, Taiwan, 2016, 14, pp.42-52
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01496266/file/IJEBM_final_version.pdf BibTex
titre
Linearity is Strictly More Powerful than Contiguity for Encoding Graphs
auteur
Christophe Crespelle, Tien-Nam Le, Kévin Perrot, Thi Ha Duong Phan
article
Discrete Mathematics, Elsevier, 2016, 339 (8), pp.2168-2177. ⟨10.1016/j.disc.2016.03.006⟩
Accès au bibtex
BibTex
titre
Hors champs la multipositionnalité par l'analyse des réseaux
auteur
Tommaso Venturini, Mathieu Jacomy, Audrey Baneyx, Paul Girard
article
Réseaux, La Découverte, 2016, 199 (5), ⟨10.3917/res.199.0011⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01672294/file/Venturini%20et%20al.%20-%202016%20-%20Hors%20champs.pdf BibTex
titre
On Natural Deduction in Classical First-Order Logic: Curry-Howard Correspondence, Strong Normalization and Herbrand's Theorem
auteur
Federico Aschieri, Margherita Zorzi
article
Theoretical Computer Science, Elsevier, 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00931128/file/TCSEMherbrandFinal.pdf BibTex
titre
Breaking the dimensionality curse in multi-server queues
auteur
Alexandre Brandwajn, Thomas Begin
article
Computers and Operations Research, Elsevier, 2016, pp.141-149. ⟨10.1016/j.cor.2016.04.011⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01322249/file/Revision.pdf BibTex
titre
Name-passing calculi: From fusions to preorders and types
auteur
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
article
Information and Computation, Elsevier, 2016, 251, pp.26. ⟨10.1016/j.ic.2016.10.003⟩
Accès au bibtex
BibTex
titre
Equitable orientations of sparse uniform hypergraphs
auteur
Nathann Cohen, William Lochet
article
The Electronic Journal of Combinatorics, Open Journal Systems, 2016, 23 (4), pp.4-31
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01417832/file/prod.pdf BibTex
titre
Higher-order interpretations and program complexity
auteur
Patrick Baillot, Ugo Dal Lago
article
Information and Computation, Elsevier, 2016, ⟨10.1016/j.ic.2015.12.008⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01337728/file/main.pdf BibTex
titre
Design of a force-based controlled mobility on aerial vehicles for pest management
auteur
Laurent Reynaud, Isabelle Guérin-Lassous
article
Ad Hoc Networks, Elsevier, 2016, 53, pp.41 - 52. ⟨10.1016/j.adhoc.2016.09.005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01427874/file/design_of_VFP.pdf BibTex
titre
Better polynomials for GNFS
auteur
Shi Bai, Cyril Bouvier, Alexander Kruppa, Paul Zimmermann
article
Mathematics of Computation, American Mathematical Society, 2016, 85, pp.12. ⟨10.1090/mcom3048⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01089507/file/sopt-20140905.pdf BibTex
titre
Effects of Some Lattice Reductions on the Success Probability of the Zero-Forcing Decoder
auteur
Shi Bai, Chao Tong, Jinming Wen
article
IEEE Communications Letters, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/LCOMM.2016.2594196⟩
Accès au bibtex
BibTex
titre
Optimal Multistage Algorithm for Adjoint Computation
auteur
Guillaume Aupy, Julien Herrmann, Paul Hovland, Yves Robert
article
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2016, 38 (3), pp.C232-C255. ⟨10.1137/15M1019222⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354902/file/siam_revised.pdf BibTex
titre
Approximation Algorithms for Energy, Reliability, and Makespan Optimization Problems
auteur
Guillaume Aupy, Anne Benoit
article
Parallel Processing Letters, World Scientific Publishing, 2016, Parallel Processing Letters, 26 (01), pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01252333/file/main.pdf BibTex
titre
Assessing General-Purpose Algorithms to Cope with Fail-Stop and Silent Errors
auteur
Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article
ACM Transactions on Parallel Computing, Association for Computing Machinery, 2016, 3 (2), pp.1-36. ⟨10.1145/2897189⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01358146/file/wocopyright-TOPC.pdf BibTex
titre
Checkpointing Strategies for Scheduling Computational Workflows
auteur
Guillaume Aupy, Anne Benoit, Henri Casanova, Yves Robert
article
International Journal of Networking and Computing, Higashi Hiroshima : Dept. of Computer Engineering, Hiroshima University, 2016, 6 (1), pp.2-26. ⟨10.15803/ijnc.6.1_2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354874/file/ijnc-final.pdf BibTex
titre
A radix-independent error analysis of the Cornea-Harrison-Tang method
auteur
Claude-Pierre Jeannerod
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2016, ⟨10.1145/2824252⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01050021/file/Jeannerod2015c.pdf BibTex
titre
Comparison between binary and decimal floating-point numbers
auteur
Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, Jean-Michel Muller
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2016, 65 (7), pp.2032-2044. ⟨10.1109/TC.2015.2479602⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01021928/file/Compar-IEEETC.pdf BibTex
titre
Assessing the cost of redistribution followed by a computational kernel: Complexity and performance results
auteur
Julien Herrmann, George Bosilca, Thomas Hérault, Loris Marchal, Yves Robert, Jack Dongarra
article
Parallel Computing, Elsevier, 2016, 52, pp.20. ⟨10.1016/j.parco.2015.09.005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01254167/file/paper-revision.pdf BibTex

Conference papers

titre
Impact of Shutdown Techniques for Energy-Efficient Cloud Data Centers
auteur
Issam Raïs, Anne-Cécile Orgerie, Martin Quinson
article
ICA3PP: 16th International Conference on Algorithms and Architectures for Parallel Processing, Dec 2016, Granada, Spain. pp.203-210
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01362530/file/paper.pdf BibTex
titre
Energy Proportionality in Heterogeneous Data Center Supporting Applications with Variable Load
auteur
Violaine Villebonnet, Georges da Costa, Laurent Lefèvre, Jean-Marc Pierson, Patricia Stolf
article
22rd IEEE International Conference on Parallel and Distributed Systems (ICPADS 2016), Dec 2016, Wuhan, China. ⟨10.1109/ICPADS.2016.0136⟩
Accès au bibtex
BibTex
titre
Link prediction in the Twitter mention network: impacts of local structure and similarity of interest
auteur
Márton Karsai, Carlos Sarraute, Eric Fleury
article
16th IEEE International Conference on Data Mining (ICDM) - DMHAA Workshop, Dec 2016, Barcelona, Spain. ⟨10.1109/ICDMW.2016.0071⟩
Accès au bibtex
BibTex
titre
Localization bounds for the graph translation
auteur
Benjamin Girault, Paulo Gonçalves, Shrikanth Narayanan, Antonio Ortega
article
IEEE Global Conference on Signal and Information Processing, Dec 2016, Washington DC, United States. pp.331-335, ⟨10.1109/GlobalSIP.2016.7905858⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01368817/file/global-sip-2016.pdf BibTex
titre
Zero-Knowledge Arguments for Matrix-Vector Relations and Lattice-Based Group Encryption
auteur
Benoît Libert, San Ling, Fabrice Mouhartem, Khoa Nguyen, Huaxiong Wang
article
Asiacrypt 2016, IACR, Dec 2016, Hanoi, Vietnam. pp.101 - 131, ⟨10.1007/978-3-662-53890-6_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01394087/file/groupenc.pdf BibTex
titre
Signature Schemes with Efficient Protocols and Dynamic Group Signatures from Lattice Assumptions
auteur
Benoît Libert, San Ling, Fabrice Mouhartem, Khoa Nguyen, Huaxiong Wang
article
Asiacrypt 2016, IACR, Dec 2016, Hanoi, Vietnam
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01267123/file/dynamic-lgsig-even-simpler.pdf BibTex
titre
Verifiable Message-Locked Encryption
auteur
Sébastien Canard, Fabien Laguillaumie, Marie Paindavoine
article
CANS 2016 - 15th International Conference Cryptology and Network Security, Nov 2016, Milano, Italy. pp.299 - 315, ⟨10.1007/978-3-319-48965-0_18⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01404486/file/NewMLE.pdf BibTex
titre
Strategies for Big Data Analytics through Lambda Architectures in Volatile Environments
auteur
Alexandre da Silva Veith, Julio C. S. dos Anjos, Edison Pignaton de Freitas, Thomas Lampoltshammer, Claudio Geyer
article
IFAC, Nov 2016, Porto Alegre, Brazil. pp.114-119
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01574656/file/ifacconf-new-version.pdf BibTex
titre
Association Optimization in Wi-Fi Networks: Use of an Access-based Fairness
auteur
Mohammed Amer, Anthony Busson, Isabelle Guérin-Lassous
article
The 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM), Nov 2016, Malta, Malta. pp.119 - 126, ⟨10.1145/2988287.2989153⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01409272/file/MSWIM.pdf BibTex
titre
Failure Detection and Propagation in HPC systems
auteur
George Bosilca, Aurélien Bouteiller, Amina Guermouche, Thomas Hérault, Yves Robert, Pierre Sens, Jack Dongarra
article
SC 2016 - The International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2016, Salt Lake City, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01352109/file/sc16-hal.pdf BibTex
titre
Subdivisions of oriented cycles in digraphs with large chromatic number
auteur
Nathann Cohen, Frédéric Havet, William Lochet, Nicolas Nisse
article
Bordeaux Graph Wokshop 2016, Nov 2016, Bordeaux, France. pp.85-88
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01411115/file/finalversion.pdf BibTex
titre
Evaluation of an End-to-End Delay Estimation in the Case of Multiple Flows in SDN Networks
auteur
Huu-Nghi Nguyen, Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous
article
3rd International Workshop on Management of SDN and NFV Systems, ManSDN/NFV, Nov 2016, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01387737/file/cnsm_nocopyright.pdf BibTex
titre
On the Impact of Advance Reservations for Energy-Aware Provisioning of Bare-Metal Cloud Resources
auteur
Marcos Dias de Assuncao, Laurent Lefèvre, Francois Rossigneux
article
CNSM 2016, Oct 2016, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01382662/file/cnsm2016.pdf BibTex
titre
Energy Aware Dynamic Provisioning for Heterogeneous Data Centers
auteur
Violaine Villebonnet, Georges da Costa, Laurent Lefèvre, Jean-Marc Pierson, Patricia Stolf
article
28th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2016), Oct 2016, Los Angeles, United States. ⟨10.1109/SBAC-PAD.2016.34⟩
Accès au bibtex
BibTex
titre
Secured Systems in Clouds with Model-Driven Orchestration
auteur
Eddy Caron, Arnaud Lefray, Jonathan Rouzaud-Cornabas
article
The 2nd IEEE Workshop on Security and Privacy in the Cloud (SPC 2016). In conjunction with the IEEE CNS conference. , IEEE, Oct 2016, Philadelphia, United States
Accès au bibtex
BibTex
titre
Modélisation du transfert technologique par système multi-agent : illustration à l'informatique verte
auteur
Christina Herzog, Jean-Marc Pierson, Laurent Lefèvre
article
24èmes journées Francophones sur les systèmes Multi-Agents (JFSMA 2016), Oct 2016, Rouen, France
Accès au bibtex
BibTex
titre
Description, Implementation and Evaluation of an Affinity Clause for Task Directives
auteur
Philippe Virouleau, Adrien Roussel, François Broquedis, Thierry Gautier, Fabrice Rastello, Jean-Marc Gratien
article
IWOMP 2016, Oct 2016, Nara, Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01343442/file/iwomp2016.pdf BibTex
titre
Modélisation du transfert technologique par système multi-agent : illustration à l'informatique verte
auteur
Christina Herzog, Jean-Marc Pierson, Laurent Lefèvre
article
24èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2016), Oct 2016, Saint Martin du Vivier, France. pp.223-232
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03627061/file/herzog_17061.pdf BibTex
titre
Privately Outsourcing Exponentiation to a Single Server: Cryptanalysis and Optimal Constructions
auteur
Céline Chevalier, Fabien Laguillaumie, Damien Vergnaud
article
Computer Security - ESORICS 2016, Sep 2016, Heraklion, Greece. pp.261-278, ⟨10.1007/978-3-319-45744-4_13⟩
Accès au bibtex
BibTex
titre
Improving the Performance of Challenged Networks with Controlled Mobility
auteur
Laurent Reynaud, Isabelle Guérin-Lassous
article
8th International Conference, ADHOCNETS , Sep 2016, Ottawa, Canada. pp.205 - 217, ⟨10.1007/978-3-319-51204-4_17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01427858/file/adhocnets.pdf BibTex
titre
Performance modeling of virtual switching systems
auteur
Guillaume Gallardo, Bruno Baynat, Thomas Begin
article
IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2016, Sep 2016, London, United Kingdom. pp.125-134, ⟨10.1109/MASCOTS.2016.22⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01387726/file/paper.pdf BibTex
titre
TEEC: Improving power consumption estimation of software
auteur
Hayri Acar, Gülfem Alptekin, Jean-Patrick Gelas, Parisa Ghodous
article
EnviroInfo 2016, Sep 2016, Berlin, Germany. pp.335-341 / ISBN 978-3-8440-4687-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01496262/file/EnviroInfo2016.pdf BibTex
titre
When Amdahl Meets Young/Daly
auteur
Aurélien Cavelan, Jiafan Li, Yves Robert, Hongyang Sun
article
Cluster'2016, Sep 2016, Taipei, Taiwan, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01355963/file/cluster2016.pdf BibTex
titre
Dynamically Building Energy Proportional Data Centers with Heterogeneous Computing Resources
auteur
Violaine Villebonnet, Georges da Costa, Laurent Lefèvre, Jean-Marc Pierson, Patricia Stolf
article
2016 IEEE International Conference on Cluster Computing (CLUSTER 2016), Sep 2016, Taipei, Taiwan. pp.1-4, ⟨10.1109/CLUSTER.2016.34⟩
Accès au bibtex
BibTex
titre
Cell morphing: from array programs to array-free Horn clauses
auteur
David Monniaux, Laure Gonnord
article
23rd Static Analysis Symposium (SAS 2016), Sep 2016, Edimbourg, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01206882/file/arrays_Horn_articleHAL.pdf BibTex
titre
Delay-based strategy for safety message dissemination in Vehicular Ad hoc NETworks: Slotted or continuous?
auteur
Imen Achour, Tarek Bejaoui, Anthony Busson, Sami Tabbane
article
IWCMC 2016 - International Conference on Wireless Communications and Mobile Computing, Sep 2016, Cyprus, Cyprus. pp.268 - 274, ⟨10.1109/IWCMC.2016.7577069⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01378827/file/Iwcmc2016-CameraReady.pdf BibTex
titre
Estimation of Parallel Complexity with Rewriting Techniques
auteur
Christophe Alias, Carsten Fuhs, Laure Gonnord
article
Workshop on Termination, Sep 2016, Obergurgl, Austria
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01345914/file/rewriting_parallelism_articleHAL.pdf BibTex
titre
Non-Zero Inner Product Encryption with Short Ciphertexts and Private Keys
auteur
Jie Chen, Benoît Libert, Somindu Ramanna
article
10th Conference on Security and Cryptography for Networks (SCN 2016), Aug 2016, Amalfi, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01309562/file/non-zero-ipe.pdf BibTex
titre
Free-cut elimination in linear logic and an application to a feasible arithmetic
auteur
Patrick Baillot, Anupam Das
article
Computer Science Logic 2016, Aug 2016, Marseille, France. pp. 40:1-40:18, ⟨10.4230/LIPIcs.CSL.2016.40⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01316754/file/main.pdf BibTex
titre
EURECA Compilation: Automatic Optimisation of Cycle-Reconfigurable Circuits
auteur
Xinyu Niu, Nicholas Ng, Shaojun Wang, Tomofumi Yuki, Nobuko Yoshida, Wayne Luk
article
FPL 2016 - 26th International Conference on Field Programmable Logic and Applications, Aug 2016, Lausanne, Switzerland. pp.1-4, ⟨10.1109/FPL.2016.7577359⟩
Accès au bibtex
BibTex
titre
Using data dependencies to improve task-based scheduling strategies on NUMA architectures
auteur
Philippe Virouleau, François Broquedis, Thierry Gautier, Fabrice Rastello
article
Euro-Par 2016, Aug 2016, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01338761/file/europar2016.pdf BibTex
titre
Controlling and Assessing Correlations of Cost Matrices in Heterogeneous Scheduling
auteur
Louis-Claude Canon, Pierre-Cyrille Heam, Laurent Philippe
article
Euro-par 2016 - 22nd International Conference on Parallel and Distributed Computing, Aug 2016, Grenoble, France. pp.133 - 145
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01664639/file/europar16.pdf BibTex
titre
Causality vs. interleavings in concurrent game semantics
auteur
Simon Castellan, Pierre Clairambault
article
The 27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec City, Canada. pp.1 - 3214, ⟨10.4230/LIPIcs.CONCUR.2016.32⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01474550/file/main.pdf BibTex
titre
Cardinalities of Finite Relations in Coq with Applications
auteur
Paul Brunet, Damien Pous, Insa Stucke
article
Interative Theorem Proving, Aug 2016, Nancy, France. pp.466-474, ⟨10.1007/978-3-319-43144-4_29⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01441262/file/cardinalities.pdf BibTex
titre
A Multi Agent System for Understanding the Impact of Technology Transfer Offices in Green-IT
auteur
Christina Herzog, Jean-Marc Pierson, Laurent Lefèvre
article
PRIMA 2016 : International Conference on Principles and practice of multi-agent systems, Aug 2016, Phuket, Thailand
Accès au bibtex
BibTex
titre
High Performance Parallel Algorithms for the Tucker Decomposition of Sparse Tensors
auteur
Oguz Kaya, Bora Uçar
article
International Conference on Parallel Processing (ICPP), Aug 2016, 2016-08-19, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354894/file/PID4261953.pdf BibTex
titre
Computing the expected makespan of task graphs in the presence of silent errors
auteur
Henri Casanova, Julien Herrmann, Yves Robert
article
Ninth International Workshop on Parallel Programming Models and Systems Software for High-End Computing (P2S2), 2016, Aug 2016, Philadelphia, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354711/file/icpp_2016.pdf BibTex
titre
Resilient application co-scheduling with processor redistribution
auteur
Anne Benoit, Loïc Pottier, Yves Robert
article
International Conference on Parallel Processing (ICPP), Aug 2016, Philadelphia, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354863/file/PID4280453.pdf BibTex
titre
Fully Secure Functional Encryption for Inner Products, from Standard Assumptions
auteur
Shweta Agrawal, Benoît Libert, Damien Stehlé
article
Crypto 2016, IACR, Aug 2016, Santa Barbara, United States. pp.333 - 362, ⟨10.1007/978-3-662-53015-3_12⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01228559/file/FE-IPFE-adaptive.pdf BibTex
titre
A formal exploration of Nominal Kleene Algebra
auteur
Paul Brunet, Damien Pous
article
MFCS, Aug 2016, Cracovie, Poland. ⟨10.4230/LIPIcs.MFCS.2016.22⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01307532/file/main.pdf BibTex
titre
A different re-execution speed can help
auteur
Anne Benoit, Aurélien Cavelan, Valentin Le Fèvre, Yves Robert, Hongyang Sun
article
5th International Workshop on Power-aware Algorithms, Systems, and Architectures (PASA'16), held in conjunction with ICPP 2016, the 45th International Conference on Parallel Processing, Aug 2016, Philadelphia, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354887/file/pasa2016.pdf BibTex
titre
Avoidability of Formulas with Two Variables
auteur
Pascal Ochem, Matthieu Rosenfeld
article
20th International Conference on Developments in Language Theory (DLT 2016), Laboratoire de combinatoire et d'informatique mathématique (LaCIM), Université du Québec à Montréal, Jul 2016, Montréal, Canada. pp.344-354, ⟨10.1007/978-3-662-53132-7_28⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01375829/file/main.pdf BibTex
titre
k-Abelian Equivalence and Rationality
auteur
Julien Cassaigne, Juhani Karhumaki, Svetlana Puzynina, Markus Whiteland
article
20th International Conference on Developments in Language Theory, Jul 2016, Montréal, Canada. pp.77-88, ⟨10.1007/978-3-662-53132-7_7⟩
Accès au bibtex
BibTex
titre
Parallel Differential Evolution approach for Cloud workflow placements under simultaneous optimization of multiple objectives
auteur
Daniel Balouek-Thomert, Arya K. Bhattacharya, Eddy Caron, Karunakar Gadireddy, Laurent Lefèvre
article
Congress on Evolutionary Computation (IEEE CEC 2016), Jul 2016, Vancouver, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01289176/file/CEC2016.pdf BibTex
titre
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
auteur
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard
article
ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.199-206, ⟨10.1145/2930889.2930908⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01266041/file/det_techreport.pdf BibTex
titre
Computing with quasiseparable matrices
auteur
Clément Pernet
article
International Symposium on Symbolic and Algebraic Computation (ISSAC'16), Jul 2016, Waterloo, Canada. pp.389-396, ⟨10.1145/2930889.2930915⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01264131/file/quasisep.pdf BibTex
titre
Fast computation of shifted Popov forms of polynomial matrices via systems of modular polynomial equations
auteur
Vincent Neiger
article
41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, ON, Canada. ⟨10.1145/2930889.2930936⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01266014/file/fast_popov_form.pdf BibTex
titre
Fast computation of minimal interpolation bases in Popov form for arbitrary shifts
auteur
Claude-Pierre Jeannerod, Vincent Neiger, Eric Schost, Gilles Villard
article
41st International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, ON, Canada. ⟨10.1145/2930889.2930928⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01265983/file/fast_pib.pdf BibTex
titre
Kinetics of Social Contagion
auteur
Zhongyuan Ruan, Gerardo Iñiguez, Márton Karsai, János Kertész
article
StatPhys'26, Jul 2016, Lyon, France
Accès au bibtex
BibTex
titre
An Analysis of the Feasibility of Energy Harvesting with Thermoelectric Generators on Petascale and Exascale Systems
auteur
Issam Raïs, Laurent Lefèvre, Anne-Cécile Orgerie, Anne Benoit
article
Workshop Optimization of Energy Efficient HPC & Distributed Systems (OPTIM) in conjunction with HPCS, Jul 2016, Innsbruck, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01348554/file/EH_thermo.pdf BibTex
titre
Functional Commitment Schemes: From Polynomial Commitments to Pairing-Based Accumulators from Simple Assumptions
auteur
Benoît Libert, Somindu Ramanna, Moti Yung
article
43rd International Colloquium on Automata, Languages and Programming (ICALP 2016), Jul 2016, Rome, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01306152/file/poly-commit.pdf BibTex
titre
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications
auteur
Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker
article
5th International Congress on Mathematical Software (ICMS), Jul 2016, Berlin, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01312858/file/ICMS_Extended_Abstract_2016_CAMPARY.pdf BibTex
titre
Computing floating-point logarithms with fixed-point operations
auteur
Julien Le Maire, Nicolas Brunie, Florent de Dinechin, Jean-Michel Muller
article
23rd IEEE Symposium on Computer Arithmetic, IEEE, Jul 2016, Santa Clara, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01227877/file/2015-FixFloat.pdf BibTex
titre
A new multiplication algorithm for extended precision using floating-point expansions
auteur
Jean-Michel Muller, Valentina Popescu, Ping Tak Peter Tang
article
ARITH23, Jul 2016, Santa Clara, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01298195/file/ARITH23-CamReady.pdf BibTex
titre
Correctly Rounded Arbitrary-Precision Floating-Point Summation
auteur
Vincent Lefèvre
article
23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. ⟨10.1109/ARITH.2016.9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242127/file/arith23.pdf BibTex
titre
Amélioration des stratégies d'ordonnancement sur architectures NUMA à l'aide des dépendances de données
auteur
Philippe Virouleau
article
Compas 2016, Jul 2016, Lorient, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01338750/file/compas2016.pdf BibTex
titre
Parallel floating-point expansions for extended-precision GPU computations
auteur
Caroline Collange, Mioara Joldes, Jean-Michel Muller, Valentina Popescu
article
The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01298206/file/Popescu_ParallelFPExpansionsGPU_ASAP16.pdf BibTex
titre
Coinduction All the Way Up
auteur
Damien Pous
article
Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016), Jul 2016, New York, United States. ⟨10.1145/2933575.2934564⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01259622/file/cawu.pdf BibTex
titre
From positive and intuitionistic bounded arithmetic to monotone proof complexity
auteur
Anupam Das
article
31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), Jul 2016, New York, United States. pp.126-135, ⟨10.1145/2933575.2934570⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01494106/file/pos-int-bdarith-mon-pc.pdf BibTex
titre
Prise en compte de tâches non-prioritaires dans l'ordonnancement batch
auteur
Tchimou N 'Takpé, Frédéric Suter
article
Conférence d’informatique en Parallélisme, Architecture et Système (Compas 2016), Jul 2016, Lorient, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01420693/file/dbf_final.pdf BibTex
titre
Comparaison de moteurs exécutifs pour la parallélisation de solveurs linéaires itératifs
auteur
Adrien Roussel
article
Conférence d’informatique en Parallélisme, Architecture et Système (Compas’2016), Jul 2016, Lorient, France
Accès au texte intégral et bibtex
https://hal-ifp.archives-ouvertes.fr/hal-01343151/file/Compas2016.pdf BibTex
titre
An Analysis of the Feasibility of Energy Harvesting with Thermoelectric Generators on Petascale and Exascale Systems
auteur
Issam Raïs, Anne Benoit, Laurent Lefèvre, Anne-Cécile Orgerie
article
Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2016), Jul 2016, Lorient, France
Accès au bibtex
BibTex
titre
Physics-Based Swarm Intelligence for Disaster Relief Communications
auteur
Laurent Reynaud, Isabelle Guérin-Lassous
article
AdHoc-Now 2016 - 15th International Conference on Ad Hoc Networks and Wireless , Jul 2016, Lille, France. ⟨10.1007/978-3-319-40509-4_7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01432959/file/adhocnow16_VFPe_camera_ready_v1.pdf BibTex
titre
Asymptotics of lattice walks via analytic combinatorics in several variables
auteur
Stephen Melczer, Mark C. Wilson
article
28-th International Conference on Formal Power Series and Algebraic Combinatorics, Simon Fraser University, Jul 2016, Vancouver, Canada. ⟨10.46298/dmtcs.6390⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02166352/file/final_12.pdf BibTex
titre
Efficient Algorithms for Mixed Creative Telescoping
auteur
Alin Bostan, Louis Dumont, Bruno Salvy
article
ISSAC 2016, Jul 2016, Waterloo, Canada. pp.127-134, ⟨10.1145/2930889.2930907⟩
Accès au bibtex
https://arxiv.org/pdf/1605.05082 BibTex
titre
The Domino Problem for Self-similar Structures
auteur
Sebastián Barbieri, Mathieu Sablik
article
12th Conference on Computability in Europe (CiE), Univ Paris 13; Univ Paris 7; Assoc Computabil Europe; Assoc Symbol Log; European Assoc Theoret Comp Sci, Jun 2016, Paris, France. pp.205-214, ⟨10.1007/978-3-319-40189-8_21⟩
Accès au bibtex
BibTex
titre
Anti-Persistence on Persistent Storage: History-Independent Sparse Tables and Dictionaries
auteur
Michael Bender, Jonathan Berry, Rob Johnson, Thomas Kroeger, Samuel Mccauley, Cynthia Phillips, Bertrand Simon, Shikha Singh, David Zage
article
Principle of Database Systems (PODS 2016), Jun 2016, San Francisco, United States. ⟨10.1145/2902251.2902276⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01326312/file/main.pdf BibTex
titre
Focusing in Orthologic
auteur
Olivier Laurent
article
Formal Structures for Computation and Deduction, Jun 2016, Porto, Portugal. pp.25, ⟨10.4230/LIPIcs.FSCD.2016.25⟩
Accès au bibtex
BibTex
titre
A Lattice-Based Group Signature Scheme with Message-Dependent Opening
auteur
Benoît Libert, Fabrice Mouhartem, Khoa Nguyen
article
14th International Conference on Applied Cryptography and Network Security (ACNS 2016), Jun 2016, Guildford, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01302790/file/gs-mdo.pdf BibTex
titre
More Efficient Constructions for Inner-Product Encryption
auteur
Somindu Ramanna
article
Applied Cryptography and Network Security (ACNS 2016), Jun 2016, Guildford, United Kingdom. pp.231 - 248, ⟨10.1007/978-3-319-39555-5_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01394288/file/356.pdf BibTex
titre
The Group of Reversible Turing Machines
auteur
Sebastián Barbieri, Jarkko Kari, Ville Salo
article
22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.49-62, ⟨10.1007/978-3-319-39300-1_5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01435034/file/395687_1_En_5_Chapter.pdf BibTex
titre
On Designing SDN Services for Energy-Aware Traffic Engineering
auteur
Marcos Dias de Assuncao, Radu Carpa, Olivier Glück, Laurent Lefèvre
article
Tridentcom2016 : 11th EAI International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities, Jun 2016, Hangzhou, China
Accès au bibtex
BibTex
titre
Impact of University Admission on Freshmen' Egocentric Network
auteur
Sami Jouaber, Yannick Léo, Carlos Sarraute​, Eric Fleury, Márton Karsai
article
2nd European Conference on Social Networks (EUSN), Jun 2016, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01303738/file/sami_eusn.pdf BibTex
titre
Socioeconomic correlations in communication networks
auteur
Yannick Leo​, José Ignacio Alvarez-Hamelin, Carlos Sarraute​, Eric Fleury, Márton Karsai
article
2nd European Conference on Social Networks (EUSN), Jun 2016, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01303751/file/Socioeconomiccorrelationsincommunicationnetworks%20%283%29.pdf BibTex
titre
Resource Optimization for Program Committee Members: A Subreview Article
auteur
Michael Bender, Samuel Mccauley, Bertrand Simon, Shikha Singh, Frédéric Vivien
article
8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.20, ⟨10.4230/LIPIcs.FUN.2016.7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01326277/file/paper.pdf BibTex
titre
What do we mean by interdisciplinary research?
auteur
Jean-Pierre Chevrot
article
Bridging gaps: Conceptual and epistemological approaches, Center for Multilingualism in Society across the Lifespan Jun 2016, Oslo, Norway
Accès au bibtex
BibTex
titre
Interdisciplinarity: reasons to hope
auteur
Jean-Pierre Chevrot
article
Bridging gaps: Conceptual and epistemological approaches, Center for Multilingualism in Society across the Lifespan, University of Oslo, Jun 2016, Oslo, Norway
Accès au bibtex
BibTex
titre
Socioeconomic Correlations and Stratification in Social Communication Networks
auteur
Yannick Léo, Eric Fleury, Carlos Sarraute, Márton Karsai
article
NetSci'16, May 2016, Seoul, South Korea
Accès au bibtex
BibTex
titre
Practical “Signatures with Efficient Protocols” from Simple Assumptions
auteur
Benoît Libert, Fabrice Mouhartem, Thomas Peters, Moti Yung
article
AsiaCCS 2016, Xiaofeng Chen, May 2016, Xi'an, China. ⟨10.1145/2897845.2897898⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01303696/file/SigmaSig-full-version.pdf BibTex
titre
Two-Level Checkpointing and Verifications for Linear Task Graphs
auteur
Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article
The 17th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC 2016), May 2016, Chicago, United States. pp.10, ⟨10.1109/IPDPSW.2016.106⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354625/file/pdsec2016.pdf BibTex
titre
Multi-Criteria Malleable Task Management for Hybrid-Cloud Platforms
auteur
Eddy Caron, Marcos Dias de Assuncao
article
2nd International Conference on Cloud Computing Technologies and Applications (CloudTech'16),, May 2016, Marrakech, Morocco
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01355682/file/cloudtech16.pdf BibTex
titre
Call Detail Records to Characterize Usages and Mobility Events of Phone Users
auteur
Yannick Léo, Anthony Busson, Carlos Sarraute, Eric Fleury
article
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01303707/file/AlgoTel_2016_paper_54%20%282%29.pdf BibTex
titre
Optimisation Centralisée de l'Association dans les Réseaux WI-FI
auteur
Mohammed Amer, Anthony Busson, Isabelle Guérin-Lassous
article
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01304186/file/AlgoTel.pdf BibTex
titre
Traces mobiles afin de caractériser les usages et la mobilité des utilisateurs
auteur
Yannick Léo, Anthony Busson, Carlos Sarraute, Eric Fleury
article
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01304956/file/sample-algotel.pdf BibTex
titre
Coalgebraic Minimization of Automata by Initiality and Finality
auteur
Jurriaan Rot
article
Thirty-second Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII), May 2016, Pittsburgh, United States. pp.253--276, ⟨10.1016/j.entcs.2016.09.042⟩
Accès au bibtex
BibTex
titre
Responsive Algorithms for Handling Load Surges and Switching Links On in Green Networks
auteur
Radu Carpa, Marcos Dias de Assuncao, Olivier Glück, Laurent Lefèvre, Jean-Christophe Mignot
article
IEEE International Conference on Communications - IEEE ICC'16 - Green Communications Systems and Networks Symposium, May 2016, Kuala Lumpur, Malaysia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01266279/file/icc2016.pdf BibTex
titre
Taking Benefit from the User Density in Large Cities for Delivering SMS
auteur
Yannick Léo, Anthony Busson, Carlos Sarraute, Eric Fleury
article
CoRes 2016 -- RENCONTRES FRANCOPHONES SUR LA CONCEPTION DE PROTOCOLES, L’ÉVALUATION DE PERFORMANCE ET L’EXPÉRIMENTATION DES RÉSEAUX DE COMMUNICATION, May 2016, Bayonne, France. ⟨10.1145/2810379.2810393⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01303719/file/CoRes_2016_paper_11%20%281%29.pdf BibTex
titre
Utiliser la densité des utilisateurs mobiles dans les grandes villes afin de délivrer des SMS
auteur
Yannick Léo, Anthony Busson, Carlos Sarraute, Eric Fleury
article
CoRes 2016, May 2016, Bayonne, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01312057/file/algotel.pdf BibTex
titre
Minimizing Rental Cost for Multiple Recipe Applications in the Cloud
auteur
Fouad Hanna, Loris Marchal, Jean Nicod, Laurent Philippe, Veronika Sonigo, Hala Sabbah
article
International Parallel and Distributed Processing Symposium, May 2016, Chicago, IL, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02399233/file/8386a2f2-22e6-47a1-950d-18b2b101e923-author.pdf BibTex
titre
Minimizing Rental Cost for Multiple Recipe Applications in the Cloud
auteur
Fouad Hanna, Loris Marchal, Jean-Marc Nicod, Laurent Philippe, Veronika Rehn-Sonigo, Hala Sabbah
article
IPDPS Workshops, May 2016, Chicago, United States. pp.28--37, ⟨10.1109/IPDPSW.2016.71⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01356152/file/hcw2016final.pdf BibTex
titre
Efficient Heuristics for Placing Large-Scale Distributed Applications on Multiple Clouds
auteur
Pedro Silva, Christian Pérez, Frédéric Desprez
article
CCGrid 2016 - 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2016, Cartagena, Colombia. ⟨10.1109/CCGrid.2016.77⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01301382/file/p_silva_et_al_ccgrid_2016.pdf BibTex
titre
Dialectal Characterization of Linguistics Variability on Twitter
auteur
Clément Thibert, Jean-Philippe Magué, Eric Fleury, Márton Karsai, Matthieu Quignard
article
Data Driven Approach to Network and Language, May 2016, Lyon, France
Accès au bibtex
BibTex
titre
Approximating the end-to-end delay using local measurements: a preliminary study based on conditional expectation
auteur
Huu-Nghi Nguyen, Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous
article
IEEE 3rd International Symposium on Networks, Computers and Communications, ISNCC, May 2016, Hammamet, Tunisia
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01387732/file/ISNCCgoodVersion.pdf BibTex
titre
Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without Trapdoors
auteur
Benoît Libert, San Ling, Khoa Nguyen, Huaxiong Wang
article
Eurocrypt 2016, International Association for Cryptologic Research, May 2016, Vienne, Austria. ⟨10.1007/978-3-662-49896-5_1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01314642/file/LLNW-16.pdf BibTex
titre
Optimal Resilience Patterns to Cope with Fail-Stop and Silent Errors
auteur
Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article
IPDPS’2016, the 30th IEEE International Parallel and Distributed Processing Symposium, May 2016, Chicago, United States. ⟨10.1109/IPDPS.2016.39⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354886/file/ipdps2016.pdf BibTex
titre
Towards a Passive Measurement-based Estimator for the Standard Deviation of the End-to-End Delay
auteur
Nghi Nguyen, Thomas Begin, Anthony Busson, Isabelle Guérin-Lassous
article
IEEE/IFIP Network Operations and Management Symposium (NOMS), Apr 2016, Istanbul, Turkey
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01241711/file/rapport-NghiNguyen20.pdf BibTex
titre
Beyond CPU: Considering Memory Power Consumption of Software
auteur
Hayri Acar, Gülfem Isiklar Alptekin, Jean-Patrick Gelas, Parisa Ghodous
article
Smartgreens 2016, Apr 2016, Rome, Italy. pp.417-424
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01314070/file/SG16_final.pdf BibTex
titre
Modelling technology transfer in Green IT with Multi Agent System
auteur
Christina Herzog, Jean-Marc Pierson, Laurent Lefèvre
article
The International Conference on Leadership, Innovation and Entrepreneurship (ICLIE 2016), Apr 2016, Dubai, United Arab Emirates. ⟨10.1007/978-3-319-43434-6_1⟩
Accès au bibtex
BibTex
titre
The I/O Complexity of Computing Prime Tables
auteur
Michael Bender, Rezaul Chowdhury, Alex Conway, Martín Farach-Colton, Pramod Ganapathi, Rob Johnson, Samuel Mccauley, Bertrand Simon, Shikha Singh
article
Latin American Theoretical Informatics Symposium, Apr 2016, Ensenada, Mexico. pp.192-206, ⟨10.1007/978-3-662-49529-2_15⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01326317/file/sieve.pdf BibTex
titre
Modeling the dynamic of networks with heterogenous social capital allocation
auteur
Enrico Ubaldi, Nicola Perra, Márton Karsai, Alessandro Vezzani, Raffaella Burioni, Alessandro Vespignani
article
Sunbelt 2016 (XXXVI Sunbelt Conference of the International Network for Social Network Analysis), Apr 2016, Newport beach, United States
Accès au bibtex
BibTex
titre
Effectively Eliminating Auxiliaries
auteur
Stijn de Gouw, Jurriaan Rot
article
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Apr 2016, Eindhoven, Netherlands. pp.226-241, ⟨10.1007/978-3-319-30734-3_16⟩
Accès au bibtex
BibTex
titre
Duality of Equations and Coequations via Contravariant Adjunctions
auteur
Julian Salamanca, Marcello Bonsangue, Jurriaan Rot
article
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01446034/file/418352_1_En_6_Chapter.pdf BibTex
titre
Lawvere Categories as Composed PROPs
auteur
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
article
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01446031/file/418352_1_En_3_Chapter.pdf BibTex
titre
Structure and dynamics of online service adoption spreading
auteur
Márton Karsai, Gerardo Iñiguez, Riivo Kikas, Kimmo Kaski, János Kertész
article
Complenet'17, Mar 2016, Dijon, France
Accès au bibtex
BibTex
titre
Socioeconomic correlations in communication networks
auteur
Yannick Léo, Eric Fleury, Carlos Sarraute, José Ignacio Alvarez-Hamelin, Márton Karsai
article
Complenet'17, Mar 2016, Dijon, France
Accès au bibtex
BibTex
titre
Extended Lattice-Based Memory Allocation
auteur
Alain Darte, Alexandre Isoard, Tomofumi Yuki
article
25th International Conference on Compiler Construction (CC'16), Mar 2016, Barcelona, Spain
Accès au bibtex
BibTex
titre
Predicting the System Performance by Combining Calibrated Performance Models of its Components
auteur
Thomas Begin, Alexandre Brandwajn
article
7th ACM/SPEC International Conference on Performance Engineering (ICPE 2016), Mar 2016, Delft, Netherlands. pp.95-100, ⟨10.1145/2851553.2858658⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01241703/file/sig-alternate.pdf BibTex
titre
Symbolic Range Analysis of Pointers
auteur
Vitor Paisante, Maroua Maalej, Leonardo Barbosa, Laure Gonnord, Fernando Magno Quintão Pereira
article
International Symposium of Code Generation and Optimization, Mar 2016, Barcelona, Spain. pp.791-809
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01228928/file/CGO16_RangeAlias_hal_authorversion-with-numbers.pdf BibTex
titre
Varieties of Cost Functions
auteur
Laure Daviaud, Denis Kuperberg, Jean-Eric Pin
article
33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, Feb 2016, Orléans, France. pp.1-30, ⟨10.4230/LIPIcs.STACS.2016.30⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01614389/file/31.pdf BibTex
titre
Weak memory models using event structures
auteur
Simon Castellan
article
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01333582/file/jfla-2016.pdf BibTex
titre
A Natural Counting of Lambda Terms
auteur
Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
article
SOFSEM 2016, Jan 2016, Harrachov, Czech Republic
Accès au bibtex
BibTex
titre
Static Analysis of OpenStream Programs
auteur
Albert Cohen, Alain Darte, Paul Feautrier
article
6th International Workshop on Polyhedral Compilation Techniques (IMPACT'16), held with HIPEAC'16, Michelle Strout and Tomofumi Yuki, Jan 2016, Prague, Czech Republic
Accès au bibtex
BibTex
titre
Liveness Analysis in Explicitly-Parallel Programs
auteur
Alain Darte, Alexandre Isoard, Tomofumi Yuki
article
6th International Workshop on Polyhedral Compilation Techniques (IMPACT'16), held with HIPEAC'16, Michelle Strout and Tomofumi Yuki, Jan 2016, Prague, Czech Republic
Accès au bibtex
BibTex
titre
Towards Scalable and Efficient FPGA Stencil Accelerators
auteur
Gaël Deest, Nicolas Estibals, Tomofumi Yuki, Steven Derrien, Sanjay Rajopadhye
article
IMPACT'16 - 6th International Workshop on Polyhedral Compilation Techniques, held with HIPEAC'16, Jan 2016, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01425018/file/impact2016-deest.pdf BibTex
titre
A Generalized Twinning Property for Minimisation of Cost Register Automata
auteur
Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot
article
Proc. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), 2016, Unknown, Unknown Region. pp.857--866, ⟨10.1145/2933575.2934549⟩
Accès au bibtex
BibTex
titre
Improved Reduction from the Bounded Distance Decoding Problem to the Unique Shortest Vector Problem in Lattices
auteur
Shi Bai, Damien Stehlé, Wen Weiqiang
article
ICALP 2016, 2016, Roma, Italy. ⟨10.4230/LIPIcs.ICALP.2016.76⟩
Accès au bibtex
BibTex
titre
Tuple lattice sieving,
auteur
Shi Bai, Thijs Laarhoven, Damien Stehlé
article
ANTS 2016, 2016, Kaiserslautern, Germany
Accès au bibtex
BibTex
titre
Faster LLL-type reduction of lattice bases
auteur
Damien Stehlé, Arnold Neumaier
article
ISSAC, 2016, Waterloo, Canada
Accès au bibtex
BibTex
titre
Sanitization of FHE Ciphertexts
auteur
Leo Ducas, Damien Stehlé
article
EUROCRYPT, 2016, Wien, Austria
Accès au bibtex
BibTex
titre
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
auteur
Stephen Melczer, Bruno Salvy
article
ISSAC 2016, 2016, Waterloo, Canada. pp.8, ⟨10.1145/2930889.2930913⟩
Accès au bibtex
https://arxiv.org/pdf/1605.00402 BibTex
titre
A subfield lattice attack on overstretched NTRU assumptions: Cryptanalysis of some FHE and Graded Encoding Schemes.
auteur
Martin Albrecht, Shi Bai, Leo Ducas
article
CRYPTO 2016, 2016, Santa Barbara, United States. ⟨10.1007/978-3-662-53018-4_6⟩
Accès au bibtex
BibTex

Book sections

titre
LexBFS, Structure, and Algorithms
auteur
Nicolas Trotignon
article
Encyclopedia of Algorithms, Springer New York, pp.1103-1107, 2016
Accès au bibtex
BibTex
titre
Écritures planaires: cartes, formules, codes et images
auteur
Éric Guichard
article
Avenati, Olaf; Chardel, Pierre-Antoine. Datalogie, Loco, pp.30-47, 2016, 978-2-919507-53-5
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02403403/file/Reims-Guichard-post.pdf BibTex

Directions of work or proceedings

titre
HeteroPar 2014, APCIE 2014, and TASUS 2014 Special Issue
auteur
Jésus Carretero, Raimondas Čiegis, Emmanuel Jeannot, Laurent Lefèvre, Gudula Rünger, Domenico Talia, Žilinskas Julius
article
Concurrency and Computation: Practice and Experience, pp.2, 2016
Accès au bibtex
BibTex
titre
2016 Proceedings of the Seventh SIAM Workshop on Combinatorial Scientific Computing
auteur
Assefaw Gebremedhin, Erik Boman, Bora Uçar
article
Assefaw Gebremedhin; Erik Boman; Bora Uçar. Seventh SIAM Workshop on Combinatorial Scientific Computing, Oct 2016, Albuquerque, United States. 2016, eISBN: 978-1-61197-469-0. ⟨10.1137/1.9781611974690⟩
Accès au bibtex
BibTex
titre
Proceedings of IEEE 23rd Symposium on Computer Arithmetic
auteur
Paolo Montuschi, Michael Schulte, Javier Hormigo, Stuart Obermann, Nathalie Revol
article
2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH), Jul 2016, Silicon Valley, IEEE, 2016
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Automata for relation algebra and formal proofs
auteur
Damien Pous
article
Computer Science [cs]. ENS Lyon, 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01445821/file/HdR-POUS.pdf BibTex

Other publications

titre
Detecting Global Bridges in Networks
auteur
Matteo Morini, Alessandro Vespignani, Eric Fleury, Jean-Philippe Cointet, Mathieu Jacomy, Márton Karsai, Pablo Jensen, Pierre Mercklé, Tommaso Venturini
article
2016
Accès au bibtex
BibTex

Books

titre
Elementary functions, algorithms and implementation, 3rd Edition
auteur
Jean-Michel Muller
article
Birkhaüser Boston, 2016, 978-1-4899-7981-0. ⟨10.1007/978-1-4899-7983-4⟩
Accès au bibtex
BibTex

Poster communications

titre
Gender strerotypes and parent-child interaction in 3-year olds: what can we learn from plays with gendered toys?
auteur
Julie Bardet, Jean-Pierre Chevrot, Stéphanie Barbu
article
Sixth Conference on Explorations in Ethnography, Language and Communication, Diversities in global societies, Sep 2016, Stockholm, Sweden. 2016
Accès au bibtex
BibTex
titre
Community Structure in Networks
auteur
Dudavid Wei, Yongjun Liao, Márton Karsai, Eric Fleury, Jean-Marie Gorce
article
Complenet'17, Mar 2016, Dijon, France
Accès au bibtex
BibTex

Reports

titre
Combining Range and Inequality Information for Pointer Disambiguation
auteur
Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
article
[Research Report] RR-9076, ENS Lyon; CNRS; INRIA. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01429777/file/RR-9076.pdf 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 Moura, Stéphan Thomassé
article
[Research Report] INRIA Sophia Antipolis - I3S. 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01403921/file/in-arborescences.pdf BibTex
titre
Co-scheduling algorithms for cache-partitioned systems
auteur
Guillaume Aupy, Anne Benoit, Loïc Pottier, Padma Raghavan, Yves Robert, Manu Shantharam
article
[Research Report] RR-8965, INRIA Grenoble - Rhone-Alpes; ENS de Lyon. 2016, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01393989/file/RR-8965.pdf BibTex
titre
Scheduling Series-Parallel Task Graphs to Minimize Peak Memory
auteur
Enver Kayaaslan, Thomas Lambert, Loris Marchal, Bora Uçar
article
[Research Report] RR-8975, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01397299/file/RR-8975.pdf BibTex
titre
Scheduling for fault-tolerance: an introduction
auteur
Guillaume Aupy, Yves Robert
article
[Research Report] RR-8971, INRIA. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01393192/file/rr8971.pdf BibTex
titre
On matrix symmetrization and sparse direct solvers
auteur
Raluca Portase, Bora Uçar
article
[Research Report] RR-8977, Inria - Research Centre Grenoble – Rhône-Alpes. 2016, pp.1-31
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01398951/file/RR-8977.pdf BibTex
titre
The Multi-Stencil Language: orchestrating stencils with a mesh-agnostic DSL
auteur
Hélène Coullon, Julien Bigot, Christian Pérez
article
[Research Report] RR-8962, Inria - Research Centre Grenoble – Rhône-Alpes. 2016, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01380607/file/RR-8962.pdf BibTex
titre
Bidiagonalization with Parallel Tiled Algorithms
auteur
Mathieu Faverge, Julien Langou, Yves Robert, Jack Dongarra
article
[Research Report] RR-8969, INRIA. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01389232/file/bidiag_RRv2.pdf BibTex
titre
Dynamic memory-aware task-tree scheduling
auteur
Guillaume Aupy, Clément Brasseur, Loris Marchal
article
[Research Report] RR-8966, INRIA Grenoble - Rhone-Alpes. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01390107/file/rr-8966.pdf BibTex
titre
Multi-level checkpointing and silent error detection for linear workflows
auteur
Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article
[Research Report] RR-8952, INRIA. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01363581/file/RR-8952.pdf BibTex
titre
Feasibility Study of a Runtime Component-based Model Integrating Task Graph Concept on a 1D Advection Case Study
auteur
Christian Pérez, Hélène Coullon, Jérôme Richard
article
[Contract] Inria. 2016, pp.21
Accès au bibtex
BibTex
titre
Verifying Programs with Arrays and Lists
auteur
Julien Braine, Laure Gonnord, David Monniaux
article
[Internship report] ENS Lyon. 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01337140/file/rapport.pdf BibTex
titre
Towards Optimal Multi-Level Checkpointing
auteur
Anne Benoit, Aurélien Cavelan, Valentin Le Fèvre, Yves Robert, Hongyang Sun
article
[Research Report] RR-8930, INRIA Grenoble - Rhone-Alpes. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01339788/file/RR-8930.pdf BibTex
titre
High-Level Synthesis of Pipelined FSM from Loop Nests
auteur
Christophe Alias, Fabrice Rastello, Alexandru Plesco
article
[Research Report] 8900, INRIA. 2016, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01301334/file/RR-8900.pdf BibTex
titre
A different re-execution speed can help
auteur
Anne Benoit, Aurélien Cavelan, Valentin Le Fèvre, Yves Robert, Hongyang Sun
article
[Research Report] RR-8888, INRIA Grenoble - Rhone-Alpes. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01297125/file/RR-8888.pdf BibTex
titre
A Ring to Rule Them All - Revising OpenStack Internals to Operate Massively Distributed Clouds
auteur
Adrien Lebre, Jonathan Pastor, Frédéric Desprez
article
[Technical Report] RT-0480, INRIA. 2016, pp.1-24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01320235/file/RT-480.pdf BibTex
titre
When Amdahl Meets Young/Daly
auteur
Aurélien Cavelan, Jiafan Li, Yves Robert, Hongyang Sun
article
[Research Report] RR-8871, ENS Lyon, CNRS & INRIA. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01280004/file/RR-8871_update.pdf BibTex
titre
Malleable task-graph scheduling with a practical speed-up model
auteur
Loris Marchal, Bertrand Simon, Oliver Sinnen, Frédéric Vivien
article
[Research Report] RR-8856, ENS de Lyon. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01274099/file/RR-8856.pdf BibTex
titre
Static Analysis of OpenStream Programs
auteur
Albert Cohen, Alain Darte, Paul Feautrier
article
[Research Report] RR-8764, CNRS; Inria; ENS Lyon. 2016, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01184408/file/RR-8764.pdf BibTex
titre
Liveness Analysis in Explicitly-Parallel Programs
auteur
Alain Darte, Alexandre Isoard, Tomofumi Yuki
article
[Research Report] RR-8839, CNRS; Inria; ENS Lyon. 2016, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01251579/file/RR-8839.pdf BibTex
titre
Toward an Optimal Online Checkpoint Solution under a Two-Level HPC Checkpoint Model
auteur
Sheng Di, Yves Robert, Frédéric Vivien, Franck Cappello
article
[Research Report] RR-8851, INRIA Grenoble - Rhone-Alpes. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01263879/file/RR-Optimize-Pattern-Ckpt.pdf BibTex

Theses

titre
Deep dive into social network and economic data : a data driven approach for uncovering temporal ties, human mobility, and socioeconomic correlations
auteur
Yannick Leo
article
Networking and Internet Architecture [cs.NI]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN066⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01429593/file/LEO_Yannick_2016LYSEN066_These.pdf BibTex
titre
Robust tools for weighted Chebyshev approximation and applications to digital filter design
auteur
Silviu-Ioan Filip
article
Signal and Image Processing. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN063⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01447081/file/FILIP_Silviu_Ioan_2016LYSEN063_These.pdf BibTex
titre
Scheduling and Dynamic Provisioning for Energy Proportional Heterogeneous Infrastructures
auteur
Violaine Villebonnet
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN057⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01419440/file/VILLEBONNET_Violaine_2016LYSEN057_These.pdf BibTex
titre
Scheduling on Clouds considering energy consumption and performance trade-offs : from modelization to industrial applications
auteur
Daniel Balouek-Thomert
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN058⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01436822/file/BALOUEK_THOMERT_Daniel_2016LYSEN058_These.pdf BibTex
titre
Bases of relations in one or several variables: fast algorithms and applications
auteur
Vincent Neiger
article
Symbolic Computation [cs.SC]. École Normale Supérieure de Lyon - University of Waterloo, 2016. English. ⟨NNT : 2016LYSEN052⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01431413/file/thesis.pdf BibTex
titre
Algebras of Relations : from algorithms to formal proofs
auteur
Paul Brunet
article
Computation and Language [cs.CL]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSE1198⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01455083/file/TH2016BRUNETPAUL.pdf BibTex
titre
Tools for the Design of Reliable and Efficient Functions Evaluation Libraries
auteur
Serge Torres
article
Computer Arithmetic. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN030⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01396907/file/TORRES_Serge_2016LYSEN030_These.pdf BibTex
titre
Extending Polyhedral Techniques towards Parallel Specifications and Approximations
auteur
Alexandre Isoard
article
Other [cs.OH]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSEN011⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01369014/file/ISOARD_Alexandre_2016LYSEN011_These.pdf BibTex
titre
Detection of linear algebra operations in polyhedral programs
auteur
Guillaume Iooss
article
Other [cs.OH]. Université de Lyon; Colorado state university, 2016. English. ⟨NNT : 2016LYSEN019⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01370553/file/IOOSS_Guillaume_2016LYSEN019_These.pdf BibTex

Preprints, Working Papers, ...

titre
Burstiness and tie reinforcement in time varying social networks
auteur
Enrico Ubaldi, Alessandro Vezzani, Márton Karsai, Nicola Perra, Raffaella Burioni
article
2016
Accès au bibtex
https://arxiv.org/pdf/1607.08910 BibTex
titre
Dependent Types for Extensive Games
auteur
Pierre Lescanne
article
2016
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01391418/file/dependentTypesForGames.pdf BibTex
titre
Onset of anomalous diffusion from local motion rules
auteur
Sarah de Nigris, Timoteo Carletti, Renaud Lambiotte
article
2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01391763/file/manuscript.pdf https://hal.archives-ouvertes.fr/hal-01391763/file/Fig1.pdf https://hal.archives-ouvertes.fr/hal-01391763/file/Fig2.pdf https://hal.archives-ouvertes.fr/hal-01391763/file/Fig4a.pdf https://hal.archives-ouvertes.fr/hal-01391763/file/Fig4b.pdf BibTex
titre
A Library for Symbolic Floating-Point Arithmetic
auteur
Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Antoine Plet
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01232159/file/hal-r727.pdf BibTex
titre
On the complexity of partial derivatives
auteur
Ignacio Garcia-Marco, Pascal Koiran, Timothée Pecatte, Stéphan Thomassé
article
2016
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01345746/file/partials2.arxiv.pdf BibTex
titre
GfcLLL: A Greedy Selection Based Approach for Fixed-Complexity LLL Reduction
auteur
Jinming Wen, Xiao-Wen Chang
article
2016
Accès au bibtex
https://arxiv.org/pdf/1607.01064 BibTex
titre
Factorisation of RSA-220 with CADO-NFS
auteur
Shi Bai, Pierrick Gaudry, Alexander Kruppa, Emmanuel Thomé, Paul Zimmermann
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01315738/file/rsa220%20%281%29.pdf BibTex
titre
A NATURAL COUNTING OF LAMBDA TERMS
auteur
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
article
2016
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01159746/file/natural_counting.pdf BibTex
titre
DyLNet – Language Dynamics, Linguistic Learning, and Sociability at Preschool: Benefits of Wireless Proximity Sensors in Collecting Big Data (https://dylnet.univ-grenoble-alpes.fr/)
auteur
Aurélie Nardy, Eric Fleury, Jean-Pierre Chevrot, Márton Karsai, Laurence Buson, Maryse Bianco, Isabelle Rousset, Céline Dugua, Loïc Liégeois, Stéphanie Barbu, Christophe Crespelle, Anthony Busson, Yannick Léo, Hélène Bouchet, Sicheng Dai
article
2016
Accès au bibtex
BibTex
titre
A Linearithmic Time Algorithm for a Shortest Vector Problem in Compute-and-Forward Design
auteur
Jinming Wen, Xiao-Wen Chang
article
2016
Accès au bibtex
https://arxiv.org/pdf/1602.00169 BibTex
titre
Numerical semigroups II: pseudo-symmetric AA-Semigroups
auteur
Ignacio García-Marco, Jorge Ramirez Alfonsin, Oystein J. Rodseth
article
2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01263035/file/pseudo3.pdf https://hal.archives-ouvertes.fr/hal-01263035/file/ejemplo.pdf https://hal.archives-ouvertes.fr/hal-01263035/file/ejemplo2.pdf https://hal.archives-ouvertes.fr/hal-01263035/file/Lprueba.pdf BibTex
titre
A Kleene theorem for Petri automata
auteur
Paul Brunet
article
2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01258754/file/main.pdf BibTex