|
|
Painless Support for Static and Runtime Verification of Component-Based Applications
Nuno Gaspar
,
Ludovic Henrio
,
Eric Madelaine
Conference papers
hal-01168757v2
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Continuous Tactile Feedback for Motor-Imagery based Brain-Computer Interaction in a Multitasking Context
Camille Jeunet
,
Chi Vi
,
Daniel Spelmezan
,
Bernard N'Kaoua
,
Fabien Lotte
,
et al.
Conference papers
hal-01159146v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Estimating Visual Comfort in Stereoscopic Displays Using Electroencephalography: A Proof-of-Concept
Jérémy Frey
,
Aurélien Appriou
,
Fabien Lotte
,
Martin Hachet
Conference papers
hal-01157890v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Applicative Bisimulation and Quantum λ-Calculi
Ugo Dal Lago
,
Alessandro Rioli
Conference papers
hal-01231800v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Pointing in Spatial Augmented Reality from 2D Pointing Devices
Renaud Gervais
,
Jérémy Frey
,
Martin Hachet
Conference papers
hal-01153647v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Behavioural Theory for a π-calculus with Preorders
Daniel Hirschkoff
,
Jean-Marie Madiot
,
Xian Xu
Conference papers
hal-01246094v2
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Continuous Mental Effort Evaluation during 3D Object Manipulation Tasks based on Brain and Physiological Signals
Dennis Wobrock
,
Jérémy Frey
,
Delphine Graeff
,
Jean-Baptiste de La Rivière
,
Julien Castet
,
et al.
Conference papers
hal-01157896v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Dynamic Choreographies Safe Runtime Updates of Distributed Applications
Mila Dalla Preda
,
Maurizio Gabbrielli
,
Saverio Giallorenzo
,
Ivan Lanese
,
Jacopo Mauro
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers
hal-01227612v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|