|
BiCoq : Bigraphs Formalisation with Coq
Cécile Marcon
,
Cyril Allignol
,
Celia Picard
,
Blair Archibald
,
Michele Sevegnani
et al.
SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Sicily, Italy. pp.1982-1989, ⟨10.1145/3672608.3707824⟩
Communication dans un congrès
hal-05088148
v1
|
|
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers
Céline Bellanger
,
Pierre-Loïc Garoche
,
Matthieu Martel
,
Célia Picard
FMAS 2023 - 5th International Workshop on Formal Methods for Autonomous Systems, Nov 2023, Leiden, Netherlands. pp.188-204, ⟨10.4204/EPTCS.395.14⟩
Communication dans un congrès
hal-04387928
v1
|
|
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-03790499
v1
|
|
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-03457039
v1
|
|
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⟩
Communication dans un congrès
hal-02389832
v1
|
|
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-02916890
v1
|
|
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⟩
Communication dans un congrès
hal-02389844
v1
|
|
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
Communication dans un congrès
hal-02158902
v1
|
|
Combining Tablets with Smartphones for Data Analytics
Gary Perelman
,
Marcos Serrano
,
Christophe Bortolaso
,
Célia Picard
,
Mustapha Derras
et al.
Communication dans un congrès
hal-02877659
v1
|
|
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
Communication dans un congrès
hal-02389817
v1
|
|
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-01815224
v1
|
|
Cell Selection for Spreadsheets on Tablets: Stacking-Based Interaction
Gary Perelman
,
Marcos Serrano
,
Célia Picard
,
Christophe Bortolaso
,
Mustapha Derras
et al.
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-01866404
v1
|
|
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
Communication dans un congrès
hal-01898855
v1
|
|
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-01882721
v1
|
|
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-01578468
v1
|
|
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
Communication dans un congrès
hal-01500513
v1
|
|
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.
Communication dans un congrès
hal-01116302
v1
|
|
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
Communication dans un congrès
hal-01219926
v1
|
|
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
Communication dans un congrès
hal-01090411
v1
|
|
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-01143261
v1
|
|
Permutations in Coinductive Graph Representation
Célia Picard
,
Ralph Matthes
Communication dans un congrès
hal-01539884
v1
|