BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
interact (5)
complet (2)
game (2)
model (2)
prototyp (1)

Stem ludic$ (all stems)

10 papers:

HCIDUXU-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.
CSLCSL-2015-BaeldeDS #fixpoint
Least and Greatest Fixed Points in Ludics (DB, AD, AS), pp. 549–566.
CHICHI-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.
HCIDUXU-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.
Infinitary Completeness in Ludics (MB, KT), pp. 294–303.
LICSLICS-2009-BasaldellaF #exponential #interactive
Ludics with Repetitions (Exponentials, Interactive Types and Completeness) (MB, CF), pp. 375–384.
ICLPICLP-2008-Saurin #interactive #programming #proving #towards
Towards Ludics Programming: Interactive Proof Search (AS), pp. 253–268.
TLCATLCA-2007-FaggianP #linear #π-calculus
Ludics is a Model for the Finitary Linear π-Calculus (CF, MP), pp. 148–162.
LICSLICS-2005-FaggianM #concurrent #game studies #interactive
Ludics Nets, a game Model of Concurrent Interaction (CF, FM), pp. 376–385.
ICALPICALP-2004-Faggian #interactive
Interactive Observability in Ludics (CF), pp. 506–518.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.