LIP6 - Journal articles

Current teams :	ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
Former team :	ACASA

Choose a team above.

L. Abbas‑Turki, S. Graillat : “Resolution of a large number of small random symmetric linear systems in single precision arithmetic on GPUs”, Journal of Supercomputing, vol. 73 (4), pp. 1360-1386, (Springer Verlag) [Abbas-Turki 2017]
S. Abbes, S. Gouëzel, V. Jugé, J. Mairesse : “Uniform measures on braid monoids and dual braid monoids”, Journal of Algebra, vol. 473 (1), pp. 627-666, (Elsevier) [Abbes 2017]
J. Adamek, G. Farina, M. Nesterenko, S. Tixeuil : “Evaluating and Optimizing Stabilizing Dining Philosophers”, Journal of Parallel and Distributed Computing, vol. 109, pp. 63-74, (Elsevier) [Adamek 2017a]
A. Ahmadi, Haralampos‑G. Stratigopoulos, K. Huang, A. Nahar, B. Orr, M. Pas, J. Carulli, Y. Makris : “Yield Forecasting Across Semiconductor Fabrication Plants and Design Generations”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 36 (12), pp. 2120-2133, (IEEE) [Ahmadi 2017]
S. Airiau, E. Bonzon, U. Endriss, N. Maudet, J. Rossit : “Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity”, Journal of Artificial Intelligence Research, vol. 60, pp. 149-177, (Association for the Advancement of Artificial Intelligence) [Airiau 2017a]
A. Akbari, M. Trocan, B. Granado : “Sparse Recovery-based Error Concealment”, IEEE Transactions on Multimedia, vol. 19 (6), pp. 1339-1350, (Institute of Electrical and Electronics Engineers) [Akbari 2017]
S. Albers, E. Bampis, D. Letsios, G. Lucarelli, R. Stotz : “Scheduling on power-heterogeneous processors”, Information and Computation, vol. 257, pp. 22-33, (Elsevier) [Albers 2017]
O. Alexandre : “Administrer une télévision de création : Pierre Chevalier et l’Unité Fiction d’Arte (1991-2003)”, Le Temps des médias. Revue d’histoire, vol. 28 (1), pp. 173, (Nouveau Monde Editions) [Alexandre 2017a]
K. Altisen, A. Cournier, S. Devismes, A. Durand, F. Petit : “Self-Stabilizing Leader Election in Polynomial Steps”, Information and Computation, vol. 254 (3), pp. 330-366, (Elsevier) [Altisen 2017]
J. Alvarez, J.‑Y. Plantec, M. Vermeulen, Ch. Kolski : “RDU Model dedicated to evaluate needed counsels for Serious Game projects”, Computers and Education, vol. 114, pp. 38-56, (Elsevier) [Alvarez 2017]
F. Anceau : “La Saga des machines-langage et -système”, Cahiers d'histoire du Cnam, vol. vol.07 - 08 (2), La recherche sur les systèmes : des pivots dans l’histoire de l’informatique, pp. pp41-52, (Cnam) [Anceau 2017]
S. Angelopoulos, D. Arsenio, Ch. Dürr : “Infinite linear programming and online searching with turn cost”, Theoretical Computer Science, (Elsevier) [Angelopoulos 2017a]
W. Badreddine, N. Khernane, M. Potop‑Butucaru, C. Chaudet : “Convergecast in Wireless Body Area Networks”, Ad Hoc Networks, vol. 66, pp. 40-51, (Elsevier) [Badreddine 2017b]
N. Bansal, Ch. Dürr, N. Thang, O. Vasquez Perez : “The local–global conjecture for scheduling with non-linear cost”, Journal of Scheduling, vol. 20 (3), pp. 239-254, (Springer Verlag) [Bansal 2017]
B. Baron, P. Spathis, H. Rivano, M. Dias De Amorim, Y. Viniotis, M. Ammar : “Centrally-Controlled Mass Data Offloading Using Vehicular Traffic”, IEEE Transactions on Network and Service Management, vol. 14 (2), pp. 401-415, (IEEE) [Baron 2017]
G. Barthe, Th. Espitau, B. Grégoire, J. Hsu, P.‑Y. Strub : “Proving expected sensitivity of probabilistic programs”, Proceedings of the ACM on Programming Languages, vol. 2 (POPL), pp. 1-29, (ACM) [Barthe 2017a]
B. Baynat, H. Khalife, V. Conan, C. Lamy‑Bergot, R. Pouvez : “On the Design of Automatic Link Establishment in High Frequency Networks”, International Journal of Networking and Computing (IJNC), vol. 7 (2), pp. 419-446 [Baynat 2017]
Kh. Belahcene, Ch. Labreuche, N. Maudet, V. Mousseau, W. Ouerdane : “Explaining robust additive utility models by sequences of preference swaps”, Theory and Decision, vol. 82 (2), pp. 151-183, (Springer Verlag) [Belahcene 2017b]
D. Belfort, Sebastian Y.C. Catunda, H. Aboushady : “4th order capacitively-coupled LC-based Σ Δ modulator”, Microelectronics Journal, vol. 62, pp. 99-107, (Elsevier) [Belfort 2017]
S. BELOUANAS, M. Bezahaf, K.‑L. Thai, P. Spathis, M. Dias De Amorim : “Leveraging Node Gatherings to Save Cellular Resources”, Annals of Telecommunications - annales des télécommunications, (Springer) [BELOUANAS 2017]
N. Benabbou, P. Perny, P. Viappiani : “Incremental elicitation of choquet capacities for multicriteria choice, ranking and sorting problems”, Artificial Intelligence, vol. 246, pp. 152-180, (Elsevier) [Benabbou 2017b]
P. Bendotti, Ph. Chrétienne, P. Fouilhoux, A. Quilliot : “Anchored reactive and proactive solutions to the CPM-scheduling problem”, European Journal of Operational Research, vol. 261 (1), pp. 67–74, (Elsevier) [Bendotti 2017c]
A. Benoit, M. Joldes, M. Mezzarobba : “Rigorous uniform approximation of D-finite functions using Chebyshev expansions”, Mathematics of Computation, vol. 86 (305), pp. 1303-1341, (American Mathematical Society) [Benoit 2017]
B. Bérard, L. Hélouët, J. Mullins : “Non-interference in partial order models”, ACM Transactions on Embedded Computing Systems (TECS), vol. 16 (2), Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, pp. 44:1-44:34, (ACM) [Bérard 2017a]
J. Berthomieu, B. Boyer, J.‑Ch. Faugère : “Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences”, Journal of Symbolic Computation, vol. 83 (Supplement C), pp. 36-67, (Elsevier) [Berthomieu 2017a]
A. Beynier : “A Multiagent Planning Approach for Cooperative Patrolling with Non-Stationary Adversaries”, International Journal on Artificial Intelligence Tools, vol. 26 (5), (World Scientific Publishing) [Beynier 2017]
R. Bleuse, S. Hunold, S. Kedad‑Sidhoum, F. Monna, G. Mounié, D. Trystram : “Scheduling Independent Moldable Tasks on Multi-Cores with GPUs”, IEEE Transactions on Parallel and Distributed Systems, pp. 14, (Institute of Electrical and Electronics Engineers) [Bleuse 2017]
L. Blin, J. Burman, N. Nisse : “Exclusive Graph Searching”, Algorithmica, vol. 77 (3), pp. 942-969, (Springer Verlag) [Blin 2017a]
O. Bodini, A. Genitrini, N. Rolin : “Extended boxed product and application to synchronized trees”, Electronic Notes in Discrete Mathematics, vol. 59, pp. 189-202, (Elsevier) [Bodini 2017a]
S. Boldo, S. Graillat, J.‑M. Muller : “On the robustness of the 2Sum and Fast2Sum algorithms”, ACM Transactions on Mathematical Software, vol. 44 (1), (Association for Computing Machinery) [Boldo 2017]
X. Bonnaire, R. Cortes, F. Kordon, O. Marin : “ASCENT: a Provably-Terminating Decentralized Logging Service”, The Computer Journal, vol. 60 (12), to be published, pp. 1889–1911, (Oxford University Press (UK)) [Bonnaire 2017]
G. Bosilca, A. Bouteiller, A. Guermouche, Th. Hérault, Y. Robert, P. Sens, J. Dongarra : “A failure detector for HPC platforms”, International Journal of High Performance Computing Applications, vol. 32 (1), pp. 139-158, (SAGE Publications) [Bosilca 2017a]
Q. Bramas, S. Tixeuil : “The complexity of data aggregation in static and dynamic wireless sensor networks”, Information and Computation, vol. 255 (3), pp. 369-383, (Elsevier) [Bramas 2017b]
Q. Bramas, S. Tixeuil : “The Random Bit Complexity of Mobile Robot Scattering”, International Journal of Foundations of Computer Science, vol. 28 (2), pp. 111-133, (World Scientific Publishing) [Bramas 2017c]
A. Carlier, C. Hanen, A. Munier‑Kordon : “The equivalence of two classical list scheduling algorithms for dependent typed tasks with release dates, due dates and precedence delays”, Journal of Scheduling, pp. 1-9, (Springer Verlag) [Carlier 2017]
R. Cazabet, P. Jensen, P. Borgnat : “Tracking the Evolution of Temporal Patterns of Usage in Bicycle-Sharing Systems Using Nonnegative Matrix Factorization on Multiple Sliding Windows”, International Journal of Urban Sciences, (Taylor & Francis Online) [Cazabet 2017d]
A. Ceselli, M. Premoli, S. Secci : “Mobile Edge Cloud Network Design Optimization”, IEEE/ACM Transactions on Networking, vol. 25 (3), pp. 1818-1831, (IEEE/ACM) [Ceselli 2017]
U. Chabaud, T. Douce, D. Markham, P. Van Loock, E. Kashefi, G. Ferrini : “Continuous-Variable Sampling from Photon-Added or Photon-Subtracted Squeezed States”, Physical Review A, (American Physical Society) [Chabaud 2017]
L. Chen, X. Fan, L. Wang, D. Zhang, Zh. Yu, J. Li, Th.‑M.‑T. Nguyen, G. PAN, Ch. Wang : “RADAR: road obstacle identification for disaster response leveraging cross-domain urban data”, Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, vol. 1 (4), pp. articleno.:130,pp1-23, (ACM) [Chen 2017a]
L. Chen, X. Ma, Th.‑M.‑T. Nguyen, G. PAN, J. JAKUBOWICZ : “Understanding bike trip patterns leveraging bike sharing system open data”, Frontiers of Computer Science, vol. 11 (1), pp. 38-48, (Springer Verlag) [Chen 2017b]
Y. Chevaleyre, U. Endriss, N. Maudet : “Distributed Fair Allocation of Indivisible Goods”, Artificial Intelligence, vol. 242, pp. 1-22, (Elsevier) [Chevaleyre 2017]
J. Chlebíková, M. Chopin : “The firefighter problem: Further steps in understanding its complexity”, Theoretical Computer Science, (Elsevier) [Chlebíková 2017]
M. Clementi, A. Pappa, A. Eckstein, I. Walmsley, E. Kashefi, S. Barz : “Classical multiparty computation using quantum resources”, Physical Review A, vol. 96 (6), pp. 062317, (American Physical Society) [Clementi 2017]
V. Coelho, Th. Oliveira, I. Coelho, B. Coelho, P. Fleming, F. Guimarães, H. Ramalhinho, M. Souza, E.‑Gh. Talbi, Th. Lust : “Generic Pareto local search metaheuristic for optimization of targeted offers in a bi-objective direct marketing campaign”, Computers and Operations Research, vol. 78, pp. 578-587, (Elsevier) [Coelho 2017]
C. Constantin, Y. Li, C. Du Mouza : “Un partitionnement d'arêtes à base de blocs pour les algorithmes de marches aléatoires dans les grands graphes sociaux”, Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, vol. 22 (3), pp. 89-113, (Lavoisier) [Constantin 2017]
M. Cordier, A. Orieux, R. Gabet, Th. Harlé, N. Dubreuil, E. Diamanti, Ph. Delaye, I. Zaquine : “Raman-tailored photonic crystal fiber for telecom band photon-pair generation”, Optics Letters, vol. 42 (13), pp. 2583-2586, (Optical Society of America - OSA Publishing) [Cordier 2017c]
S. Cortijo, Ch. Gonzales : “On conditional truncated densities Bayesian networks”, International Journal of Approximate Reasoning, (Elsevier) [Cortijo 2017]
M. Coudron, S. Secci : “An implementation of Multipath TCP in ns3”, Computer Networks, vol. 116, pp. 1-11, (Elsevier) [Coudron 2017]
Clayton E. L. Da Silva, Paulo R. Da Silva, A. Jacquemard : “Sliding solutions of second-order differential equations with discontinuous right-hand side”, Mathematical Methods in the Applied Sciences, vol. 40 (14), pp. 5295-5306, (Wiley) [Da Silva 2017]
P.‑E. Dagand : “The essence of ornaments”, Journal of Functional Programming, vol. 27, (Cambridge University Press (CUP)) [Dagand 2017]
Ph. Darche : “Évolution des mémoires à semi-conducteurs à accès aléatoire”, Techniques de l'Ingenieur, (Techniques de l'ingénieur) [Darche 2017]
R. Demangeon, L. Bocchi, N. Yoshida, T.‑Ch. Chen, K. Honda : “Monitoring networks through multiparty session types”, Theoretical Computer Science, vol. 669, pp. 33-58, (Elsevier) [Demangeon 2017]
E. Diamanti, E. Kashefi : “Best of both worlds”, Nature Physics, vol. 13 (1), pp. 3-4, (Nature Publishing Group [2005-....]) [Diamanti 2017b]
C. Doerr, Ch. Igel, L. Thiele, X. Yao : “Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191)”, Dagstuhl Reports, vol. 7 (5), pp. 22-55, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) [Doerr 2017b]
C. Doerr, F. Chicano : “Preface to the Special Issue on Theory of Genetic and Evolutionary Computation”, Algorithmica, vol. 78 (2), pp. 558-560, (Springer Verlag) [Doerr 2017d]
C. Doerr, J. Lengler : “Introducing Elitist Black-Box Models: When Does Elitist Behavior Weaken the Performance of Evolutionary Algorithms?”, Evolutionary Computation, vol. 25 (4), pp. 587-606, (Massachusetts Institute of Technology Press (MIT Press)) [Doerr 2017e]
C. Doerr, J. Lengler : “OneMax in Black-Box Models with Several Restrictions”, Algorithmica, vol. 78, pp. 610-640, (Springer Verlag) [Doerr 2017f]
T. Douce, D. Markham, E. Kashefi, E. Diamanti, Th. Coudreau, P. Milman, P. Van Loock, G. Ferrini : “Continuous-Variable Instantaneous Quantum Computing is Hard to Sample”, Physical Review Letters, vol. 118 (7), (American Physical Society) [Douce 2017]
Ch. Dürr, Z. Hanzalek, Ch. Konrad, Y. Seddik, R. Sitters, O. Vasquez Perez, Gerhard J. Woeginger : “The triangle scheduling problem”, Journal of Scheduling, (Springer Verlag) [Dürr 2017b]
Ch. Dürr, Ł. Jeż, Ó. Vásquez : “Mechanism design for aggregating energy consumption and quality of service in speed scaling scheduling”, Theoretical Computer Science, vol. 695, pp. 28-41, (Elsevier) [Dürr 2017c]
S. Elayoubi, Y. Khadraoui, B. Baynat, T. En‑Najjary : “Flow level performance evaluation in mobile networks: Analytical modeling and empirical validation”, Computer Communications, vol. 108, pp. 27-35, (Elsevier) [Elayoubi 2017]
M. Endler, J.‑P. Briot, V. De Almeida, R. Dos Reis, F. Silva e Silva : “Stream-based Reasoning for IoT Applications – Proposal of Architecture and Analysis of Challenges”, International Journal of Semantic Computing, (World Scientific) [Endler 2017b]
B. Escoffier, L. Gourvès, J. Monnot : “The Price of Optimum: Complexity and Approximation for a Matching Game”, Algorithmica, vol. 77 (3), pp. 836-866, (Springer Verlag) [Escoffier 2017]
M. Ezzaouia, C. Gueguen, M. Ammar, S. Baey, X. Lagrange, A. Bouallegue : “A Dynamic Inter-cellular Bandwidth Fair Sharing scheduler for future wireless networks”, Physical Communication, vol. 25, pp. 85-99, (Elsevier) [Ezzaouia 2017]
J.‑Ch. Faugère, Ch. Mou : “Sparse FGLM algorithms”, Journal of Symbolic Computation, vol. 80 (3), pp. 538-569, (Elsevier) [Faugère 2017a]
Lyno Henrique G. Ferraz, R. Laufer, Diogo M.F. Mattos, Otto Carlos M.B. Duarte, G. Pujolle : “A high-performance Two-Phase Multipath scheme for data-center networks”, Computer Networks, vol. 112, pp. 36-51, (Elsevier) [Ferraz 2017]
J. Fitzsimons, E. Kashefi : “Unconditionally verifiable blind quantum computation”, Physical Review A, vol. 96 (1), pp. 012303, (American Physical Society) [Fitzsimons 2017]
T. Friedman, A. Pras, J. Schönwälder : “Using Networks to Teach About Networks”, Dagstuhl Reports, vol. 7 (3), pp. 33-44, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) [Friedman 2017]
F. Frontini, M. Boukhaled, J.‑G. Ganascia : “Mining for characterising patterns in literature using correspondence analysis: an experiment on French novels”, Digital Humanities Quarterly, vol. 11 (2), Göttingen Dialog in Digital Humanities 2015, (Alliance of Digital Humanities) [Frontini 2017]
A. Gheorghiu, P. Wallden, E. Kashefi : “Rigidity of quantum steering and one-sided device-independent verifiable quantum computation”, New Journal of Physics, vol. 19 (2), pp. 023043, (Institute of Physics: Open Access Journals) [Gheorghiu 2017a]
H. Gilbert, O. Spanjaard : “A double oracle approach to minmax regret optimization problems with interval data”, European Journal of Operational Research, (Elsevier) [Gilbert 2017c]
M. Gouiffès, A. Romero Mier y Téran, L. Lacassagne : “Color enhanced local binary patterns in covariance matrices descriptors (ELBCM)”, Journal of Visual Communication and Image Representation, vol. 49, pp. 447-458, (Elsevier) [Gouiffès 2017]
L. Gourvès, J. Monnot, F. Pascual, D. Vanderpooten : “Bi-objective matchings with the triangle inequality”, Theoretical Computer Science, vol. 670, pp. 1-10, (Elsevier) [Gourvès 2017]
S. Graillat, C. Jeangoudoux, Ch. Lauter : “MPDI: A Decimal Multiple-Precision Interval Arithmetic Library”, Reliable Computing Journal, vol. 25, Volume 25 (Special volume containing refereed papers from SCAN 2016), pp. 38-52 [Graillat 2017b]
A. Grinbaum, R. Chatila, L. Devillers, J.‑G. Ganascia, C. Tessier, M. Dauchet : “Ethics in robotics research: CERNA mission and context”, IEEE Robotics and Automation Magazine, vol. 24 (3), pp. 139-145, (Institute of Electrical and Electronics Engineers) [Grinbaum 2017]
Ih. Haidar, I. Alvarez, A.‑C. Prévot : “Mathematical modeling of an urban pigeon population subject to local management strategies”, Mathematical Biosciences, vol. 288, pp. 71-83, (Elsevier) [Haidar 2017]
R. Hebig, D. Khelladi, R. Bendraou : “Approaches to Co-Evolution of Metamodels and Models: A Survey”, IEEE Transactions on Software Engineering, vol. 43 (5), pp. 396-414, (Institute of Electrical and Electronics Engineers) [Hebig 2017]
A. Herman, H. Hong, E. Tsigaridas : “Improving Root Separation Bounds”, Journal of Symbolic Computation, (Elsevier) [Herman 2017]
L. Hillah, A.‑P. Maesano, F. De Rosa, F. Kordon, P.‑H. Wuillemin, R. Fontanelli, S. Di Bona, D. Guerri, L. Maesano : “Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice”, International Journal on Software Tools for Technology Transfer, vol. 19 (3), pp. 281-308, (Springer Verlag) [Hillah 2017a]
S. Hoteit, S. Secci, M. Premoli : “Crowded spot estimator for urban cellular networks”, Annals of Telecommunications - annales des télécommunications, vol. 72 (11-12), pp. 743-754, (Springer) [Hoteit 2017]
M. Ibraheem, Kh. HACHICHA, O. Romain : “Fast and Parallel AAC Decoder Architecture for a Digital Radio Mondiale 30 Receiver”, IEEE Access, vol. 5, pp. 14638-14646, (IEEE) [Ibraheem 2017]
S. Ivaldi, S. Lefort, J. Peters, M. Chetouani, J. Provasi, E. Zibetti : “Towards engagement models that consider individual factors in HRI: on the relation of extroversion and negative attitude towards robots to gaze and speech during a human-robot assembly task: Experiments with the iCub humanoid robot”, International Journal of Social Robotics, vol. 9 (1), pp. 63-86, (Springer) [Ivaldi 2017]
A. Jaszkiewicz, Th. Lust : “Proper balance between search towards and along Pareto front: biobjective TSP case study”, Annals of Operations Research, vol. 254 (1-2), pp. 111-130, (Springer Verlag) [Jaszkiewicz 2017]
A. Karami, D. Galayko, Ph. Basset : “A Novel Characterization Method for Accurate Lumped Parameter Modeling of Electret Electrostatic Vibration Energy Harvesters”, IEEE Electron Device Letters, vol. 38 (5), pp. 665-668, (Institute of Electrical and Electronics Engineers) [karami 2017b]
A. Karami, D. Galayko, Ph. Basset : “Series-Parallel Charge Pump Conditioning Circuits for Electrostatic Kinetic Energy Harvesting”, IEEE Transactions on Circuits and Systems Part 1 Fundamental Theory and Applications, vol. 64 (1), pp. 227-240, (Institute of Electrical and Electronics Engineers (IEEE)) [karami 2017c]
E. Kashefi, A. Pappa : “Multiparty Delegated Quantum Computing”, Cryptography, vol. 1 (2), pp. 12, (MDPI) [Kashefi 2017a]
E. Kashefi, P. Wallden : “Garbled Quantum Computation”, Cryptography, vol. 1 (1), pp. 6, (MDPI) [Kashefi 2017b]
E. Kashefi, P. Wallden : “Optimised resource construction for verifiable quantum computation”, Journal of Physics A: Mathematical and Theoretical, vol. 50 (14), pp. 145306, (IOP Publishing) [Kashefi 2017c]
D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution”, Journal of Systems and Software, vol. 134, pp. 242-260, (Elsevier) [Khelladi 2017a]
D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “Coadapting multidimension process properties”, Journal of Software: Evolution and Process, vol. 29 (11), Special Issue: Process in Action: The Best Papers from The International Conference on Software and Systems Process 2016, pp. e1860, (John Wiley & Sons, Ltd.) [Khelladi 2017b]
N. Kumar, E. Diamanti, I. Kerenidis : “Efficient quantum communications with coherent state fingerprints over multiple channels”, Physical Review A, vol. 95 (3), (American Physical Society) [Kumar 2017]
kh. Laghmari, Ch. Marsala, M. Ramdani : “An adapted incremental graded multi-label classification model for recommendation systems”, Progress in Artificial Intelligence, (Springer) [laghmari 2017b]
M. Latapy, E. Rotenberg, Ch. Crespelle, F. Tarissan : “Rigorous Measurement of the Internet Degree Distribution”, Complex Systems, vol. 26 (1), (Complex Systems Publications, Inc.) [Latapy 2017b]
Ch. Lécuyer : “From Clean Rooms to Dirty Water: Labor, Semiconductor Firms, and the Struggle over Pollution and Workplace Hazards in Silicon Valley”, Information & Culture, vol. 52 (3), pp. 304-333 [Lécuyer 2017]
S. Lefort, M.‑J. Lesot, E. Zibetti, Ch. Tijus, M. Detyniecki : “Interpretation of approximate numerical expressions: Computational model and empirical study”, International Journal of Approximate Reasoning, vol. 82, pp. 193-209, (Elsevier) [Lefort 2017c]
B. Legastelois, M.‑J. Lesot, A. Revault D'Allonnes : “Typology of Axioms for a Weighted Modal Logic”, International Journal of Approximate Reasoning, vol. 90, pp. 341-358, (Elsevier) [Legastelois 2017b]
F. Lemaitre, B. Couturier, L. Lacassagne : “Cholesky Factorization on SIMD multi-core architectures”, Journal of Systems Architecture, (Elsevier) [Lemaitre 2017]
J.‑Ch. Magnan, P.‑H. Wuillemin : “Efficient Incremental Planning and Learning with Multi-Valued Decision Diagrams”, Journal of Applied Logic, vol. 22, pp. 63-90, (Elsevier) [Magnan 2017]
J. Mairesse, I. Marcovici : “Uniform Sampling of Subshifts of Finite Type on Grids and Trees”, International Journal of Foundations of Computer Science, vol. 28 (3), pp. 263-287, (World Scientific Publishing) [Mairesse 2017]
P. Martins, J. Eynard, J.‑C. Bajard, L. Sousa : “Arithmetical Improvement of the Round-Off for Cryptosystems in High-Dimensional Lattices”, IEEE Transactions on Computers, vol. PP (Issue: 99), (Institute of Electrical and Electronics Engineers) [Martins 2017]
D. Medeiros, M. Elias Mitre Campista, N. Mitton, M. Dias De Amorim, G. Pujolle : “The Power of Quasi-Shortest Paths: ρ-Geodesic Betweenness Centrality”, IEEE Transactions on Network Science and Engineering, vol. 4 (3), pp. 187-200, (IEEE) [Medeiros 2017b]
A. Miné : “Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation”, Foundations and Trends in Programming Languages, vol. 4 (3-4), pp. 120-372, (Now Publishers) [Miné 2017b]
M. Minoux : “A class of efficiently solvable multistage optimization problems under uncertainty and applications”, IMA Journal of Management Mathematics, vol. 28 (1), pp. 87-107, (Oxford University Press (OUP)) [Minoux 2017a]
M. Minoux : “Robust and stochastic multistage optimisation under Markovian uncertainty with applications to production/inventory problems”, International Journal of Production Research, vol. 56 (1-2), pp. 565-583, (Taylor & Francis) [Minoux 2017b]
M. Minoux, R. Zorgati : “Global probability maximization for a gaussian bilateral inequality in polynomial time”, Journal of Global Optimization, (Springer Verlag) [Minoux 2017c]
S. Mpouli, J.‑G. Ganascia : “Another Facet of Literary Similes : A Study of Noun+Colour Term Adjectives”, CORELA - COgnition, REprésentation, LAngage n°HS-21, (CERLICO-Cercle Linguistique du Centre et de l'Ouest (France)) [Mpouli 2017]
M. Muratet : “Contributions des EIAH pour favoriser l’adaptation et la personnalisation de parcours pédagogiques : illustration dans le domaine des jeux sérieux”, NRAS - La nouvelle revue de l'adaptation et de la scolarisation n°78, pp. 135-145, (Éditions de l'INS-HEA) [Muratet 2017]
D. Nguyen, M. Minoux, V. Nguyen, Th. Nguyen, R. Sirdey : “Improved compact formulations for a wide class of graph partitioning problems in sparse graphs”, Discrete Optimization, vol. 25, pp. 175-188, (Elsevier) [Nguyen 2017]
V. Nguyen, M. Minoux : “Improved linearized models for Graph Partitioning Problem under Capacity Constraints”, Optimization Methods and Software, vol. 32 (4), pp. 892-903, (Taylor & Francis) [Nguyen 2017a]
V. Nguyen, M. Minoux, D. Nguyen : “Reduced-size formulations for metric and cut polyhedra in sparse graphs”, Networks, vol. 69 (1), pp. 142-150, (Wiley) [Nguyen 2017b]
Georgios M. Nikolopoulos, E. Diamanti : “Continuous-variable quantum authentication of physical unclonable keys”, Scientific Reports, vol. 7, pp. 46047, (Nature Publishing Group) [Nikolopoulos 2017]
Victor Y. Pan, E. Tsigaridas : “Accelerated Approximation of the Complex Roots and Factors of a Univariate Polynomial”, Theoretical Computer Science, vol. 681, (Elsevier) [Pan 2017a]
Victor Y. Pan, E. Tsigaridas : “Nearly optimal computations with structured matrices”, Theoretical Computer Science, (Elsevier) [Pan 2017b]
S. Pramanik, Q. Wang, M. Danisch, J.‑L. GUILLAUME, B. Mitra : “Modeling cascade formation in Twitter amidst mentions and retweets”, Social Network Analysis and Mining, vol. 7 (1), (Springer) [Pramanik 2017a]
J. Proy, K. Heydemann, A. Berzati, A. Cohen : “Compiler-Assisted Loop Hardening Against Fault Attacks”, ACM Transactions on Architecture and Code Optimization, vol. 14 (4), pp. 36, (Association for Computing Machinery) [Proy 2017]
L. Qiu, Sh. Gao, Q. Lyu, J. Guo, P. Gallinari : “A novel non-Gaussian embedding based model for recommender systems”, Neurocomputing, (Elsevier) [Qiu 2017]
K. Qiu, S. Huang, Q. Xu, J. Zhao, X. Wang, S. Secci : “ParaCon: A Parallel Control Plane for Scaling Up Path Computation in SDN”, IEEE Transactions on Network and Service Management, vol. 14 (4), pp. 978-990, (IEEE) [Qiu 2017]
A. Ragaleux, S. Baey, M. Karaca : “Standard-compliant LTE-A Uplink Scheduling Scheme with Quality of Service”, IEEE Transactions on Vehicular Technology, (Institute of Electrical and Electronics Engineers) [Ragaleux 2017]
E. Renault, A. Duret‑Lutz, F. Kordon, D. Poitrenaud : “Variations on Parallel Explicit Emptiness Checks for Generalized Büchi Automata”, International Journal on Software Tools for Technology Transfer, vol. 19 (6), pp. 653-673, (Springer Verlag) [Renault 2017]
M. Riguet, S. Mpouli : “At the crossroads between the scientific and the literary discourse: Comparison as a figure of dialogism”, Digital Scholarship in the Humanities, vol. 32 (suppl_2), pp. ii60-ii77, (Oxford University Press) [Riguet 2017b]
A. Sadovykh, A. Bagnato, J. Robin, A. Viehl, T. Ziadi, J. Martinez : “REVAMP: Challenges and innovation roadmap for variability management in round-trip engineering of software-intensive systems”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes n°120, pp. 32-36, (Génie industriel multimédia) [Sadovykh 2017]
M. Safey El Din, E. Schost : “A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets”, Journal of the ACM (JACM), vol. 63 (6), pp. 48:1-48:37, (Association for Computing Machinery) [Safey El Din 2017]
J. Sakellariou, F. Tria, V. Loreto, F. Pachet : “Maximum entropy models capture melodic styles”, Scientific Reports, vol. 7, pp. 9172, (Nature Publishing Group) [Sakellariou 2017]
A. Seba, D. Istrate, T. Guettari, A. Ugon, A. Pinna, P. Garda : “Thermal Signature Based Sleep Analysis Sensor”, Informatics, vol. 4 (4), (MDPI) [seba 2017]
M. Shapiro : “Technical Perspective: Unexpected Connections”, Communications of the ACM, vol. 60 (8), pp. 82-82, (Association for Computing Machinery) [Shapiro 2017c]
P. Singh Kochhar, D. Lo, J. Lawall, N. Nagappan : “Code Coverage and Postrelease Defects: A Large-Scale Study on Open Source Projects”, IEEE Transactions on Reliability, vol. 66 (4), pp. 1213-1228, (Institute of Electrical and Electronics Engineers) [Singh Kochhar 2017]
L. Soulier, L. Tamine : “On the collaboration support in Information Retrieval”, ACM Computing Surveys, (Association for Computing Machinery) [Soulier 2017]
Haralampos‑G. Stratigopoulos, Ch. Streitwieser : “Adaptive Test with Test Escape Estimation for Mixed-Signal ICs”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, (IEEE) [Stratigopoulos 2017b]
B. Summa, J. Tierny, V. Pascucci : “Visualizing the Uncertainty of Graph-based 2D Segmentation with Min-path Stability”, Computer Graphics Forum, (Wiley) [Summa 2017]
W. Sun, V. Simon, S. Monnet, Ph. Robert, P. Sens : “Analysis of a Stochastic Model of Replication in Large Distributed Storage Systems”, Proceedings of the ACM on Measurement and Analysis of Computing Systems, vol. 1 (1), pp. 1-21, (ACM) [Sun 2017a]
H. Takhedmit, Z. Saddi, A. Karami, Ph. Basset, L. Cirio : “Electrostatic vibration energy harvester with 2.4-GHz Cockcroft–Walton rectenna start-up”, Comptes Rendus. Physique, vol. 18 (2), pp. 98-106, (Académie des sciences (Paris)) [Takhedmit 2017]
J. Tierny, G. Favelier, J. Levine, Ch. Gueunet, M. Michaux : “The Topology ToolKit”, IEEE Transactions on Visualization and Computer Graphics, (Institute of Electrical and Electronics Engineers) [Tierny 2017b]
B.‑M. Toussaint, V. Luengo, J. Francis : “Analyse de connaissances perceptivo-gestuelles dans un Système Tutoriel Intelligent”, STICEF (Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation), (ATIEF) [Toussaint 2017]
R. Tse, L. Zhang, Ph. Lei, G. Pau : “Social Network Based Crowd Sensing for Intelligent Transportation and Climate Applications”, Mobile Networks and Applications, (Springer Verlag) [Tse 2017]
A. Ugon, C. Duclos, S. Konate, S. Arnedos Lopez, H. Yazidi, A. Venot, M.‑Ch. Jaulent, R. Tsopra : “Parallel Design of Browsing Scheme and Data Model for Multi-Level Hierarchical Application Devoted to Management of Patient with Infectious Disease in Primary Care.”, Studies in Health Technology and Informatics, vol. 235, pp. 421-425, (IOS Press) [Ugon 2017]
F. Vieira Pinto, L. Maciel Kosmalski Costa, D. Menasche, M. Dias De Amorim : “Space-aware modeling of two-phase electric charging stations”, IEEE Transactions on Intelligent Transportation Systems, vol. 18 (2), pp. 450-459, (IEEE) [Vieira Pinto 2017]
P. Viotti, D. Dobre, M. Vukolić : “Hybris: Robust Hybrid Cloud Storage”, Transactions on Storage, vol. 13 (3), pp. 1-32, (Association for Computing Machinery) [Viotti 2017]
X. Wang, N. Thome, M. Cord : “Gaze Latent Support Vector Machine for Image Classification Improved by Weakly Supervised Region Selection”, Pattern Recognition, vol. 72, pp. 59-71, (Elsevier) [wang 2017]
P. Weng, O. Spanjaard : “Functional Reward Markov Decision Processes: Theory and Applications”, International Journal on Artificial Intelligence Tools, vol. 26 (03), (World Scientific Publishing) [Weng 2017]
J. Zhang, Sh. Wang, L. Chen, P. Gallinari : “Multiple Bayesian discriminant functions for high-dimensional massive data classification”, Data Mining and Knowledge Discovery, vol. 31 (2), pp. 465-501, (Springer) [Zhang 2017]