Célia Picard

23 papers A* 1A 1B 2C 1Misc 1Journal 3Unranked 13
YearRankTypeTitle / Venue / Authors
2025 Misc conf
BiCoq : Bigraphs Formalisation with Coq.
SAC
Cécile Marcon, Cyril Allignol, Célia Picard, Blair Archibald, Michele Sevegnani, Xavier Thirioux
2025 J jnl
Formally proved specification of non-nested STL formulas as synchronous observers.
Sci. Comput. Program.
Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard
2025 — conf
Reactive Semantics for User Interface Description Languages.
ICE
Basile Pesin, Célia Picard, Cyril Allignol
2024 — conf
Energy Efficient Matrix Computations Through Homomorphic Compression.
ICT4S
Matthieu Martel, Célia Picard, Abdelmouhaimen Sarhane
2023 — conf
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers.
FMAS@iFM
Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard
2022 C conf
Towards a User Interface Description Language Based on Bigraphs.
ICTAC
Nicolas Nalpon, Cyril Allignol, Célia Picard
2020 B conf
Build Your Own Hercules: Helping Visitors Personalize their Museum Experience.
TEI
Stéphanie Rey, Célia Picard, Yanis Fatmi, Fanny Franco, Sarah Guilbert, Jérémie Manéré, Christophe Bortolaso, Mustapha Derras, Nadine Couture, Anke M. Brock
2020 B conf
Designing Tangible Tools for the Creation of Personalized Visits by Museum Professionals.
TEI
Stéphanie Rey, Nadine Couture, Célia Picard, Christophe Bortolaso, Mustapha Derras, Anke M. Brock
2019 — conf
Combining Tablets with Smartphones for Data Analytics.
INTERACT (4)
Gary Perelman, Marcos Serrano, Christophe Bortolaso, Célia Picard, Mustapha Derras, Emmanuel Dubois
2019 — conf
Investigations of Process Mining Methods to discover Process Models on a Large Public Administration Software.
INFORSID
Florent Mouysset, Célia Picard, Christophe Bortolaso, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Mustapha Derras
2018 — conf
Cell Selection for Spreadsheets on Tablets: Stacking-Based Interaction.
CHI Extended Abstracts
Gary Perelman, Marcos Serrano, Célia Picard, Christophe Bortolaso, Mustapha Derras, Emmanuel Dubois
2018 — conf
Combination of tactile devices to interact with a spreadsheet on tablet.
IHM
Gary Perelman, Marcos Serrano, Célia Picard, Christophe Bortolaso, Mustapha Derras, Emmanuel Dubois
2018 J jnl
Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming.
Proc. ACM Hum. Comput. Interact.
Mathieu Magnaudet, Stéphane Chatty, Stéphane Conversy, Sébastien Leriche, Célia Picard, Daniel Prun
2018 — conf
Personalization totem: design of a tangible interface for selecting personalized tours in museums.
IHM
Stéphanie Rey, Célia Picard, Pierre Mauriéras, Anke M. Brock
2018 — conf
Towards Handling Latency in Interactive Software.
STAF Workshops
Sébastien Leriche, Stéphane Conversy, Célia Picard, Daniel Prun, Mathieu Magnaudet
2017 — conf
Multi-device interaction for spreadsheet on tablets.
IHM
Gary Perelman, Marcos Serrano, Célia Picard, Mustapha Derras, Emmanuel Dubois
2016 A conf
DECO: A Design Space for Device Composition.
Conference on Designing Interactive Systems
Gary Perelman, Marcos Serrano, Mathieu Raynal, Célia Picard, Mustapha Derras, Emmanuel Dubois
2015 A* conf
The Roly-Poly Mouse: Designing a Rolling Input Device Unifying 2D and 3D Interaction.
CHI
Gary Perelman, Marcos Serrano, Mathieu Raynal, Célia Picard, Mustapha Derras, Emmanuel Dubois
2014 — conf
Designing an input device to interact with multidimensional data : disco.
IHM
Gary Perelman, Marcos Serrano, Mathieu Raynal, Emmanuel Dubois, Célia Picard, Mustapha Derras
2012 — conf
Permutations in Coinductive Graph Representation.
CMCS
Célia Picard, Ralph Matthes
2012 — —
Représentation coinductive des graphes. (Coinductive graph representation).
Célia Picard
2011 J jnl
Coinductive Graph Representation: the Problem of Embedded Lists.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Célia Picard, Ralph Matthes
2011 — conf
Verification of redecoration for infinite triangular matrices using coinduction.
TYPES
Ralph Matthes, Célia Picard