• 
  David Lamas, Fernando Loizides, Helen Petrie, Marco Winckler, Panayiotis Zaphiris, et al.. Human-Computer Interaction – INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part IV: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part IV. Springer International Publishing, LNCS-11749, 2019, Lecture Notes in Computer Science. ⟨hal-02896565⟩
• 
  Grégoire Todeschi, Boris Djomgwe Teabe, Alain Tchana, Daniel Hagimont. Cacol: a zero overhead and non-intrusive double caching mitigation system. Future Generation Computer Systems, Elsevier, 2020, 106, pp.14-21. ⟨10.1016/j.future.2019.11.035⟩. ⟨hal-02894310⟩
• 
  Tiago Rocha Gonçalves, Vineeth Varma, Salah Elayoubi. Vehicle platooning schemes considering V2V communications: A joint communication/control approach. IEEE Wireless Communications and Networking Conference, WCNC 2020, May 2020, Seoul, South Korea. pp.1-6, ⟨10.1109/WCNC45663.2020.9120759⟩. ⟨hal-02448795v2⟩
• 
  Elisabetta de Maria. Formal Methods for Systems Biology: Contributions. Bioinformatics [q-bio.QM]. Université Côte d'Azur, 2020. ⟨tel-02888024⟩
• 
  Andrea G. B. Tettamanzi, David Emsellem, Célia da Costa Pereira, Alessandro Venerandi, Giovanni Fusco. Possibilistic Estimation of Distributions to Leverage Sparse Data in Machine Learning. IPMU 2020 - 18th International Conference Information Processing and Management of Uncertainty in Knowledge-Based Systems, Jun 2020, Lisbon, Portugal. pp.431-444, ⟨10.1007/978-3-030-50146-4_32⟩. ⟨hal-02885825⟩
• 
  The Can Do. A context manager for solving conflicts between designer’s viewpoints. Ubiquitous Computing. COMUE Université Côte d'Azur (2015 - 2019), 2019. English. ⟨NNT : 2019AZUR4106⟩. ⟨tel-02884122⟩
• 
  Cinzia Di Giusto, Laetitia Laversa, Etienne Lozes. On the k-synchronizability of Systems. 23rd International Conference on Foundations of Software Science and Computer Systems (FOSSACS 2020), Apr 2020, Dublin, Ireland. pp.157-176, ⟨10.1007/978-3-030-45231-5_9⟩. ⟨hal-02883586⟩
• 
  Stéphane Demri, Etienne Lozes, Alessio Mansutti. Internal Calculi for Separation Logic. Computer Science Logic, Jan 2020, Barcelona, Spain. ⟨10.4230/LIPIcs.CSL.2020.19⟩. ⟨hal-02883558⟩
• 
  Claude Stolze. Combining union, intersection and dependent types in an explicitely typed lambda-calculus. Logic [math.LO]. COMUE Université Côte d'Azur (2015 - 2019), 2019. English. ⟨NNT : 2019AZUR4104⟩. ⟨tel-02406953v2⟩
• 
  Marco Gori, Alessandro Betti. Backprop Diffusion is Biologically Plausible. 2020. ⟨hal-02878574⟩

3 479

1 852