Stéphane Gimenez

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 2

Top Topics

User Interaction

Interaction Design

High Computational Complexity

Space Complexity

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Stéphane Gimenez, David Obwaller
Interaction Automata and the ia2d Interpreter. FSCD (2016)
Stéphane Gimenez, Georg Moser
The complexity of interaction. POPL (2016)
Stéphane Gimenez, Georg Moser
The Complexity of Interaction (Long Version). CoRR (2015)
Stéphane Gimenez, Georg Moser
The Structure of Interaction. CSL (2013)
Stéphane Gimenez
Realizability Proof for Normalization of Full Differential Linear Logic. TLCA (2011)