LIP6 - Conference papers

Current teams :

ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL

Choose a team above.

M. Ait Aba, L. Zaourar, A. Munier : “Polynomial Scheduling Algorithm for Parallel Applications on Hybrid Platforms”, 6^th International Symposium, ISCO 2020, vol. 12176, Lecture Notes in Computer Science, Montreal, Canada, pp. 143-155, (Springer International Publishing) [Ait Aba 2020b]
G. Alagic, Andrew M. Childs, A. Grilo, Sh. Hung : “Non-interactive classical verification of quantum computation”, Theory of Cryptography - 18^th International Conference, TCC 2020, vol. 12552, Lecture Notes in Computer Science, Durham, United States, pp. 153-180, (Springer) [Alagic 2020]
T. Allouche, B. Escoffier, S. Moretti, M. Öztürk : “Social Ranking Manipulability for the CP-Majority, Banzhaf and Lexicographic Excellence Solutions”, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence {IJCAI-PRICAI-20}, Yokohama, Japan, pp. 17-23, (International Joint Conferences on Artificial Intelligence Organization) [Allouche 2020]
K. Altisen, S. Devismes, A. Durand, C. Johnen, F. Petit : “Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics”, PODC 2020 - ACM Symposium on Principles of Distributed Computing n°227-229, Salerne / Virtual, Italy, (ACM) [Altisen 2020a]
K. Altisen, S. Devismes, A. Durand, C. Johnen, F. Petit : “Élection Autostabilisante dans les Réseaux à Haute Dynamicité”, ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Lyon, France [Altisen 2020b]
J. Alves Esteves, A. Boubendir, F. Guillemin, P. Sens : “Edge-enabled Optimized Network Slicing in Large Scale Networks”, NoF 2020 - 11^th International Conference on Network of the Future, Bordeaux / Virtual, France [Alves Esteves 2020a]
J. Alves Esteves, A. Boubendir, F. Guillemin, P. Sens : “Heuristic for Edge-enabled Network Slicing Optimization using the "Power of Two Choices"”, CNSM 2020 - 16^th International Conference on Network and Service Management, Izmir / Virtual, Türkiye [Alves Esteves 2020b]
J. Alves Esteves, A. Boubendir, F. Guillemin, P. Sens : “Location-based Data Model for Optimized Network Slice Placement”, NetSoft 2020 - 6^th IEEE International Conference on Network Softwarization, Ghent / Virtual, Belgium, pp. 404-412, (IEEE) [Alves Esteves 2020c]
J. Alves Esteves, A. Boubendir, F. Guillemin, P. Sens : “Optimized Network Slicing Proof-of-Concept with Interactive Gaming Use Case”, ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Paris, France, pp. 150-152, (IEEE) [Alves Esteves 2020d]
N. Ammar, L. Noirie, S. Tixeuil : “Autonomous Identification of IoT Device Types based on a Supervised Classification”, ICC 2020 - 2020 IEEE International Conference on Communications (ICC), Virtual conference, Ireland [Ammar 2020]
M. Amoussou, Kh. Belahcene, Ch. Labreuche, N. Maudet, V. Mousseau, W. Ouerdane : “Explaining Robust Additive Decision Models: Generation of Mixed Preference-Swaps by Using MILP”, From Multiple Criteria Decision Aid to Preference Learning (DA2PL 2020), Trento (virtual), Italy [Amoussou 2020]
Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci Piergiovanni : “Rational vs Byzantine Players in Consensus-based Blockchains”, 19^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020, Auckland, New Zealand, (ISBN: 978-1-4503-7518-4) [Amoussou-Guenou 2020a]
Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Consensus en Présence de Participants Rationnels et Byzantins”, ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Lyon, France [Amoussou-Guenou 2020b]
S. Angelopoulos, Ch. Dürr, Sh. Kamali, Sh. Jin, M. Renault : “Online Computation with Untrusted Advice”, 11^th Innovations in Theoretical Computer Science Conference (ITCS 2020), vol. 151, Leibniz International Proceedings in Informatics (LIPIcs), Seattle, United States, pp. 52:1-52:15, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) [Angelopoulos 2020c]
K. Antonov, A. Buzdalova, C. Doerr : “Mutation Rate Control in the (1 + λ) Evolutionary Algorithm with a Self-adjusting Lower Bound”, Mathematical Optimization Theory and Operations Research 19^th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Revised Selected Papers, vol. 1275, Communications in Computer and Information Science, Novosibirsk, Russian Federation, pp. 305-319 [Antonov 2020]
W. Assunção, M. Acher, T. Ziadi, J. Martinez : “REVE 2020: 8th International Workshop on Reverse Variability Engineering”, SPLC '20: 24^th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, (ACM) [Assunção 2020]
M.‑A. Baazizi, C. Berti, D. Colazzo, G. Ghelli, C. Sartiani : “Human-in-the-Loop Schema Inference for Massive JSON Datasets”, EDBT 2020 - 23nd International Conference on Extending Database Technology, Copenhagen, Denmark, pp. 635-638, (OpenProceedings.org) [Baazizi 2020a]
M.‑A. Baazizi, D. Colazzo, G. Ghelli, C. Sartiani, S. Scherzinger : “Not Elimination and Witness Generation for JSON Schema (short version)”, 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications., Paris, France [Baazizi 2020b]
Ch. Badertscher, A. Cojocaru, L. Colisson, E. Kashefi, D. Leichtle, A. Mantri, P. Wallden : “Security Limitations of Classical-Client Delegated Quantum Computing”, Asiacrypt 2020, Virtual Event, Korea, Republic of [Badertscher 2020]
Th. Balabonski, P. Courtieu, R. Pelle, L. Rieg, S. Tixeuil, X. Urbain : “Du discrètement continu au continûment discret”, ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Lyon, France [Balabonski 2020]
E. Bampis, K. Dogeas, A. Kononov, G. Lucarelli, F. Pascual : “Scheduling Malleable Jobs Under Topological Constraints”, 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), New Orleans, LA, United States, pp. 316-325, (IEEE) [Bampis 2020]
S. Belaid, J.‑S. Coron, E. Prouff, M. Rivain, A. Taleb : “Random Probing Security: Verification, Composition, Expansion and New Constructions”, Advances in Cryptology - CRYPTO}2020 - 40^th Annual International Cryptology Conference, {CRYPTO} 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part I, vol. 12170, Lecture Notes in Computer Science, Santa Barbara, CA / Virtual, United States, pp. 339-368, (Springer) [Belaid 2020a]
S. Belaid, P.‑E. Dagand, D. Mercadier, M. Rivain, R. Wintersdorff : “Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations”, EUROCRYPT, vol. 12107, Lecture Notes in Computer Science, Zagreb / Virtual, Croatia, pp. 311-341, (Springer) [Belaid 2020b]
E. Belilovsky, M. Eickenberg, E. Oyallon : “Decoupled Greedy Learning of CNNs”, Proceedings of the 37^th International Conference on Machine Learning, Vienna (virtual), Austria, pp. 5368-5377 [Belilovsky 2020]
M. Belotti, S. Moretti, M. Potop‑Butucaru, S. Secci : “Game Theoretical Analysis of Atomic Cross-Chain Swaps”, 40^th IEEE International Conference on Distributed Computing Systems (ICDCS2020), Singapore, Singapore [Belotti 2020a]
M. Belotti, S. Moretti, P. Zappalà : “Rewarding miners: bankruptcy situations and pooling strategies”, 17^th European Conference on Multi-Agent Systems (EUMAS), Tessaloniki, Greece [Belotti 2020b]
N. Benabbou, C. Leroy, Th. Lust : “An Interactive Regret-Based Genetic Algorithm for Solving Multi-Objective Combinatorial Optimization Problems”, Proceedings of the 34^th AAAI Conference on Artificial Intelligence (AAAI'20), New York, United States [Benabbou 2020a]
N. Benabbou, C. Leroy, Th. Lust : “Élicitation Incrémentale combinée à la Recherche Heuristique pour l'Optimisation Combinatoire Multi-objectifs”, 21ème congrès annuel de la société française de recherche opérationnelle et d'aide à la décision, Montpellier, France [Benabbou 2020b]
N. Benabbou, C. Leroy, Th. Lust : “Regret-Based Elicitation for Solving Multi-Objective Knapsack Problems with Rank-Dependent Aggregators”, The 24^th European Conference on Artificial Intelligence (ECAI'20), Saint Jacques de Compostelle, Spain [Benabbou 2020c]
N. Benabbou, M. Chakraborty, A. Igarashi, Y. Zick : “Finding Fair and Efficient Allocations When Valuations Don't Add Up”, The 13^th Symposium on Algorithmic Game Theory (SAGT 2020), vol. 12283, Lecture Notes in Computer Science, Augsburg (Virtual Conference), Germany, pp. 32-46, (Springer) [Benabbou 2020d]
N. Benabbou, M. Chakraborty, E. Elkind, Y. Zick : “Fairness Towards Groups of Agents in the Allocation of Indivisible Items”, The Fair Allocation in Multiagent Systems, Montréal, Canada [Benabbou 2020e]
N. Benabbou, M. Chakraborty, E. Elkind, Y. Zick : “Partage Équitable de Ressources à des Groupes d'Agents”, ROADEF 2020 - 21ème congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision, Montpellier, France [Benabbou 2020f]
N. Benammar, Ph. Chrétienne, E. Hyon, A. Jean‑Marie : “Approches par horizon roulant pour un problème de planification stochastique”, ROADEF 2020 - 21e Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Montpellier, France [Benammar 2020]
P. Bendotti, Ph. Chrétienne, P. Fouilhoux, A. Pass‑Lanneau : “Anchored Rescheduling Problems Under Generalized Precedence Constraints”, Combinatorial Optimization, 6^th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, vol. 12176, Lecture Notes in Computer Science, Montreal, QC, Canada, pp. 156-166 [Bendotti 2020b]
P. Bendotti, Ph. Chrétienne, P. Fouilhoux, A. Pass‑Lanneau : “Outils de résolution exacte pour l’ancrage de solutions en ordonnancement de projet”, ROADEF - 21ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Montpellier, France [Bendotti 2020c]
A. Benmerzoug, L. Yessad, T. Ziadi : “Analyzing the Impact of Refactoring Variants on Feature Location”, International Conference on Software and Systems Reuse (ICSR), Hammamet, Tunisia [Benmerzoug 2020]
M. Bennai, S. Mazouzi, Z. Guessoum, S. Cormier, M. Mezghiche : “A Cooperative Approach Based on Local detection of Similarities and Discontinuities for Brain MR Images Segmentation”, International Workshop on Healthcare Intelligent Multi-Agent Systems (HIMAS), Auckland, New Zealand [Bennai 2020b]
B. Bérard, B. Bollig, P. Bouyer, M. Függer, N. Sznajder : “Synthesis in Presence of Dynamic Links”, Proceedings of the 11^th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'20), Brussels (online), Belgium [Bérard 2020]
G. Berthou, P.‑E. Dagand, D. Demange, R. Oudin, T. Risset : “Intermittent Computing with Peripherals, Formally Verified”, LCTES '20: 21^st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems Proceedings, London / Virtual, United Kingdom, pp. 85-96, (ACM) [Berthou 2020]
C. Bertier, F. Benbadis, M. Dias De Amorim, V. Conan : “Calcul du débit utile en fonction de la distance dans Google Nearby Connections”, CORES2020, Lyon, France [Bertier 2020]
V. Besnier, H. Jain, A. Bursuc, M. Cord, P. Pérez : “This dataset does not exist: training models from generated images”, ICASSP 2020 - 45^th International Conference on Acoustics, Speech, and Signal Processing, Barcelona, Spain [Besnier 2020]
A. Bessaad, A. Rhouni, Ph. Basset, D. Galayko : “Power Management Integrated Circuit for Electrostatic Kinetic Energy Harvesters”, 2020 IEEE International Symposium on Circuits and Systems (ISCAS), Sevilla, Spain, pp. 1-5, (IEEE) [Bessaad 2020]
A. Bhowmick, K. Meneni, M. Danisch, J.‑L. GUILLAUME, B. Mitra : “LouvainNE: Hierarchical Louvain Method for High Quality and Scalable Network Embedding *”, 13^th ACM International WSDM Conference, WSDM '20: Proceedings of the 13^th International Conference on Web Search and Data Mining, Houston, Texas, United States, pp. 43-51 [Bhowmick 2020]
P. Bisiaux, E. Blokhina, E. Koskin, T. Siriburanon, D. Galayko : “Design of a 1.5 GHz Low jitter DCO Ring in 28 nm CMOS Process”, 2020 European Conference on Circuit Theory and Design (ECCTD), Sofia, Bulgaria, pp. 1-5, (IEEE) [Bisiaux 2020]
A. Blaise, M. Bouet, V. Conan, S. Secci : “BotFP: FingerPrints Clustering for Bot Detection”, IEEE/IFIP Network Operations and Management Symposium (NOMS), Budapest, Hungary, (IEEE) [Blaise 2020a]
O. Blazy, P. Towa, D. Vergnaud : “Public-Key Generation with Verifiable Randomness”, Advances in Cryptology - ASIACRYPT 2020 - 26^th International Conference on the Theory and Application of Cryptology and Information Security, Dadjeon South Korea, December 6-10, 2020. Proceedings, Part I, vol. 12491, Lecture Notes in Computer Science, Daejeon / Virtual, Korea, Republic of, pp. 97-127, (Springer) [Blazy 2020]
L. Blin, A. Durand, S. Tixeuil : “On peut tromper mille personnes mille fois, mais pas plus”, ALGOTEL 2020 - 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Lyon, France, pp. 156-165, (ACM) [Blin 2020a]
L. Blin, S. Dubois, L. Feuilloley : “Silent MST Approximation for Tiny Memory”, SSS 2020 : The 22^th International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 12514, Lecture Notes in Computer Science, Austin, TX / Virtual, United States, pp. 118-132, (Springer, Cham.) [Blin 2020c]
O. Bodini, A. Genitrini, M. Naima, A. Singh : “Families of Monotonic Trees: Combinatorial Enumeration and Asymptotics”, Computer Science - Theory and Applications - 15^th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings, vol. 12159, Lecture Notes in Computer Science, Yekaterinburg, Russian Federation, pp. 155-168, (Springer), (ISBN: 978-3-030-50025-2) [Bodini 2020b]
S. Boldo, D. Gallois‑Wong, Th. Hilaire : “A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm”, ARITH 2020 - IEEE 27^th Symposium on Computer Arithmetic, Portland, United States, pp. 9-16, (IEEE) [Boldo 2020]
S. Bonomi, G. Farina, S. Tixeuil : “Boosting the Efficiency of Byzantine-Tolerant Reliable Communication”, Stabilization, Safety, and Security of Distributed Systems, Austin, United States, pp. 29-44 [Bonomi 2020b]
S. Bonomi, G. Farina, S. Tixeuil : “Une méthode efficace pour éviter la propagation des fake news”, ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Lyon, France [Bonomi 2020c]
J. Bossek, C. Doerr, P. Kerschke : “Initial Design Strategies and their Effects on Sequential Model-Based Optimization An Exploratory Case Study Based on BBOB”, Genetic and Evolutionary Computation Conference (GECCO'20), Cancun, Mexico [Bossek 2020a]
J. Bossek, C. Doerr, P. Kerschke, A. Neumann, F. Neumann : “Evolving Sampling Strategies for One-Shot Optimization Tasks”, Parallel Problem Solving from Nature – PPSN XVI, vol. 12269, Lecture Notes in Computer Science, Leiden, Netherlands, pp. 111-124, (Springer) [Bossek 2020b]
S. Bouchard, Y. Dieudonné, A. Pelc : “Want to Gather? No Need to Chatter!”, PODC '20 - 39^th Symposium on Principles of Distributed Computing, Salerno / Virtual, Italy, pp. 253-262, (ACM) [Bouchard 2020b]
S. Bouchard, Y. Dieudonné, A. Pelc, F. Petit : “Almost Universal Anonymous Rendezvous in the Plane”, SPAA '20: Proceedings of the 32^nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, United States, pp. 117-127, (ACM) [Bouchard 2020d]
N. Bourdache, P. Perny, O. Spanjaard : “Bayesian preference elicitation for multiobjective combinatorial optimization”, DA2PL 2020 - From Multiple Criteria Decision Aid to Preference Learning, Trento, Italy [Bourdache 2020a]
N. Bourdache, P. Perny, O. Spanjaard : “Élicitation incrémentale de préférences par mise à jour Bayésienne sur des zones d'optimalité”, ROADEF 2020 - 21ème congrès annuel de la société Française de Recherche Opérationnelle et d'Aide à la Décision, Montpellier, France [Bourdache 2020b]
Q. Bramas, A. Lamani, S. Tixeuil : “Stand Up Indulgent Rendezvous”, Stabilization, Safety, and Security of Distributed Systems, vol. 12514, Lecture Notes in Computer Science (LNCS), Austin, TX, United States, pp. 45-59, (Springer, Cham), (ISBN: 978-3-030-64348-5) [Bramas 2020]
A. Broadbent, A. Bredariol Grilo : “QMA-Hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge”, IEEE 61^st Annual Symposium on Foundations of Computer Science (FOCS), Virtual, United States, (IEEE) [Broadbent 2020]
D. Brooks, O. Schwander, F. Barbaresco, J.‑Y. Schneider, M. Cord : “Deep Learning and Information Geometry for Drone Micro-Doppler Radar Classification”, 2020 IEEE Radar Conference (RadarConf20), Florence, Italy, pp. 1-6, (IEEE) [Brooks 2020]
O. Brunet, A. Yessad, M. Muratet, Th. Carron : “Vers un modèle de scénarisation pour l'enseignement de la pensée informatique à l'école primaire”, Didapro 8 – DidaSTIC, Lille, France [Brunet 2020]
G. Bu, M. Potop‑Butucaru, M. Rabie : “Diffusion dans les réseaux sans fil en utilisant des filtres à mémoire constante”, ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Lyon, France [Bu 2020a]
G. Bu, R. Haouara, Th. Nguyen, M. Potop‑Butucaru : “Cross hyperledger fabric transactions”, Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, CryBlock '20, London, United Kingdom, pp. 35-40, (Association for Computing Machinery), (ISBN: 9781450380799) [Bu 2020c]
G. Bu, W. Hana, M. Potop‑Butucaru : “E-IOTA: an efficient and fast metamorphism for IOTA”, 2020 2^nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Paris, France, pp. 9-16, (IEEE), (ISBN: 978-1-7281-7091-6) [Bu 2020d]
B.‑M. Bui‑Xuan, H. Hourcade, C. Miachon : “Computing Temporal Twins in Time Logarithmic in History Length”, 9^th International Conference on Complex Networks and their Applications, Madrid, Spain [Bui-Xuan 2020]
M. Buzdalov, B. Doerr, C. Doerr, D. Vinokurov : “Fixed-Target Runtime Analysis”, GECCO 2020 - The Genetic and Evolutionary Computation Conference, Proceedings of the ACM Genetic and Evolutionary Computation Conference (GECCO'20), Cancun, Mexico [Buzdalov 2020a]
M. Buzdalov, C. Doerr : “Optimal Mutation Rates for the $(1+\lambda )$ EA on OneMax”, Parallel Problem Solving from Nature – PPSN XVI, vol. 12270, Lecture Notes in Computer Science, Leiden, Netherlands, pp. 574-587, (Springer) [Buzdalov 2020b]
A. Buzdalova, C. Doerr, A. Rodionova : “Hybridizing the 1/5-th Success Rule with Q-Learning for Controlling the Mutation Rate of an Evolutionary Algorithm”, Parallel Problem Solving from Nature – PPSN XVI, vol. 12270, Lecture Notes in Computer Science, Leiden, Netherlands, pp. 485-499, (Springer) [Buzdalova 2020]
M. Caillat, N. Darcel, C. Manfredotti, P. Viappiani : “Bayesian Vote Elicitation for Group Recommendations”, From Multiple Criteria Decision Aid to Preference Learning (DA2PL 2020), Trento, Italy [Caillat 2020]
C. Canellas : “Vers des modèles d'analytique des apprentissages avec le numérique”, 8e Rencontres Jeunes Chercheurs en EIAH, Poitiers, France [Canellas 2020]
J. Capco, M. Safey El Din, J. Schicho : “Robots, computer algebra and eight connected components”, ISSAC '20: International Symposium on Symbolic and Algebraic Computation, ISSAC'20: Proceedings of the 45^th International Symposium on Symbolic and Algebraic Computation, Kalamata / Virtual, Greece, pp. 62-69, (ACM) [Capco 2020]
A. Casals, A. Belbachir, A. El Fallah‑Seghrouchni : “Adaptive and Collaborative Agent-based Traffic Regulation Using Behavior Trees”, AAMAS '20: Proceedings of the 19^th International Conference on Autonomous Agents and MultiAgent Systems, Auckland, New Zealand, pp. 1789-1791, (International Foundation for Autonomous Agents and Multiagent Systems) [Casals 2020]
U. Chabaud, T. Douce, F. Grosshans, E. Kashefi, D. Markham : “Building trust for continuous variable quantum states”, 15^th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020), vol. 158, Leibniz International Proceedings in Informatics (LIPIcs), Riga, Latvia, pp. 3:1-3:15, (Schloss Dagstuhl--Leibniz-Zentrum für Informatik) [Chabaud 2020b]
A. Chueshev, J. Lawall, R. Bendraou, T. Ziadi : “Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers”, ICSME 2020 - International Conference on Software Maintenance and Evolution, Adélaïde / Virtual, Australia [Chueshev 2020]
J. Clement, A. Genitrini : “Binary Decision Diagrams: from Tree Compaction to Sampling”, LATIN 2020: Theoretical Informatics, LATIN 2020: Theoretical Informatics, Sao Polo, Brazil [Clement 2020]
V. Cohen‑Addad, F. Mallmann‑Trenn, C. Mathieu : “Instance-Optimality in the Noisy Value-and Comparison-Model”, Proceedings of the 2020 {ACM-SIAM} Symposium on Discrete Algorithms, {SODA} 2020, Salt Lake City, United States, pp. 2124-2143, (Society for Industrial and Applied Mathematics) [Cohen-Addad 2020]
G. Coletti, D. Petturiti, B. Bouchon‑Meunier : “A measurement theory characterization of a class of dissimilarity measures for fuzzy description profiles”, 18^th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'2020), vol. 1237, Communications in Computer and Information Science, Lisbon, Portugal, pp. 258-268, (Springer) [Coletti 2020b]
D. Cordova, A. Laube, Th.‑M.‑T. Nguyen, G. Pujolle : “Blockgraph: A Blockchain for Mobile Ad Hoc Networks”, 4^th Cyber Security in Networking Conference, Lausanne, Switzerland [Cordova 2020]
L. Corrêa, L. Arantes, P. Sens, M. Inostroza‑Ponta, M. Dorn : “A dynamic evolutionary multi-agent system to predict the 3D structure of proteins”, WCCI 2020 - IEEE World Congress on Evolutionary Computation - CEC Sessions, Glasgow / Virtual, United Kingdom, pp. 1-8, (IEEE) [Corrêa 2020]
P. Cribier‑Delande, R. Puget, V. Guigue, L. Denoyer : “Time Series Prediction using Disentangled Latent Factors”, ESANN 2020 - 28^th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Bruges, Belgium [Cribier-Delande 2020]
A. Dapogny, M. Cord, P. Pérez : “The Missing Data Encoder: Cross-Channel Image Completion with Hide-And-Seek Adversarial Network”, AAAI-20 - Thirty-Fourth AAAI Conference on Artificial Intelligence, New York, New York, United States [Dapogny 2020]
J. Debure, S. Brunesseaux, C. Constantin, C. Du Mouza : “A Pattern-based Approach for an Early Detection of Popular Twitter Accounts”, Conférence sur la Gestion de Données – Principes, Technologies et Applications (BDA), Paris, France [Debure 2020]
M. Déchelle, J. Donà, K. Plessis‑Fraissard, P. Gallinari, M. Levy : “Bridging dynamical models and deep networks to solve forward and inverse problems”, NeurIPS 2020, Paris (virtual event), France [Déchelle 2020]
X. Défago, A. Heriban, S. Tixeuil, K. Wada : “Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space”, 2020 International Symposium on Reliable Distributed Systems (SRDS), Shanghai, China, pp. 113-122, (IEEE) [Défago 2020]
E.‑h. Diallo, Kh. Al Agha, O. Dib, A. Laube, H. Mohamed‑Babou : “Toward Scalable Blockchain for Data Management in VANETs”, Workshops of the International Conference on Advanced Information Networking and Applications - WAINA 2020, vol. 1150, Advances in Intelligent Systems and Computing, Caserta, Italy, pp. 233-244, (Springer, Cham) [Diallo 2020]
B. Doerr, C. Doerr, A. Neumann, F. Neumann, A. Sutton : “Optimization of Chance-Constrained Submodular Functions”, AAAI-20 Thirty-Fourth AAAI Conference on Artificial Intelligence, Proceedings of the AAAI Conference on Artificial Intelligence (AAAI'20), New York, United States [Doerr 2020b]
A. Douillard, M. Cord, Ch. Ollion, Th. Robert, E. Valle : “PODNet: Pooled Outputs Distillation for Small-Tasks Incremental Learning”, ECCV 2020 - 16^th European Conference on Computer Vision, vol. 12365, Lecture Notes in Computer Science, Glasgow, United Kingdom, pp. 86-102, (Springer) [Douillard 2020]
G. Ducamp, Ch. Gonzales, P.‑H. Wuillemin : “aGrUM/pyAgrum : a toolbox to build models and algorithms for Probabilistic Graphical Models in Python”, 10^th International Conference on Probabilistic Graphical Models, vol. 138, Proceedings of Machine Learning Research, Skørping, Denmark, pp. 609-612 [Ducamp 2020a]
G. Ducamp, Ph. Bonnard, A. Nouy, P.‑H. Wuillemin : “An Efficient Low-Rank Tensors Representation for Algorithms in Complex Probabilistic Graphical Models”, 10^th International Conference on Probabilistic Graphical Models, vol. 138, Proceedings of Machine Learning Research, Skørping, Denmark, pp. 173-184 [Ducamp 2020b]
G. Ducamp, Ph. Bonnard, Ch. De Sainte Marie, P.‑H. Wuillemin : “Advanced Syntax and Compilation for Probabilistic Production Rules with PRM”, 14^th International Rule Challenge, 4^th Doctoral Consortium, and 6^th Industry Track, vol. 2644, Proceedings of the 14^th International Rule Challenge, 4^th Doctoral Consortium, and 6^th Industry Track, Oslo, Norway, pp. 103-110 [Ducamp 2020c]
G. Ducamp, Ph. Bonnard, P.‑H. Wuillemin : “Uncertain Reasoning in Rule-Based Systems Using PRM”, FLAIRS 33 - 33rd Florida Artificial Intelligence Research Society Conference, Miami, United States, pp. 617-620, (AAAI) [Ducamp 2020d]
T. Eftimov, G. Popovski, Q. Renau, P. Korosec, C. Doerr : “Linear Matrix Factorization Embeddings for Single-objective Optimization Landscapes”, 2020 IEEE Symposium Series on Computational Intelligence (SSCI), Canberra, Australia, pp. 775-782, (IEEE) [Eftimov 2020]
S. El‑Sayed, Th. Spyrou, A. Pavlidis, E. Afacan, L. Camuñas‑Mesa, B. Linares‑Barranco, Haralampos‑G. Stratigopoulos : “Spiking Neuron Hardware-Level Fault Modeling”, 2020 IEEE 26^th International Symposium on On-Line Testing and Robust System Design (IOLTS), Naples, Italy [El-Sayed 2020]
M. Elshamy, A. Sayed, M.‑M. Louërat, A. Rhouni, H. Aboushady, Haralampos‑G. Stratigopoulos : “Securing Programmable Analog ICs Against Piracy”, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, France [Elshamy 2020a]
M. Elshamy, G. Di Natale, A. Pavlidis, M.‑M. Louërat, Haralampos‑G. Stratigopoulos : “Hardware Trojan Attacks in Analog/Mixed-Signal ICs via the Test Access Mechanism”, 2020 IEEE European Test Symposium (ETS), Tallinn, Estonia [Elshamy 2020b]
B. Escoffier, E. Bampis, A. Kononov : “LP-Based Algorithms for Multistage Minimization Problems”, Approximation and Online Algorithms, WAOA 2020, vol. 12806, Lecture Notes in Computer Science, Pisa, Italy, pp. 1-15, (Springer) [Escoffier 2020a]
B. Escoffier, H. Gilbert, A. Pass‑Lanneau : “Iterative Delegations in Liquid Democracy with Restricted Preferences”, AAAI Technical Track: Game Theory and Economic Paradigms, vol. 34 (2), New-York, NY, United States, pp. 1926-1933 [Escoffier 2020b]
B. Escoffier, O. Spanjaard, M. Tydrichová : “Recognizing Single-Peaked Preferences on an Arbitrary Graph: Complexity and Algorithms”, Proceedings of the 13^th International Symposium on Algorithmic Game Theory, SAGT 2020, vol. 12283, Lecture Notes in Computer Science, Augsburg, Germany, pp. 291-306, (Springer) [Escoffier 2020c]
Th. Espitau, A. Joux, N. Kharchenko : “On a Dual/Hybrid Approach to Small Secret LWE”, Progress in Cryptology – INDOCRYPT 2020, vol. 12578, Lecture Notes in Computer Science, Bangalore, India, pp. 440-462, (Springer), (ISBN: 978-3-030-65277-7) [Espitau 2020b]
M. Falk, Ch. Garth, Ch. Gueunet, P. Guillou, A. Gyulassy, L. Hofmann, Ch. Kappe, J. Levine, J. Lukasczyk, J. Tierny, J. Vidal : “Topological Data Analysis Made Easy with the Topology ToolKit, What is New?”, IEEE VIS Tutorials, Salt Lake City, United States [Falk 2020]
A.‑E. Falq, P. Fouilhoux, S. Kedad‑Sidhoum : “Linear inequalities for neighborhood based dominance properties for the common due-date scheduling problem”, 21ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision (ROADEF 2020), Montpellier, France [Falq 2020]
A. Favier, N. Guittonneau, J. Lejeune, A. Fladenmuller, L. Arantes, P. Sens : “Topology Aware Leader Election Algorithm for MANET”, COMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Lyon, France [Favier 2020a]
A. Favier, N. Guittonneau, L. Arantes, A. Fladenmuller, J. Lejeune, P. Sens : “Topology Aware Leader Election Algorithm for Dynamic Networks”, PRDC 2020 - 25^th IEEE Pacific Rim International Symposium on Dependable Computing, 2020 IEEE 25^th Pacific Rim International Symposium on Dependable Computing (PRDC), Perth, Australia, pp. 1-10 [Favier 2020b]
A. Feldmann, D. Saulpic : “Polynomial Time Approximation Schemes for Clustering in Low Highway Dimension Graphs”, 28^th Annual European Symposium on Algorithms (ESA 2020), vol. 173, Leibniz International Proceedings in Informatics (LIPIcs), Pisa, Italy, pp. 46:1-46:22, (Schloss Dagstuhl--Leibniz-Zentrum für Informatik) [Feldmann 2020]
A. Filoche, J. Brajard, A. Charantonis, D. Béréziat : “Completing physics-based models by learning hidden dynamics through data assimilation”, NeurIPS 2020, workshop AI4Earth, Vancouver (virtual), Canada [Filoche 2020]
J.‑Y. Franceschi, E. Delasalles, M. Chen, S. Lamprier, P. Gallinari : “Stochastic Latent Residual Video Prediction”, Proceedings of the 37^th International Conference on Machine Learning, vol. 119, Proceedings of Machine Learning Research, Vienne, Austria, pp. 3233-3246, (PMLR) [Franceschi 2020]
G. Fraysse, J. Lejeune, J. Sopena, P. Sens : “A resource usage efficient distributed allocation algorithm for 5G Service Function Chains”, DAIS 2020 - 20^th IFIP WG 6.1 International Conference Distributed Applications and Interoperable Systems, vol. 12135, Lecture Notes in Computer Science, Valetta, Malta, pp. 169-185, (Springer) [Fraysse 2020]
M. Fruth, M.‑A. Baazizi, D. Colazzo, G. Ghelli, C. Sartiani, S. Scherzinger : “Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas”, 39^th International Conference on Conceptual Modeling ER (Workshops) 2020, vol. 12584, Lecture Notes in Computer Science, Vienna, Austria, pp. 220-230, (Springer International Publishing), (ISBN: 978-3-030-65846-5) [Fruth 2020]
C. Gainon de Forsan de Gabriac, V. Guigue, P. Gallinari : “Resume: A Robust Framework for Professional Profile Learning & Evaluation”, ESANN 2020 - 28^th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Bruges, Belgium [Gainon de Forsan de Gabriac 2020]
D. Garbarini, M. Muratet : “Accessibilité et jeux vidéo : Quid de l'architecture logicielle Entités-Composants-Systèmes ?”, Handicap 2020, Paris, France [Garbarini 2020]
A. Genitrini, M. Pépin, F. Peschanski : “Statistical Analysis of Non-Deterministic Fork-Join Processes”, Theoretical Aspects of Computing - ICTAC 2020 - 17^th International Colloquium, vol. 12545, Lecture Notes in Computer Science, Macau, China, pp. 83-102, (Springer) [Genitrini 2020b]
D. Genius, I. Bournias, L. Apvrille, R. Chotin : “High-level Partitioning and Design Space Exploration for Cyber Physical Systems”, Proceedings of the 8^th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, Valletta, Malta, pp. 84-91, (SCITEPRESS) [Genius 2020a]
D. Genius, L. Apvrille : “Hardware / Software / Analog System Partitioning with SysML and SystemC-AMS”, 10^th European Congress on Embedded Real Time Systems, Toulouse, France [Genius 2020b]
D. Genius, R. Cortés Porto, L. Apvrille, F. Pêcheux : “A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems”, 7^th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, vol. 1161, Communications in Computer and Information Science, Prague, Czechia, pp. 201-224, (Springer), (ISBN: 978-3-030-37872-1) [Genius 2020c]
S. Gidaris, A. Bursuc, N. Komodakis, P. Pérez, M. Cord : “Learning Representations by Predicting Bags of Visual Words”, CVPR2020 - Conference on Computer Vision and Pattern Recognition, CVPR, Seattle, WA, United States [Gidaris 2020]
H. Gilbert, T. Portoleau, O. Spanjaard : “Beyond Pairwise Comparisons in Social Choice: A Setwise Kemeny Aggregation Problem”, Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34 (02), Proceedings of the AAAI Conference on Artificial Intelligence, New York, United States, pp. 1982-1989 [Gilbert 2020]
R. Gouicem, D. Carver, J.‑P. Lozi, J. Sopena, B. Lepers, W. Zwaenepoel, N. Palix, J. Lawall, G. Muller : “Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance”, 2020 USENIX Annual Technical Conference, Boston / Virtual, United States [Gouicem 2020]
S. Graillat, V. Lefèvre, J.‑M. Muller : “Alternative Split Functions and Dekker's Product”, Proceedings of ARITH-2020, IEEE 27^th Symposium on Computer Arithmetic, Portland, United States, pp. 1-7, (IEEE) [Graillat 2020b]
V. Grari, S. Lamprier, M. Detyniecki : “Fairness-Aware Neural Rényi Minimization for Continuous Features”, Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}, Yokohama, Japan, pp. 2262-2268, (International Joint Conferences on Artificial Intelligence Organization) [Grari 2020b]
V. Grollemund, G. Chat, J.‑F. Pradat‑Peyre, F. Delbot : “Manifold Learning for Innovation Funding: Identification of Potential Funding Recipients”, Artificial Intelligence Applications and Innovations, vol. 583, IFIP Advances in Information and Communication Technology, Neos Marmaras, Greece, pp. 119-127, (Springer International Publishing) [Grollemund 2020a]
I. Gueye, H. Naacke, S. Gançarski : “Enriching Geolocalized Dataset with POIs Descriptions at Large Scale”, Innovations and Interdisciplinary Solutions for Underserved Areas, vol. 321, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Nairobi, Kenya, pp. 264-273, (Springer International Publishing), (ISBN: 978-3-030-51051-0) [Gueye 2020a]
I. Gueye, H. Naacke, S. Gançarski : “Enriching geolocalized dataset with POIs descriptions at large scale”, Conference on Research in Computer Science and its Applications, Bambey, Senegal [Gueye 2020b]
C. Hanen, A. Munier‑Kordon : “Two Deadline Reduction Algorithms for Scheduling Dependent Typed-tasks Systems”, ROADEF 2020, Montpellier, France [Hanen 2020a]
F. Harrak, F. Bouchet, V. Luengo, P. Gillois : “Evaluating Teachers' Perceptions of Students' Questions Organization”, Learning Analytics & Knowledge Conference, LAK '20: Proceedings of the Tenth International Conference on Learning Analytics & Knowledge, Frankfurt, Germany, pp. 11-16, (ACM) [Harrak 2020b]
S. Haryono, F. Thung, H. Kang, L. Serrano, G. Muller, J. Lawall, D. Lo, L. Jiang : “Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example”, ICPC 2020 - 28^th IEEE/ACM International Conference on Program Comprehension - ERA track, Seoul / Virtual, Korea, Republic of [Haryono 2020]
C. Herpson : “Dedale : Demonstrating a realistic tesbed for decentralized multi-agents problems”, Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection, Aquila, Italy [Herpson 2020]
Th. Hoang, H. Kang, D. Lo, J. Lawall : “CC2Vec: Distributed Representations of Code Changes”, ICSE 2020 - 42^nd International Conference on Software Engineering, Seoul / Virtual, Korea, Republic of, pp. 518-529, (Association for Computing Machinery) [Hoang 2020]
A. Janković, C. Doerr : “Landscape-Aware Fixed-Budget Performance Regression and Algorithm Selection for Modular CMA-ES Variants”, GECCO'20 Proceedings of the ACM Genetic and Evolutionary Computation Conference, GECCO 2020 Proceedings, Cancun, Mexico, (ACM) [Janković 2020]
F. Jézéquel, S. Graillat, D. Mukunoki, T. Imamura, R. Iakymchuk : “Can we avoid rounding-error estimation in HPC codes and still get trustworthy results?”, Lecture Notes in Computer Science, Los Angeles, CA, United States [Jézéquel 2020b]
M. Journault, P. Lafourcade, M. More, R. Poulain, L. Robert : “How to Teach the Undecidability of Malware Detection Problem and Halting Problem”, WISE13: The 13^th World Conference on Information Security Education, Maribor, Slovenia [Journault 2020a]
M. Journault, P. Lafourcade, R. Poulain, M. More : “Une preuve pour le lycée de l'indécidabilité du problème de l'arrêt”, Didapro 8 – DidaSTIC L’informatique, objets d’enseignements – enjeux épistémologiques, didactique et de formation, Lille, France [Journault 2020b]
B. Kabi, E. Goubault, A. Miné, S. Putot : “Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants”, Software Verification 12^th International Conference, VSTTE 2020, and 13^th International Workshop, NSV 2020, Los Angeles,, vol. 12549, Lecture Notes in Computer Science, Los Angeles, CA, United States, pp. 221-238, (Springer) [Kabi 2020]
S. Kamei, A. Lamani, F. Ooshita, S. Tixeuil, K. Wada : “Gathering on Rings for Myopic Asynchronous Robots With Lights Sébastien Tixeuil”, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019), vol. 153, Leibniz International Proceedings in Informatics (LIPIcs), Neuchatel, Netherlands, pp. 27:1-27:17, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) [Kamei 2020]
S. Karkar, I. Ayed, E. De Bézenac, P. Gallinari : “A Principle of Least Action for the Training of Neural Networks”, ECML PKDD, Ghent, Belgium [karkar 2020]
A. Khannoussi, N. Benabbou, A. Olteanu, P. MEYER : “Incremental elicitation of the criteria weights of SRMP using a regret-based query selection strategy”, DA2PL 2020: From Multiple Criteria Decision Aid to Preference Learning, Trento (virtual), Italy [Khannoussi 2020]
L. Khiri, I. Gueye, H. Naacke, I. Sarr, S. Gançarski : “A Malaria Control Model using Mobility Data: An Early Explanation of Kedougou Case in Senegal”, 10^th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, on-line, France, pp. 35-46, (SciTePress) [Khiri 2020]
S. Khizar, M. Dias De Amorim, V. Conan : “Persistence of Vehicular-Augmented Mobile Edges”, 2020 IEEE 31^st Annual International Symposium on Personal, Indoor and Mobile Radio Communications, IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), London, United Kingdom, pp. 1-6, (IEEE), (ISBN: 978-1-7281-4490-0) [Khizar 2020a]
S. Khizar, M. Dias De Amorim, V. Conan : “Un MEC qui persiste au-delà de la bordure”, Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Lyon, France [Khizar 2020b]
P. Kiaei, D. Mercadier, P.‑E. Dagand, K. Heydemann, P. Schaumont : “Custom Instruction Support for Modular Defense against Side-channel and Fault Attacks”, International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2020, Lecture Notes in Computer Science, Lugano, Switzerland [Kiaei 2020]
A. Kordon, N. Tang : “Evaluation of the Age Latency of a Real-Time Communicating System using the LET paradigm”, ECRTS 2020, vol. 165, Leibniz International Proceedings in Informatics (LIPIcs), Modena, Italy, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) [Kordon 2020b]
S. Landry, Y. Linge, E. Prouff : “Monomial Evaluation of Polynomial Functions Protected by Threshold Implementations: With an Illustration on AES”, Lecture Notes in Computer Science, vol. LNCS-12024, Information Security Theory and Practice, Paris, France, pp. 66-84, (Springer International Publishing) [Landry 2020]
F. Laniel, D. Carver, J. Sopena, F. Wajsbürt, J. Lejeune, M. Shapiro : “MemOpLight: Leveraging application feedback to improve container memory consolidation”, NCA 2020 - 19^th IEEE International Symposium on Network Computing and Applications, Cambridge / Virtual, United States, pp. 1-10 [Laniel 2020a]
F. Laniel, D. Carver, J. Sopena, F. Wajsbürt, J. Lejeune, M. Shapiro : “MemOpLight: Leveraging application feedback to improve container memory consolidation”, NCA 2020 - 19^th IEEE International Symposium on Network Computing and Applications, Cambridge / Virtual, United States, pp. 1-10 [Laniel 2020b]
M. Lasserre, R. Lebrun, P.‑H. Wuillemin : “Constraint-Based Learning for Non-Parametric Continuous Bayesian Networks”, FLAIRS 33 - 33rd Florida Artificial Intelligence Research Society Conference, Miami, United States, pp. 581-586, (AAAI) [Lasserre 2020]
H. Le, M. Safey El Din, T. De Wolff : “Computing the real isolated points of an algebraic hypersurface”, ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Proceedings of the 45^th International Symposium on Symbolic and Algebraic Computation, Kalamata / Virtual, Greece, pp. 297–304 [Le 2020]
Th. Lecomte, D. Déharbe, D. Sabatier, E. Prun, P. Péronne, E. Chailloux, S. Varoumas, A. Susungi, S. Conchon : “Low Cost High Integrity Platform: regular paper”, ERTS 2020 - 10^th European Congress on Embedded Real Time Systems, Toulouse, France [Lecomte 2020]
E. Lefeuvre, D. Galayko : “Synchronous conditioning circuits for piezo-and triboelectric harvesters in CMOS technologieś”, 2020 27^th IEEE International Conference on Electronics, Circuits and Systems (ICECS), Glasgow, United Kingdom, pp. 1-4, (IEEE) [Lefeuvre 2020]
F. Lemaitre, A. Hennequin, L. Lacassagne : “How to speed Connected Component Labeling up with SIMD RLE algorithms”, Workshop on Programming Models for SIMD/Vector Processing (WPMVP@PPoPP), San Diego, Californie, United States [Lemaitre 2020]
J. Leonhard, M.‑M. Louërat, H. Aboushady, O. Sinanoglu, Haralampos‑G. Stratigopoulos : “Mixed-Signal IP Protection Against Piracy Based on Logic Locking”, 32. GI / GMM / ITG - Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Ludwigsburg, Germany [Leonhard 2020b]
B. Lepers, R. Gouicem, D. Carver, J.‑P. Lozi, N. Palix, M.‑V. Aponte, W. Zwaenepoel, J. Sopena, J. Lawall, G. Muller : “Provable Multicore Schedulers with Ipanema: Application to Work Conservation”, Eurosys 2020 - European Conference on Computer Systems, Heraklion / Virtual, Greece [Lepers 2020]
M.‑J. Lesot, A. Revault D'Allonnes : “Subspace Clustering and Feature Typicality Degrees: a Prospective Study”, 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Glasgow, United Kingdom [Lesot 2020a]
M.‑J. Lesot, A. Revault D'Allonnes : “Subspace clustering et degrés de typicité d'attributs : une étude prospective”, Rencontres Francophones sur la Logique Floue et ses Applications, Sète, France [Lesot 2020b]
K. Li, H. Naacke, B. Amann : “EPIQUE: A Graph Data Model and Query Language for Exploring the Evolution of Science”, BDA 2020 : 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications., Paris (virtual), France [Li 2020a]
K. Li, H. Naacke, B. Amann : “EPIQUE: Extracting Meaningful Science Evolution Patterns from Large Document Archives”, International Conference on Extending Database Technology (EDBT), Copenhagen, Denmark [Li 2020b]
K. Li, H. Naacke, B. Amann : “Exploring the Evolution of Science with Pivot Topic Graphs”, International Workshop on Big Data Visual Exploration and Analytics BigVis at EDBT 2020, Copenhague, Denmark [Li 2020c]
L. LYS, A. Micoulet, M. Potop‑Butucaru : “Atomic cross chain swaps via relays and adapters”, Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, London, United Kingdom, pp. 59-64, (Association for Computing Machinery), (ISBN: 9781450380799) [LYS 2020]
Ch. Marsala, B. Bouchon‑Meunier : “Interprétabilité des entropies d'ensembles flous intuitionnistes ou définis par intervalles”, 29ème rencontres francophones sur la logique floue et ses applications, Sète, France, pp. 141-147, (Cépaduès) [Marsala 2020a]
Ch. Marsala, B. Bouchon‑Meunier : “Polar Representation of Bipolar Information: A Case Study to Compare Intuitionistic Entropies”, 18^th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'2020), vol. 1237, Communications in Computer and Information Science, Lisboa, Portugal, pp. 107-116, (Springer) [Marsala 2020b]
B. Martin, L. Prosperi, M. Shapiro : “An environment for composable distributed computing”, EuroDW 2020 - 14^th EuroSys Doctoral Workshop, Heraklion / Virtual, Greece [Martin 2020]
H. Martin, P. Perny : “New Computational Models for the Choquet Integral”, 24^th European Conference on Artificial Intelligence - ECAI 2020, Santiago, Spain [Martin 2020]
M. Marzouki, I. Schneider : “Roundtable on Sustainability, Governance and Regulation of the Digital Transformation: Is the EU a Reference Model for the Global South?”, the 27^th International Conference of Europeanists (CES 2020), Reykjavik, Iceland [Marzouki 2020]
D. Merigoux, R. Monat, Ch. Gaie : “Étude formelle de l'implémentation du code des impôts”, JFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Gruissan, France [Merigoux 2020]
Quentin L. Meunier, I. Ben El Ouahma, K. Heydemann : “SELA: a Symbolic Expression Leakage Analyzer”, International Workshop on Security Proofs for Embedded Systems, Visioconference, France [Meunier 2020]
L. Meunier, C. Doerr, J. Rapin, O. Teytaud : “Variance Reduction for Better Sampling in Continuous Domains”, Parallel Problem Solving from Nature – PPSN XVI, vol. 12269, Lecture Notes in Computer Science, Leiden, Netherlands, pp. 154-168, (Springer) [Meunier 2020]
N. Miolane, N. Guigui, H. Zaatiti, Ch. Shewmake, H. Hajri, D. Brooks, A. Le Brigant, J. Mathe, B. Hou, Y. Thanwerdas, S. Heyder, O. Peltre, N. Koep, Y. Cabanes, Th. Gerald, P. Chauchat, B. Kainz, C. Donnat, S. Holmes, X. Pennec : “Introduction to Geometric Learning in Python with Geomstats”, SciPy 2020 - 19^th Python in Science Conference, Austin, Texas, United States, pp. 48-57 [Miolane 2020b]
R. Monat, A. Ouadjaout, A. Miné : “Static Type Analysis by Abstract Interpretation of Python Programs”, 34^th European Conference on Object-Oriented Programming (ECOOP 2020), vol. 166, Leibniz International Proceedings in Informatics (LIPIcs), Berlin (Virtual / Covid), Germany, (Schloss Dagstuhl--Leibniz-Zentrum für Informatik) [Monat 2020a]
R. Monat, A. Ouadjaout, A. Miné : “Value and Allocation Sensitivity in Static Python Analyses”, Proceedings of the 9^th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, London, United Kingdom, pp. 8-13, (ACM) [Monat 2020b]
J. Mortara, Xh. Tërnava, Ph. Collet : “Mapping Features to Automatically Identified Object-Oriented Variability Implementations - The case of ArgoUML-SPL”, 14^th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS ’20), Magdeburg, Germany [Mortara 2020]
E. Moschos, O. Schwander, A. Stegner, P. Gallinari : “DEEP-SST-EDDIES: A Deep Learning framework to detect oceanic eddies in Sea Surface Temperature images”, ICASSP 2020 - 45^th International Conference on Acoustics, Speech, and Signal Processing, Barcelona, Spain, pp. 4307-4311 [Moschos 2020b]
M. Muratet, D. Garbarini : “Accessibility and serious games: What about Entity- Component-System software architecture?”, GALA 2020, Laval, France [Muratet 2020a]
L. Music, E. Kashefi, C. Chevalier : “Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses”, International Conference on Provable Security, ProvSec 2020: Provable and Practical Security, vol. 12505, Lecture Notes in Computer Science, Singapour / Virtual, Singapore, pp. 318-337, (Springer) [Music 2020]
A. Mustar, S. Lamprier, B. Piwowarski : “Using BERT and BART for Query Suggestion”, Joint Conference of the Information Retrieval Communities in Europe, vol. 2621, CEUR Workshop Proceedings, Samatan, France, (CEUR-WS.org) [Mustar 2020]
S. Nair, G. Petri, M. Shapiro : “Proving the safety of highly-available distributed objects”, ESOP 2020 - 29^th European Symposium on Programming, Dublin, Ireland [Nair 2020a]
A. Narayanan, M. Weidner : “On Decoding Cohen-Haeupler-Schulman Tree Codes”, ACM-SIAM Symposium on Discrete Algorithms, SODA 2020, Salt Lake City, UT, United States, pp. 1337-1356, (Society for Industrial and Applied Mathematics) [Narayanan 2020]
O. Nefla, I. Brigui, P. Viappiani, O. Raboun : “Agent-based ordinal classification for group decision making”, The 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'20), Melbourne (en virtuel), Australia [Nefla 2020a]
O. Nefla, M. Öztürk, P. Viappiani, I. Brigui‑Chtioui, O. Raboun : “Group-based Ordinal Classification based on a Negotiation Process”, Rencontre des Jeunes Chercheur·ses en Intelligence Artificielle, Angers, France, pp. 50-52, (Association française pour l'intelligence artificielle) [Nefla 2020b]
I. Nikolayeva, A. Yessad, B. Laforge, V. Luengo : “Does an e-mail reminder intervention with learning analytics reduce procrastination in a blended university course?”, 15^th European Conference on Technology-Enhanced Learning, Heidelberg, Germany [Nikolayeva 2020]
Y. Noel, F. Bouchet, R. Mergoil, V. Luengo : “Towards a modular and flexible Learning Analytics framework”, Companion Proceedings of the 10^th International Conference on Learning Analytics & Knowledge LAK20, Frankfurt, Germany, pp. 178-179 [Noel 2020]
K. Oliver‑Quelennec : “Vers une conception participative de tableaux de bord étudiants adaptatifs avec PADDLE”, 8e Rencontres Jeunes Chercheurs en EIAH, Poitiers, France [Oliver-Quelennec 2020]
A. Ouadjaout, A. Miné : “A Library Modeling Language for the Static Analysis of C Programs”, 27^th Static Analysis Symposium, vol. 12389, Lecture Notes in Computer Science, Chicago, United States, pp. 223-247 [Ouadjaout 2020]
K. Ouali, M. Kassar, Th. Nguyen, K. Sethom, B. Kervella : “An Efficient D2D Handover Management Scheme for SDN-based 5G networks”, 2020 IEEE 17^th Annual Consumer Communications & Networking Conference (CCNC), Las Vegas, United States, pp. 1-6, (IEEE) [Ouali 2020a]
E. Oyallon : “Interferometric Graph Transform: a Deep Unsupervised Graph Representation”, 37^th International Conference on Machine Learning (ICML 2020), Online, Austria [Oyallon 2020]
G. Papa, C. Doerr : “Dynamic control parameter choices in evolutionary computation”, GECCO '20: Genetic and Evolutionary Computation Conference, Proc. of Genetic and Evolutionary Computation Conference (GECCO'20, Companion Material), Cancún, Mexico, pp. 927-956, (ACM) [Papa 2020]
A. Pavlidis, M.‑M. Louërat, E. Faehn, A. Kumar, Haralampos‑G. Stratigopoulos : “SymBIST: Symmetry-based Analog/Mixed-Signal BIST”, 32. GI / GMM / ITG - Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Ludwigsburg, Germany [Pavlidis 2020a]
A. Pavlidis, M.‑M. Louërat, E. Faehn, A. Kumar, Haralampos‑G. Stratigopoulos : “Symmetry-based A/M-S BIST (SymBIST): Demonstration on a SAR ADC IP”, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, France [Pavlidis 2020b]
F. Pêcheux, L. Andrade Porras, M.‑M. Louërat, I. Bournias, R. Chotin, D. Genius : “Virtual Prototyping of Open Source Heterogeneous Systems with an Open Source Framework Featuring SystemC MDVP Extensions”, 2020 Forum for Specification and Design Languages (FDL), Kiel, Germany, pp. 1-8, (IEEE) [Pêcheux 2020]
A. Petreto, Th. Romera, F. Lemaitre, M. Bouyer, B. Gaillard, P. Menard, Q. Meunier, L. Lacassagne : “Real-time embedded video denoiser prototype”, 9^th International Symposium - Optronics in Defense and Security (Optro), Paris, France [Petreto 2020]
B. Piwowarski : “Experimaestro and Datamaestro”, SIGIR '20: The 43rd International ACM SIGIR conference on research and development in Information Retrieval, Virtual Event China, China, pp. 2173-2176, (ACM) [Piwowarski 2020]
P. Ramaciotti Morales, L. Tabourier, R. Fournier‑S'niehotta : “Testing the Impact of Semantics and Structure on Recommendation Accuracy and Diversity”, ASONAM 2020. IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, La Hague (virtual), Netherlands [Ramaciotti Morales 2020]
L. Rannou, C. Magnien, M. Latapy : “Strongly Connected Components in Stream Graphs: Computation and Experimentations”, The 9^th International Conference on Complex Networks and their Applications (Complex Networks 2020), Madrid (virtual), Spain [Rannou 2020]
E. Raponi, H. Wang, M. Bujny, S. Boria, C. Doerr : “High Dimensional Bayesian Optimization Assisted by Principal Component Analysis”, Parallel Problem Solving from Nature – PPSN XVI, vol. 12269, Lecture Notes in Computer Science, Leiden, Netherlands, pp. 169-183, (Springer) [Raponi 2020]
V. Rebiere, A. Drouot, B. Granado, A. Bourge, A. Pinna : “Semi-Gradient for Color Pixel Reconstruction in a RGBZ CMOS Sensor”, IEEE Sensors 2020, Rotterdam (virtual ), Netherlands, pp. 1-4, (IEEE) [Rebiere 2020]
C. Rebuffel, L. Soulier, G. Scoutheeten, P. Gallinari : “A Hierarchical Model for Data-to-Text Generation”, 42^nd European Conference on IR Research, ECIR 2020, vol. 12035, Lecture Notes in Computer Science, Lisbon, Portugal, pp. 65-80, (Springer) [Rebuffel 2020a]
C. Rebuffel, L. Soulier, G. Scoutheeten, P. Gallinari : “Capturing Entity Hierarchy in Data-to-Text Generative Models”, First Joint Conference of the Information Retrieval Communities in Europe (CIRCLE 2020), vol. 2621, CEUR Workshop Proceedings, Online, France, (CEUR-WS.org) [Rebuffel 2020b]
C. Rebuffel, L. Soulier, G. Scoutheeten, P. Gallinari : “PARENTing via Model-Agnostic Reinforcement Learning to Correct Pathological Behaviors in Data-to-Text Generation”, Proceedings of the 13^th International Conference on Natural Language Generation, INLG 2020, Dublin, Ireland [Rebuffel 2020c]
Q. Renau, C. Doerr, J. Dréo, B. Doerr : “Exploratory Landscape Analysis is Strongly Sensitive to the Sampling Strategy”, Parallel Problem Solving from Nature – PPSN XVI, vol. 12270, Lecture Notes in Computer Science, Leiden, Netherlands, pp. 139-153, (Springer) [Renau 2020]
A. Rico, P. Viappiani : “Incremental Elicitation of Capacities for the Sugeno Integral with a Maximin Approach”, 14^th International Conference on Scalable Uncertainty Management (SUM 2020), Bolzano, Italy [Rico 2020]
H. Sahbi : “Kernel-based Graph Convolutional Networks”, IAPR ICPR, Milan / Virtuel, Italy [Sahbi 2020]
A. Saporta, T.‑H. Vu, M. Cord, P. Pérez : “ESL: Entropy-guided Self-supervised Learning for Domain Adaptation in Semantic Segmentation”, Workshop on Scalability in Autonomous Driving at IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Seattle, Washington (virtual), United States [Saporta 2020]
Th. Scialom, P.‑A. Dray, S. Lamprier, B. Piwowarski, J. Staiano : “ColdGANs: Taming Language GANs with Cautious Sampling Strategies”, Advances in Neural Information Processing Systems, vol. 33, NeurIPS Proceedings, Virtual, Åland Islands, pp. 18978-18989, (Curran Associates, Inc.) [Scialom 2020b]
Th. Scialom, P.‑A. Dray, S. Lamprier, B. Piwowarski, J. Staiano : “Discriminative Adversarial Search for Abstractive Summarization”, 37^th International Conference on Machine Learning, vol. 119, Proceedings of Machine Learning Research, Virtual, Åland Islands, pp. 8555-8564, (PMLR) [Scialom 2020d]
Th. Scialom, P.‑A. Dray, S. Lamprier, B. Piwowarski, J. Staiano : “MLSUM: The Multilingual Summarization Corpus”, 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP), Online, France, pp. 8051-8067, (Association for Computational Linguistics) [Scialom 2020f]
Th. Sergent : “Améliorer l'autorégulation de jeunes élèves lors de l'apprentissage de la lecture”, 8e Rencontres Jeunes Chercheurs en EIAH, Poitiers, France [Sergent 2020a]
Th. Sergent, F. Bouchet, Th. Carron : “Towards Temporality-Sensitive Recurrent Neural Networks through Enriched Traces”, International Conference on Educational Data Mining (EDM 2020), Ifrane, Morocco, pp. 658-661 [Sergent 2020b]
L. Serrano, V.‑A. Nguyen, F. Thung, L. Jiang, D. Lo, J. Lawall, G. Muller : “SPINFER: Inferring Semantic Patches for the Linux Kernel”, USENIX Annual Technical Conference, Boston / Virtual, United States [Serrano 2020]
P. Shams, A. Beynier, S. Bouveret, N. Maudet : “Fair in the Eyes of Others”, 24^th European Conference on Artificial Intelligence, Santiago de Compostela, Spain [Shams 2020]
M. Shibata, S. Tixeuil : “Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in Rings”, Stabilization, Safety, and Security of Distributed Systems, Austin, United States, pp. 264-279 [Shibata 2020]
J. Sid‑Otmane, S. Imadali, F. Martelli, M. Shapiro : “Data Consistency in the 5G Specification”, ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Paris, France, pp. 110-117, (IEEE) [Sid-Otmane 2020]
G. Sorelli, V. Shatokhin, A. Buchleitner : “Photonic orbital angular momentum in turbulence: vortex splitting and adaptive optics”, Environmental Effects on Light Propagation and Adaptive Systems III, Proceedings of SPIE, Online Only, France, pp. 10, (SPIE) [Sorelli 2020a]
L. Sylvestre, E. Chailloux : “Expérimentations pédagogiques en Learn-OCaml”, 31ème Journées Francophones des Langages Applicatifs, Gruissan, France [Sylvestre 2020]
N. Sznajder, B. Bérard, B. Bollig, M. Lehaut : “Parameterized Synthesis for Fragments of First-Order Logic over Data Words”, Proceedings of the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'20), vol. 12077, Lecture Notes in Computer Science, Dublin, Ireland, pp. 97-118, (Springer) [Sznajder 2020]
B. Taillé, V. Guigue, G. Scoutheeten, P. Gallinari : “Let’s Stop Incorrect Comparisons in End-to-end Relation Extraction!”, Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP), Punta Cana (Online), Dominican Republic, pp. 3689-3701, (Association for Computational Linguistics) [Taillé 2020a]
B. Taillé, V. Guigue, P. Gallinari : “Contextualized Embeddings in Named-Entity Recognition: An Empirical Study on Generalization”, ECIR 2020 - 42^nd European Conference on Information Retrieval, Lisbon, Portugal [Taillé 2020b]
Y. Thierry‑Mieg : “Structural Reductions Revisited”, 41ST INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, Paris, France [Thierry-Mieg 2020]
F. Thung, S. Haryono, L. Serrano, G. Muller, J. Lawall, D. Lo, L. Jiang : “Automated Deprecated-API Usage Update for Android Apps: How Far Are We?”, SANER 2020 - 27^th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER, RENE track), London, Ontario, Canada, pp. 602-611, (IEEE) [Thung 2020]
S. Tigane, L. Kahloul, S. Baarir, S. Bourekkache : “Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification”, EAI VALUETOOLS 2020 - 13^th EAI International Conference on Performance Evaluation Methodologies and Tools, Tsukuba, Japan [tigane 2020]
F. Toffano, N. Wilson, P. Viappiani : “Efficient Exact Computation of Setwise Minimax Regret”, The 19^th workshop on Constraint Modelling and Reformulation (ModRef 2020), Louvain-la-Neuve, Belgium [Toffano 2020]
P. Towa, D. Vergnaud : “Succinct Diophantine-Satisfiability Arguments”, Asiacrypt 2020 - 26^th Annual International Conference on the Theory and Application of Cryptology and Information Security, vol. 12493, Advances in Cryptology - ASIACRYPT 2020 - 26^th International Conference on the Theory and Application of Cryptology and Information Security, Dadjeon South Korea, December 6-10, 2020. Proceedings, Part III, Daejeon / Virtual, Korea, Republic of, pp. 774-804, (Springer) [Towa 2020]
V. Vallade, L. Le Frioux, S. Baarir, J. Sopena, F. Kordon : “On the Usefulness of Clause Strengthening in Parallel SAT Solving”, NFM 2020 - 12^th NASA Formal Methods Symposium, Moffett Field / Virtual, United States [vallade 2020a]
V. Vallade, L. Le Frioux, S. Baarir, J. Sopena, V. Ganesh, F. Kordon : “Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving”, SAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability Testing, vol. 12178, Lecture Notes in Computer Science, Alghero / Virtual, Italy, pp. 11-27 [vallade 2020b]
S. Varoumas, B. Pesin, B. Vaugon, E. Chailloux : “Programming microcontrollers through high-level abstractions”, VMIL 2020: Proceedings of the 12^th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Chicago / Virtual, United States, pp. 5-14, (Association for Computing Machinery) [Varoumas 2020]
D. Vasilas, M. Shapiro, B. King, S. Hamouda : “Towards application-specific query processing systems”, BDA 2020 - 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Paris / Virtual, France [Vasilas 2020]
D. Vermetten, H. Wang, C. Doerr, Th. Bäck : “Integrated vs. Sequential Approaches for Selecting and Tuning CMA-ES Variants”, ACM Genetic and Evolutionary Computation Conference (GECCO'20), Proc. of ACM Genetic and Evolutionary Computation Conference (GECCO'20), Cancun, Mexico [Vermetten 2020a]
D. Vermetten, H. Wang, Th. Bäck, C. Doerr : “Towards Dynamic Algorithm Selection for Numerical Black-Box Optimization: Investigating BBOB as a Use Case”, Proceedings of the Genetic and Evolutionary Computation Conference (GECCO'20), Cancun, Mexico [Vermetten 2020b]
K. Vermeulen, B. Ljuma, V. ADDANKI, M. Gouel, O. Fourmaux, T. Friedman, R. REJAIE : “Alias Resolution Based on ICMP Rate Limiting”, PAM 2020 - 21^st International Conference on Passive and Active Network Measurement, vol. 12048, Lecture Notes in Computer Science, Eugene, United States, pp. 231-248, (Springer) [Vermeulen 2020a]
K. Vermeulen, J. Rohrer, R. Beverly, O. Fourmaux, T. Friedman : “Diamond-Miner: Comprehensive Discovery of the Internet's Topology Diamonds”, USENIX Symposium on Networked Systems Design and Implementation (NSDI) 2020, Santa Clara, CA, United States, pp. 479-493, (USENIX Association) [Vermeulen 2020b]
P. VIVET, E. Guthmuller, Y. Thonnart, G. Pillonnet, G. Moritz, I. Miro‑Panades, C. Fuguet, J. Durupt, Ch. Bernard, D. Varreau, J. Pontes, S. Thuries, D. Coriat, M. Harrand, D. Dutoit, D. Lattard, L. Arnaud, J. Charbonnier, P. Coudrain, A. Garnier, F. Berger, A. Gueugnot, A. Greiner, Quentin L. Meunier, A. Farcy, A. Arriordaz, S. Chéramy, F. Clermidy : “A 220GOPS 96-Core Processor with 6 Chiplets 3D-Stacked on an Active Interposer Offering 0.6ns/mm Latency, 3Tb/s/mm 2 Inter-Chiplet Interconnects and 156mW/mm 2 @ 82%-Peak-Efficiency DC-DC Converters”, 2020 IEEE International Solid- State Circuits Conference - (ISSCC), San Francisco, United States, pp. 46-48, (IEEE) [VIVET 2020]
N. Volanschi, J. Lawall : “The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel”, ASE 2020 - 35^th IEEE/ACM International Conference on Automated Software Engineering, Melbourne / Virtual, Australia [Volanschi 2020]
S. Vu, K. Heydemann, A. De Grandmaison, A. Cohen : “Secure delivery of program properties through optimizing compilation”, CC '20: 29^th International Conference on Compiler Construction, San Diego, CA, United States, pp. 14-26, (ACM) [Vu 2020]
H. Wang, C. Doerr, O. Shir, Th. Bäck : “Benchmarking and analyzing iterative optimization heuristics with IOHprofiler (GECCO'20 tutorial)”, Proc. of Genetic and Evolutionary Computation Conference (GECCO'20, Companion material), Cancún, Mexico, pp. 1043-1054, (ACM) [Wang 2020]
H. Yasumi, F. Ooshita, M. Inoue, S. Tixeuil : “Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs”, 24^th International Conference on Principles of Distributed Systems (OPODIS 2020), vol. 184, Leibniz International Proceedings in Informatics (LIPIcs), Strasbourg, France, pp. 33:1-33:16, (Schloss Dagstuhl--Leibniz-Zentrum für Informatik) [Yasumi 2020b]
F. Ye, H. Wang, C. Doerr, Th. Bäck : “Benchmarking a $$(\mu +\lambda )$$ Genetic Algorithm with Configurable Crossover Probability”, Parallel Problem Solving from Nature – PPSN XVI (PPSN 2020), vol. 12270, Lecture Notes in Computer Science, Leiden, Netherlands, pp. 699-713, (Springer) [Ye 2020]
P. Zappalà, M. Belotti, M. Potop‑Butucaru, S. Secci : “Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness”, 34^th International Symposium on Distributed Computing, Leibniz International Proceedings in Informatics (LIPIcs), Freiburg (virtual conference), Germany, pp. 49:1-49:3 [Zappalà 2020a]
P. Zappalà, M. Belotti, M. Potop‑Butucaru, S. Secci : “Game Theoretical Framework for Analyzing Blockchains Robustness”, 35^th International Symposium on Distributed Computing (DISC 2021), vol. 209, Leibniz International Proceedings in Informatics (LIPIcs), Freiburg, Germany, pp. 42:1-42:18, (Schloss Dagstuhl) [Zappalà 2020b]
H. Zhang, F. Marty, D. Galayko, N. Hodzic, Ph. Basset : “High-Voltage MEMS Plasma Switch for Boosting the Energy Transfer Efficiency in Triboelectric Nanogenerators”, 2020 IEEE 33rd International Conference on Micro Electro Mechanical Systems (MEMS), Vancouver, Canada, pp. 610-613, (IEEE), (ISBN: 978-1-7281-3581-6) [Zhang 2020a]
Gh. Ziat, A. Maréchal, M. Pelleau, A. Miné, Ch. Truchet : “Combination of Boxes and Polyhedra Abstractions for Constraint Solving”, Formal Methods. FM 2019 International Workshops, vol. 12233, Lecture Notes in Computer Science, Porto, Portugal, pp. 119-135, (Springer International Publishing), (ISBN: 978-3-030-54997-8) [Ziat 2020]