Mike Molloy

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 2

Top Topics

Space Requirements

Theorem Proving

Top Venues

Tangible and Embedded Interaction

Publications

Patrick Bennett, Ilario Bonacina, Nicola Galesi, Tony Huynh, Mike Molloy, Paul Wollan
Space proof complexity for random 3-CNFs. Inf. Comput. 255 (2017)
Patrick Bennett, Ilario Bonacina, Nicola Galesi, Tony Huynh, Mike Molloy, Paul Wollan
Space proof complexity for random 3-CNFs. CoRR (2015)
Larissa Pschetz, Richard Banks, Mike Molloy
Movement crafter. Tangible and Embedded Interaction (2013)
James Scott, Lorna M. Brown, Mike Molloy
Mobile Device Interaction with Force Sensing. Pervasive (2009)
Shahram Izadi, Steve Hodges, Alex Butler, Darren West, Alban Rrustemi, Mike Molloy, William Buxton
ThinSight: a thin form-factor interactive surface technology. Commun. ACM 52 (12) (2009)
Abigail Durrant, Alex S. Taylor, Stuart Taylor, Mike Molloy, Abigail Sellen, David M. Frohlich, Phil Gosset, Laurel M. Swan
Speculative devices for photo display. CHI Extended Abstracts (2008)
Shahram Izadi, Alex Butler, Steve Hodges, Darren West, Malcolm Hall, Bill Buxton, Mike Molloy
Experiences with building a thin form-factor touch and tangible tabletop. Tabletop (2008)