Number of documents

18

CV Célia Picard


Journal articles2 documents

  • 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, 2011, Graph Computation Models Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), 39. ⟨hal-02015853⟩

Conference papers13 documents

  • Florent Mouysset, Célia Picard, Christophe Bortolaso, Frederic Migeon, Marie-Pierre Gleizes, et al.. Investigations of Process Mining Methods to discover Process Models on a Large Public Administration Software. INFORSID 2019, Congrès Informatique des Organisations et Systèmes d'Information et de Décision, Jun 2019, Paris, France. ⟨hal-02158902⟩
  • Gary Perelman, Marcos Serrano, Christophe Bortolaso, Célia Picard, Mustapha Derras, et al.. Combining Tablets with Smartphones for Data Analytics. IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. ⟨hal-02122734⟩
  • 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, 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⟩
  • 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, Mustapha Derras, Emmanuel Dubois. Interaction multi-dispositifs pour tableurs sur tablette. 29ème conférence francophone sur l'Interaction Homme-Machine, AFIHM, Aug 2017, Poitiers, France. 12 p., ⟨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⟩

Poster communications2 documents

  • 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⟩

Theses1 document

  • 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⟩