10 papers:
DUXU-DD-2015-Gasselseder #game studies #music #video- Re-sequencing the Ludic Orchestra — Evaluating the Immersive Effects of Dynamic Music and Situational Context in Video Games (HPG), pp. 458–469.
CSL-2015-BaeldeDS #fixpoint- Least and Greatest Fixed Points in Ludics (DB, AD, AS), pp. 549–566.
CHI-2013-GaverBBBCHJP #approach #human-computer #prototype- Indoor weather stations: investigating a ludic approach to environmental HCI through batch prototyping (WWG, JB, KB, AB, DWTC, MH, NJ, SP), pp. 3451–3460.
- DUXU-NTE-2013-GaoB #case study #comparative #design #interactive
- Designing Ludic Engagement in an Interactive Virtual Dressing Room System — A Comparative Study (YG, EPB), pp. 504–512.
LICS-2010-BasaldellaT- Infinitary Completeness in Ludics (MB, KT), pp. 294–303.
- LICS-2009-BasaldellaF #exponential #interactive
- Ludics with Repetitions (Exponentials, Interactive Types and Completeness) (MB, CF), pp. 375–384.
ICLP-2008-Saurin #interactive #programming #proving #towards- Towards Ludics Programming: Interactive Proof Search (AS), pp. 253–268.
TLCA-2007-FaggianP #linear #π-calculus- Ludics is a Model for the Finitary Linear π-Calculus (CF, MP), pp. 148–162.
- LICS-2005-FaggianM #concurrent #game studies #interactive
- Ludics Nets, a game Model of Concurrent Interaction (CF, FM), pp. 376–385.
ICALP-2004-Faggian #interactive- Interactive Observability in Ludics (CF), pp. 506–518.
