CV Célia Picard

Stéphanie Rey, Christophe Bortolaso, Anke Brock, Célia Picard, Mustapha Derras, et al.. Interaction homme-machine et personnalisation des visites : enjeux et perspectives critiques. Culture et Musées, Avignon Université, 2020, pp.77-106. ⟨10.4000/culturemusees.4527⟩. ⟨hal-02883368⟩

Gary Perelman, Marcos Serrano, Christophe Bortolaso, Célia Picard, Mustapha Derras, et al.. Combinaison de dispositifs tactiles comme support à l'analyse de données. Journal d'Interaction Personne-Système, Association Francophone d'Interaction Homme-Machine (AFIHM), 2019, Volume 8, Issue 1, Special issue : the best of IHM'2018 (1), pp.1 - 26. ⟨10.46298/jips.5935⟩. ⟨hal-02383908⟩

Mathieu Magnaudet, Stéphane Chatty, Stéphane Conversy, Sébastien Leriche, Célia Picard, et al.. Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming. Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2018, Proceedings of the ACM on Human-Computer Interaction, 2 (EICS), pp.1 - 27. ⟨10.1145/3229094⟩. ⟨hal-01815222⟩

Célia Picard, Ralph Matthes. Coinductive Graph Representation: the Problem of Embedded Lists. Electronic Communications of the EASST, European Association of Software Science and Technology e.V, 2011, Graph Computation Models Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), 39. ⟨hal-02015853⟩

Cécile Marcon, Nicolas Nalpon, Cyril Allignol, Célia Picard. Représentation de programmes SMALA grâce à la théorie des bigraphes. AFADL, Jun 2021, En ligne, France. ⟨hal-03457039⟩

Stéphanie Rey, Célia Picard, yanis Fatmi, Fanny Franco, Sarah Guilbert, et al.. Build Your Own Hercules: helping visitors personalize their museum experience. TEI 2020. 14th International Conference on Tangible, Embedded, and Embodied Interaction, Feb 2020, Sydney, Australia. pp.495-502, ⟨10.1145/3374920.3374978⟩. ⟨hal-02389832⟩

Nicolas Nalpon, Célia Picard, Cyril Allignol, Sébastien Leriche. Vers la vérification de SMALA, un langage réactif interactif. AFADL 2020 - 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2020, Vannes, France. ⟨hal-02916890⟩

Stéphanie Rey, Nadine Couture, Célia Picard, Christophe Bortolaso, Mustapha Derras, et al.. Designing Tangible Tools for the Creation of Personalized Visits by Museum Professionals. TEI 2020, 14th International Conference on Tangible, Embedded, and Embodied Interaction, Feb 2020, Sydney, Australia. pp.487-493, ⟨10.1145/3374920.3374977⟩. ⟨hal-02389844⟩

Gary Perelman, Marcos Serrano, Christophe Bortolaso, Célia Picard, Mustapha Derras, et al.. Combining Tablets with Smartphones for Data Analytics. 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.439-460, ⟨10.1007/978-3-030-29390-1_24⟩. ⟨hal-02877659⟩

Florent Mouysset, Célia Picard, Christophe Bortolaso, Frédéric Migeon, Marie-Pierre Gleizes, et al.. Investigations of Process Mining Methods to discover Process Models on a Large Public Administration Software. 37ème Congrès Informatique des Organisations et Systèmes d'Information et de Décision (INFORSID 2019), Jun 2019, Paris, France. pp.147-162. ⟨hal-02158902⟩

Stéphanie Rey, Célia Picard, yanis Fatmi, Fanny Franco, Sarah Guilbert, et al.. Build Your Own Hercules : une interface tangible de choix de parcours de visites personnalisées au musée. 31e conférence francophone sur l'Interaction Homme-Machine, Dec 2019, Grenoble, France. ⟨hal-02389817⟩

Gary Perelman, Marcos Serrano, Célia Picard, Christophe Bortolaso, Emmanuel Dubois, et al.. Combinaison de dispositifs tactiles pour interagir avec un tableur sur tablette. 30eme conférence francophone sur l'interaction homme-machine, Oct 2018, Brest, France. pp.20-29. ⟨hal-01898855⟩

