| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former team : | ACASA |
- X. Défago, M. Potop‑Butucaru, S. Tixeuil : “Fault-Tolerant Mobile Robots”, chapter in Distributed Computing by Mobile Entities, vol. 11340, Lecture Notes in Computer Science, pp. 234-251, (Springer) [Défago 2019b]
- C. Doerr : “Complexity Theory for Discrete Black-Box Optimization Heuristics”, chapter in Theory of Evolutionary Computation, pp. 133-212 [Doerr 2019a]
- J.‑G. Ganascia : “Intelligence artificielle: entre imitation et limitation(s)”, chapitre de Faut-il imiter pour exister?, pp. 167-172, (Philippe Duval), (ISBN: 978-2-490737-00-0) [Ganascia 2019c]
- F. Ghaffari, O. Romain, B. Granado : “Mitigation Transient Faults by Backward Error Recovery in SRAM-FPGA”, chapter in Radiation Effects on Integrated Circuits and Systems for Space Applications, pp. 249-276, (Springer International Publishing) [Ghaffari 2019]
- C. Hanen, A. Munier‑Kordon : “Cyclic DataFlows in computers and embedded systems”, chapter in Modelling and Performance Analysis of Cyclic Systems, vol. 241, Studies in Systems, Decision and Control, pp. 3-29, (Springer) [Hanen 2019]
- F. Kordon, M. Leuschel, J. Van De Pol, Y. Thierry‑Mieg : “Software Architecture of Modern Model Checkers”, chapter in Computing and Software Science, State of the Art and Perspectives, vol. 10000, Lecture Notes in Computer Science, pp. 393-419, (Springer) [Kordon 2019]
- M. Latapy, C. Magnien, T. Viard : “Weighted, Bipartite, or Directed Stream Graphs for the Modeling of Temporal Networks”, chapter in Temporal Network Theory, Computational Social Sciences, pp. 49-64, (Springer) [Latapy 2019]
- Ph. Pernelle, H. Abed, Th. Carron, S. Talbot, Ch. Ben Amar, D. Wayntal : “Jeux sérieux: une approche de ludification au sein de filières technologiques pour la formation en présentiel et en distanciel (Chapitre 7)”, chapter in Pratiques et innovations à l'ère du numérique en formation à distanceTechnologie, pédagogie et formation, Formation à distance / Distance Learning, pp. 139-156, (Presses de l'Université du Québec), (ISBN: 978-2-7605-5173-2) [Pernelle 2019]
- M. Potop‑Butucaru, N. Sznajder, S. Tixeuil, X. Urbain : “Formal Methods for Mobile Robots”, chapter in Distributed Computing by Mobile Entities,Current Research in Moving and Computing n°11340, Theoretical Computer Science and General Issues, pp. 278-313, (Springer International Publishing), (ISBN: 978-3-030-11071-0) [Potop-Butucaru 2019]
- N. Preguiça, C. Baquero, M. Shapiro : “Conflict-free Replicated Data Types (CRDTs)”, chapter in Encyclopedia of Big Data Technologies, Encyclopedia of Big Data Technologies, (Springer International Publishing), (ISBN: 978-3-319-63962-8) [Preguiça 2019]
- M. Shapiro, P. Sutra : “Database Consistency Models”, chapter in Encyclopedia of Big Data Technologies, (Springer), (ISBN: 978-3-319-63962-8) [Shapiro 2019]
- M. Tufis, J.‑G. Ganascia : “Crowdsourcing Comics Annotations”, chapter in Empirical Comics ResearchDigital, Multimodal, and Cognitive Methods, Routledge Advances in Comics Studies, (Routledge), (ISBN: 9781138737440) [Tufis 2019]