Access content directly

Celia Picard

27
Documents
Researcher identifiers

Presentation

Publications

Image document

Interaction homme-machine et personnalisation des visites : enjeux et perspectives critiques

Stéphanie Rey , Christophe Bortolaso , Anke Brock , Célia Picard , Mustapha Derras et al.
Culture et Musées, 2020, 35, pp.77-106. ⟨10.4000/culturemusees.4527⟩
Journal articles hal-02883368v1
Image document

Combinaison de dispositifs tactiles comme support à l'analyse de données

Gary Perelman , Marcos Serrano , Christophe Bortolaso , Célia Picard , Mustapha Derras et al.
Journal d'Interaction Personne-Système, A paraître, Special issue : the best of IHM'2018, Volume 8, Issue 1, Special issue : the best of IHM'2018 (1), pp.1 - 26. ⟨10.46298/jips.5935⟩
Journal articles hal-02383908v1
Image document

Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming

Mathieu Magnaudet , Stéphane Chatty , Stéphane Conversy , Sébastien Leriche , Célia Picard et al.
Proceedings of the ACM on Human-Computer Interaction , 2018, Proceedings of the ACM on Human-Computer Interaction, 2 (EICS), pp.1 - 27. ⟨10.1145/3229094⟩
Journal articles hal-01815222v1
Image document

Coinductive Graph Representation: the Problem of Embedded Lists

Célia Picard , Ralph Matthes
Electronic Communications of the EASST, 2011, Graph Computation Models Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), 39
Journal articles hal-02015853v1

Towards a User Interface Description Language Based on Bigraphs

Nicolas Nalpon , Cyril Allignol , Célia Picard
Theoretical Aspects of Computing – ICTAC 2022, Sep 2022, tbilisi, Georgia
Conference papers hal-03790499v1
Image document

Représentation de programmes SMALA grâce à la théorie des bigraphes

Cécile Marcon , Nicolas Nalpon , Cyril Allignol , Célia Picard
AFADL, Jun 2021, En ligne, France
Conference papers hal-03457039v1

Designing Tangible Tools for the Creation of Personalized Visits by Museum Professionals

Stéphanie Rey , Nadine Couture , Célia Picard , Christophe Bortolaso , Mustapha Derras et al.
TEI 2020, 14th International Conference on Tangible, Embedded, and Embodied Interaction, Feb 2020, Sydney, Australia. pp.487-493, ⟨10.1145/3374920.3374977⟩
Conference papers hal-02389844v1
Image document

Vers la vérification de SMALA, un langage réactif interactif

Nicolas Nalpon , Célia Picard , Cyril Allignol , Sébastien Leriche
AFADL 2020 - 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2020, Vannes, France
Conference papers hal-02916890v1

Build Your Own Hercules: helping visitors personalize their museum experience

Stéphanie Rey , Célia Picard , Yanis Fatmi , Fanny Franco , Sarah Guilbert et al.
TEI 2020. 14th International Conference on Tangible, Embedded, and Embodied Interaction, Feb 2020, Sydney, Australia. pp.495-502, ⟨10.1145/3374920.3374978⟩
Conference papers hal-02389832v1
Image document

Build Your Own Hercules : une interface tangible de choix de parcours de visites personnalisées au musée

Stéphanie Rey , Célia Picard , Yanis Fatmi , Fanny Franco , Sarah Guilbert et al.
31e conférence francophone sur l'Interaction Homme-Machine, Dec 2019, Grenoble, France
Conference papers hal-02389817v1
Image document

Investigations of Process Mining Methods to discover Process Models on a Large Public Administration Software

Florent Mouysset , Célia Picard , Christophe Bortolaso , Frédéric Migeon , Marie-Pierre Gleizes et al.
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
Conference papers hal-02158902v1
Image document

Combining Tablets with Smartphones for Data Analytics

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

Towards Handling Latency in Interactive Software

Sébastien Leriche , Stéphane Conversy , Célia Picard , Daniel Prun , Mathieu Magnaudet et al.
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⟩
Conference papers hal-01815224v1
Image document