Gary Perelman, Marcos Serrano, Célia Picard, Christophe Bortolaso, Mustapha Derras, et al.. Cell Selection for Spreadsheets on Tablets: Stacking-Based Interaction. CHI EA '18, Conference on Human Factors in Computing Systems, Apr 2018, Montreal, Canada. pp.1-4, ⟨10.1145/3170427.3186546⟩. ⟨hal-01866404⟩

Sébastien Leriche, Stéphane Conversy, Célia Picard, Daniel Prun, Mathieu Magnaudet. Towards Handling Latency in Interactive Software. FMIS 2018, 7th International Workshop on Formal Methods for Interactive Systems, Jun 2018, Toulouse, France. pp 233-239 /ISBN : 978-3-030-04770-2, ⟨10.1007/978-3-030-04771-9_18⟩. ⟨hal-01815224⟩

Stéphanie Rey, Pierre Mauriéras, Célia Picard, Anke Brock. Totem de Personnalisation : Conception d'une Interface Tangible pour le Choix de Parcours de Visite dans les Musées. IHM 2018, 30e Conférence Francophone sur l’Interaction Homme-Machine., Oct 2018, Brest, France. pp.219-226. ⟨hal-01882721⟩

Gary Perelman, Marcos Serrano, Célia Picard, Mustapha Derras, Emmanuel Dubois. Interaction multi-dispositifs pour tableurs sur tablette. 29ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2017), AFIHM : Association Francophone de l'Interaction Homme-Machine, Aug 2017, Poitiers, France. pp.105-116, ⟨10.1145/3132129.3132132⟩. ⟨hal-01578468⟩

Gary Perelman, Marcos Serrano, Mathieu Raynal, Célia Picard, Mustapha Derras, et al.. DECO: A Design Space for Device Composition. ACM conference on Designing Interactive Systems (DIS 2016), Jun 2016, Brisbane, Australia. pp. 435-446. ⟨hal-01500513⟩

Gary Perelman, Marcos Serrano, Mathieu Raynal, Célia Picard, Mustapha Derras, et al.. The Roly-Poly Mouse: Designing a Rolling Input Device Unifying 2D and 3D Interaction. ACM CHI Conference on Human Factors in Computing Systems, Apr 2015, Seoul, South Korea. ⟨10.1145/2702123.2702244⟩. ⟨hal-01116302⟩

Gary Perelman, Marcos Serrano, Mathieu Raynal, Célia Picard, Mustapha Derras, et al.. Disco(s) : Dispositifs à Multiples Degrés de Liberté pour Interagir avec des Données Multidimensionnelles. 27ème conférence francophone sur l'Interaction Homme-Machine., Oct 2015, Toulouse, France. pp.d06. ⟨hal-01219926⟩

Gary Perelman, Marcos Serrano, Mathieu Raynal, Célia Picard, Mustapha Derras, et al.. Conception d’un Dispositif pour Interagir avec des Données Multidimensionnelles : Disco. IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.91-100. ⟨hal-01090411⟩

Célia Picard, Ralph Matthes. Permutations in Coinductive Graph Representation. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.218-237, ⟨10.1007/978-3-642-32784-1_12⟩. ⟨hal-01539884⟩

Ralph Matthes, Célia Picard. Verification of redecoration for infinite triangular matrices using coinduction. International Workshop on Types and Proofs for Programs - TYPES 2011, Sep 2011, Bergen, Norway. pp. 55-69. ⟨hal-01143261⟩

Stéphanie Rey, Anke Brock, Célia Picard, Christophe Bortolaso, Mustapha Derras, et al.. Individualized Visits to Foster the Engagement and the re-visit in Museums. ESOF 2018, EuroScience Open Forum, Jul 2018, Toulouse, France. 2018. ⟨hal-01767939⟩

Stéphane Conversy, Sébastien Leriche, Mathieu Magnaudet, Célia Picard, Daniel Prun. Conception de logiciels interactifs sûrs avec DJNN. Journées nationales du GDR Génie de la Programmation et du Logiciel 2018, Jun 2018, Grenoble, France. ⟨hal-01815218⟩

Célia Picard. Représentation coinductive des graphes. Théorie et langage formel [cs.FL]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨tel-00862507⟩