Accéder directement au contenu

Celia Picard

27
Documents
Identifiants chercheurs

Présentation

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
Culture et Musées, 2020, 35, pp.77-106. ⟨10.4000/culturemusees.4527⟩
Article dans une revue 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
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⟩
Article dans une revue 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
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⟩
Article dans une revue 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
Article dans une revue hal-02015853v1
Image document

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
Communication dans un congrès 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
Communication dans un congrès 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
TEI 2020, 14th International Conference on Tangible, Embedded, and Embodied Interaction, Feb 2020, Sydney, Australia. pp.487-493, ⟨10.1145/3374920.3374977⟩
Communication dans un congrès 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
Communication dans un congrès hal-02916890v1

Build Your Own Hercules: helping visitors personalize their museum experience

Stéphanie Rey , Célia Picard , Yanis Fatmi , Fanny Franco , Sarah Guilbert
TEI 2020. 14th International Conference on Tangible, Embedded, and Embodied Interaction, Feb 2020, Sydney, Australia. pp.495-502, ⟨10.1145/3374920.3374978⟩
Communication dans un congrès 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
31e conférence francophone sur l'Interaction Homme-Machine, Dec 2019, Grenoble, France
Communication dans un congrès hal-02389817v1
Image document

Combining Tablets with Smartphones for Data Analytics

Gary Perelman , Marcos Serrano , Christophe Bortolaso , Célia Picard , Mustapha Derras
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.439-460, ⟨10.1007/978-3-030-29390-1_24⟩
Communication dans un congrès hal-02877659v1
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
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
Communication dans un congrès hal-02158902v1
Image document

Cell Selection for Spreadsheets on Tablets: Stacking-Based Interaction

Gary Perelman , Marcos Serrano , Célia Picard , Christophe Bortolaso , Mustapha Derras
Conference on Human Factors in Computing Systems (CHI EA 2018), Apr 2018, Montreal, Canada. pp.1-4, ⟨10.1145/3170427.3186546⟩
Communication dans un congrès hal-01866404v1
Image document

Towards Handling Latency in Interactive Software

Sébastien Leriche , Stéphane Conversy , Célia Picard , Daniel Prun , Mathieu Magnaudet
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⟩
Communication dans un congrès 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
30eme conférence francophone sur l'interaction homme-machine, Oct 2018, Brest, France. pp.20-29
Communication dans un congrès hal-01898855v1
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
Communication dans un congrès hal-01882721v1
Image document

Interaction multi-dispositifs pour tableurs sur tablette

Gary Perelman , Marcos Serrano , Célia Picard , Mustapha Derras , Emmanuel Dubois
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⟩
Communication dans un congrès hal-01578468v1
Image document

DECO: A Design Space for Device Composition

Gary Perelman , Marcos Serrano , Mathieu Raynal , Célia Picard , Mustapha Derras
ACM conference on Designing Interactive Systems (DIS 2016), Jun 2016, Brisbane, Australia. pp. 435-446
Communication dans un congrès hal-01500513v1
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
ACM CHI Conference on Human Factors in Computing Systems, Apr 2015, Seoul, South Korea. ⟨10.1145/2702123.2702244⟩
Communication dans un congrès hal-01116302v1
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
27ème conférence francophone sur l'Interaction Homme-Machine., Oct 2015, Toulouse, France. pp.d06
Communication dans un congrès hal-01219926v1
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
IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.91-100
Communication dans un congrès 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⟩
Communication dans un congrès 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
Communication dans un congrès hal-01143261v1
Image document

Conception de logiciels interactifs sûrs avec DJNN

Stéphane Conversy , Sébastien Leriche , Mathieu Magnaudet , Célia Picard , Daniel Prun
Journées nationales du GDR Génie de la Programmation et du Logiciel 2018, Jun 2018, Grenoble, France
Poster de conférence hal-01815218v1
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
ESOF 2018, EuroScience Open Forum, Jul 2018, Toulouse, France. 2018
Poster de conférence hal-01767939v1
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 : ⟩
Thèse tel-00862507v1