Laboratoire de Recherche en Informatique 

• 
  Jean-Philippe Riviere. Capturing traces of the dance learning process. Human-Computer Interaction [cs.HC]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG054⟩. ⟨tel-03121577⟩
• 
  Michel Beaudouin-Lafon. Pourquoi vouloir interagir avec des ordinateurs ?. CNRS Editions. Vers le cyber-monde. Humain et numérique en interaction, pp.18-41, 2020, 978-2-271-13459-2. ⟨hal-03121243⟩
• 
  Sarah Alaoui. Making an interactive dance piece: tensions in integrating technology in art. ACM Designing Interactive Systems, Jun 2019, San Diego, United States. pp.1195-1208, ⟨10.1145/3322276.3322289⟩. ⟨hal-02422166⟩
• 
  Etienne Thoret, Baptiste Caramiaux, Philippe Depalle, Stephen Mcadams. Learning metrics on spectrotemporal modulations reveals the perception of musical instrument timbre. Nature Human Behaviour, Nature Research 2020, ⟨10.1038/s41562-020-00987-5⟩. ⟨hal-03033757⟩
• 
  Laure Crochepierre, Antoine Marot, Vincent Barbesant, Benjamin Donnot, Lydia Boudjeloud-Assala. Labellisation semi-supervisée de données : Vers une approche experte étendue. GAST 2019 - Atelier Gestion et Analyse des données Spatiales et Temporelles, Jan 2019, Metz, France. ⟨hal-03118698⟩
• 
  Andrei Paskevich. Continuation Passing as an Abstract Syntax for Deductive Verification. 2021. ⟨hal-03115120⟩
• 
  Nicolas Derumigny, Nicolas Deruminy, Fabian Gruber, Théophile Bastian, Guillaume Iooss, et al.. From micro-OPs to abstract resources: constructing a simpler CPU performance model through microbenchmarking. 2021. ⟨hal-03114933⟩
• 
  Georges Ouffoué, Fatiha Zaïdi, Ana Cavalli, Huu Nghia Nguyen. A Framework for the Attack Tolerance of Cloud Applications Based on Web Services. Electronics, MDPI, 2020, 10 (1), pp.6. ⟨10.3390/electronics10010006⟩. ⟨hal-03113828⟩
• 
  Marie Agier, Christine Froidevaux, Jean-Marc Petit, Yoan Renaud, Jef Wijsen. On Armstrong-compliant Logical Query Languages. 4th International Workshop on Logic in Databases, (EDBT/ICDT '10 joint conference), George H. L. Fletcher and Slawek Staworko, 2011, Uppsala, Sweden. pp.33-40. ⟨hal-00649604⟩
• 
  Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Computer Aided Formal Design of Swarm Robotics Algorithms. 2021. ⟨hal-03111541⟩

3 233

1 834