Célia Picard

According to our database, Célia Picard authored at least 19 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers.

Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

2022

Towards a User Interface Description Language Based on Bigraphs.

Nicolas Nalpon, Cyril Allignol, Célia Picard

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2020

Build Your Own Hercules: Helping Visitors Personalize their Museum Experience.

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

Proceedings of the TEI '20: Fourteenth International Conference on Tangible, 2020

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

Stéphanie Rey, Nadine Couture, Célia Picard, Christophe Bortolaso, Mustapha Derras, Anke M. Brock

Proceedings of the TEI '20: Fourteenth International Conference on Tangible, 2020

2019

Combining Tablets with Smartphones for Data Analytics.

Gary Perelman, Marcos Serrano, Christophe Bortolaso, Célia Picard, Mustapha Derras, Emmanuel Dubois

Proceedings of the Human-Computer Interaction - INTERACT 2019, 2019

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, Christine Maurel, Mustapha Derras

Proceedings of the Actes du XXXVIIème Congrès INFORSID, Paris, France, June 11-14, 2019., 2019

2018

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, Daniel Prun

Proc. ACM Hum. Comput. Interact., 2018

Towards Handling Latency in Interactive Software.

Sébastien Leriche, Stéphane Conversy, Célia Picard, Daniel Prun, Mathieu Magnaudet

Proceedings of the Software Technologies: Applications and Foundations, 2018

Personalization totem: design of a tangible interface for selecting personalized tours in museums.

Stéphanie Rey, Célia Picard, Pierre Mauriéras, Anke M. Brock

Proceedings of the 30th Conference on l'Interaction Homme-Machine, 2018

Combination of tactile devices to interact with a spreadsheet on tablet.

Gary Perelman, Marcos Serrano, Célia Picard, Christophe Bortolaso, Mustapha Derras, Emmanuel Dubois

Proceedings of the 30th Conference on l'Interaction Homme-Machine, 2018

Cell Selection for Spreadsheets on Tablets: Stacking-Based Interaction.

Gary Perelman, Marcos Serrano, Célia Picard, Christophe Bortolaso, Mustapha Derras, Emmanuel Dubois

Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017

Multi-device interaction for spreadsheet on tablets.

Gary Perelman, Marcos Serrano, Célia Picard, Mustapha Derras, Emmanuel Dubois

Proceedings of the 29th Conference on l'Interaction Homme-Machine, 2017

2016

DECO: A Design Space for Device Composition.

Gary Perelman, Marcos Serrano, Mathieu Raynal, Célia Picard, Mustapha Derras, Emmanuel Dubois

Proceedings of the 2016 ACM Conference on Designing Interactive Systems, DIS '16, Brisbane, QLD, Australia, June 04, 2016

2015

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, Emmanuel Dubois

Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

2014

Designing an input device to interact with multidimensional data : disco.

Gary Perelman, Marcos Serrano, Mathieu Raynal, Emmanuel Dubois, Célia Picard, Mustapha Derras

Proceedings of the 26th Conference on l'Interaction Homme-Machine, 2014

2012

Représentation coinductive des graphes. (Coinductive graph representation).

Célia Picard

PhD thesis, 2012

Permutations in Coinductive Graph Representation.

Célia Picard, Ralph Matthes

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011

Coinductive Graph Representation: the Problem of Embedded Lists.

Célia Picard, Ralph Matthes

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Verification of redecoration for infinite triangular matrices using coinduction.

Ralph Matthes, Célia Picard

Proceedings of the 18th International Workshop on Types for Proofs and Programs, 2011