2014

Barboni, Eric, Martinie De Almeida, Celia, Navarre, David, Palanque, Philippe and Winckler, Marco Antonio (2014) Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language. Science of Computer Programming, 86. pp. 3-29.

2016

Hak, Jean-Luc, Winckler, Marco Antonio and Navarre, David (2016) PANDA: prototyping using annotation and decision analysis. In: 8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016).