Combinaison de dispositifs tactiles pour interagir avec un tableur sur tablette

Gary Perelman , Marcos Serrano , Célia Picard , Christophe Bortolaso , Emmanuel Dubois et al.
30eme conférence francophone sur l'interaction homme-machine, Oct 2018, Brest, France. pp.20-29
Conference papers hal-01898855v1
Image document

Cell Selection for Spreadsheets on Tablets: Stacking-Based Interaction

Gary Perelman , Marcos Serrano , Célia Picard , Christophe Bortolaso , Mustapha Derras et al.
CHI EA '18, Conference on Human Factors in Computing Systems, Apr 2018, Montreal, Canada. pp.1-4, ⟨10.1145/3170427.3186546⟩
Conference papers hal-01866404v1
Image document

Totem de Personnalisation : Conception d'une Interface Tangible pour le Choix de Parcours de Visite dans les Musées

Stéphanie Rey , Pierre Mauriéras , Célia Picard , Anke Brock
IHM 2018, 30e Conférence Francophone sur l’Interaction Homme-Machine., Oct 2018, Brest, France. pp.219-226
Conference papers hal-01882721v1
Image document

Interaction multi-dispositifs pour tableurs sur tablette

Gary Perelman , Marcos Serrano , Célia Picard , Mustapha Derras , Emmanuel Dubois et al.
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⟩
Conference papers hal-01578468v1
Image document

DECO: A Design Space for Device Composition

Gary Perelman , Marcos Serrano , Mathieu Raynal , Célia Picard , Mustapha Derras et al.
ACM conference on Designing Interactive Systems (DIS 2016), Jun 2016, Brisbane, Australia. pp. 435-446
Conference papers hal-01500513v1
Image document

Disco(s) : Dispositifs à Multiples Degrés de Liberté pour Interagir avec des Données Multidimensionnelles

Gary Perelman , Marcos Serrano , Mathieu Raynal , Célia Picard , Mustapha Derras et al.
27ème conférence francophone sur l'Interaction Homme-Machine., Oct 2015, Toulouse, France. pp.d06
Conference papers hal-01219926v1
Image document

The Roly-Poly Mouse: Designing a Rolling Input Device Unifying 2D and 3D Interaction

Gary Perelman , Marcos Serrano , Mathieu Raynal , Célia Picard , Mustapha Derras et al.
ACM CHI Conference on Human Factors in Computing Systems, Apr 2015, Seoul, South Korea. ⟨10.1145/2702123.2702244⟩
Conference papers hal-01116302v1
Image document

Conception d’un Dispositif pour Interagir avec des Données Multidimensionnelles : Disco

Gary Perelman , Marcos Serrano , Mathieu Raynal , Célia Picard , Mustapha Derras et al.
IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.91-100
Conference papers hal-01090411v1
Image document

Permutations in Coinductive Graph Representation

Célia Picard , Ralph Matthes
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⟩
Conference papers hal-01539884v1
Image document

Verification of redecoration for infinite triangular matrices using coinduction

Ralph Matthes , Célia Picard
International Workshop on Types and Proofs for Programs - TYPES 2011, Sep 2011, Bergen, Norway. pp. 55-69
Conference papers hal-01143261v1
Image document

Individualized Visits to Foster the Engagement and the re-visit in Museums

Stéphanie Rey , Anke Brock , Célia Picard , Christophe Bortolaso , Mustapha Derras et al.
ESOF 2018, EuroScience Open Forum, Jul 2018, Toulouse, France. 2018
Conference poster hal-01767939v1
Image document

Conception de logiciels interactifs sûrs avec DJNN

Stéphane Conversy , Sébastien Leriche , Mathieu Magnaudet , Célia Picard , Daniel Prun et al.
Journées nationales du GDR Génie de la Programmation et du Logiciel 2018, Jun 2018, Grenoble, France
Conference poster hal-01815218v1
Image document

Représentation coinductive des graphes

Célia Picard
Théorie et langage formel [cs.FL]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨NNT : ⟩
Theses tel-00862507v1