BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
design (89)
base (75)
learn (70)
use (69)
comput (63)

Stem game$ (all stems)

1009 papers:

DACDAC-2015-Kahng #game studies
New game, new goal posts: a recent history of timing closure (ABK), p. 6.
DATEDATE-2015-CasagrandeR #algorithm #fuzzy #game studies #named #novel #optimisation #robust
GTFUZZ: a novel algorithm for robust dynamic power optimization via gate sizing with fuzzy games (TC, NR), pp. 677–682.
SIGMODSIGMOD-2015-ArmenatzoglouPN #approach #clustering #game studies #graph #multi #realtime #social
Real-Time Multi-Criteria Social Graph Partitioning: A Game Theoretic Approach (NA, HP, VN, DP, CS), pp. 1617–1628.
ITiCSEITiCSE-2015-AycockPS #design #experience #game studies #python
A Game Engine in Pure Python for CS1: Design, Experience, and Limits (JA, EP, SS), pp. 93–98.
ITiCSEITiCSE-2015-Dickson #development #education #game studies #using
Using Unity to Teach Game Development: When You’ve Never Written a Game (PED), pp. 75–80.
FoSSaCSFoSSaCS-2015-ClairambaultD #evaluation #game studies #normalisation #semantics
Game Semantics and Normalization by Evaluation (PC, PD), pp. 56–70.
FoSSaCSFoSSaCS-2015-Ganardi #bound #clique #game studies
Parity Games of Bounded Tree- and Clique-Width (MG), pp. 390–404.
FoSSaCSFoSSaCS-2015-Jaber #game studies #semantics
Operational Nominal Game Semantics (GJ), pp. 264–278.
FoSSaCSFoSSaCS-2015-Velner #decidability #game studies #multi #robust
Robust Multidimensional Mean-Payoff Games are Undecidable (YV), pp. 312–327.
TACASTACAS-2015-BassetKTW #game studies #multi #probability #synthesis
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives (NB, MZK, UT, CW), pp. 256–271.
STOCSTOC-2015-BravermanG #game studies #parallel
Small Value Parallel Repetition for General Games (MB, AG), pp. 335–340.
STOCSTOC-2015-ChenDO #complexity #game studies #nash #on the
On the Complexity of Nash Equilibria in Anonymous Games (XC, DD, AO), pp. 381–390.
DLTDLT-2015-BerwangerB #game studies
Consensus Game Acceptors (DB, MvdB), pp. 108–119.
ICALPICALP-v2-2015-AbramskyJV #dependent type #game studies
Games for Dependent Types (SA, RJ, MV), pp. 31–43.
ICALPICALP-v2-2015-FeldmanF #clustering #framework #game studies
A Unified Framework for Strong Price of Anarchy in Clustering Games (MF, OF), pp. 601–613.
ICALPICALP-v2-2015-FijalkowHKS #bound #game studies #memory management
Trading Bounds for Memory in Games with Counters (NF, FH, DK, MS), pp. 197–208.
ICALPICALP-v2-2015-GairingKK #bound #game studies
Tight Bounds for Cost-Sharing in Weighted Congestion Games (MG, KK, GK), pp. 626–637.
ICALPICALP-v2-2015-JurdzinskiLS #energy #game studies #pseudo
Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (MJ, RL, SS), pp. 260–272.
ICALPICALP-v2-2015-Klein0 #game studies #how #infinity #lookahead #question
How Much Lookahead is Needed to Win Infinite Games? (FK, MZ), pp. 452–463.
ICALPICALP-v2-2015-KuperbergS #automaton #nondeterminism #on the
On Determinisation of Good-for-Games Automata (DK, MS), pp. 299–310.
LATALATA-2015-BeyersdorffCS #game studies
A Game Characterisation of Tree-like Q-resolution Size (OB, LC, KS), pp. 486–498.
LATALATA-2015-CodishCS #game studies #network #sorting
Sorting Networks: The End Game (MC, LCF, PSK), pp. 664–675.
LATALATA-2015-HalavaNP #game studies #on the
On Robot Games of Degree Two (VH, RN, IP), pp. 224–236.
CHICHI-2015-BachourWFHRM #game studies #human-computer #online #people #standard
Provenance for the People: An HCI Perspective on the W3C PROV Standard through an Online Game (KB, RW, MF, TDH, TR, LM), pp. 2437–2446.
CHICHI-2015-BlytheSRO #design #game studies
Solutionism, the Game: Design Fictions for Positive Aging (MB, JS, JR, CO), pp. 3849–3858.
CHICHI-2015-ButlerASGP #analysis #automation #design #game studies
Automatic Game Progression Design through Analysis of Solution Features (EB, EA, AMS, SG, ZP), pp. 2407–2416.
CHICHI-2015-DasZR #game studies #personalisation
Examining Game World Topology Personalization (SD, AZ, MOR), pp. 3731–3734.
CHICHI-2015-DenisovaC #game studies #question
First Person vs. Third Person Perspective in Digital Games: Do Player Preferences Affect Immersion? (AD, PC), pp. 145–148.
CHICHI-2015-DerbovenZVGG #education #game studies
The Fun and the Serious in an Educational Game: The Monkey Tales Case (JD, BZ, JV, DG, DDG), pp. 2829–2832.
CHICHI-2015-GerlingML #game studies #video
Long-Term Use of Motion-Based Video Games in Care Home Settings (KMG, RLM, CL), pp. 1573–1582.
CHICHI-2015-HanXSCW #design #game studies #mobile #monitoring
Balancing Accuracy and Fun: Designing Camera Based Mobile Games for Implicit Heart Rate Monitoring (TH, XX, LS, JFC, JW), pp. 847–856.
CHICHI-2015-HarteveldS #education #game studies #performance
The Goal of Scoring: Exploring the Role of Game Performance in Educational Games (CH, SCS), pp. 2235–2244.
CHICHI-2015-IacovidesC #experience #game studies
Moving Beyond Fun: Evaluating Serious Experience in Digital Games (II, ALC), pp. 2245–2254.
CHICHI-2015-IvkovicSGS #3d #game studies
Quantifying and Mitigating the Negative Effects of Local Latencies on Aiming in 3D Shooter Games (ZI, IS, CG, SWTS), pp. 135–144.
CHICHI-2015-JensenRMG #challenge #design #game studies
Keepin’ it Real: Challenges when Designing Sports-Training Games (MMJ, MKR, F'M, KG), pp. 2003–2012.
CHICHI-2015-JohnsonNW #all about #case study #experience #game studies #video
All about that Base: Differing Player Experiences in Video Game Genres and the Unique Case of MOBA Games (DJ, LEN, PW), pp. 2265–2274.
CHICHI-2015-JohnsonWCW #difference #experience #game studies #process
Cooperative Game Play with Avatars and Agents: Differences in Brain Activity and the Experience of Play (DJ, PW, MC, CW), pp. 3721–3730.
CHICHI-2015-KulshreshthL #3d #experience #game studies #user interface
Exploring 3D User Interface Technologies for Improving the Gaming Experience (AK, JJLJ), pp. 125–134.
CHICHI-2015-KwakBH #behaviour #contest #game studies #online
Exploring Cyberbullying and Other Toxic Behavior in Team Competition Online Games (HK, JB, SH), pp. 3739–3748.
CHICHI-2015-LeeHCK #game studies #video #visual notation
VIZMO Game Browser: Accessing Video Games by Visual Style and Mood (JHL, S(H, HC, YSK), pp. 149–152.
CHICHI-2015-PreistJ #education #game studies #motivation
The Use of Games as Extrinisic Motivation in Education (CP, RJ), pp. 3735–3738.
CHICHI-2015-SlegersRVD #elicitation #game studies #research #user interface #using
Using Game Principles in UX Research: A Board Game for Eliciting Future User Needs (KS, SR, JV, PD), pp. 1225–1228.
CHICHI-2015-TungHWCLWVC #game studies
User-Defined Game Input for Smart Glasses in Public Space (YCT, CYH, HYW, SC, JWL, PJW, AV, MYC), pp. 3327–3336.
CHICHI-2015-Vicencio-Moreira #game studies
Now You Can Compete With Anyone: Balancing Players of Different Skill Levels in a First-Person Shooter Game (RVM, RLM, CG), pp. 2255–2264.
CHICHI-2015-WaddingtonLGHH #design #game studies #people #video
Participatory Design of Therapeutic Video Games for Young People with Neurological Vision Impairment (JW, CL, KMG, KH, TLH), pp. 3533–3542.
CHICHI-2015-Walther-FranksS #design #game studies #learning
Robots, Pancakes, and Computer Games: Designing Serious Games for Robot Imitation Learning (BWF, JS, PS, AH, MB, RM), pp. 3623–3632.
CHICHI-2015-YannierKH #effectiveness #game studies #learning #physics #question #tablet
Learning from Mixed-Reality Games: Is Shaking a Tablet as Effective as Physical Observation? (NY, KRK, SEH), pp. 1045–1054.
CSCWCSCW-2015-FreemanBBH #game studies #gender #online #simulation
Simulating Marriage: Gender Roles and Emerging Intimacy in an Online Game (GF, JB, SB, SCH), pp. 1191–1200.
CSCWCSCW-2015-GuyHC #crowdsourcing #enterprise #framework #game studies
Games for Crowds: A Crowdsourcing Game Platform for the Enterprise (IG, AH, YC), pp. 1860–1871.
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.
HCIDUXU-IXD-2015-EliasFC #game studies #interactive
Ads-on Games and Fake Brands: Interactions, Commercials and Playful Branding (HE, EF, BJAdC), pp. 251–262.
HCIDUXU-IXD-2015-HuangL #coordination #game studies
Heartbeat Jenga: A Biofeedback Board Game to Improve Coordination and Emotional Control (YCH, CHL), pp. 263–270.
HCIDUXU-IXD-2015-LapasO #evaluation #experience #game studies #interactive #user interface
Evaluation of User Experience in Interaction with Computer Games (TL, TO), pp. 271–282.
HCIDUXU-IXD-2015-RaffaeleAJCPCS #analysis #game studies #legacy #multi #usability
Doctor Who: Legacy, an Analysis of Usability and Playability of a Multi-platform Game (RR, RA, IJ, BC, GP, BJAdC, MMS), pp. 283–291.
HCIDUXU-IXD-2015-TeixeiraANT #composition #game studies #music
Improving Song Guessing Games Through Music Track Composition (JMXNT, DA, EVN, VT), pp. 303–314.
HCIDUXU-IXD-2015-TeixeiraCAMLSN #game studies #named #simulation #usability
Newsgames: Gameplay and Usability in Simulation Games (CT, BJAdC, JA, VM, AL, MMS, AN), pp. 292–302.
HCIDUXU-IXD-2015-TorokPLTVCM #adaptation #game studies #interactive
Evaluating and Customizing User Interaction in an Adaptive Game Controller (LT, MP, JL, DGT, CNV, EC, AAM), pp. 315–326.
HCIDUXU-UI-2015-BeltranUPSSSPCA #design #game studies #learning
Inclusive Gaming Creation by Design in Formal Learning Environments: “Girly-Girls” User Group in No One Left Behind (MEB, YU, AP, CS, WS, BS, SdlRP, MFCU, MTA), pp. 153–161.
HCIDUXU-UI-2015-KissingerM #game studies #interface #usability
Usability of Touchpad Based Game Controller Interfaces (JK, TM), pp. 452–463.
HCIHCI-DE-2015-SugiuraSO #implementation #metric #security #using
Improving IT Security Through Security Measures: Using Our Game-Theory-Based Model of IT Security Implementation (MS, HS, TO), pp. 82–95.
HCIHCI-IT-2015-BhanushaliMV #embedded #gesture #interface #low cost #recognition
A Dome-Shaped Interface Embedded with Low-Cost Infrared Sensors for Car-Game Control by Gesture Recognition (JB, SPM, KV), pp. 575–583.
HCIHCI-IT-2015-CravenSGNSY #game studies #video
Evaluating a Public Display Installation with Game and Video to Raise Awareness of Attention Deficit Hyperactivity Disorder (MPC, LS, AG, SN, HS, ZY), pp. 584–595.
HCIHCI-IT-2015-GohPL #game studies
An Investigation of Reward Systems in Human Computation Games (DHLG, EPPPT, CSL), pp. 596–607.
HCIHCI-IT-2015-PolsonS #design #empirical #game studies
“Blind Faith”. An Experiment with Narrative Agency in Game Design (DP, VS), pp. 618–627.
HCIHCI-IT-2015-RughinisM #game studies #video
Play to Remember: The Rhetoric of Time in Memorial Video Games (RR, SM), pp. 628–639.
HCIHCI-IT-2015-RughinisT #game studies #gender #quote #sketching
“Sketchy Wives” and “Funny Heroines” — Doing and Undoing Gender in Art Games (CR, ET), pp. 640–648.
HCIHCI-IT-2015-YamamotoYS #game studies #gamification
Gamification Effect of Collection System for Digital Photographs with Geographic Information which Utilizes Land Acquisition Game (RY, TY, NS), pp. 649–659.
HCIHCI-IT-2015-ZhaoH #concept #game studies #online
A Conceptual Model of Online Game Continuance Playing (FZ, QH), pp. 660–669.
HCIHCI-IT-2015-ZhuF #analysis #game studies #online
A Lexical Analysis of Nouns and Adjectives from Online Game Reviews (MZ, XF), pp. 670–680.
HCIHIMI-IKD-2015-ZhangA #game studies #mobile #research
The Research of the Influence of Customer Perceived Value to Customer Satisfaction in Mobile Games (KZ, YA), pp. 678–687.
HCILCT-2015-ArenasZDA #artificial reality #development #education #framework #game studies
A Platform for Supporting the Development of Mixed Reality Environments for Educational Games (LA, TZ, PD, IA), pp. 537–548.
HCILCT-2015-CulenPSC #game studies #motivation #question
Can Games Motivate Urban Youth for Civic Engagement? (ALC, SP, SS, KC), pp. 549–560.
HCILCT-2015-KimAKW #game studies #learning
H-Treasure Hunt: A Location and Object-Based Serious Game for Cultural Heritage Learning at a Historic Site (HK, SA, SK, WW), pp. 561–572.
HCILCT-2015-KimOP #education #game studies #gesture #performance
Developing an Educational Game for Art Education — Gesture Recognition-Based Performance Guidance for Mozart’s Opera Magic Flute (HSK, SHO, YHP), pp. 573–582.
HCILCT-2015-KlemkeKLS #education #game studies #learning #mobile #multi
Transferring an Educational Board Game to a Multi-user Mobile Learning Game to Increase Shared Situational Awareness (RK, SK, HL, MS), pp. 583–594.
HCILCT-2015-KobanLO #game studies #video
Good Newbie or Poor Newbie? Determinants of Video Game Skill Acquisition at an Early Stage (KK, BL, PO), pp. 608–619.
HCILCT-2015-OrehovackiB #game studies #learning #programming #quality
Inspecting Quality of Games Designed for Learning Programming (TO, SB), pp. 620–631.
HCILCT-2015-VallsRF #architecture #design #education #game studies #roadmap
E-Learning and Serious Games — New Trends in Architectural and Urban Design Education (FV, ER, DF), pp. 632–643.
HCILCT-2015-YusoffK #design #game studies #interactive #learning #persuasion
Game Rhetoric: Interaction Design Model of Persuasive Learning for Serious Games (ZY, AK), pp. 644–654.
CAiSECAiSE-2015-FukusumiMK #approach #crowdsourcing #data transformation #game studies
Game Aspect: An Approach to Separation of Concerns in Crowdsourced Data Management (SF, AM, HK), pp. 3–19.
ICEISICEIS-v1-2015-ZhengLL #contest
A Game-theory based Model for Analyzing E-marketplace Competition (JZ, WL, DLL), pp. 650–657.
ICEISICEIS-v3-2015-AgarwalS #comprehension #development #game studies
Understanding Game Modding through Phases of Mod Development (SA, PS), pp. 114–121.
ICEISICEIS-v3-2015-CanteriGSI #design #education #game studies #guidelines #set #video
Video Games in Education of Deaf Children — A Set of Pratical Design Guidelines (RdPC, LSG, TAFdS, CEAI), pp. 122–129.
ICMLICML-2015-HeinrichLS #game studies #self
Fictitious Self-Play in Extensive-Form Games (JH, ML, DS), pp. 805–813.
ICMLICML-2015-MaeharaYK #game studies #multi #perspective #problem
Budget Allocation Problem with Multiple Advertisers: A Game Theoretic View (TM, AY, KiK), pp. 428–437.
ICMLICML-2015-PerolatSPP #approximate #game studies #markov #programming
Approximate Dynamic Programming for Two-Player Zero-Sum Markov Games (JP, BS, BP, OP), pp. 1321–1329.
RecSysRecSys-2015-BanksRS #game studies #recommendation #using
The Recommendation Game: Using a Game-with-a-Purpose to Generate Recommendation Data (SB, RR, BS), pp. 305–308.
SIGIRSIGIR-2015-Zhai #framework #game studies #information retrieval #towards
Towards a Game-Theoretic Framework for Information Retrieval (CZ), p. 543.
MoDELSMoDELS-2015-IftikharIKM #approach #automation #framework #game studies #modelling #testing
An automated model based testing approach for platform games (SI, MZI, MUK, WM), pp. 426–435.
SACSAC-2015-BergentiCG #framework #game studies #mobile #scalability #social
A scalable platform for mobile social gaming (FB, GC, DG), pp. 2239–2244.
SACSAC-2015-CamaraGS0 #adaptation #architecture #game studies #model checking #probability #self
Optimal planning for architecture-based self-adaptation via model checking of stochastic games (JC, DG, BRS, AP), pp. 428–435.
SACSAC-2015-CruzPQSSOBO #algorithm #game studies #named #probability #using
Amê: an environment to learn and analyze adversarial search algorithms using stochastic card games (ABC, LP, JQ, US, SS, AO, EB, ESO), pp. 208–213.
SACSAC-2015-MinsamS #game studies
Sustaining mutual cooperation in iterated prisoner’s dilemma game (KM, KYS), pp. 335–337.
SACSAC-2015-RajtmajerGMS #behaviour #game studies #network #online #social
An evolutionary game model for the spread of non-cooperative behavior in online social networks (SMR, CG, DM, ACS), pp. 1154–1159.
SACSAC-2015-RodriguesMSS #3d #education #game studies #interactive
Beyond fun: an interactive and educational 3D traffic rules game controlled by non-traditional devices (MAFR, DVdM, YRS, YRS), pp. 239–246.
SACSAC-2015-TambeN #behaviour #game studies #modelling #resource management #robust #security
Robust resource allocation in security games and ensemble modeling of adversary behavior (AT, TN), pp. 277–282.
SACSAC-2015-UshawDEM #benchmark #game studies #metric
Benchmarking motion sensing devices for rehabilitative gaming (GU, RD, JAE, GM), pp. 143–148.
ICSEICSE-v2-2015-MonsalveLW #education #game studies #learning
Transparently Teaching in the Context of Game-based Learning: the Case of SimulES-W (ESM, JCSdPL, VMBW), pp. 343–352.
CAVCAV-2015-BrenguierR #game studies #multi
Pareto Curves of Multidimensional Mean-Payoff Games (RB, JFR), pp. 251–267.
CSLCSL-2015-Klein0 #game studies #lookahead #what
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead (FK, MZ), pp. 519–533.
LICSLICS-2015-Bojanczyk #game studies
Star Height via Games (MB), pp. 214–219.
LICSLICS-2015-CarayolS #game studies #how #question
How Good Is a Strategy in a Game with Nature? (AC, OS), pp. 609–620.
LICSLICS-2015-CastellanCW #game studies #parallel
The Parallel Intensionally Fully Abstract Games Model of PCF (SC, PC, GW), pp. 232–243.
LICSLICS-2015-DisneyF #game studies #semantics
Game Semantics for Type Soundness (TD, CF), pp. 104–114.
LICSLICS-2015-TsukadaO #game studies #nondeterminism #semantics
Nondeterminism in Game Semantics via Sheaves (TT, CHLO), pp. 220–231.
QoSAQoSA-2014-OlssonTWE #architecture #consistency #evaluation #game studies
Evaluation of a static architectural conformance checking method in a line of computer games (TO, DT, AW, ME), pp. 113–118.
DACDAC-2014-PathaniaJPM #3d #cpu #game studies #gpu #mobile #power management
Integrated CPU-GPU Power Management for 3D Mobile Games (AP, QJ, AP, TM), p. 6.
CSEETCSEET-2014-PotterSDW #game studies #learning #named
InspectorX: A game for software inspection training and learning (HP, MS, LD, VW), pp. 55–64.
ITiCSEITiCSE-2014-Hidalgo-CespedesRL #concept #design #game studies #learning #programming #video
Playing with metaphors: a methodology to design video games for learning abstract programming concepts (JHC, GMR, VLV), p. 348.
ITiCSEITiCSE-2014-Hijon-NeiraVPC #experience #game studies #learning #programming
Game programming for improving learning experience (RBHN, JÁVI, CPR, LC), pp. 225–230.
ITiCSEITiCSE-2014-SchmolitzkyG
Guess my object: an “objects first” game on objects’ behavior and implementation with bluej (AS, TG), pp. 219–224.
FoSSaCSFoSSaCS-2014-AvniKT #game studies
Network-Formation Games with Regular Objectives (GA, OK, TT), pp. 119–133.
FoSSaCSFoSSaCS-2014-Chatterjee0GO #game studies #probability
Perfect-Information Stochastic Mean-Payoff Parity Games (KC, LD, HG, YO), pp. 210–225.
FoSSaCSFoSSaCS-2014-Chatterjee0NV #complexity #game studies #probability
The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies (KC, LD, SN, MYV), pp. 242–257.
FoSSaCSFoSSaCS-2014-Lang #automaton #game studies #graph #reachability
Resource Reachability Games on Pushdown Graphs (ML0), pp. 195–209.
FoSSaCSFoSSaCS-2014-MurawskiT #exception #game studies #semantics
Game Semantics for Nominal Exceptions (ASM, NT), pp. 164–179.
STOCSTOC-2014-Mehta #constant #game studies #rank
Constant rank bimatrix games are PPAD-hard (RM), pp. 545–554.
AFLAFL-2014-CarapelleFGQ13 #game studies #word
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 174–187.
AFLAFL-2014-HutagalungLL #automaton #game studies #simulation
Buffered Simulation Games for Büchi Automata (MH, ML, ÉL), pp. 286–300.
ICALPICALP-v1-2014-AllamigeonBG #algorithm #game studies #polynomial
The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average (XA, PB, SG), pp. 89–100.
ICALPICALP-v1-2014-ChaillouxS #exponential #game studies #parallel
Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information Cost (AC, GS), pp. 296–307.
ICALPICALP-v1-2014-CleveM #constraints #game studies
Characterization of Binary Constraint System Games (RC, RM), pp. 320–331.
ICALPICALP-v1-2014-KrawczykW #game studies #graph #online
Coloring Relatives of Interval Overlap Graphs via On-line Games (TK, BW), pp. 738–750.
ICALPICALP-v1-2014-TulsianiWZ #game studies #graph #parallel #rank
Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs (MT, JW, YZ), pp. 1003–1014.
ICALPICALP-v2-2014-Chatterjee0 #game studies
Games with a Weak Adversary (KC, LD), pp. 110–121.
ICALPICALP-v2-2014-ChatterjeeI #complexity #game studies
The Complexity of Ergodic Mean-payoff Games (KC, RIJ), pp. 122–133.
LATALATA-2014-KleinMBK #automaton #model checking #probability #question
Are Good-for-Games Automata Good for Probabilistic Model Checking? (JK, DM, CB, SK), pp. 453–465.
GRAPHITEGRAPHITE-2014-KantP #game studies #generative
Generating and Solving Symbolic Parity Games (GK, JvdP), pp. 2–14.
CHICHI-2014-BonsignoreMNHKD #authentication #design #game studies #interactive
Design tactics for authentic interactive fiction: insights from alternate reality game designers (EMB, VM, CN, DLH, KK, AD), pp. 947–950.
CHICHI-2014-CairnsLWN #game studies #mobile
The influence of controllers on immersion in mobile games (PC, JL, WW, AIN), pp. 371–380.
CHICHI-2014-DownsVHLS #experience #game studies #social
Audience experience in social videogaming: effects of turn expectation and game physicality (JD, FV, SH, SL, WS), pp. 3473–3482.
CHICHI-2014-DunwellFPHALS #approach #game studies #learning #safety
A game-based learning approach to road safety: the code of everand (ID, SdF, PP, MH, SA, PL, CDS), pp. 3389–3398.
CHICHI-2014-GarnerWPMM #game studies #named #representation
i-dentity: innominate movement representation as engaging game element (JG, GW, SP, MM, FM), pp. 2181–2190.
CHICHI-2014-GerlingMBMO #game studies #people #persuasion #towards #using
The effects of embodied persuasive games on player attitudes toward people using wheelchairs (KMG, RLM, MVB, MM, RO), pp. 3413–3422.
CHICHI-2014-HarpsteadMAM #design #education #game studies #using
Using extracted features to inform alignment-driven design ideas in an educational game (EH, CJM, VA, BAM), pp. 3329–3338.
CHICHI-2014-LaureyssensCCMCM #approach #component #composition #game studies #named #network
ZWERM: a modular component network approach for an urban participation game (TL, TC, LC, PM, JC, AVM), pp. 3259–3268.
CHICHI-2014-MeklerBTO #bibliography #game studies
A systematic review of quantitative studies on the enjoyment of digital entertainment games (EDM, JAB, ANT, KO), pp. 927–936.
CHICHI-2014-MuellerGVE #design #game studies #process
Supporting the creative game design process with exertion cards (FM, MRG, FV, DE), pp. 2211–2220.
CHICHI-2014-MuellerI #game studies #guidelines
Movement-based game guidelines (FM, KI), pp. 2191–2200.
CHICHI-2014-NguyenDCWD #game studies
DoDo game, a color vision deficiency screening test for young children (LCN, EYLD, AC, YW, HBLD), pp. 2289–2292.
CHICHI-2014-ORourkeHBDP #education #game studies #persistent
Brain points: a growth mindset incentive structure boosts persistence in an educational game (EO, KH, CB, CSD, ZP), pp. 3339–3348.
CHICHI-2014-PilliasRL #design #game studies #lessons learnt #video
Designing tangible video games: lessons learned from the sifteo cubes (CP, RRB, GL), pp. 3163–3166.
CHICHI-2014-Ruggiero #game studies #learning #named #persuasion #student #towards #video
Spent: changing students’ affective learning toward homelessness through persuasive video game play (DNR), pp. 3423–3432.
CHICHI-2014-SchildLM #3d #behaviour #design #game studies #using #video
Altering gameplay behavior using stereoscopic 3D vision-based video game design (JS, JJLJ, MM), pp. 207–216.
CHICHI-2014-SheininG #difference #game studies #in the small #physics
Exertion in the small: improving differentiation and expressiveness in sports games with physical controls (MS, CG), pp. 1845–1854.
CHICHI-2014-Smith #analysis #comprehension #game studies #generative
Understanding procedural content generation: a design-centric analysis of the role of PCG in games (GS), pp. 917–926.
CHICHI-2014-TanLS #case study #experience #game studies #video
Combining think-aloud and physiological data to understand video game experiences (CTT, TWL, SS), pp. 381–390.
CHICHI-2014-TewariC #game studies #what
What did spot hide?: a question-answering game for preschool children (AT, JC), pp. 1807–1816.
CHICHI-2014-Vicencio-MoreiraMGB #effectiveness #game studies
The effectiveness (or lack thereof) of aim-assist techniques in first-person shooter games (RVM, RLM, CG, SB), pp. 937–946.
CHICHI-2014-Wohn #game studies #online #social
Spending real money: purchasing patterns of virtual goods in an online social game (DYW), pp. 3359–3368.
CHICHI-2014-ZaczynskiW #design #game studies #guidelines #interactive
Establishing design guidelines in interactive exercise gaming: preliminary data from two posing studies (MZ, ADW), pp. 1875–1884.
CSCWCSCW-2014-ProcykN #design #evaluation #game studies #named
GEMS: the design and evaluation of a location-based storytelling game (JP, CN), pp. 1156–1166.
CSCWCSCW-2014-SaveryGGB #consistency #experience #game studies #maintenance #performance
The effects of consistency maintenance methods on player experience and performance in networked games (CS, TCNG, CG, MB), pp. 1344–1355.
CSCWCSCW-2014-ShoresHSKR #game studies #identification #multi
The identification of deviance and its impact on retention in a multiplayer game (KBS, YH, KLS, RK, JR), pp. 1356–1365.
HCIDHM-2014-PanneseMLADB #game studies #named
Pegaso: A Serious Game to Prevent Obesity (LP, DM, PL, SA, ID, TB), pp. 427–435.
HCIDUXU-DI-2014-BrandseT14a #categorisation #challenge #design #game studies #video
Challenge Design and Categorization in Video Game Design (MB, KT), pp. 669–677.
HCIDUXU-DI-2014-GotsisLRHPFTJ #artificial reality #case study #design #game studies #named #video
Skyfarer: Design Case Study of a Mixed Reality Rehabilitation Video Game (MG, VL, PR, LLH, ICP, FF, DT, MJM), pp. 699–710.
HCIDUXU-DI-2014-Hellweg #development #education #future of #game studies #what
Wanting the Unwanted — What Games Can Teach Us about the Future of Software Development (DH), pp. 711–719.
HCIDUXU-DI-2014-Luz #evolution #experience #game studies #interface #physics
Evolution of the Physical Interfaces in Videogames as a Support to the Narrative and the Gaming Experience (ARdL), pp. 688–698.
HCIDUXU-DI-2014-NovickVSG #analysis #empirical #game studies #usability
Empirical Analysis of Playability vs. Usability in a Computer Game (DGN, JV, BS, IG), pp. 720–731.
HCIDUXU-DI-2014-Riha #game studies #information management
Cutscenes in Computer Games as an Information System (DR), pp. 661–668.
HCIDUXU-DI-2014-RugenhagenH #design #development #game studies #research
Game Design Techniques in User Research Methods — A New Way to Reach the High Score in Development Teams (ER, TH), pp. 754–762.
HCIDUXU-DI-2014-ShinKKJS #design #game studies #interactive #process
A New Design Process for Viewer Participation in Interactive TV Program: Focused on the Interactive TV Game Show Hae-un-dae (JS, HJK, JIK, BGJ, CS), pp. 763–772.
HCIDUXU-DI-2014-VianaN #artificial reality #game studies #interactive
Immersive Interactive Narratives in Augmented Reality Games (BSV, RN), pp. 773–781.
HCIDUXU-DI-2014-Wanner #design #empirical #game studies #simulation
Serious Economic Games: Designing a Simulation Game for an Economic Experiment (DW), pp. 782–793.
HCIDUXU-DP-2014-Al-RubaianAAAAAAAAAAAAA #design #development #game studies
The Design and Development of Empathetic Serious Games for Dyslexia: BCI Arabic Phonological Processing Training Systems (AAR, LA, RA, WA, HA, NA, HAN, AA, SA, RA, AAS, DAO, GA, AAW), pp. 105–112.
HCIDUXU-TMT-2014-DanylakK #game studies
The Language Game (RD, KK), pp. 55–63.
HCIDUXU-TMT-2014-Elias #game studies
The Bridge — A Transmedia Dialogue between TV, Film and Gaming (HE), pp. 548–559.
HCIDUXU-TMT-2014-JerzakR #evaluation #game studies #heuristic
Serious Games and Heuristic Evaluation — The Cross-Comparison of Existing Heuristic Evaluation Methods for Games (NJ, FR), pp. 453–464.
HCIDUXU-TMT-2014-ZhuF #game studies #heuristic #online
Developing Playability Heuristics for Computer Games from Online Reviews (MZ, XF), pp. 496–505.
HCIHCI-AS-2014-AlvarezHHKLLL #framework #game studies
From Screens to Devices and Tangible Objects: A Framework Applied to Serious Games Characterization (JA, SH, CH, CK, YL, SL, AL), pp. 559–570.
HCIHCI-AS-2014-BovetR #experience #game studies
Assembling the Collective Experience of a Serious Game Mediation as an Interactional Practice (AB, MR), pp. 571–580.
HCIHCI-AS-2014-LouLP #distance #game studies #how
Distance Effect: Where You Stand Determines How Promptly You Interact with Game (XL, AXL, RP), pp. 614–621.
HCIHCI-AS-2014-MoserF #branch #experience #feedback #game studies
Narrative Control and Player Experience in Role Playing Games: Decision Points and Branching Narrative Feedback (CM, XF), pp. 622–633.
HCIHCI-AS-2014-Nakanishi #game studies #prototype #simulation #visualisation
Prototyping for Digital Sports Integrating Game, Simulation and Visualization (YN), pp. 634–642.
HCIHCI-AS-2014-SchwallerKAL #feedback #gesture #learning #visual notation
Improving In-game Gesture Learning with Visual Feedback (MS, JK, LA, DL), pp. 643–653.
HCIHCI-AS-2014-SengulCOTE #3d #game studies #integration #user interface
Haptic User Interface Integration for 3D Game Engines (GS, NEÇ, , ET, BE), pp. 654–662.
HCIHIMI-DE-2014-BannaiKA #education #game studies #interface
Food Practice Shooter: A Serious Game with a Real-World Interface for Nutrition and Dietary Education (YB, TK, NA), pp. 139–147.
HCILCT-TRE-2014-FonsecaGNTPMM #education #game studies #named #social
BIZZY — A Social Game for Entrepreneurship Education (BF, RG, RRN, MST, HP, LM, PM), pp. 33–41.
HCILCT-TRE-2014-Hayes14a #approach #development #game studies #learning #simulation
An Approach to Holistic Development of Serious Games and Learning Simulations (ATH), pp. 42–49.
HCILCT-TRE-2014-RouillardSDC #agile #game studies #mobile #prototype
Rapid Prototyping for Mobile Serious Games (JR, AS, BD, RC), pp. 194–205.
HCISCSM-2014-RayaRRP #adaptation #game studies #using
Using Serious Games to Train Adaptive Emotional Regulation Strategies (MAR, ARO, BR, EP), pp. 541–549.
ICEISICEIS-v2-2014-ZhengLLZX #e-commerce #framework #game studies
e-Commerce Game Model — Balancing Platform Service Charges with Vendor Profitability (JZ, DLL, WL, ZKZ, HX), pp. 613–619.
ICEISICEIS-v3-2014-MatsumotoY #game studies
Psychological Effect of Robot Interruption in Game (MM, HY), pp. 133–137.
CIKMCIKM-2014-FangZTSFSDZL #behaviour #game studies #modelling #network #social
Modeling Paying Behavior in Game Social Networks (ZF, XZ, JT, WS, ACMF, LS, YD, LZ, JL), pp. 411–420.
CIKMCIKM-2014-RokickiCZS #crowdsourcing #design #effectiveness #game studies
Competitive Game Designs for Improving the Cost Effectiveness of Crowdsourcing (MR, SC, SZ, SS), pp. 1469–1478.
ICMLICML-c2-2014-LinAKLC #combinator #feedback #game studies #linear #monitoring
Combinatorial Partial Monitoring Game with Linear Feedback and Its Applications (TL, BDA, RDK, JL, WC), pp. 901–909.
ICPRICPR-2014-AlmogahedK #game studies #named #using
NEATER: Filtering of Over-sampled Data Using Non-cooperative Game Theory (BAA, IAK), pp. 1371–1376.
ICPRICPR-2014-ChakeriH #approach #clustering #framework #game studies #set
Dominant Sets as a Framework for Cluster Ensembles: An Evolutionary Game Theory Approach (AC, LOH), pp. 3457–3462.
ICPRICPR-2014-TouaziMB #feature model #game studies
Feature Selection Scheme Based on Zero-Sum Two-Player Game (AT, FM, DB), pp. 1342–1347.
KRKR-2014-ClercqBSCN #game studies #programming #set #using
Using Answer Set Programming for Solving Boolean Games (SDC, KB, SS, MDC, AN).
KRKR-2014-GirleaAG #game studies
Tracking Beliefs and Intentions in the Werewolf Game (CLG, EA, RG).
KRKR-2014-GutierrezHW #concurrent #reasoning
Reasoning about Equilibria in Game-Like Concurrent Systems (JG, PH, MW).
KRKR-2014-IanovskiO #game studies
EGuaranteeNash for Boolean Games Is NEXP-Hard (EI, LO).
SEKESEKE-2014-SantosBSC #game studies #learning #programming #semantics #source code
A Semantic Analyzer for Simple Games Source Codes to Programming Learning (ECOdS, GBB, VHVdS, EC), pp. 522–527.
SIGIRSIGIR-2014-LuoZY #game studies #probability
Win-win search: dual-agent stochastic game in session search (JL, SZ, HY), pp. 587–596.
PPDPPPDP-2014-NilssonP #declarative #game studies #programming #tutorial
Declarative Game Programming: Distilled Tutorial (HN, IP), pp. 159–160.
QAPLQAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named #refinement
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 48–63.
POPLPOPL-2014-BeyeneCPR #approach #constraints #game studies #graph #infinity
A constraint-based approach to solving games on infinite graphs (TAB, SC, CP, AR), pp. 221–234.
POPLPOPL-2014-MurawskiT #game studies #interface #java #semantics
Game semantics for interface middleweight Java (ASM, NT), pp. 517–528.
RERE-2014-Daneva #approach #game studies #how #multi #online #requirements
How practitioners approach gameplay requirements? An exploration into the context of massive multiplayer online role-playing games (MD), pp. 3–12.
RERE-2014-PutnamC #approach #game studies #multi #requirements
Therapist-centered requirements: A multi-method approach of requirement gathering to support rehabilitation gaming (CP, JC), pp. 13–22.
RERE-2014-TohonenKM #case study #game studies
Evaluating the business value of information technology: Case study on game management system (HT, MK, TM), pp. 283–292.
REFSQREFSQ-2014-CooperNL #education #formal method #game studies #modelling #requirements #towards
Towards Model-Driven Requirements Engineering for Serious Educational Games: Informal, Semi-formal, and Formal Models (KMLC, ESN, CSL), pp. 17–22.
REFSQREFSQ-2014-KasurinenMS #development #game studies #question #requirements
Is Requirements Engineering Useless in Game Development? (JK, AM, KS), pp. 1–16.
SACSAC-2014-GomesACHS #agile #development #framework #game studies #using
Rapid development of first person serious games using the APEX platform: the asthma game (TG, TA, JCC, MDH, JLS), pp. 169–174.
SACSAC-2014-GraziadioDSSUME #game studies #identification #video
Bespoke video games to provide early response markers to identify the optimal strategies for maximizing rehabilitation (SG, RD, KS, KMAS, GU, GM, JAE), pp. 20–24.
FSEFSE-2014-KhalidNSH #android #case study #game studies
Prioritizing the devices to test your app on: a case study of Android game apps (HK, MN, ES, AEH), pp. 610–620.
ICSEICSE-2014-Murphy-HillZN #development #game studies #how #quality #question #video
Cowboys, ankle sprains, and keepers of quality: how is video game development different from software development? (ERMH, TZ, NN), pp. 1–11.
CAVCAV-2014-NarodytskaLBRW #game studies
Solving Games without Controllable Predecessor (NN, AL, FB, LR, AW), pp. 533–540.
ICSTICST-2014-VarvaressosLMGH #automation #case study #debugging #game studies #monitoring #runtime #video
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring (SV, KL, ABM, SG, SH), pp. 143–152.
IJCARIJCAR-2014-AvniKT #game studies #reachability #specification
From Reachability to Temporal Specifications in Cost-Sharing Games (GA, OK, TT), pp. 1–15.
LICSLICS-CSL-2014-AbdullaAHMKT #energy #game studies #infinity
Infinite-state energy games (PAA, MFA, PH, RM, KNK, PT), p. 10.
LICSLICS-CSL-2014-BrenguierRS #complexity #game studies
The complexity of admissibility in ω-regular games (RB, JFR, MS), p. 10.
LICSLICS-CSL-2014-BruyereMR #game studies
Secure equilibria in weighted games (VB, NM, JFR), p. 26.
LICSLICS-CSL-2014-CastellanCW #concurrent #game studies #symmetry
Symmetry in concurrent games (SC, PC, GW), p. 10.
LICSLICS-CSL-2014-GutierrezW #concurrent #game studies
Equilibria of concurrent games on event structures (JG, MW), p. 10.
LICSLICS-CSL-2014-LevyS #game studies
Transition systems over games (PBL, SS), p. 10.
LICSLICS-CSL-2014-RouxP #game studies #infinity
Infinite sequential games with real-valued payoffs (SLR, AP), p. 10.
LICSLICS-CSL-2014-TsukadaO #composition #game studies #higher-order #model checking
Compositional higher-order model checking via ω-regular games over Böhm trees (TT, CHLO), p. 10.
VMCAIVMCAI-2014-Chatterjee0FR #game studies
Doomsday Equilibria for Omega-Regular Games (KC, LD, EF, JFR), pp. 78–97.
ASEASE-2013-Garcia-GalanTC #approach #game studies #multi #variability
Multi-user variability configuration: A game theoretic approach (JGG, PT, ARC), pp. 574–579.
ASEASE-2013-KukrejaHT #game studies #testing #using
Randomizing regression tests using game theory (NK, WGJH, MT), pp. 616–621.
ASEASE-2013-SchaeferDS #framework #independence #named #testing #towards
Crushinator: A framework towards game-independent testing (CS, HD, BMS), pp. 726–729.
ASEASE-2013-TillmannHXB #automation #education #game studies #generative #named #testing
Pex4Fun: A web-based environment for educational gaming via automated test generation (NT, JdH, TX, JB), pp. 730–733.
CASECASE-2013-HoC #contest #design #game studies
Stackelberg game formulation of prize competition design for seeking shortest path solutions (TYH, SCC), pp. 374–379.
DATEDATE-2013-WildermannZT #analysis #distributed #game studies #manycore
Game-theoretic analysis of decentralized core allocation schemes on many-core systems (SW, TZ, JT), pp. 1498–1503.
SIGMODSIGMOD-2013-SametSA #database #game studies
Indexing methods for moving object databases: games and other applications (HS, JS, MA), pp. 169–180.
CSEETCSEET-2013-RongZS #education #game studies #process
Applying competitive bidding games in software process education (GR, HZ, DS), pp. 129–138.
ITiCSEITiCSE-2013-GouwsBW #education #evaluation #game studies #process
Computational thinking in educational activities: an evaluation of the educational game light-bot (LAG, KLB, PW), pp. 10–15.
ITiCSEITiCSE-2013-JohnsonCH #contest #development #game studies #learning
Learning elsewhere: tales from an extracurricular game development competition (CJ, AC, SH), pp. 70–75.
ITiCSEITiCSE-2013-Law13a #feedback #game studies #programming #student #using
Using screencasts to enhance coursework feedback for game programming students (RL), p. 329.
ITiCSEITiCSE-2013-Scharlau #development #education #game studies
Games for teaching software development (BAS), pp. 303–308.
FASEFASE-2013-BradfieldS #calculus #game studies #qvt #μ-calculus
Enforcing QVT-R with μ-Calculus and Games (JCB, PS), pp. 282–296.
FoSSaCSFoSSaCS-2013-HuthKP #game studies
Fatal Attractors in Parity Games (MH, JHPK, NP), pp. 34–49.
FoSSaCSFoSSaCS-2013-MurawskiT #game studies #semantics
Deconstructing General References via Game Semantics (ASM, NT), pp. 241–256.
TACASTACAS-2013-ChenFKPS #game studies #model checking #multi #named #probability
PRISM-games: A Model Checker for Stochastic Multi-Player Games (TC, VF, MZK, DP, AS), pp. 185–191.
TACASTACAS-2013-HuangSW #game studies #model checking
Model-Checking Iterated Games (CHH, SS, FW), pp. 154–168.
STOCSTOC-2013-BhawalkarGM #game studies
Coevolutionary opinion formation games (KB, SG, KM), pp. 41–50.
ICALPICALP-v1-2013-BorosEGM #algorithm #game studies #probability #pseudo #random
A Pseudo-Polynomial Algorithm for Mean Payoff Stochastic Games with Perfect Information and a Few Random Positions (EB, KME, VG, KM), pp. 220–231.
ICALPICALP-v1-2013-FotakisT #game studies #on the #power of
On the Power of Deterministic Mechanisms for Facility Location Games (DF, CT), pp. 449–460.
ICALPICALP-v1-2013-Grier #finite #game studies
Deciding the Winner of an Arbitrary Finite Poset Game Is PSPACE-Complete (DG), pp. 497–503.
ICALPICALP-v1-2013-Velner #complexity #game studies #infinity
The Complexity of Infinitely Repeated Alternating Move Games (YV), pp. 816–827.
ICALPICALP-v2-2013-ChristodoulouG #game studies #polynomial
Price of Stability in Polynomial Congestion Games (GC, MG), pp. 496–507.
ICALPICALP-v2-2013-Gelderie #composition #game studies
Strategy Composition in Compositional Games (MG), pp. 263–274.
ICALPICALP-v2-2013-GenestGMW #architecture #game studies
Asynchronous Games over Tree Architectures (BG, HG, AM, IW), pp. 275–286.
LATALATA-2013-HutagalungLL #automaton #game studies #simulation
Revealing vs. Concealing: More Simulation Games for Büchi Inclusion (MH, ML, ÉL), pp. 347–358.
IFMIFM-2013-MorgensternGS #game studies #incremental #induction #using
Solving Games Using Incremental Induction (AM, MG, KS), pp. 177–191.
CHICHI-2013-BirkM #game studies #motivation
Control your game-self: effects of controller type on enjoyment, motivation, and personality in game (MB, RLM), pp. 685–694.
CHICHI-2013-BowserHRRGHRP #approach #game studies #prototype #scalability
Prototyping in PLACE: a scalable approach to developing location-based apps and games (AB, DLH, JR, MR, RJG, YH, DR, JP), pp. 1519–1528.
CHICHI-2013-CassidyAR #game studies #mobile #using
Using an open card sort with children to categorize games in a mobile phone application store (BC, DSA, JCR), pp. 2287–2290.
CHICHI-2013-FosterEG #contest #design #education #game studies
From competition to metacognition: designing diverse, sustainable educational games (SRF, SE, WGG), pp. 99–108.
CHICHI-2013-GrahamSPBD #architecture #distributed #game studies #what
Villains, architects and micro-managers: what tabula rasa teaches us about game orchestration (TCNG, IS, MP, QB, RD), pp. 705–714.
CHICHI-2013-HansenBRVK #design #game studies #reuse
Designing reusable alternate reality games (DLH, EMB, MR, AV, KK), pp. 1529–1538.
CHICHI-2013-HarpsteadMA #data analysis #education #game studies #learning
In search of learning: facilitating data analysis in educational games (EH, BAM, VA), pp. 79–88.
CHICHI-2013-KhaledNB #design #game studies #generative
Design metaphors for procedural content generation in games (RK, MJN, PB), pp. 1509–1518.
CHICHI-2013-LomasPFK #challenge #design #education #game studies #optimisation #scalability #using
Optimizing challenge in an educational game using large-scale design experiments (DL, KP, JF, KRK), pp. 89–98.
CHICHI-2013-Mirza-BabaeiNGCF #game studies #how #research #testing
How does it play better?: exploring user testing and biometric storyboards in games user research (PMB, LEN, JG, NC, GF), pp. 1499–1508.
CHICHI-2013-OrjiMVG #game studies #health #persuasion
Tailoring persuasive health games to gamer type (RO, RLM, JV, KMG), pp. 2467–2476.
CHICHI-2013-RiceTOYWN #behaviour #game studies #interactive
The dynamics of younger and older adult’s paired behavior when playing an interactive silhouette game (MDR, WPT, JO, LJY, MW, JN), pp. 1081–1090.
CHICHI-2013-SchildBLM #3d #game studies #user interface #visual notation
Creating and analyzing stereoscopic 3D graphical user interfaces in digital games (JS, LB, JJLJ, MM), pp. 169–178.
CHICHI-2013-SeguraWMJ #design #game studies #physics #social
The design space of body games: technological, physical, and social design (EMS, AW, JM, CJ), pp. 3365–3374.
CHICHI-2013-TanenbaumAR #behaviour #game studies
Three perspectives on behavior change for serious games (JT, ANA, JR), pp. 3389–3392.
CSCWCSCW-2013-HuangYBC #functional #game studies #online #social
Functional or social?: exploring teams in online games (YH, WY, NB, NSC), pp. 399–408.
CSCWCSCW-2013-LarsonRSS #exclamation #game studies #student
I want to be Sachin Tendulkar!: a spoken english cricket game for rural students (ML, NR, AS, SS), pp. 1353–1364.
HCIDHM-HB-2013-WiezerRO #game studies
Serious Gaming Used as Management Intervention to Prevent Work-Related Stress and Raise Work-Engagement among Workers (NW, MBR, EO), pp. 149–158.
HCIDHM-SET-2013-BrooksB #game studies #using #video
Facilitators’ Intervention Variance and Outcome Influence When Using Video Games with Fibromyalgia Patients (ALB, EPB), pp. 163–172.
HCIDHM-SET-2013-GiabbanelliDASF #game studies #health #self
Supporting a Participant-Centric Management of Obesity via a Self-improving Health Game (PJG, PD, LA, TS, DTF), pp. 189–196.
HCIDUXU-CXC-2013-BarrosNCSC #design #development #game studies
The Design in the Development of Exergames: A New Game for the Contribute to Control Childhood Obesity (MB, AN, WC, MMS, FC), pp. 491–500.
HCIDUXU-CXC-2013-BaylissVNLB #game studies #lazy evaluation #visual notation
Lazy Eye Shooter: Making a Game Therapy for Visual Recovery in Adult Amblyopia Usable (JDB, IV, MN, DL, DB), pp. 352–360.
HCIDUXU-CXC-2013-CarvalhoSNM #analysis #comparative #game studies #interactive #usability
Interactive Doodles: A Comparative Analysis of the Usability and Playability of Google Trademark Games between 2010 and 2012 (BJAdC, MMS, AMMdN, RPM), pp. 508–517.
HCIDUXU-CXC-2013-EugeneBW #design #game studies
Math Fluency through Game Design (WE, TB, JW), pp. 189–198.
HCIDUXU-CXC-2013-MirandaHPB #game studies #interactive
Exploring Adjustable Interactive Rings in Game Playing: Preliminary Results (LCdM, HHH, RP, MCCB), pp. 518–527.
HCIDUXU-CXC-2013-MouraVCBSTLK #exclamation #game studies #how #learning #mobile
Luz, Câmera, Libras!: How a Mobile Game Can Improve the Learning of Sign Languages (GdSM, LAV, AC, FB, DdS, JMXNT, CWML, JK), pp. 266–275.
HCIDUXU-CXC-2013-Rughinis #bibliography #collaboration #gamification
Work and Gameplay in the Transparent “Magic Circle” of Gamification — Insights from a Gameful Collaborative Review Exercise (RR), pp. 577–586.
HCIDUXU-CXC-2013-SakamotoN13a #exclamation #game studies #persuasion
Augmenting Yu-Gi-Oh! Trading Card Game as Persuasive Transmedia Storytelling (MS, TN), pp. 587–596.
HCIDUXU-CXC-2013-ThinG #behaviour #case study #experience #game studies #integration #interactive
Game-Based Interactive Media in Behavioral Medicine: Creating Serious Affective-Cognitive-Environmental-Social Integration Experiences (AGT, MG), pp. 470–479.
HCIHCI-AS-2013-GarciaN #design #game studies #guidelines
Design Guidelines for Audio Games (FEG, VPdAN), pp. 229–238.
HCIHCI-AS-2013-KimAK #experience #game studies #interactive #mobile
Extreme Motion Based Interaction for Enhancing Mobile Game Experience (YK, JgA, GJK), pp. 249–257.
HCIHCI-AS-2013-LeeC #game studies
Influence of Gaming Display and Controller on Perceived Characteristics, Perceived Interactivity, Presence, and Discomfort (HL, DC), pp. 258–265.
HCIHCI-AS-2013-NouriT #game studies #online
A Cross-Cultural Study of Playing Simple Economic Games Online with Humans and Virtual Humans (EN, DRT), pp. 266–275.
HCIHCI-AS-2013-WorpenbergG #case study #experience #game studies #navigation #smarttech
Navigation Experiences — A Case Study of Riders Accessing an Orientation Game via Smartphones (AW, BG), pp. 323–332.
HCIHCI-III-2013-HilbornCEL #game studies
A Biofeedback Game for Training Arousal Regulation during a Stressful Task: The Space Investor (OH, HC, JE, CL), pp. 403–410.
HCIHIMI-D-2013-SakataYO #game studies #modelling
Factor Models for Promoting Flow by Game Players’ Skill Level (MS, TY, MO), pp. 534–544.
HCIHIMI-LCCB-2013-Frederick-RecascinoLDKL #case study #game studies #learning
Articulating an Experimental Model for the Study of Game-Based Learning (CFR, DL, SD, JPK, DL), pp. 25–32.
HCIHIMI-LCCB-2013-NahTRV #education #game studies #gamification #using
Gamification of Education Using Computer Games (FFHN, VRT, SR, PRV), pp. 99–107.
HCIHIMI-LCCB-2013-SutoO #case study #game studies #student
A Study of the Crossroad Game for Improving the Teamwork of Students (HS, RO), pp. 126–136.
HCIHIMI-LCCB-2013-TanikawaA #case study
The Study to Clarify the Type of “Otome-Game” User (MT, YA), pp. 625–631.
HCIOCSC-2013-Butler #game studies #ranking
The Effect of Leaderboard Ranking on Players’ Perception of Gaming Fun (CB), pp. 129–136.
HCIOCSC-2013-JamiesonGHW #game studies #metaheuristic
Metaheuristic Entry Points for Harnessing Human Computation in Mainstream Games (PJ, LG, JH, AW), pp. 156–163.
HCIOCSC-2013-OtakeUS #game studies #social
A Consideration of the Functions That Support to Find New Friends in Social Games (KO, TU, AS), pp. 405–411.
ICEISICEIS-v1-2013-CarrerasP #evaluation #game studies
Cooperation Tendencies and Evaluation of Games (FC, MAP), pp. 415–422.
CIKMCIKM-2013-Eklund #challenge #game studies #lessons learnt #mobile #on the #perspective
On challenges with mobile e-health: lessons from a game-theoretic perspective (AME), pp. 1249–1252.
ECIRECIR-2013-0001S #game studies #query #refinement
Comparing Crowd-Based, Game-Based, and Machine-Based Approaches in Initial Query and Query Refinement Tasks (CGH, PS), pp. 495–506.
ECIRECIR-2013-GligorovHOAS #evaluation #retrieval #video
An Evaluation of Labelling-Game Data for Video Retrieval (RG, MH, JvO, LA, GS), pp. 50–61.
ICMLICML-c3-2013-GrosshansSBS #game studies #problem
Bayesian Games for Adversarial Regression Problems (MG, CS, MB, TS), pp. 55–63.
ICMLICML-c3-2013-SodomkaHLG #game studies #learning #named #probability
Coco-Q: Learning in Stochastic Games with Side Payments (ES, EH, MLL, AG), pp. 1471–1479.
KDDKDD-2013-GaneshapillaiG #data-driven
A data-driven method for in-game decision making in MLB: when to pull a starting pitcher (GG, JVG), pp. 973–979.
KDIRKDIR-KMIS-2013-MawasC #design #game studies
Designing Collaboratively Crisis Scenarios for Serious Games (NEM, JPC), pp. 381–388.
SEKESEKE-2013-SantosBC #analysis #education #game studies #modelling #programming #semantics
A Knowledge Modeling System for Semantic Analysis of Games Applied to Programming Education (ECOdS, GBB, EWGC), pp. 668–673.
SEKESEKE-2013-SeveroFS #approach #collaboration #game studies #risk management
A Dialogue Game Approach to Collaborative Risk Management (S) (FS, LMF, LAdLS), pp. 548–551.
SKYSKY-2013-ExmanA #design #game studies
Knowledge-driven Game Design by Non-programmers (IE, AA), pp. 47–54.
OnwardOnward-2013-MayerK #game studies #programming
Game programming by demonstration (MM, VK), pp. 75–90.
QAPLQAPL-2013-ArulR #complexity #game studies #integer
The Complexity of Robot Games on the Integer Line (AA, JR), pp. 132–148.
QAPLQAPL-2013-BertrandS #automaton #game studies #infinity #probability
Solving Stochastic Büchi Games on Infinite Decisive Arenas (NB, PS), pp. 116–131.
REFSQREFSQ-2013-PasqualeSPBR #experience #game studies #requirements
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games (LP, PS, DP, FB, TR), pp. 315–330.
ICSEICSE-2013-TillmannHXGB #education #game studies #interactive #learning #programming #re-engineering
Teaching and learning programming and software engineering via interactive gaming (NT, JdH, TX, SG, JB), pp. 1117–1126.
SLESLE-2013-KlintR #domain-specific language #game studies #named
Micro-Machinations — A DSL for Game Economies (PK, RvR), pp. 36–55.
HPDCHPDC-2013-YuZQYWG #game studies #gpu #named #scheduling
VGRIS: virtualized GPU resource isolation and scheduling in cloud gaming (MY, CZ, ZQ, JY, YW, HG), pp. 203–214.
CAVCAV-2013-Brenguier #concurrent #game studies #named #nash
PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games (RB), pp. 890–895.
CAVCAV-2013-TsaiTH #automaton #game studies #logic
GOAL for Games, ω-Automata, and Logics (MHT, YKT, YSH), pp. 883–889.
CSLCSL-2013-ChatterjeeF #game studies #infinity
Infinite-state games with finitary conditions (KC, NF), pp. 181–196.
CSLCSL-2013-GianantonioL #game studies #semantics
Innocent Game Semantics via Intersection Type Assignment Systems (PDG, ML), pp. 231–247.
CSLCSL-2013-Mellies #game studies #on the
On dialogue games and coherent strategies (PAM), pp. 540–562.
CSLCSL-2013-Nishimura #game studies #parallel #semantics
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (SN), pp. 578–596.
LICSLICS-2013-FredrikssonG #automaton #game studies #revisited #semantics
Abstract Machines for Game Semantics, Revisited (OF, DRG), pp. 560–569.
LICSLICS-2013-NainV #game studies #probability
Solving Partial-Information Stochastic Parity Games (SN, MYV), pp. 341–348.
TLCATLCA-2013-BerardiT #backtracking #game studies #logic #semantics #subclass
Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics (SB, MT), pp. 61–76.
TLCATLCA-2013-Blot #game studies
Realizability for Peano Arithmetic with Winning Conditions in HON Games (VB), pp. 77–92.
DACDAC-2012-ShachamGSWBVHDQR #design #game studies
Avoiding game over: bringing design to the next level (OS, SG, SS, MW, JB, AV, MH, AD, WQ, SR), pp. 623–629.
DATEDATE-2012-YangGBSC #game studies #graph #policy #resource management
Playing games with scenario- and resource-aware SDF graphs through policy iteration (YY, MG, TB, SS, HC), pp. 194–199.
DATEDATE-2012-ZhangWHY #algorithm #energy #game studies #resource management
Fair energy resource allocation by minority game algorithm for smart buildings (CZ, WW, HH, HY), pp. 63–68.
CSEETCSEET-2012-TillmannHXB #education #game studies #learning #named #social
Pex4Fun: Teaching and Learning Computer Science via Social Gaming (NT, JdH, TX, JB), pp. 90–91.
CSEETCSEET-2012-ZuppiroliCG #game studies #product line #re-engineering
A Role-Playing Game for a Software Engineering Lab: Developing a Product Line (SZ, PC, MG), pp. 13–22.
ITiCSEITiCSE-2012-DoranBFB #design #development #education #game studies #performance #student
Outreach for improved student performance: a game design and development curriculum (KD, AKB, SLF, TB), pp. 209–214.
ITiCSEITiCSE-2012-Kurkovsky #development #game studies #mobile
Mobile game development projects in CS 1 (SK), p. 388.
ITiCSEITiCSE-2012-Palomo-DuarteDTGB #development #evaluation #game studies #video
Competitive evaluation in a video game development course (MPD, JMD, JTT, AGD, AB), pp. 321–326.
FoSSaCSFoSSaCS-2012-BouyerBMU #concurrent #game studies #order
Concurrent Games with Ordered Objectives (PB, RB, NM, MU), pp. 301–315.
FoSSaCSFoSSaCS-2012-BrihayeBPG #game studies #reachability
Subgame Perfection for Equilibria in Quantitative Reachability Games (TB, VB, JDP, HG), pp. 286–300.
FoSSaCSFoSSaCS-2012-Chatterjee #concurrent #game studies #robust
Robustness of Structurally Equivalent Concurrent Parity Games (KC), pp. 270–285.
FoSSaCSFoSSaCS-2012-Winskel #concurrent #game studies
Bicategories of Concurrent Games — (Invited Paper) (GW), pp. 26–41.
CSMRCSMR-2012-TollO #game studies #question #why
Why is Unit-testing in Computer Games Difficult? (DT, TO), pp. 373–378.
MSRMSR-2012-LotufoPC #debugging #game studies #towards
Towards improving bug tracking systems with game mechanisms (RL, LTP, KC), pp. 2–11.
STOCSTOC-2012-ODonnellW #game studies #np-hard
A new point of NP-hardness for unique games (RO, JW), pp. 289–306.
DLTDLT-J-2011-ChaturvediOT12 #game studies #infinity
Languages versus ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 985–1000.
ICALPICALP-v1-2012-AmbainisBBKOSV #game studies #quantum
Quantum Strategies Are Better Than Classical in Almost Any XOR Game (AA, AB, KB, DK, RO, JS, MV), pp. 25–37.
ICALPICALP-v2-2012-BouyerMS #approach #automaton #game studies #reachability #robust
Robust Reachability in Timed Automata: A Game-Based Approach (PB, NM, OS), pp. 128–140.
ICALPICALP-v2-2012-DawarH #algebra #game studies
Pebble Games with Algebraic Rules (AD, BH), pp. 251–262.
ICALPICALP-v2-2012-FearnleyS #bound #game studies
Time and Parallelizability Results for Parity Games with Bounded Treewidth (JF, SS), pp. 189–200.
ICALPICALP-v2-2012-FominGNP #game studies #multi
Minimizing Rosenthal Potential in Multicast Games (FVF, PAG, JN, MP), pp. 525–536.
ICALPICALP-v2-2012-Fu #game studies #markov #metric #process
Computing Game Metrics on Markov Decision Processes (HF), pp. 227–238.
ICALPICALP-v2-2012-KoutsoupiasP #game studies
Contention Issues in Congestion Games (EK, KP), pp. 623–635.
ICALPICALP-v2-2012-MurawskiT #algorithm #game studies
Algorithmic Games for Full Ground References (ASM, NT), pp. 312–324.
ICALPICALP-v2-2012-OngT #game studies #recursion #semantics
Two-Level Game Semantics, Intersection Types, and Recursion Schemes (CHLO, TT), pp. 325–336.
LATALATA-2012-KlimosLST #concurrent #game studies #nash
Nash Equilibria in Concurrent Priced Games (MK, KGL, FS, JT), pp. 363–376.
IFMIFM-2012-TianBB #behaviour #detection #game studies #multi
Behaviour-Based Cheat Detection in Multiplayer Games with Event-B (HT, PJB, AGB), pp. 206–220.
GRAPHITEGRAPHITE-2012-KantP #equation #game studies #performance
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games (GK, JvdP), pp. 50–65.
CHICHI-2012-AlankusK #game studies #video
Reducing compensatory motions in video games for stroke rehabilitation (GA, CK), pp. 2049–2058.
CHICHI-2012-AndersenOLSLTCP #complexity #game studies
The impact of tutorials on games of varying complexity (EA, EO, YEL, RS, JL, DT, SC, ZP), pp. 59–68.
CHICHI-2012-BonsignoreKVHFD #design #game studies
Game design for promoting counterfactual thinking (EMB, KK, AV, DLH, AF, AD), pp. 2079–2082.
CHICHI-2012-CoxCSC #challenge #experience #game studies
Not doing but thinking: the role of challenge in the gaming experience (ALC, PAC, PS, MC), pp. 79–88.
CHICHI-2012-DabbishKP #communication #game studies #online
Communication and commitment in an online game team (LD, RK, JP), pp. 879–888.
CHICHI-2012-DongDJKNA #game studies #learning
Discovery-based games for learning software (TD, MD, DJ, KK, MWN, MSA), pp. 2083–2086.
CHICHI-2012-GerlingLNM #game studies #interactive
Full-body motion-based game interaction for older adults (KMG, IJL, LN, RLM), pp. 1873–1882.
CHICHI-2012-HornLBDEPS #game studies #interactive
Of BATs and APEs: an interactive tabletop game for natural history museums (MSH, ZAL, FB, JD, EME, BCP, CS), pp. 2059–2068.
CHICHI-2012-KhaledI #game studies #scalability
Tales from the front lines of a large-scale serious game project (RK, GI), pp. 69–78.
CHICHI-2012-KleekSSs #game studies #named #twitter
Twiage: a game for finding good advice on twitter (MVK, DAS, RS, MMCS), pp. 889–898.
CHICHI-2012-KreitmayerRLP #game studies #simulation
From participatory to contributory simulations: changing the game in the classroom (SK, YR, RCL, SP), pp. 49–58.
CHICHI-2012-KumarRTAK #game studies #mobile #speech #using
Improving literacy in developing countries using speech recognition-supported games on mobile devices (AK, PR, AT, RA, MK), pp. 1149–1158.
CHICHI-2012-LinderJ #game studies
Playable character: extending digital games into the real world (JL, WJ), pp. 2069–2078.
CHICHI-2012-SchildLM #3d #comprehension #experience #game studies #user interface
Understanding user experience in stereoscopic 3D games (JS, JJLJ, MM), pp. 89–98.
CHICHI-2012-TeradaYI #adaptation #game studies
Experimental investigation of human adaptation to change in agent’s strategy through a competitive two-player game (KT, SY, AI), pp. 2807–2810.
CHICHI-2012-YeeDN #development #game studies #online #validation
Online gaming motivations scale: development and validation (NY, ND, LN), pp. 2803–2806.
CHICHI-2012-YeeDSN
Through the azerothian looking glass: mapping in-game preferences to real world demographics (NY, ND, HTS, LN), pp. 2811–2814.
CSCWCSCW-2012-CheungCS #collaboration #communication #game studies
Communication channels and awareness cues in collocated collaborative time-critical gaming (VC, YLBC, SDS), pp. 569–578.
CSCWCSCW-2012-EiriksdottirKCMMXP #comprehension #game studies #health #multi #pervasive
This is not a one-horse race: understanding player types in multiplayer pervasive health games for youth (EE, DK, RC, EDM, ADM, YX, ESP), pp. 843–852.
CSCWCSCW-2012-GoBS #game studies
Brothers and sisters at play: exploring game play with siblings (JG, RB, MS), pp. 739–748.
CSCWCSCW-2012-JuAL #game studies #low cost #using
Using low cost game controllers to capture data for 6th grade science labs (WJ, UA, SL), pp. 1115–1124.
CSCWCSCW-2012-KowWC #design #game studies #online
Designing online games for real-life relationships: examining QQ farm in intergenerational play (YMK, JW, YC), pp. 613–616.
CSCWCSCW-2012-NackeMGM #game studies #online #quote #social
“I’m just here to play games”: social dynamics and sociality in an online game site (LN, GM, CG, RLM), pp. 549–558.
CSCWCSCW-2012-TangMWRE #coordination #game studies
Verbal coordination in first person shooter games (AT, JM, NW, DFR, WKE), pp. 579–582.
CSCWCSCW-2012-WangDLXG #case study #empirical #experience #framework #game studies #online
Infrastructural experiences: an empirical study of an online arcade game platform in China (QW, XD, TL, HX, NG), pp. 583–592.
CIKMCIKM-2012-YeoPH #game studies #social
Finding influential products on social domination game (JY, JWP, SwH), pp. 2359–2362.
ICMLICML-2012-LanctotGBB #game studies #learning
No-Regret Learning in Extensive-Form Games with Imperfect Recall (ML, RGG, NB, MB), p. 135.
ICPRICPR-2012-NarayanamN #algorithm #community #detection #distributed #game studies #graph #information management #social
A game theory inspired, decentralized, local information based algorithm for community detection in social graphs (RN, YN), pp. 1072–1075.
ICPRICPR-2012-ReinbacherRB #game studies #named #using
RoμNect: Hand mounted depth sensing using a commodity gaming sensor (CR, MR, HB), pp. 461–464.
ICPRICPR-2012-YanKMW #automation #game studies #learning
Automatic annotation of court games with structured output learning (FY, JK, KM, DW), pp. 3577–3580.
KDDKDD-2012-ChenCL #game studies #multi #network #social
Information propagation game: a tool to acquire humanplaying data for multiplayer influence maximization on social networks (HHC, YBC, SDL), pp. 1524–1527.
KDIRKDIR-2012-SorkhiAHH #framework #game studies #identification #network #social
A Game-Theoretic Framework to Identify Top-K Teams in Social Networks (MS, HA, SH, AH), pp. 252–257.
KRKR-2012-HaufeT #automation #game studies #verification
Automated Verification of Epistemic Properties for General Game Playing (SH, MT).
SIGIRSIGIR-2012-AzzopardiPG #game studies #named #retrieval
PageFetch: a retrieval game for children (and adults) (LA, JP, RG), p. 1010.
SACSAC-2012-AhmadiJR #evaluation #game studies #performance
Performance evaluation of user-created open-web games (NA, MJ, AR), pp. 730–732.
CAVCAV-2012-BrazdilCKN #game studies #multi #performance #synthesis
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types (TB, KC, AK, PN), pp. 23–38.
CAVCAV-2012-HarrisJR #automaton #game studies #programming #safety
Secure Programming via Visibly Pushdown Safety Games (WRH, SJ, TWR), pp. 581–598.
CSLCSL-2012-GradelL #game studies
Banach-Mazur Games with Simple Winning Strategies (EG, SL), pp. 305–319.
CSLCSL-2012-GroheO #equation #game studies #linear
Pebble Games and Linear Equations (MG, MO), pp. 289–304.
IJCARIJCAR-2012-QueselP #game studies #hybrid
Playing Hybrid Games with KeYmaera (JDQ, AP), pp. 439–453.
LICSLICS-2012-Aumann #game studies #induction
Backward induction in games of perfect information (RJA), p. 1.
LICSLICS-2012-Berkholz #bound #game studies #testing
Lower Bounds for Existential Pebble Games and k-Consistency Tests (CB), pp. 25–34.
LICSLICS-2012-ChatterjeeD #game studies #how #probability
Partial-Observation Stochastic Games: How to Win When Belief Fails (KC, LD), pp. 175–184.
LICSLICS-2012-ChatterjeeV #automaton #game studies
Mean-Payoff Pushdown Games (KC, YV), pp. 195–204.
LICSLICS-2012-ClairambaultGW #concurrent #game studies
The Winning Ways of Concurrent Games (PC, JG, GW), pp. 235–244.
LICSLICS-2012-Mellies #diagrams #game studies #semantics #string
Game Semantics in String Diagrams (PAM), pp. 481–490.
DATEDATE-2011-ShafiqueBAH #configuration management #manycore #resource management #runtime
Minority-Game-based resource allocation for run-time reconfigurable multi-core processors (MS, LB, WA, JH), pp. 1261–1266.
HTHT-2011-SimkoTB #game studies #network
Little search game: term network acquisition via a human computation game (JS, MT, MB), pp. 57–62.
CSEETCSEET-2011-BrownNOKL #game studies
Hard choice: A game for balancing strategy for agility (NB, RLN, IO, PK, EL), p. 553.
CSEETCSEET-2011-KruchtenK #agile #game studies #release planning
Mission to Mars: An agile release planning game (PK, JK), p. 552.
CSEETCSEET-2011-LongstreetC #education #game studies #re-engineering #student #using
Using games in software engineering education to increase student success and retention (CSL, KMLC), p. 554.
CSEETCSEET-2011-PeixotoPRP #bibliography #design #education #game studies #re-engineering #simulation
An overview of the main design characteristics of simulation games in Software Engineering education (DCCP, RMP, RFR, CIPSP), pp. 101–110.
CSEETCSEET-2011-TillmannHX #education #game studies #learning #named #social
Pex4Fun: Teaching and learning computer science via social gaming (NT, JdH, TX), pp. 546–548.
ITiCSEITiCSE-2011-BlevinsKMMS #game studies
Muddy hill games (JB, AK, EM, EMS, ES), p. 395.
ITiCSEITiCSE-2011-BoyceCPCB #education #evaluation #game studies #how #learning #motivation
Experimental evaluation of BeadLoom game: how adding game elements to an educational tool improves motivation and learning (AKB, AC, SP, DC, TB), pp. 243–247.
ITiCSEITiCSE-2011-GottelS #design #game studies #student
Creativity room 5555: evoking creativity in game design amongst CS students (TG, JS), pp. 98–102.
ITiCSEITiCSE-2011-GuimaraesSA #education #game studies #security #using #video
Using video games to teach security (MAMG, HES, RA), p. 346.
ESOPESOP-2011-MurawskiT #algorithm #game studies #semantics
Algorithmic Nominal Game Semantics (ASM, NT), pp. 419–438.
FoSSaCSFoSSaCS-2011-BertrandSJK #approach #automaton #game studies
A Game Approach to Determinize Timed Automata (NB, AS, TJ, MK), pp. 245–259.
FoSSaCSFoSSaCS-2011-Clairambault #estimation #game studies #interactive #semantics
Estimation of the Length of Interactions in Arena Game Semantics (PC), pp. 335–349.
FoSSaCSFoSSaCS-2011-GhicaM #abstraction #game studies #semantics
Synchronous Game Semantics via Round Abstraction (DRG, MNM), pp. 350–364.
TACASTACAS-2011-ChengKLB #algorithm #framework #game studies #research
GAVS+: An Open Platform for the Research of Algorithmic Game Solving (CHC, AK, ML, CB), pp. 258–261.
TACASTACAS-2011-SeshiaK #analysis #named #tool support
GameTime: A Toolkit for Timing Analysis of Software (SAS, JK), pp. 388–392.
MSRMSR-2011-Whitehead #data mining #game studies #mining #what
Fantasy, farms, and freemium: what game data mining teaches us about retention, conversion, and virality (keynote abstract) (JW), p. 1.
STOCSTOC-2011-AdsulGMS #algorithm #game studies #morphism #polynomial
Rank-1 bimatrix games: a homeomorphism and a polynomial time algorithm (BA, JG, RM, MAS), pp. 195–204.
STOCSTOC-2011-HansenKLMT #algorithm #game studies #probability
Exact algorithms for solving stochastic games: extended abstract (KAH, MK, NL, PBM, EPT), pp. 205–214.
STOCSTOC-2011-KempeV #game studies #parallel
Parallel repetition of entangled games (JK, TV), pp. 353–362.
DLTDLT-2011-ChaturvediOT #game studies #infinity
Languages vs. ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 180–191.
ICALPICALP-v1-2011-BorosEFGMM #analysis #approximate #game studies #probability
Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes (EB, KME, MF, VG, KM, BM), pp. 147–158.
ICALPICALP-v1-2011-DyerM #game studies
Pairwise-Interaction Games (MED, VM), pp. 159–170.
ICALPICALP-v1-2011-HarkinsH #algorithm #bound #game studies #learning
Exact Learning Algorithms, Betting Games, and Circuit Lower Bounds (RCH, JMH), pp. 416–423.
ICALPICALP-v1-2011-HuangP #game studies #probability
Automatizability and Simple Stochastic Games (LH, TP), pp. 605–617.
ICALPICALP-v2-2011-BrazdilBEK #approximate #game studies #probability #termination
Approximating the Termination Value of One-Counter MDPs and Stochastic Games (TB, VB, KE, AK), pp. 332–343.
ICALPICALP-v2-2011-Huang #game studies
Collusion in Atomic Splittable Routing Games (CCH), pp. 564–575.
ICALPICALP-v2-2011-KolliasR #game studies
Restoring Pure Equilibria to Weighted Congestion Games (KK, TR), pp. 539–551.
ICALPICALP-v2-2011-LairdMM #category theory #difference #game studies
Constructing Differential Categories and Deconstructing Categories of Games (JL, GM, GM), pp. 186–197.
LATALATA-2011-ChatterjeeHH #complexity #game studies
The Complexity of Request-Response Games (KC, TAH, FH), pp. 227–237.
AGTIVEAGTIVE-2011-GreenyerR #automaton #concept #diagrams #game studies #graph grammar #sequence chart #specification
Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata (JG, JR), pp. 222–237.
CHICHI-2011-AndersenLSSP #game studies #online
Placing a value on aesthetics in online casual games (EA, YEL, RS, RS, ZP), pp. 1275–1278.
CHICHI-2011-CheungH #comprehension #game studies
Starcraft from the stands: understanding the game spectator (GC, JH), pp. 763–772.
CHICHI-2011-CoyleMDO #behaviour #game studies
Exploratory evaluations of a computer game supporting cognitive behavioural therapy for adolescents (DC, NM, GD, GO), pp. 2937–2946.
CHICHI-2011-DiakopoulosKN #design
Playable data: characterizing the design space of game-y infographics (ND, FKS, MN), pp. 1717–1726.
CHICHI-2011-GuyPDGT #crowdsourcing #game studies #graph #social
Guess who?: enriching the social graph through a crowdsourcing game (IG, AP, TD, OG, IT), pp. 1373–1382.
CHICHI-2011-JianqiangMZKBJ #facebook #game studies #volunteer
Farmer’s tale: a facebook game to promote volunteerism (DSJ, XM, SZ, JTK, SLB, ZJ), pp. 581–584.
CHICHI-2011-LaViolaL #3d #game studies #video
Evaluating the benefits of 3d stereo in modern video games (JJLJ, TL), pp. 2345–2354.
CHICHI-2011-LinehanKLC #design #education #game studies #guidelines
Practical, appropriate, empirically-validated guidelines for designing educational games (CL, BK, SWL, GC), pp. 1979–1988.
CHICHI-2011-MedlerJL #game studies #online #visual notation
Data cracker: developing a visual game analytic tool for analyzing online gameplay (BM, MJ, JL), pp. 2365–2374.
CHICHI-2011-MuellerEVGABS #design #framework #game studies
Designing sports: a framework for exertion games (FM, DE, FV, MRG, SA, BB, JGS), pp. 2651–2660.
CHICHI-2011-NackeKLM #design #game studies #interactive #using
Biofeedback game design: using direct and indirect physiological control to enhance game interaction (LEN, MK, CL, RLM), pp. 103–112.
CHICHI-2011-NozA #experience #game studies
Cat cat revolution: an interspecies gaming experience (FN, JA), pp. 2661–2664.
CHICHI-2011-TuiteSHTP #game studies #image #named #scalability
PhotoCity: training experts at large-scale image acquisition through a competitive game (KT, NS, DYH, NT, ZP), pp. 1383–1392.
CSCWCSCW-2011-FanLZTSW #game studies #gesture #social #using
Surprise Grabber: a co-located tangible social game using phone hand gesture (MF, XL, YZ, LT, YS, HW), pp. 625–628.
CSCWCSCW-2011-LobunetsP #game studies #prototype
Evaluating a smart working environment with a digital card game prototype (OL, WP), pp. 673–676.
CSCWCSCW-2011-McGillCJCBL #elicitation #game studies #online
Eliciting risk perceptions with an online game: preliminary results (WLM, YC, MJ, JJC, SB, GL), pp. 681–684.
CSCWCSCW-2011-MerrittTOTCM #game studies
Are artificial team-mates scapegoats in computer games (TRM, KBT, CO, ATA, TLC, KM), pp. 685–688.
CSCWCSCW-2011-XuCSHG #comprehension #game studies #online #social
Sociable killers: understanding social relationships in an online first-person shooter game (YX, XC, AS, RH, TG), pp. 197–206.
CSCWCSCW-2011-ZhaoLLG #approach #game studies #hybrid #internet #realtime #video
Back to the future: a hybrid approach to transparent sharing of video games over the internet in real time (SZ, DL, TL, NG), pp. 187–196.
HCIDUXU-v2-2011-ArditoLRSYAC #design #game studies #learning #pervasive
Designing Pervasive Games for Learning (CA, RL, DR, CS, NY, NMA, MFC), pp. 99–108.
HCIDUXU-v2-2011-OlsenPB #effectiveness #game studies #how #testing #usability
Serious Games Usability Testing: How to Ensure Proper Usability, Playability, and Effectiveness (TO, KP, CAB), pp. 625–634.
HCIHCD-2011-Yamane #authentication #case study #design #game studies #multi #online
Secure Online Game Play with Token: A Case Study in the Design of Multi-factor Authentication Device (SRY), pp. 597–605.
HCIHCI-MIIE-2011-AhmadTSSK #framework #interactive
Guess Who? An Interactive and Entertaining Game-Like Platform for Investigating Human Emotions (MIA, HT, MS, SS, EK), pp. 543–551.
HCIHCI-UA-2011-FangZ #game studies #question #what
Extraversion and Computer Game Play: Who Plays What Games? (XF, MZ), pp. 659–667.
HCIHCI-UA-2011-GeorgeS #collaboration #game studies #learning
Introducing Mobility in Serious Games: Enhancing Situated and Collaborative Learning (SG, AS), pp. 12–20.
HCIHCI-UA-2011-HarleyRGHB #design #game studies #interactive
The Design of an Interactive Stroke Rehabilitation Gaming System (LH, SR, MG, SH, DFB), pp. 167–173.
HCIHCI-UA-2011-OctaviaBCQL #3d #adaptation #collaboration #game studies #interactive #modelling #towards
User Modeling Approaches towards Adaptation of Users’ Roles to Improve Group Interaction in Collaborative 3D Games (JRO, AB, KC, PQ, KL), pp. 668–677.
HCIHCI-UA-2011-OlivierWP #game studies #music #named #recommendation
MusicTagger: Exploiting User Generated Game Data for Music Recommendation (HO, MW, NP), pp. 678–687.
HCIHCI-UA-2011-QinRG #experience #game studies #online #social
The Influence of Social Experience in Online Games (HQ, PLPR, SfG), pp. 688–693.
HCIHCI-UA-2011-ZhaoSW #game studies #recognition
Head-Pose Recognition for a Game System Based on Nose’s Relative Position (QZ, XS, YW), pp. 694–701.
HCIHIMI-v2-2011-IkegamiIIO #development #game studies #visual notation
Development of a Tracking Sound Game for Exercise Support of Visually Impaired (YI, KI, HI, MO), pp. 31–35.
CAiSECAiSE-2011-Beis #game studies #information management #integration
Total Integration: The Case of Information Systems for Olympic Games (DAB), p. 2.
CAiSECAiSE-2011-TranM #evolution #game studies #requirements #towards
Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution (LMST, FM), pp. 62–76.
ICEISICEIS-v1-2011-WeiY #analysis #behaviour #game studies #metric #security
Security Investment Analysis on Gaming Theory with Measurements of Cost and Decision Behavior (WW, RY), pp. 519–523.
ICEISICEIS-v2-2011-Jin-shiH #game studies #traceability
Establishing Food Traceability System based on Game Theory — From the Perspective of Retailers (WJs, LHj), pp. 368–372.
ICEISICEIS-v4-2011-Jung #comprehension #game studies #video
Understanding Media Violence from a Role-play Perspective — Effects of Various Types of Violent Video Games on Players’ Cognitive Aggression (YJ), pp. 261–266.
ICEISICEIS-v4-2011-WangG #game studies #integration #research
Research on the Operational Integration Processing of Telecom Operators based on Game Theory (XW, ZG), pp. 444–448.
ICEISICEIS-v4-2011-XuF #approach #case study #education #game studies #re-engineering #social
A Case Study: Integrating a Game Application-driven Approach and Social Collaborations into Software Engineering Education (WX, STF), pp. 23–32.
ICEISICEIS-v4-2011-ZhangZ11a #algorithm #contest #game studies #performance
Model and Algorithm of Competition Between High-speed Railway and Air Transport — Game Theory Based (JZ, PZ), pp. 563–568.
ICEISICEIS-v4-2011-ZhaoH #comprehension #empirical #game studies #human-computer
Understanding HCI Issues of Browser Game Playing in China — An Empirical Study (FZ, QH), pp. 254–260.
CIKMCIKM-2011-ONeilPA #behaviour #game studies #named #query
Fu-Finder: a game for studying querying behaviours (CO, JP, LA), pp. 2561–2564.
CIKMCIKM-2011-WeichselbraunGS #game studies #sentiment #using
Using games with a purpose and bootstrapping to create domain-specific sentiment lexicons (AW, SG, AS), pp. 1053–1060.
KDDKDD-2011-AlqadahB #clustering #framework #game studies #network
A game theoretic framework for heterogenous information network clustering (FA, RB), pp. 795–804.
KDDKDD-2011-BrucknerS #game studies #predict #problem
Stackelberg games for adversarial prediction problems (MB, TS), pp. 547–555.
SEKESEKE-2011-MorelliN #architecture #development #game studies
A Panorama of Software Architectures in Game Development (LBM, EYN), pp. 752–757.
SEKESEKE-2011-ThiryZS #education #empirical #game studies #learning #testing
Empirical study upon software testing learning with support from educational game (MT, AZ, ACdS), pp. 481–484.
SIGIRSIGIR-2011-AgeevGLA #game studies #interactive #modelling #using #web
Find it if you can: a game for modeling different types of web search success using interaction data (MA, QG, DL, EA), pp. 345–354.
OnwardOnward-2011-DemmelKKS #game studies
The serious game: wemakewords (RBD, BK, SK, LS), pp. 109–110.
QAPLQAPL-2011-FahrenbergTL #game studies
Distances for Weighted Transition Systems: Games and Properties (UF, CRT, KGL), pp. 134–147.
QAPLQAPL-2011-Rutkowski #automaton #game studies
Two-Player Reachability-Price Games on Single-Clock Timed Automata (MR), pp. 31–46.
SACSAC-2011-GohLC #game studies #image #performance
Performance and perceptions of human computation games for image tagging (DHLG, CSL, AYKC), pp. 1124–1129.
SACSAC-2011-LiuLTL #framework #game studies #interactive #learning
A cognition-based interactive game platform for learning Chinese characters (CLL, CYL, JLT, CLL), pp. 1181–1186.
SACSAC-2011-MajchrzakH #game studies
Game vendors’ influence on the monetary value of virtual goods (TAM, KFH), pp. 757–764.
SACSAC-2011-SharminRARF #education #game studies #interactive #speech
Teaching intelligible speech to the autistic children by interactive computer games (MAS, MMR, SIA, MMR, SMF), pp. 1208–1209.
SACSAC-2011-SimoesO #behaviour #game studies #learning #modelling
Leveraging the dynamics of learning by modeling and managing psychosocial relations and behavior by means of game theory and memetics (JCS, NO), pp. 1194–1201.
ICSEICSE-2011-Chen #game studies #named #testing
GATE: game-based testing environment (NC), pp. 1078–1081.
ICSEICSE-2011-HullettNSH #data analysis #development #game studies
Data analytics for game development (KH, NN, ES, JH), pp. 940–943.
SLESLE-2011-NishimoriK #framework #game studies #programming
Join Token-Based Event Handling: A Comprehensive Framework for Game Programming (TN, YK), pp. 119–138.
CSLCSL-2011-FridmanLZ #game studies #infinity #lookahead
Degrees of Lookahead in Context-free Infinite Games (WF, CL, MZ), pp. 264–276.
LICSLICS-2011-ChurchillLM #game studies #imperative #proving #semantics #source code
Imperative Programs as Proofs via Game Semantics (MC, JL, GM), pp. 65–74.
LICSLICS-2011-MurawskiT #game studies #semantics
Game Semantics for Good General References (ASM, NT), pp. 75–84.
TLCATLCA-2011-BourreauS #game studies #semantics #λ-calculus
Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (PB, SS), pp. 61–75.
VMCAIVMCAI-2011-ChengRKB #embedded #fault tolerance #game studies #synthesis #theory and practice #using
Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (CHC, HR, AK, CB), pp. 118–133.
ITiCSEITiCSE-2010-BasawapatnaKR #design #education #game studies #scalability #using
Using scalable game design to teach computer science from middle school to graduate school (ARB, KHK, AR), pp. 224–228.
ITiCSEITiCSE-2010-FinkelsteinPHDCB #game studies #named #network #social #student #using
SNAG: using social networking games to increase student retention in computer science (SLF, EP, AH, KD, SRC, TB), pp. 142–146.
ITiCSEITiCSE-2010-Larraza-MendiluzeG #game studies #learning #process #topic #using
Changing the learning process of the input/output topic using a game in a portable console (ELM, NGV), p. 316.
ITiCSEITiCSE-2010-McGill #collaboration #design #education #framework #game studies
Collaborative design of cross-disciplinary game minors based on the IGDA curriculum framework (MM), pp. 259–263.
FoSSaCSFoSSaCS-2010-AsarinCV #game studies
Fair Adversaries and Randomization in Two-Player Games (EA, RCYF, DV), pp. 64–78.
FoSSaCSFoSSaCS-2010-HoltmannKT #game studies #infinity #lookahead
Degrees of Lookahead in Regular Infinite Games (MH, LK, WT), pp. 252–266.
ICSMEICSM-2010-BavotaOLAG #game studies #identification #refactoring
Playing with refactoring: Identifying extract class opportunities through game theory (GB, RO, ADL, GA, YGG), pp. 1–5.
STOCSTOC-2010-RaghavendraS #game studies #graph
Graph expansion and the unique games conjecture (PR, DS), pp. 755–764.
CIAACIAA-2010-Neider #automation #game studies #graph #reachability
Reachability Games on Automatic Graphs (DN), pp. 222–230.
ICALPICALP-v1-2010-AtseriasM #game studies #proving
Mean-Payoff Games and Propositional Proofs (AA, ENM), pp. 102–113.
ICALPICALP-v1-2010-BateniHIM #game studies #network
The Cooperative Game Theory Foundations of Network Bargaining Games (MB, MH, NI, HM), pp. 67–78.
ICALPICALP-v1-2010-HarksK #game studies #nash #on the
On the Existence of Pure Nash Equilibria in Weighted Congestion Games (TH, MK), pp. 79–89.
ICALPICALP-v2-2010-BrazdilJK #game studies #reachability
Reachability Games on Extended Vector Addition Systems with States (TB, PJ, AK), pp. 478–489.
ICALPICALP-v2-2010-ChatterjeeD #energy #game studies
Energy Parity Games (KC, LD), pp. 599–610.
ICALPICALP-v2-2010-Laird #call-by #game studies #morphism #polymorphism #semantics
Game Semantics for Call-by-Value Polymorphism (JL), pp. 187–198.
CHICHI-2010-AlankusLMK #game studies #towards
Towards customizable games for stroke rehabilitation (GA, AL, MM, CK), pp. 2113–2122.
CHICHI-2010-BerkovskyCFBB #game studies #physics #process
Physical activity motivating games: virtual rewards for real activity (SB, MC, JF, DB, NB), pp. 243–252.
CHICHI-2010-DownsHSC #game studies
Are your participants gaming the system?: screening mechanical turk workers (JSD, MBH, SS, LFC), pp. 2399–2402.
CHICHI-2010-El-NasrAMELMM #comprehension #game studies
Understanding and evaluating cooperative games (MSEN, BA, DM, ME, BL, HM, SM), pp. 253–262.
CHICHI-2010-IsbisterFH #design #game studies #learning
Designing games for learning: insights from conversations with designers (KI, MF, CH), pp. 2041–2044.
CHICHI-2010-KirmanLLMGG #facebook #game studies #information management #social
Improving social game engagement on facebook through enhanced socio-contextual information (BK, SWL, CL, FM, LG, AG), pp. 1753–1756.
CHICHI-2010-KuikkaniemiLTSKR #game studies
The influence of implicit and explicit biofeedback in first-person shooter games (KK, TL, MT, TS, IK, NR), pp. 859–868.
CHICHI-2010-TianLWWLKSDC #game studies #learning #mobile
Let’s play chinese characters: mobile learning approaches via culturally inspired group games (FT, FL, JW, HW, WL, MK, VS, GD, JC), pp. 1603–1612.
CHICHI-2010-WalshG #game studies #named #recommendation
Curator: a game with a purpose for collection recommendation (GW, JG), pp. 2079–2082.
CHICHI-2010-YeeDQ #game studies #mobile
Investigating narrative in mobile games for seniors (SLCYY, HBLD, FKHQ), pp. 669–672.
CSCWCSCW-2010-VoidaCG #game studies
The individual and the group in console gaming (AV, MSTC, SG), pp. 371–380.
ICEISICEIS-AIDSS-2010-PortelaAROG #automation #detection #framework #game studies #performance
An Intelligent Framework for Automatic Event Detection in Robotic Soccer Games — An Auxiliar Tool to Help Coaches Improve their Teams’ Performance (JP, PA, LPR, ECO, JG), pp. 244–249.
ICMLICML-2010-BouzyM #game studies #learning #matrix #multi
Multi-agent Learning Experiments on Repeated Matrix Games (BB, MM), pp. 119–126.
ICMLICML-2010-GaudelS #feature model #game studies
Feature Selection as a One-Player Game (RG, MS), pp. 359–366.
ICPRICPR-2010-AlbarelliRCT #approach #game studies #robust
Robust Figure Extraction on Textured Background: A Game-Theoretic Approach (AA, ER, AC, AT), pp. 360–363.
ICPRICPR-2010-LaunilaS #estimation #game studies
Contextual Features for Head Pose Estimation in Football Games (AL, JS), pp. 340–343.
ICPRICPR-2010-ParkY #analysis #approach #game studies #network #social
Social Network Approach to Analysis of Soccer Game (KJP, AY), pp. 3935–3938.
ICPRICPR-2010-RodolaAT #approach #game studies #multi #robust
A Game-Theoretic Approach to Robust Selection of Multi-view Point Correspondence (ER, AA, AT), pp. 57–60.
ICPRICPR-2010-RoySB #game studies #image #segmentation #using
Segmentation of Unideal Iris Images Using Game Theory (KR, CYS, PB), pp. 2844–2847.
ICPRICPR-2010-ZafrullaBYPSH #education #game studies #verification
American Sign Language Phrase Verification in an Educational Game for Deaf Children (ZZ, HB, PY, PP, TS, HH), pp. 3846–3849.
KEODKEOD-2010-KermanidisA #game studies #representation #semantics
LSA-based Semantic Representation of Action Games (KLK, KA), pp. 218–223.
KMISKMIS-2010-SrivastavaS #composition #game studies #using #validation
The Validation of a Dynamic Service Composition Model using a Simple Game (AS, PGS), pp. 260–266.
KRKR-2010-GiacomoLP #calculus #game studies #reasoning #representation #source code
Situation Calculus Based Programs for Representing and Reasoning about Game Structures (GDG, YL, ARP).
RecSysRecSys-2010-BerkovskyFCB #algorithm #game studies #process #recommendation
Recommender algorithms in activity motivating games (SB, JF, MC, DB), pp. 175–182.
QAPLQAPL-2010-BiancoFMM #game studies
Quantitative Fairness Games (AB, MF, FM, AM), pp. 48–63.
QAPLQAPL-2010-RabeS #game studies #markov
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games (MNR, SS), pp. 144–158.
SACSAC-2010-ChuaLGTA #game studies #mobile #resource management #usability
Evaluating the usability of a mobile content sharing game (AYKC, CSL, DHLG, KTT, NA), pp. 597–598.
SACSAC-2010-PeixotoPR #education #game studies #simulation
Semiotic inspection method in the context of educational simulation games (DCCP, ROP, RFR), pp. 1207–1212.
ICSEICSE-2010-MusilSWB #education #game studies #prototype #what
Synthesized essence: what game jams teach about prototyping of new software products (JM, AS, DW, SB), pp. 183–186.
SPLCSPLC-2010-FurtadoSR #analysis #game studies #product line
Streamlining Domain Analysis for Digital Games Product Lines (AWBF, ALMS, GLR), pp. 316–330.
PPoPPPPoPP-2010-LupeiSPMBKA #game studies #memory management #parallel #scalability #towards #transaction #using
Towards scalable and transparent parallelization of multiplayer games using transactional memory support (DL, BS, DP, MM, MB, WK, CA), pp. 325–326.
CAVCAV-2010-ChatterjeeHJR #game studies #named #probability
Gist: A Solver for Probabilistic Games (KC, TAH, BJ, AR), pp. 665–669.
CSLCSL-2010-DegorreDGRT #energy #game studies
Energy and Mean-Payoff Games with Imperfect Information (AD, LD, RG, JFR, ST), pp. 260–274.
CSLCSL-2010-Gradel #game studies
Definability in Games (EG), pp. 19–21.
LICSLICS-2010-Laird #game studies #polymorphism #programming language #semantics
Game Semantics for a Polymorphic Programming Language (JL), pp. 41–49.
ICSTSAT-2010-KlieberSGC #learning
A Non-prenex, Non-clausal QBF Solver with Game-State Learning (WK, SS, SG, EMC), pp. 128–142.
HTHT-2009-RafelsbergerS #game studies #network #social
Games with a purpose for social networking platforms (WR, AS), pp. 193–198.
SIGMODSIGMOD-2009-DemersGKSW #database #game studies #research
Database research in computer games (AJD, JG, CK, BS, WMW), pp. 1011–1014.
VLDBVLDB-2009-KoloniariP #clustering #game studies #peer-to-peer
A Recall-Based Cluster Formation Game in Peer-to-Peer Systems (GK, EP), pp. 455–466.
VLDBVLDB-2009-SallesCSDGKW #evaluation #game studies #multi #online
An Evaluation of Checkpoint Recovery for Massively Multiplayer Online Games (MAVS, TC, BS, AJD, JG, CK, WMW), pp. 1258–1269.
CSEETCSEET-2009-WuWSK #development #education #evaluation #framework #game studies #using
An Evaluation of Using a Game Development Framework in Higher Education (BW, AIW, JES, TBK), pp. 41–44.
ITiCSEITiCSE-2009-Al-BowAEFFLLM #education #game studies #programming #student #using
Using game creation for teaching computer programming to high school students and teachers (MAB, DA, JE, RF, JF, CL, STL, SM), pp. 104–108.
ITiCSEITiCSE-2009-Gomez-MartinJA #design pattern #education #game studies #product line #using
Teaching design patterns using a family of games (MAGM, GJD, JA), pp. 268–272.
ITiCSEITiCSE-2009-Kurkovsky #development #game studies #mobile
Making the case for mobile game development (SK), p. 401.
ITiCSEITiCSE-2009-Seidman #3d #game studies #interactive #programming
Alice first: 3D interactive game programming (RHS), p. 345.
FoSSaCSFoSSaCS-2009-Clairambault #fixpoint #game studies #semantics
Least and Greatest Fixpoints in Game Semantics (PC), pp. 16–31.
FoSSaCSFoSSaCS-2009-Gutierrez #bisimulation #concurrent #game studies #logic
Logics and Bisimulation Games for Concurrency, Causality and Conflict (JG), pp. 48–62.
TACASTACAS-2009-BakewellG #abstraction #composition #game studies #semantics
Compositional Predicate Abstraction from Game Semantics (AB, DRG), pp. 62–76.
TACASTACAS-2009-BerwangerCWDH #game studies #named
Alpaga: A Tool for Solving Parity Games with Imperfect Information (DB, KC, MDW, LD, TAH), pp. 58–61.
TACASTACAS-2009-KuijperP #game studies #safety
Computing Weakest Strategies for Safety Games of Imperfect Information (WK, JvdP), pp. 92–106.
STOCSTOC-2009-Even-DarMN #convergence #game studies #on the
On the convergence of regret minimization dynamics in concave games (EED, YM, UN), pp. 523–532.
STOCSTOC-2009-KarpinskiS #approximate #game studies #linear #problem
Linear time approximation schemes for the Gale-Berlekamp game and related minimization problems (MK, WS), pp. 313–322.
STOCSTOC-2009-KleinbergPT #game studies #learning #multi
Multiplicative updates outperform generic no-regret learning in congestion games: extended abstract (RK, GP, ÉT), pp. 533–542.
CIAACIAA-2009-Zimmermann #game studies
Time-Optimal Winning Strategies for Poset Games (MZ0), pp. 217–226.
DLTDLT-2009-KountouriotisNR #boolean grammar #game studies
A Game-Theoretic Characterization of Boolean Grammars (VK, CN, PR), pp. 334–347.
ICALPICALP-v1-2009-ChienS #game studies
Strong and Pareto Price of Anarchy in Congestion Games (SC, AS), pp. 279–291.
ICALPICALP-v1-2009-Papadimitriou #algorithm #game studies
Algorithmic Game Theory: A Snapshot (CHP), pp. 3–11.
ICALPICALP-v2-2009-BouyerF #game studies #probability #reachability
Reachability in Stochastic Timed Games (PB, VF), pp. 103–114.
ICALPICALP-v2-2009-ChatterjeeDH #bibliography #game studies #probability
A Survey of Stochastic Games with Limsup and Liminf Objectives (KC, LD, TAH), pp. 1–15.
ICALPICALP-v2-2009-GriponS #concurrent #game studies #probability
Qualitative Concurrent Stochastic Games with Imperfect Information (VG, OS), pp. 200–211.
ICALPICALP-v2-2009-UmmelsW #complexity #game studies #multi #nash #probability
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games (MU, DW), pp. 297–308.
CHICHI-2009-HackerA #elicitation #game studies #named #online
Matchin: eliciting user preferences with an online game (SH, LvA), pp. 1207–1216.
CHICHI-2009-KamMKC #case study #design #game studies
Designing digital games for rural children: a study of traditional village games in India (MK, AM, AK, JFC), pp. 31–40.
CHICHI-2009-LawA #game studies #named #using
Input-agreement: a new mechanism for collecting data using human computation games (EL, LvA), pp. 1197–1206.
CHICHI-2009-MagielseM #game studies #named #pervasive
HeartBeat: an outdoor pervasive game for children (RM, PM), pp. 2181–2184.
CHICHI-2009-MuellerGV #design #distributed #game studies #social
Design influence on social play in distributed exertion games (FM, MRG, FV), pp. 1539–1548.
CHICHI-2009-VoidaG #game studies
Wii all play: the console game as a computational meeting place (AV, SG), pp. 1559–1568.
CHICHI-2009-WaernMS #design #game studies #pervasive
The three-sixty illusion: designing for immersion in pervasive games (AW, MM, JS), pp. 1549–1558.
CHICHI-2009-YunSPD #experience #game studies
O’ game, can you feel my frustration?: improving user’s gaming experience via stresscam (CY, DS, IP, ZD), pp. 2195–2204.
HCIHCD-2009-Blasko-DrabikBB #game studies #physics #testing #usability
Combining Fast-Paced Usability and Scientific Testing to Improve the Lunar Quest Physics Game (HBD, JB, CAB), pp. 23–26.
HCIHCD-2009-LeeI #case study #evaluation #framework #game studies
A Study on User Centered Game Evaluation Guideline Based on the MIPA Framework (JL, CYI), pp. 84–93.
HCIHCD-2009-SanchezZG #development #game studies #process #usability #video
From Usability to Playability: Introduction to Player-Centred Video Game Development Process (JLGS, NPZ, FLG), pp. 65–74.
HCIHCI-VAD-2009-DoL #3d #artificial reality #game studies #multi
A Multiple-Level 3D-LEGO Game in Augmented Reality for Improving Spatial Ability (TVD, JWL), pp. 296–303.
HCIHCI-VAD-2009-FangCN #bibliography #game studies #online
An Online Survey System on Computer Game Enjoyment and Personality (XF, SSC, CN), pp. 304–314.
HCIHCI-VAD-2009-FerreAIM #game studies #testing
Playability Testing of Web-Based Sport Games with Older Children and Teenagers (XF, AdA, RI, NM), pp. 315–324.
HCIHCI-VAD-2009-HsuC09a #design #game studies #interface #multi #online
Exploring the Elements and Design Criteria of Massively-Multiplayer Online Role-Playing Game (MMORPG) Interfaces (CCH, ECHC), pp. 325–334.
HCIHCI-VAD-2009-KharraziFD #behaviour #design #game studies #modelling
Healthcare Game Design: Behavioral Modeling of Serious Gaming Design for Children with Chronic Diseases (HK, AF, JD), pp. 335–344.
HCIHCI-VAD-2009-LeeC #game studies #information management #online
The Effects of Quest Types and Gaming Motivations on Players’ Knowledge Acquisitions in an Online Role-Playing Game Environment (JL, CYC), pp. 353–358.
HCIHCI-VAD-2009-Loreto #design #game studies #social #web
Games Design Principles for Improving Social Web Applications (IDL), pp. 287–295.
HCIHCI-VAD-2009-ParkH #comprehension #game studies #online
Understanding Online Game Addiction: Connection between Presence and Flow (SP, HSH), pp. 378–386.
HCIHCI-VAD-2009-SaariTKKR #adaptation #game studies
Emotionally Adapted Games — An Example of a First Person Shooter (TS, MT, KK, IK, NR), pp. 406–415.
HCIHIMI-II-2009-FangZ #game studies
Sensation Seeking, Self Forgetfulness, and Computer Game Enjoyment (XF, FZ), pp. 632–641.
HCIHIMI-II-2009-WallhoffBGRDR #exclamation #game studies #interface #statistics
Statistics-Based Cognitive Human-Robot Interfaces for Board Games — Let’s Play! (FW, AB, JG, TR, MD, GR), pp. 708–715.
HCIIDGD-2009-ChakrabortyN #game studies
Cross Cultural Computer Gaming (JC, AFN), pp. 13–18.
HCIIDGD-2009-ZhaoF #game studies #online
Factors Affecting Online Game Players’ Loyalty (FZ, XF), pp. 197–206.
HCIOCSC-2009-AndersenFLN #development #game studies #using
The Coming Revolution in Competence Development: Using Serious Games to Improve Cross-Cultural Skills (BA, MF, PL, VPN), pp. 413–422.
HCIOCSC-2009-DesurvireW #design #game studies #heuristic #usability
Game Usability Heuristics (PLAY) for Evaluating and Designing Better Games: The Next Iteration (HD, CW), pp. 557–566.
HCIOCSC-2009-DuhC #behaviour #game studies #online
Cheating Behaviors in Online Gaming (HBLD, VHhC), pp. 567–573.
HCIOCSC-2009-OganAKJ #education #game studies #learning #question #social
Antecedents of Attributions in an Educational Game for Social Learning: Who’s to Blame? (AO, VA, JK, CJ), pp. 593–602.
HCIOCSC-2009-Raybourn #game studies
Intercultural Competence Game That Fosters Metacognitive Agility and Reflection (EMR), pp. 603–612.
HCIOCSC-2009-TaylorT #analysis #game studies #multi #online
A Content Analysis of Interviews with Players of Massively Multiplayer Online Role-Play Games (MMORPGs): Motivating Factors and the Impact on Relationships (JT, JT), pp. 613–621.
HCIOCSC-2009-VoiskounskyMA #game studies
Gamers’ Implicit Knowledge on the Psychological Influence of Game-Playing (AEV, OVM, AAA), pp. 632–640.
HCIOCSC-2009-WongCKP #game studies #mobile
Intercultural Socializing via Mobile Games for Backpackers (CYW, KC, CWK, SAP), pp. 641–650.
ICEISICEIS-J-2009-SilvaS #collaboration #game studies
Promoting Collaboration through a Culturally Contextualized Narrative Game (MARS, JCAS), pp. 870–881.
ICEISICEIS-J-2009-Yahyaoui #game studies
A Reputation-Based Game for Tasks Allocation (HY), pp. 728–736.
CIKMCIKM-2009-MaCQG #game studies #using
Improving search engines using human computation games (HM, RC, CQ, AG), pp. 275–284.
ICMLICML-2009-Freund #game studies #learning #online
Invited talk: Drifting games, boosting and online learning (YF), p. 2.
SIGIRSIGIR-2009-MaCQG #game studies #using
Page hunt: improving search engines using human computation games (HM, RC, CQ, AG), pp. 746–747.
ICMTICMT-2009-Stevens #approach #game studies #qvt
A Simple Game-Theoretic Approach to Checkonly QVT Relations (PS), pp. 165–180.
SACSAC-2009-CazzolaCH #aspect-oriented #design #game studies
Aspect-oriented procedural content engineering for game design (WC, DC, DH), pp. 1957–1962.
SACSAC-2009-XuMX #game studies
A method to construct knowledge table-base in k-in-a-row games (CX, ZMM, XX), pp. 929–933.
PPoPPPPoPP-2009-ZyulkyarovGUCAHV #game studies #interactive #memory management #multi #transaction #using
Atomic quake: using transactional memory in an interactive multiplayer game server (FZ, VG, OSÜ, AC, EA, TH, MV), pp. 25–34.
CAVCAV-2009-GawlitzaS #fixpoint #game studies
Games through Nested Fixpoints (TG, HS), pp. 291–305.
CSLCSL-2009-DuparcFM #automaton #decidability #game studies #linear #problem
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata (JD, AF, FM), pp. 225–239.
CSLCSL-2009-UmmelsW #game studies #nash #probability #problem
Decision Problems for Nash Equilibria in Stochastic Games (MU, DW), pp. 515–529.
ICLPICLP-2009-Thielscher #game studies #programming #set
Answer Set Programming for Single-Player Games in General Game Playing (MT), pp. 327–341.
LICSLICS-2009-BertrandGG #decidability #game studies #probability
Qualitative Determinacy and Decidability of Stochastic Games with Signals (NB, BG, HG), pp. 319–328.
LICSLICS-2009-Friedmann #algorithm #bound #exponential #game studies
An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it (OF), pp. 145–156.
LICSLICS-2009-Ghica #game studies #hardware #program analysis #semantics #synthesis
Applications of Game Semantics: From Program Analysis to Hardware Synthesis (DRG), pp. 17–26.
LICSLICS-2009-HansenKM #concurrent #game studies #reachability
Winning Concurrent Reachability Games Requires Doubly-Exponential Patience (KAH, MK, PBM), pp. 332–341.
LICSLICS-2009-Rossman #game studies
Combining Ehrenfeucht-Fraïssé Games (BR), p. 331.
TLCATLCA-2009-Boudes #game studies
Thick Subtrees, Games and Experiments (PB), pp. 65–79.
VMCAIVMCAI-2009-JurdzinskiLR #automaton #game studies #hybrid
Average-Price-per-Reward Games on Hybrid Automata with Strong Resets (MJ, RL, MR), pp. 167–181.
WICSAWICSA-2008-Brownsword #architecture #development #game studies
Software Architecture in Game Development (AB), p. 3.
DACDAC-2008-GuC #3d #game studies #interactive
Control theory-based DVS for interactive 3D games (YG, SC), pp. 740–745.
DATEDATE-2008-DavidLLN #approach #game studies #realtime #testing
A Game-Theoretic Approach to Real-Time System Testing (AD, KGL, SL, BN), pp. 486–491.
SIGMODSIGMOD-2008-AlbrightDGGLKSSW #data-driven #game studies #named #scalability
SGL: a scalable language for data-driven games (RA, AJD, JG, NG, HL, RK, GS, BS, WMW), pp. 1217–1222.
SIGMODSIGMOD-2008-GuptaDG #game studies #multi #named #online #scalability
SEMMO: a scalable engine for massively multiplayer online games (NG, AJD, JG), pp. 1235–1238.
CSEETCSEET-2008-RyooFJ #design #education #game studies #learning #object-oriented #problem #re-engineering
Teaching Object-Oriented Software Engineering through Problem-Based Learning in the Context of Game Design (JR, FF, DSJ), pp. 137–144.
CSEETCSEET-2008-WangOM #concept #evaluation #game studies #mobile
An Evaluation of a Mobile Game Concept for Lectures (AIW, , OKMS), pp. 197–204.
ITiCSEITiCSE-2008-CatuognoS #internet #network #security
An internet role-game for the laboratory of network security course (LC, ADS), pp. 240–244.
ITiCSEITiCSE-2008-EagleB #array #education #game studies
Wu’s castle: teaching arrays and loops in a game (ME, TB), pp. 245–249.
ITiCSEITiCSE-2008-LinhoffS #education #game studies #programming #using
Teaching game programming using XNA (JL, AS), pp. 250–254.
ITiCSEITiCSE-2008-NorteL #game studies #people
A sudoku game for people with motor impairments (SN, FGL), p. 319.
ITiCSEITiCSE-2008-ReppMY #development #game studies #motivation #student
Motivation of the students in game development projects (SR, CM, SY), p. 368.
ITiCSEITiCSE-2008-ReyesM #combinator #education #game studies #java
Games developed in Java for teaching “Combinatorial Game Theory” (MR, ÁM), p. 359.
ESOPESOP-2008-Ong #approach #higher-order #semantics #verification
Verification of Higher-Order Computation: A Game-Semantic Approach (CHLO), pp. 299–306.
FoSSaCSFoSSaCS-2008-AbdullaHAMS #game studies #probability
Stochastic Games with Lossy Channels (PAA, NBH, LdA, RM, SS), pp. 35–49.
FoSSaCSFoSSaCS-2008-GimbertH #game studies #probability #random
Simple Stochastic Games with Few Random Vertices Are Easy to Solve (HG, FH), pp. 5–19.
FoSSaCSFoSSaCS-2008-Goubault-Larrecq #game studies #infinity #probability #simulation
Simulation Hemi-metrics between Infinite-State Stochastic Games (JGL), pp. 50–65.
FoSSaCSFoSSaCS-2008-Ummels #complexity #game studies #infinity #multi #nash
The Complexity of Nash Equilibria in Infinite Multiplayer Games (MU), pp. 20–34.
TACASTACAS-2008-BakewellG #game studies #model checking #on the fly
On-the-Fly Techniques for Game-Based Software Model Checking (AB, DRG), pp. 78–92.
STOCSTOC-2008-AroraKKSTV #constraints #game studies #graph
Unique games on expanding constraint graphs are easy: extended abstract (SA, SK, AK, DS, MT, NKV), pp. 21–28.
STOCSTOC-2008-KolN #game studies
Games for exchanging information (GK, MN), pp. 423–432.
STOCSTOC-2008-LevinSZ #game studies
Interdomain routing and games (HL, MS, AZ), pp. 57–66.
STOCSTOC-2008-Rao #bound #game studies #parallel
Parallel repetition in projection games and a concentration bound (AR), pp. 1–10.
CIAACIAA-2008-EsikI #game studies #logic
Games for Temporal Logics on Trees (, SI), pp. 191–200.
ICALPICALP-A-2008-EtessamiWY #game studies #probability #recursion
Recursive Stochastic Games with Positive Rewards (KE, DW, MY), pp. 711–723.
ICALPICALP-A-2008-FanelliFM #convergence #game studies
The Speed of Convergence in Congestion Games under Best-Response Dynamics (AF, MF, LM), pp. 796–807.
ICALPICALP-A-2008-GrecoS #game studies
Tree Projections: Hypergraph Games and Minimality (GG, FS), pp. 736–747.
FMFM-2008-GawlitzaS #analysis #game studies #precise
Precise Interval Analysis vs. Parity Games (TG, HS), pp. 342–357.
SEFMSEFM-2008-RuksenasCB #behaviour #game studies #modelling
Modelling Rational User Behaviour as Games between an Angel and a Demon (RR, PC, AB), pp. 355–364.
CHICHI-2008-Grammenos #game studies #learning
Game over: learning by dying (DG), pp. 1443–1452.
CHICHI-2008-LindleyCB #behaviour #experience #game studies #social
Stirring up experience through movement in game play: effects on engagement and social behaviour (SEL, JLC, NB), pp. 511–514.
CHICHI-2008-PinelleW #design #evaluation #game studies #heuristic #usability #video
Heuristic evaluation for games: usability principles for video game design (DP, NW), pp. 1453–1462.
CHICHI-2008-SzentgyorgyiTL #game studies #social
Renegade gaming: practices surrounding social use of the Nintendo DS handheld gaming system (CS, MAT, EL), pp. 1463–1472.
CSCWCSCW-2008-CampbellNF #design #game studies
Game design principles in everyday fitness applications (TC, BN, JF), pp. 249–252.
CSCWCSCW-2008-CaoMB #ad hoc #case study #game studies #multi
Flashlight jigsaw: an exploratory study of an ad-hoc multi-player game on public displays (XC, MM, RB), pp. 77–86.
CSCWCSCW-2008-Dabbish #game studies #online
Jumpstarting relationships with online games: evidence from a laboratory investigation (LAD), pp. 353–356.
CSCWCSCW-2008-OHaraGR #comprehension #game studies
Understanding collective play in an urban screen game (KO, MG, SR), pp. 67–76.
ICEISICEIS-HCI-2008-AnacletoPFCF #education #game studies
Culture Sensitive Educational Games Considering Common Sense Knowledge (JCAS, ENP, AMF, AFPdC, JF), pp. 136–141.
ICEISICEIS-ISAS2-2008-InoueS #development #game studies
Applying MDA to Game Software Development (TI, YS), pp. 454–459.
ICMLICML-2008-BowlingJBS #evaluation #game studies
Strategy evaluation in extensive games with importance sampling (MHB, MJ, NB, DS), pp. 72–79.
ICMLICML-2008-GordonGM #game studies #learning
No-regret learning in convex games (GJG, AG, CM), pp. 360–367.
ICMLICML-2008-VovkZ #game studies #predict
Prediction with expert advice for the Brier game (VV, FZ), pp. 1104–1111.
ICPRICPR-2008-ScherCD #game studies
Making real games virtual: Tracking board game pieces (SS, RC, JD), pp. 1–4.
KRKR-2008-RamanujamS #game studies #logic
Dynamic Logic on Games with Structured Strategies (RR, SES), pp. 49–58.
QAPLQAPL-2008-KattenbeltKNP #abstraction #game studies #probability
Game-Based Probabilistic Predicate Abstraction in PRISM (MK, MZK, GN, DP), pp. 5–21.
RERE-2008-BeattyA #case study #experience #requirements
Games-Based Requirements Engineering Training: An Initial Experience Report (JB, MA), pp. 211–216.
RERE-2008-CalleleNS #game studies #requirements #security #video
Balancing Security Requirements and Emotional Requirements in Video Games (DC, EN, KS), pp. 319–320.
SACSAC-2008-BazzanSDB #contest #game studies
Emerging cooperation in a public goods game with competition (ALCB, RdS, SRD, ATB), pp. 8–12.
SACSAC-2008-PetrilloPTD #bibliography #development #game studies #problem
Houston, we have a problem...: a survey of actual problems in computer games development (FP, MSP, FMT, CD), pp. 707–711.
SPLCSPLC-2008-AlvesCA #case study #development #experience #game studies #mobile #product line
Experiences with Mobile Games Product Line Development at Meantime (VA, TC, CFA), pp. 287–296.
SPLCSPLC-2008-CarbonKMM #feedback #game studies #product line
Providing Feedback from Application to Family Engineering — The Product Line Planning Game at the Testo AG (RC, JK, DM, GM), pp. 180–189.
CAVCAV-2008-AlurKW #automaton #game studies #ranking #requirements
Ranking Automata and Games for Prioritized Requirements (RA, AK, GW), pp. 240–253.
CSLCSL-2008-DawarG #complexity #game studies
The Descriptive Complexity of Parity Games (AD, EG), pp. 354–368.
CSLCSL-2008-LagoL #game studies #linear #logic #semantics
Quantitative Game Semantics for Linear Logic (UDL, OL), pp. 230–245.
CSLCSL-2008-Schewe #algorithm #game studies
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games (SS), pp. 369–384.
ICLPICLP-2008-Gosti #csp #game studies
Resolving CSP with Naming Games (GG), pp. 807–808.
LICSLICS-2008-CarayolHMOS #automaton #game studies #higher-order
Winning Regions of Higher-Order Pushdown Games (AC, MH, AM, CHLO, OS), pp. 193–204.
LICSLICS-2008-Murawski #game studies #nondeterminism #reachability #semantics #source code
Reachability Games and Game Semantics: Comparing Nondeterministic Programs (ASM), pp. 353–363.
VMCAIVMCAI-2008-KupfermanL #automaton #game studies #logic #multi #simulation
Multi-valued Logics, Automata, Simulations, and Games (OK, YL), p. 5.
VMCAIVMCAI-2008-SohailSR #algorithm #game studies #hybrid #ltl
A Hybrid Algorithm for LTL Games (SS, FS, KR), pp. 309–323.
CBSECBSE-2007-Folmer #component #development #game studies #question
Component Based Game Development — A Solution to Escalating Costs and Expanding Deadlines? (EF), pp. 66–73.
SIGMODSIGMOD-2007-WhiteDKGR #game studies #scalability
Scaling games to epic proportion (WMW, AJD, CK, JG, RR), pp. 31–42.
CSEETCSEET-2007-Taran #education #game studies #re-engineering #risk management #using
Using Games in Software Engineering Education to Teach Risk Management (GT), pp. 211–220.
ITiCSEITiCSE-2007-BarnesRPCG #game studies #learning #named
Game2Learn: building CS1 learning games for retention (TB, HR, EP, AC, AG), pp. 121–125.
ITiCSEITiCSE-2007-DistasioW #education #framework #game studies #using
Inclusive computer science education using a ready-made computer game framework (JD, TPW), pp. 116–120.
ITiCSEITiCSE-2007-KorteAPG #approach #education #learning #novel
Learning by game-building: a novel approach to theoretical computer science education (LK, SA, HP, JG), pp. 53–57.
FoSSaCSFoSSaCS-2007-Chatterjee #game studies #probability #synthesis
Optimal Strategy Synthesis in Stochastic Müller Games (KC), pp. 138–152.
FoSSaCSFoSSaCS-2007-ChatterjeeHP #game studies
Generalized Parity Games (KC, TAH, NP), pp. 153–167.
TACASTACAS-2007-Horn #algorithm #game studies #performance
Faster Algorithms for Finitary Games (FH), pp. 472–484.
STOCSTOC-2007-GutoskiW #game studies #quantum #towards
Toward a general theory of quantum games (GG, JW), pp. 565–574.
STOCSTOC-2007-KakadeKL #algorithm #approximate #game studies
Playing games with approximation algorithms (SMK, ATK, KL), pp. 546–555.
STOCSTOC-2007-PassV #game studies #parallel #performance #theorem
An efficient parallel repetition theorem for Arthur-Merlin games (RP, MV), pp. 420–429.
CIAACIAA-2007-HoltmannL #game studies #infinity #memory management #reduction
Memory Reduction for Strategies in Infinite Games (MH, CL), pp. 253–264.
ICALPICALP-2007-BrihayeHPR #game studies #reachability
Minimum-Time Reachability in Timed Games (TB, TAH, VSP, JFR), pp. 825–837.
ICALPICALP-2007-GimbertZ #game studies #probability
Perfect Information Stochastic Priority Games (HG, WZ), pp. 850–861.
ICALPICALP-2007-JurdzinskiT #automaton #game studies
Reachability-Time Games on Timed Automata (MJ, AT), pp. 838–849.
ICALPICALP-2007-KontogiannisS #algorithm #approximate #constant #game studies #performance
Efficient Algorithms for Constant Well Supported Approximate Equilibria in Bimatrix Games (SCK, PGS), pp. 595–606.
CHICHI-2007-BatchellerHNRRZ #game studies #testing #video
Testing the technology: playing games with video conferencing (ALB, BH, KN, EJR, MRB, XZ), pp. 849–852.
CHICHI-2007-DucheneautYNM #community #game studies #online
The life and death of online gaming communities: a look at guilds in world of warcraft (ND, NY, EN, RJM), pp. 839–848.
CHICHI-2007-FlanaganN #design #game studies #social
A game design methodology to incorporate social activist themes (MF, HN), pp. 181–190.
CHICHI-2007-NenonenLHLJH #game studies #interactive #using
Using heart rate to control an interactive game (VN, AL, VH, TL, MJ, PH), pp. 853–856.
CHICHI-2007-SeayK #game studies #online #problem #self
Project massive: self-regulation and problematic use of online gaming (AFS, REK), pp. 829–838.
HCIHCI-AS-2007-Chang #design #game studies #interactive
Interacting Play — Design as a Metaphor for Developing Interactive Games (TWC), pp. 190–197.
HCIHCI-AS-2007-CorradiniBH #2d #game studies #interface #natural language
A Natural Language Interface for a 2D Networked Game (AC, AB, TH), pp. 225–234.
HCIHCI-AS-2007-LiuLS #behaviour #comprehension #design #game studies #online #what
What Makes Game Players Want to Play More? A Mathematical and Behavioral Understanding of Online Game Design (DL, XL, RS), pp. 284–293.
HCIHCI-AS-2007-SanchezSS #game studies #learning #mobile
Mobile Game-Based Methodology for Science Learning (JS, AS, MS), pp. 322–331.
HCIHCI-AS-2007-SongLH #case study #evaluation #framework #game studies #multi #online #usability
A New Framework of Usability Evaluation for Massively Multi-player Online Game: Case Study of “World of Warcraft” Game (SS, JL, IH), pp. 341–350.
HCIHCI-AS-2007-ZhanLSO #game studies #multi #online #realtime
Face to Face Communications in Multiplayer Online Games: A Real-Time System (CZ, WL, FS, PO), pp. 401–410.
HCIHCI-IDU-2007-DomingoHM #comprehension #game studies #process
A Game to Promote Understanding About UCD Methods and Process (MGD, MAH, EM), pp. 446–452.
HCIHCI-IPT-2007-SongWT #game studies #interface #using
A Tangible Game Interface Using Projector-Camera Systems (PS, SW, JT), pp. 956–965.
HCIHCI-MIE-2007-JuSK #game studies #people #quote #using
“Shooting a Bird”: Game System Using Facial Feature for the Handicapped People (JJ, YS, EYK), pp. 642–648.
HCIHCI-MIE-2007-Lee07b #3d #game studies #self
Emotion and Sense of Telepresence: The Effects of Screen Viewpoint, Self-transcendence Style, and NPC in a 3D Game Environment (JJL), pp. 393–400.
HCIHIMI-IIE-2007-HsuCSWY #analysis #assessment #game studies #interface #online #using
Function Interfaces Assessment of Online Game Websites in Great China Area Using Content Analysis (CIH, CC, CHS, PJW, YJY), pp. 337–346.
HCIHIMI-IIE-2007-YoonKPLY #game studies #modelling #using
Game Player Modeling Using D-FSMs (TBY, DMK, KHP, JHL, KHY), pp. 490–499.
HCIOCSC-2007-Jang #community #game studies #online #self
Managing Fairness: Reward Distribution in a Self-organized Online Game Player Community (CYJ), pp. 375–384.
HCIOCSC-2007-PanKL #community #design #game studies #guidelines #online
Sociability Design Guidelines for the Online Gaming Community: Role Play and Reciprocity (YCP, LK, JJL), pp. 426–434.
HCIOCSC-2007-YuanZW #community #contest #game studies #online
Cooperation and Competition Dynamics in an Online Game Community (RY, LZ, WW), pp. 475–484.
AdaSIGAda-2007-HallmarkR #ada #evaluation #evolution #game studies #parallel
Parallel evolution of game evaluation functions in ada (TBH, EKR), pp. 59–62.
ICEISICEIS-EIS-2007-HeberlingHBH #collaboration #game studies #multi #online #peer-to-peer
Future Collaborative Systems Between Peer-to-Peer and Massive Multiplayer Online Games (MH, RH, TB, TH), pp. 340–346.
ICEISICEIS-HCI-2007-AraujoB #architecture #education #game studies #using
Using Games in the Teaching of Digital Systems and of Computers Architecture (PJGdA, JVB), pp. 5–10.
ICMLICML-2007-SternHG #game studies #learning
Learning to solve game trees (DHS, RH, TG), pp. 839–846.
MODELSMoDELS-2007-KienzleDV #behaviour #design #game studies #modelling
Model-Based Design of Computer-Controlled Game Character Behavior (JK, AD, HV), pp. 650–665.
MODELSMoDELS-2007-KienzleDV #behaviour #design #game studies #modelling
Model-Based Design of Computer-Controlled Game Character Behavior (JK, AD, HV), pp. 650–665.
RERE-2007-AlvesRD #case study #challenge #development #game studies #mobile #requirements
Challenges in Requirements Engineering for Mobile Games Development: The Meantime Case Study (CFA, GR, ALGD), pp. 275–280.
RERE-2007-SmithG #game studies #lightweight #requirements #using
Using a Game to Introduce Lightweight Requirements Engineering (RS, OG), pp. 379–380.
SACSAC-2007-LiuT #game studies #random
Eigen-distribution on assignments for game trees with random properties (CL, KT), pp. 78–79.
HPDCHPDC-2007-MullerGSF #case study #game studies #multi #online #replication #scalability #using
Scaling multiplayer online games using proxy-server replication: a case study of Quake 2 (JM, SG, TS, SF), pp. 219–220.
CADECADE-2007-Stirling #automaton #game studies
Games, Automata and Matching (CS), pp. 1–2.
CAVCAV-2007-AlfaroF #algorithm #game studies
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games (LdA, MF), pp. 108–120.
CAVCAV-2007-BehrmannCDFLL #exclamation #game studies #named
UPPAAL-Tiga: Time for Playing Games! (GB, AC, AD, EF, KGL, DL), pp. 121–125.
CSLCSL-2007-Alfaro #approach #game studies
The Symbolic Approach to Repeated Games (Abstract) (LdA), p. 3.
CSLCSL-2007-HertelU #game studies
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space (AH, AU), pp. 527–541.
CSLCSL-2007-McCuskerP #game studies
A Games Model of Bunched Implications (GM, DJP), pp. 573–588.
CSLCSL-2007-Obdrzalek #clique #game studies
Clique-Width and Parity Games (JO), pp. 54–68.
ICLPICLP-2007-NeedhamV #game studies #semantics
A Games Semantics of ASP (JN, MDV), pp. 460–461.
LICSLICS-2007-AlfaroMRS #game studies #metric
Game Relations and Metrics (LdA, RM, VR, MS), pp. 99–108.
LICSLICS-2007-MelliesT #game studies #semantics
Resource modalities in game semantics (PAM, NT), pp. 389–398.
LICSLICS-2007-Stirling #automaton #game studies #higher-order
Higher-Order Matching, Games and Automata (CS), pp. 326–335.
TLCATLCA-2007-Berardi #game studies #semantics
Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves (SB), pp. 23–38.
CASECASE-2006-ZhouD #game studies #learning
An evolutionary game model on supply chains learning through imitation (MZ, FD), pp. 645–648.
DACDAC-2006-BanerjeePDKD #game studies #generative #specification #testing
Test generation games from formal specifications (AB, BP, SD, AK, PD), pp. 827–832.
DACDAC-2006-CohnKMTT #challenge #design #game studies #multi
Design challenges for next-generation multimedia, game and entertainment platforms (JMC, JTK, CM, RT, BT), p. 459.
DACDAC-2006-GuCO #game studies
Games are up for DVFS (YG, SC, WTO), pp. 598–603.
CSEETCSEET-2006-JainB #game studies #named #re-engineering
SimVBSE: Developing a Game for Value-Based Software Engineering (AJ, BWB), pp. 103–114.
ITiCSEITiCSE-2006-BiancoL #game studies #named
PlayToLearn: a game adventure in the realm of Si Piuh (GMB, IL), p. 331.
FoSSaCSFoSSaCS-2006-Serre #game studies #graph #process
Parity Games Played on Transition Graphs of One-Counter Processes (OS), pp. 337–351.
TACASTACAS-2006-ChatterjeeH #game studies
Finitary Winning in ω-Regular Games (KC, TAH), pp. 257–271.
STOCSTOC-2006-CharikarMM #algorithm #game studies
Near-optimal algorithms for unique games (MC, KM, YM), pp. 205–214.
STOCSTOC-2006-HayrapetyanTW #game studies
The effect of collusion in congestion games (AH, ÉT, TW), pp. 89–98.
DLTDLT-2006-FritzW #automaton #game studies #simulation
Simulation Relations for Alternating Parity Automata and Parity Games (CF, TW), pp. 59–70.
ICALPICALP-v1-2006-CominettiCM #game studies #network
Network Games with Atomic Players (RC, JRC, NESM), pp. 525–536.
ICALPICALP-v1-2006-DaskalakisFP #complexity #game studies #nash
The Game World Is Flat: The Complexity of Nash Equilibria in Succinct Games (CD, AF, CHP), pp. 513–524.
ICALPICALP-v1-2006-FotakisKS #game studies
Atomic Congestion Games Among Coalitions (DF, SCK, PGS), pp. 572–583.
ICALPICALP-v1-2006-GairingMT #game studies #latency #linear
Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions (MG, BM, KT), pp. 501–512.
ICALPICALP-v1-2006-GroheV #game studies #graph #morphism #parallel #testing
Testing Graph Isomorphism in Parallel by Playing a Game (MG, OV), pp. 3–14.
ICALPICALP-v2-2006-CorinH #encryption #game studies #hoare #logic #probability #proving
A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs (RC, JdH), pp. 252–263.
ICALPICALP-v2-2006-EtessamiY #concurrent #game studies #probability #recursion
Recursive Concurrent Stochastic Games (KE, MY), pp. 324–335.
ICALPICALP-v2-2006-GimbertZ #game studies
Deterministic Priority Mean-Payoff Games as Limits of Discounted Games (HG, WZ), pp. 312–323.
ICALPICALP-v2-2006-Kopczynski #game studies #infinity
Half-Positional Determinacy of Infinite Games (EK), pp. 336–347.
ICALPICALP-v2-2006-Stirling #approach #game studies #higher-order
A Game-Theoretic Approach to Deciding Higher-Order Matching (CS), pp. 348–359.
CHICHI-2006-AhnGKLB #game studies #web
Improving accessibility of the web with a computer game (LvA, SG, MK, RL, MB), pp. 79–82.
CHICHI-2006-AhnKB #game studies #named
Verbosity: a game for collecting common-sense facts (LvA, MK, MB), pp. 75–78.
CHICHI-2006-AhnLB #game studies #image #named
Peekaboom: a game for locating objects in images (LvA, RL, MB), pp. 55–64.
CHICHI-2006-BellCBHSTBRB #game studies #mobile
Interweaving mobile games with everyday life (MB, MC, LB, MH, SS, PT, BB, DR, SB), pp. 417–426.
CHICHI-2006-DucheneautYNM #game studies #multi #online #quote #social
“Alone together?”: exploring the social dynamics of massively multiplayer online games (ND, NY, EN, RJM), pp. 407–416.
CHICHI-2006-Hazlett #case study #experience #game studies #interactive #video
Measuring emotional valence during interactive experiences: boys at video game play (RLH), pp. 1023–1026.
CHICHI-2006-WangXXWZDZ #game studies #video
Face-tracking as an augmented input in video games: enhancing presence, role-playing and control (SW, XX, YX, CW, WZ, XD, DZ), pp. 1097–1106.
CHICHI-2006-WilsonA #game studies #using
Text entry using a dual joystick game controller (ADW, MA), pp. 475–478.
CSCWCSCW-2006-PiperOMW #development #game studies #named #social
SIDES: a cooperative tabletop computer game for social skills development (AMP, EO, MRM, TW), pp. 1–10.
CSCWCSCW-2006-RiegelsbergerCFP #game studies
Sounds good to me: effects of photo and voice profiles on gaming partner choice (JR, SC, SF, BCP), pp. 159–162.
ICMLICML-2006-SternHG #game studies #predict #ranking
Bayesian pattern ranking for move prediction in the game of Go (DHS, RH, TG), pp. 873–880.
ICPRICPR-v1-2006-GormanTBH #behaviour #game studies #interactive
Bayesian Imitation of Human Behavior in Interactive Computer Games (BG, CT, CB, MH), pp. 1244–1247.
ICPRICPR-v1-2006-ThurauHB #behaviour #classification #game studies #video
Classification of Team Behaviors in Sports Video Games (CT, TH, CB), pp. 1188–1191.
ICPRICPR-v3-2006-ZhangDC #analysis #detection #game studies
Ball Hit Detection in Table Tennis Games Based on Audio Analysis (BZ, WD, LC), pp. 220–223.
SEKESEKE-2006-ZhangYLC #formal method #game studies #novel #protocol
A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization (LZ, JY, ML, JC), pp. 410–415.
QAPLQAPL-2005-McIverM06 #calculus #game studies #novel #probability #μ-calculus
A Novel Stochastic Game Via the Quantitative μ-calculus (AM, CM), pp. 195–212.
POPLPOPL-2006-Sweeney #developer #game studies #perspective #programming language
The next mainstream programming language: a game developer’s perspective (TS), p. 269.
RERE-2006-CalleleNS #game studies #requirements #video
Emotional Requirements in Video Games (DC, EN, KS), pp. 292–295.
ICSEICSE-2006-CutumisuOSSMRSC #experience #game studies
Evaluating pattern catalogs: the computer games experience (MC, CO, DS, JS, MM, TR, JS, MC), pp. 132–141.
SPLCSPLC-2006-Dalgarno #game studies
The Scoping Game (MD), p. 224.
CSLCSL-2006-Chatterjee #concurrent #game studies
Concurrent Games with Tail Objectives (KC), pp. 256–270.
CSLCSL-2006-ChatterjeeDHR #algorithm #game studies
Algorithms for ω-Regular Games with Imperfect Information (KC, LD, TAH, JFR), pp. 287–302.
CSLCSL-2006-HenzingerP #game studies
Solving Games Without Determinization (TAH, NP), pp. 395–410.
CSLCSL-2006-Kaiser #automation #game studies #model checking #quantifier
Game Quantification on Automatic Structures and Hierarchical Model Checking Games (LK), pp. 411–425.
CSLCSL-2006-Ong #approach #infinity #semantics #verification
Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) (CHLO), pp. 31–40.
LICSLICS-2006-BrazdilBFK #game studies #probability
Stochastic Games with Branching-Time Winning Objectives (TB, VB, VF, AK), pp. 349–358.
LICSLICS-2006-PitermanP #game studies #performance
Faster Solutions of Rabin and Streett Games (NP, AP), pp. 275–284.
CASECASE-2005-TangK #distributed #game studies #modelling #multi #problem
Cooperation in a multi-stage game for modeling distributed task delegation in a supply chain procurement problem (KT, SRTK), pp. 93–98.
ITiCSEITiCSE-2005-BoavidaSASLV #game studies #online
The MulE game engine extending online role-playing games (MB, JPS, PAAA, LS, JL, RV), p. 404.
ITiCSEITiCSE-2005-ClaypoolC #design #education #game studies #re-engineering
Teaching software engineering through game design (KTC, MC), pp. 123–127.
ITiCSEITiCSE-2005-KollingH #game studies #programming
Game programming in introductory courses with direct state manipulation (MK, PH), pp. 59–63.
ITiCSEITiCSE-2005-Prakash #game studies
Computer game arena: a showcase for computer game projects (ECP), p. 358.
ITiCSEITiCSE-2005-SweedykK #game studies #re-engineering
Fun and games: a new software engineering course (ES, RMK), pp. 138–142.
TACASTACAS-2005-HardingRS #algorithm #game studies #ltl #synthesis
A New Algorithm for Strategy Synthesis in LTL Games (AH, MR, PYS), pp. 477–492.
ICSMEICSM-2005-AlvesCVSDBR #analysis #comparative #game studies #migration
Comparative Analysis of Porting Strategies in J2ME Games (VA, IC, HV, PHMS, ALGD, PB, GR), pp. 123–132.
SASSAS-2005-Abramsky #algorithm #game studies #semantics #static analysis
Algorithmic Game Semantics and Static Analysis (SA), p. 1.
SASSAS-2005-DimovskiGL #approach #game studies #refinement #semantics
Data-Abstraction Refinement: A Game Semantic Approach (AD, DRG, RL), pp. 102–117.
STOCSTOC-2005-ChristodoulouK #finite #game studies
The price of anarchy of finite congestion games (GC, EK), pp. 67–73.
STOCSTOC-2005-Papadimitriou #correlation #game studies #multi
Computing correlated equilibria in multi-player games (CHP), pp. 49–56.
ICALPICALP-2005-ChatterjeeAH #complexity #game studies #probability
The Complexity of Stochastic Rabin and Streett Games (KC, LdA, TAH), pp. 878–890.
ICALPICALP-2005-EtessamiY #game studies #markov #probability #process #recursion
Recursive Markov Decision Processes and Recursive Stochastic Games (KE, MY), pp. 891–903.
ICALPICALP-2005-Zhang #game studies #performance #resource management
The Efficiency and Fairness of a Fixed Budget Resource Allocation Game (LZ0), pp. 485–496.
CHICHI-2005-FlanaganHN #design #game studies #trade-off
Values at play: design tradeoffs in socially-oriented game design (MF, DCH, HN), pp. 751–760.
ICEISICEIS-v1-2005-Srinivas #enterprise #game studies #java
The Java Revolution : From Enterprise to Gaming (RNS), p. 17.
ICEISICEIS-v2-2005-AhmanH #approach #game studies #reduction #simulation #using
Using a Game Theoretical Approach for Experimental Simulation of Brood Reduction — Conflict and Co-Operation, Effect on Brood Size with Limited Resources (, LH), pp. 220–225.
ICMLICML-2005-CrandallG #game studies #learning
Learning to compete, compromise, and cooperate in repeated general-sum games (JWC, MAG), pp. 161–168.
POPLPOPL-2005-Ghica #game studies
Slot games: a quantitative model of computation (DRG), pp. 85–97.
RERE-2005-CalleleNS #game studies #industrial #process #requirements #video
Requirements Engineering and the Creative Process in the Video Game Industry (DC, EN, KS), pp. 240–252.
SPLCSPLC-2005-AlvesMCBR #evolution #game studies #mobile #product line
Extracting and Evolving Mobile Games Product Lines (VA, PMJ, LC, PB, GR), pp. 70–81.
PPoPPPPoPP-2005-ChenWDKLA #game studies #locality #multi
Locality aware dynamic load management for massively multiplayer games (JC, BW, MD, BK, HL, CA), pp. 289–300.
CAVCAV-2005-JobstmannGB #game studies #program repair
Program Repair as a Game (BJ, AG, RB), pp. 226–238.
CSLCSL-2005-ChenD #algorithm #consistency #constraints #game studies #quantifier
From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction (HC, VD), pp. 232–247.
CSLCSL-2005-Stirling #game studies #higher-order
Higher-Order Matching and Games (CS), pp. 119–134.
LICSLICS-2005-ChatterjeeHJ #game studies
Mean-Payoff Parity Games (KC, TAH, MJ), pp. 178–187.
LICSLICS-2005-FaggianM #concurrent #game studies #interactive
Ludics Nets, a game Model of Concurrent Interaction (CF, FM), pp. 376–385.
LICSLICS-2005-Mellies #game studies #linear #logic
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic (PAM), pp. 386–395.
ICSTSAT-2005-GalesiT #game studies
Resolution and Pebbling Games (NG, NT), pp. 76–90.
TLCATLCA-2005-Hayashi #game studies #proving #question
Can Proofs Be Animated By Games? (SH), pp. 11–22.
ASEASE-2004-McNaughtonCSSRP #design pattern #game studies #generative #named
ScriptEase: Generative Design Patterns for Computer Role-Playing Games (MM, MC, DS, JS, JR, DP), pp. 88–99.
ASEASE-2004-McNaughtonCSSRP04a #game studies #generative #named
ScriptEase: Generating Scripting Code for Computer Role-Playing Games (MM, MC, DS, JS, JR, DP), pp. 386–387.
DATEDATE-v1-2004-IranliCP #approach #energy #game studies #streaming #video
A Game Theoretic Approach to Low Energy Wireless Video Streaming (AI, KC, MP), pp. 696–697.
ITiCSEITiCSE-2004-BlumensteinGNM #analysis #automation #game studies
An experimental analysis of GAME: a generic automated marking environment (MB, SG, AN, VM), pp. 67–71.
ITiCSEITiCSE-2004-LeskaR #concept #game studies #learning #using
Learning O-O concepts in CS I using game projects (CL, JRR), p. 237.
ITiCSEITiCSE-2004-NatvigL #education #game studies
Age of computers: game-based teaching of computer fundamentals (LN, SL), pp. 107–111.
ITiCSEITiCSE-2004-NavarroH #education #game studies #named #process #re-engineering #simulation
SimSE: an educational simulation game for teaching the Software engineering process (EON, AvdH), p. 233.
FoSSaCSFoSSaCS-2004-Laird #game studies #semantics
A Game Semantics of Local Names and Good Variables (JL), pp. 289–303.
FoSSaCSFoSSaCS-2004-Zielonka #game studies #probability
Perfect-Information Stochastic Parity Games (WZ), pp. 499–513.
TACASTACAS-2004-AbramskyGMO #composition #game studies #modelling #semantics #verification
Applying Game Semantics to Compositional Software Modeling and Verification (SA, DRG, ASM, CHLO), pp. 421–435.
TACASTACAS-2004-Muller-OlmY #animation #game studies #model checking #named
MetaGame: An Animation Tool for Model-Checking Games (MMO, HY), pp. 163–167.
STOCSTOC-2004-Tardos #game studies #network
Network games (ÉT), pp. 341–342.
ICALPICALP-2004-AlurBM #game studies #reachability
Optimal Reachability for Weighted Timed Games (RA, MB, PM), pp. 122–133.
ICALPICALP-2004-Boudes #game studies
Projecting Games on Hypercoherences (PB), pp. 257–268.
ICALPICALP-2004-DawarGK #backtracking #fixpoint #game studies
Backtracking Games and Inflationary Fixed Points (AD, EG, SK), pp. 420–432.
ICALPICALP-2004-GairingLMMR #game studies #latency #nash
Nash Equilibria in Discrete Routing Games with Convex Latency Functions (MG, TL, MM, BM, MR), pp. 645–657.
ICALPICALP-2004-Serre #complexity #game studies
Games with Winning Conditions of High Borel Complexity (OS), pp. 1150–1162.
ICALPICALP-2004-Yannakakis #game studies #testing
Testing, Optimizaton, and Games (MY), pp. 28–45.
CHICHI-2004-AhnD #game studies #image
Labeling images with a computer game (LvA, LD), pp. 319–326.
CHICHI-2004-BakerCKW #behaviour #game studies #student
Off-task behavior in the cognitive tutor classroom: when students “game the system” (RSB, ATC, KRK, AZW), pp. 383–390.
CHICHI-2004-Cornett #design #game studies #multi #online #usability
The usability of massively multiplayer online roleplaying games: designing for new users (SC), pp. 703–710.
CHICHI-2004-CrabtreeBRGFADARTS #artificial reality #game studies
Orchestrating a mixed reality game “on the ground” (AC, SB, TR, CG, MF, RA, AD, MA, JRF, NT, AS), pp. 391–398.
CSCWCSCW-2004-DucheneautM #case study #game studies #interactive #multi #online #social
The social side of gaming: a study of interaction patterns in a massively multiplayer online game (ND, RJM), pp. 360–369.
CSCWCSCW-2004-GolderD #game studies #online
Hiding and revealing in online poker games (SAG, JSD), pp. 370–373.
ICEISICEIS-v4-2004-CaoSUV #case study #game studies
A Study of User Attitude Dynamics in a Computer Game (YC, GS, YU, JV), pp. 222–229.
ICMLICML-2004-ConitzerS #bound #communication #complexity #game studies #learning
Communication complexity as a lower bound for learning in games (VC, TS).
SEKESEKE-2004-DantasBW #game studies #learning #project management
A Simulation-Based Game for Project Management Experiential Learning (ARD, MdOB, CMLW), pp. 19–24.
ICSEICSE-2004-Tenzer #design #game studies #tool support #uml
Improving UML Design Tools by Formal Games (JT), pp. 75–77.
CAVCAV-2004-Tan #framework #game studies #named
PlayGame: A Platform for Diagnostic Games (LT), pp. 492–495.
CSLCSL-2004-ArenasBL #finite #game studies #locality #modelling
Game-Based Notions of Locality Over Finite Models (MA, PB, LL), pp. 175–189.
CSLCSL-2004-ChatterjeeMJ #game studies #nash #on the #probability
On Nash Equilibria in Stochastic Games (KC, RM, MJ), pp. 26–40.
CSLCSL-2004-Gimbert #game studies #graph #infinity
Parity and Exploration Games on Infinite Graphs (HG), pp. 56–70.
LICSLICS-2004-AbramskyGMOS #abstraction #calculus #game studies
Nominal Games and Full Abstraction for the Nu-Calculus (SA, DRG, ASM, CHLO, IDBS), pp. 150–159.
LICSLICS-2004-AlfaroGJ #abstraction #game studies #nondeterminism #precise
Three-Valued Abstractions of Games: Uncertainty, but with Precision (LdA, PG, RJ), pp. 170–179.
LICSLICS-2004-ChatterjeeHJ #game studies
Games with Secure Equilibria (KC, TAH, MJ), pp. 160–169.
LICSLICS-2004-Walukiewicz #game studies
A Landscape with Games in the Backgroun (IW), pp. 356–366.
LICSLICS-2004-Yannakakis #game studies #testing
Testing, Optimizaton, and Games (MY), pp. 78–88.
VMCAIVMCAI-2004-Etessami #analysis #data flow #equation #game studies #graph #recursion #using
Analysis of Recursive Game Graphs Using Data Flow Equations (KE), pp. 282–296.
HTHT-2003-BollKW #game studies #hypermedia
Paper chase revisited: a real world game meets hypermedia (SB, JK, CW), pp. 126–127.
CSEETCSEET-2003-BakerNH #education #game studies #re-engineering
An Experimental Card Game for Teaching Software Engineering (AB, EON, AvdH), pp. 216–223.
ITiCSEITiCSE-2003-KolasF #game studies #motivation #using
Increasing assignment motivation using a game Al tournament (ØK, IF), p. 269.
ITiCSEITiCSE-2003-Scott #education #game studies #interface #java #programming #visual notation
Teaching graphical interface programming in Java with the game of wari (KS), p. 254.
FoSSaCSFoSSaCS-2003-AbramskyJ #game studies #morphism #polymorphism #semantics
A Game Semantics for Generic Polymorphism (SA, RJ), pp. 1–22.
FoSSaCSFoSSaCS-2003-ArnoldS #ambiguity #calculus #game studies #μ-calculus
Ambiguous Classes in the Games μ-Calculus Hierarchy (AA, LS), pp. 70–86.
FoSSaCSFoSSaCS-2003-Laird #continuation #game studies #semantics
A Game Semantics of Linearly Used Continuations (JL), pp. 313–327.
TACASTACAS-2003-AlurTM #composition #game studies #graph #recursion
Modular Strategies for Recursive Game Graphs (RA, SLT, PM), pp. 363–378.
ICALPICALP-2003-AlfaroF #concurrent #data flow #game studies
Information Flow in Concurrent Games (LdA, MF), pp. 1038–1053.
ICALPICALP-2003-Cachat #automaton #game studies #graph #higher-order
Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games (TC), pp. 556–569.
ICALPICALP-2003-FeldmannGLMR #coordination #game studies
Nashification and the Coordination Ratio for a Selfish Routing Game (RF, MG, TL, BM, MR), pp. 514–526.
ICFPICFP-2003-Mairson #analysis #game studies #semantics
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis (HGM), p. 125.
CHICHI-2003-FlinthamBAHCGTAR #artificial reality #case study #experience #game studies #mobile #online
Where on-line meets on the streets: experiences with mobile mixed reality games (MF, SB, RA, TH, AC, CG, NT, MA, JRF), pp. 569–576.
ICEISICEIS-v2-2003-ChenW #game studies
Computer Games and Economics Experiments (KYC, RW), pp. 43–51.
ICMLICML-2003-ConitzerS03a #bound #framework #game studies #named
BL-WoLF: A Framework For Loss-Bounded Learnability In Zero-Sum Games (VC, TS), pp. 91–98.
RERE-2003-LoucopoulosZP #design #elicitation #game studies #requirements
Requirements Elicitation for the Design of Venue Operations for the Athens Olympic Games (PL, KZ, NP), pp. 223–232.
SACSAC-2003-BandiniMV #game studies #multi #profiling #testing
A Multi-Agent System for Remote Psychological Profiling with Role Playing Games Based Tests (SB, SM, GV), pp. 33–37.
SACSAC-2003-LomonosovSP #game studies #trade-off
Stability vs. Optimality Tradeoff in Game Theoretic Mechanisms for QoS Provision (AL, MS, KP), pp. 28–32.
ICSEICSE-2003-BakerNH #education #game studies #problem #re-engineering
Problems and Programmers: An Educational Software Engineering Card Game (AB, EON, AvdH), pp. 614–621.
CAVCAV-2003-AlurTM #composition #game studies #graph #infinity #recursion
Modular Strategies for Infinite Games on Recursive Graphs (RA, SLT, PM), pp. 67–79.
CAVCAV-2003-ShohamG #abstraction #framework #game studies
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement (SS, OG), pp. 275–287.
CSLCSL-2003-AbdullaBd #game studies
Deciding Monotonic Games (PAA, AB, Jd), pp. 1–14.
CSLCSL-2003-ChatterjeeJH #game studies #probability
Simple Stochastic Parity Games (KC, MJ, TAH), pp. 100–113.
CSLCSL-2003-Duparc #game studies #persistent
Positive Games and Persistent Strategies (JD), pp. 183–196.
CSLCSL-2003-KolaitisP #complexity #game studies #on the
On the Complexity of Existential Pebble Games (PGK, JP), pp. 314–329.
CSLCSL-2003-Krzeszczakowski #game studies
Pebble Games on Trees (LK), pp. 359–371.
WRLAWRLA-2002-Honda #game studies #process
Processes and Games (KH), pp. 40–69.
STOCSTOC-2002-Khot02a #game studies #on the #power of
On the power of unique 2-prover 1-round games (SK), pp. 767–775.
ICALPICALP-2002-Cachat #automaton #game studies #graph #synthesis
Symbolic Strategy Synthesis for Games on Pushdown Graphs (TC), pp. 704–715.
ICALPICALP-2002-Doerr #game studies
Antirandomizing the Wrong Game (BD), pp. 876–887.
ICALPICALP-2002-FotakisKKMS #complexity #game studies #nash
The Structure and Complexity of Nash Equilibria for a Selfish Routing Game (DF, SCK, EK, MM, PGS), pp. 123–134.
ICALPICALP-2002-OngG #game studies
Games Characterizing Levy-Longo Trees (CHLO, PDG), pp. 476–487.
ICPRICPR-v1-2002-YamadaSM #3d #game studies #image #parametricity #sequence #video
Tracking Players and a Ball in Video Image Sequence and Estimating Camera Parameters for 3D Interpretation of Soccer Games (AY, YS, JM), pp. 303–306.
SACSAC-2002-CarlssonJ #difference #game studies
Differences between the iterated prisoner’s dilemma and the chicken game under noisy conditions (BC, KIJ), pp. 42–48.
SACSAC-2002-ChenCGRS #automation #co-evolution #game studies
An automated negotiation mechanism based on co-evolution and game theory (JHC, KMC, NG, CRR, PS), pp. 63–67.
SACSAC-2002-NevesBR #classification #game studies #learning
Learning the risk board game with classifier systems (AN, OB, ACR), pp. 585–589.
CAVCAV-2002-Thomas #game studies #infinity #tutorial #verification
Infinite Games and Verification (Extended Abstract of a Tutorial) (WT), pp. 58–64.
CSLCSL-2002-CachatDT #automaton #game studies
Solving Pushdown Games with a Σ₃ Winning Condition (TC, JD, WT), pp. 322–336.
CSLCSL-2002-MarcinkowskiT #bound #complexity #game studies #ltl
Optimal Complexity Bounds for Positive LTL Games (JM, TT), pp. 262–275.
CSLCSL-2002-Niwinski #calculus #game studies #μ-calculus
μ-Calculus via Games (DN), pp. 27–43.
LICSLICS-2002-FaellaTM #game studies #realtime
Dense Real-Time Games (MF, SLT, AM), pp. 167–176.
LICSLICS-2002-HylandS #game studies #graph
Games on Graphs and Sequentially Realizable Functionals (MH, AS), pp. 257–264.
LICSLICS-2002-Laurent #game studies
Polarized Games (OL), p. 265–?.
RTARTA-2002-Waldmann #game studies
Rewrite Games (JW), pp. 144–158.
VMCAIVMCAI-2002-FaellaTM #game studies
Automata-Theoretic Decision of Timed Games (MF, SLT, AM), pp. 94–108.
VMCAIVMCAI-2002-Tan #game studies
An Abstract Schema for Equivalence-Checking Games (LT), pp. 65–78.
DATEDATE-2001-Narita #game studies #multi
SH-4 RISC microprocessor for multimedia, game machine (SN), pp. 699–701.
ICDARICDAR-2001-ViglinoG #game studies
Cadastre Map Assembling: A Puzzle Game Resolution (JMV, LG), p. 1235–?.
PODSPODS-2001-GottlobLS #game studies #logic
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width (GG, NL, FS).
STOCSTOC-2001-AlfaroM #game studies
Quantitative solution of ω-regular games (LdA, RM), pp. 675–683.
STOCSTOC-2001-JainV #algorithm #approximate #game studies
Applications of approximation algorithms to cooperative games (KJ, VVV), pp. 364–372.
STOCSTOC-2001-Papadimitriou #algorithm #game studies #internet
Algorithms, games, and the internet (CHP), pp. 749–753.
ICALPICALP-2001-EtessamiWS #automaton #game studies #reduction #simulation
Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata (KE, TW, RAS), pp. 694–707.
ICALPICALP-2001-KiayiasY #game studies #polynomial
Secure Games with Polynomial Expressions (AK, MY), pp. 939–950.
ICALPICALP-2001-Papadimitriou #algorithm #game studies #internet
Algorithms, Games, and the Internet (CHP), pp. 1–3.
CHICHI-2001-BuyukkoktenGP #summary
Accordion summarization for end-game browsing on PDAs and cellular phones (OB, HGM, AP), pp. 213–220.
ICMLICML-2001-Littman #game studies
Friend-or-Foe Q-learning in General-Sum Games (MLL), pp. 322–328.
KDDKDD-2001-PennockLNG #game studies #probability #web
Extracting collective probabilistic forecasts from web games (DMP, SL, FÅN, CLG), pp. 174–183.
SEKESEKE-2001-NavarroH #adaptation #game studies #learning
Adapting Game Technology to Support Individual and Organizational Learning (EON, AvdH), pp. 347–354.
SACSAC-2001-KallesK #design #game studies #learning #on the #using #verification
On verifying game designs and playing strategies using reinforcement learning (DK, PK), pp. 6–11.
LICSLICS-2001-AlurT #game studies #generative #ltl
Deterministic Generators and Games for LTL Fragments (RA, SLT), pp. 291–300.
LICSLICS-2001-Laird #exception #game studies #semantics
A Fully Abstract Game Semantics of Local Exceptions (JL), pp. 105–114.
LICSLICS-2001-LangeS #game studies #logic #satisfiability
Focus Games for Satisfiability and Completeness of Temporal Logic (ML, CS), pp. 357–365.
TLCATLCA-2001-Chroboczek #game studies #recursion #type system
Subtyping Recursive Games (JC), pp. 61–75.
TLCATLCA-2001-Gianantonio #game studies #lazy evaluation #semantics #λ-calculus
Game Semantics for the Pure Lazy λ-calculus (PDG), pp. 106–120.
TLCATLCA-2001-MurawskiO #evolution #game studies #morphism #polymorphism
Evolving Games and Essential Nets for Affine Polymorphism (ASM, CHLO), pp. 360–375.
SASSAS-2000-HenzingerMMR #abstract interpretation #game studies
Abstract Interpretation of Game Properties (TAH, RM, FYCM, JFR), pp. 220–239.
STOCSTOC-2000-Seiden #algorithm #game studies #online #random
A guessing game and randomized online algorithms (SSS), pp. 592–601.
CIAACIAA-2000-SchmitzV #algorithm #finite #game studies #implementation
Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games (DS, JV), pp. 263–271.
ICALPICALP-2000-Abramsky #game studies #semantics
Game Semantics: Achievements and Prospects (SA), p. 1.
ICMLICML-2000-HuW #game studies #probability
Experimental Results on Q-Learning for General-Sum Stochastic Games (JH, MPW), pp. 407–414.
ICPRICPR-v1-2000-OhnoMS #3d #estimation #game studies
Tracking Players and Estimation of the 3D Position of a Ball in Soccer Games (YO, JM, YS), pp. 1145–1148.
TOOLSTOOLS-USA-2000-Griss #component #e-commerce #game studies #java #uml #workflow #xml
Agent-Mediated E-Commerce Agents, Components, Services, Workflow, UML, Java, XML and Games (MLG), p. 3–?.
CAVCAV-2000-VogeJ #algorithm #game studies
A Discrete Strategy Improvement Algorithm for Solving Parity Games (JV, MJ), pp. 202–215.
CSLCSL-2000-MurawskiO #game studies #logic
Discreet Games, Light Affine Logic and PTIME Computation (ASM, CHLO), pp. 427–441.
CSLCSL-2000-Pauly #bisimulation #game studies #safety #source code
From Programs to Games: Invariance and Safety for Bisimulation (MP), pp. 485–496.
LICSLICS-2000-AlfaroH #concurrent #game studies
Concurrent ω-Regular Games (LdA, TAH), pp. 141–154.
LICSLICS-2000-Chroboczek #game studies #semantics #type system
Game Semantics and Subtyping (JC), pp. 192–203.
LICSLICS-2000-DanosH #game studies #probability #semantics
Probabilistic Game Semantics (VD, RH), pp. 204–213.
LICSLICS-2000-Fagin #complexity #game studies #logic
Logic, Complexity, and Games (RF), p. 3.
ITiCSEITiCSE-1999-Faltin #algorithm #design #game studies #learning
Designing courseware on algorithms for active learning with virtual board games (NF), pp. 135–138.
IFLIFL-1999-WieringAP #framework #game studies #using
Using Clean for Platform Games (MW, PA, MJP), pp. 1–17.
CSLCSL-1999-Bradfield #fixpoint #game studies #quantifier
Fixpoint Alternation and the Game Quantifier (JCB), pp. 350–361.
CSLCSL-1999-KerNO #game studies
A Universal Innocent Game Model for the Böhm Tree λ Theory (ADK, HN, CHLO), pp. 405–419.
CSLCSL-1999-Marcinkowski #game studies #reachability
Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games (JM), pp. 338–349.
CSLCSL-1999-VosV #game studies #logic programming #nash #source code
Choice Logic Programs and Nash Equilibria in Strategic Games (MDV, DV), pp. 266–276.
LICSLICS-1999-AbramskyM #concurrent #game studies
Concurrent Games and Full Completeness (SA, PAM), pp. 431–442.
LICSLICS-1999-HarmerM #finite #game studies #nondeterminism #semantics
A Fully Abstract Game Semantics for Finite Nondeterminism (RH, GM), pp. 422–430.
LICSLICS-1999-MalacariaH #game studies #nondeterminism #program analysis #security
Non-Deterministic Games and Program Analysis: An Application to Security (PM, CH), pp. 443–452.
TLCATLCA-1999-GianantonioFH #game studies #semantics #λ-calculus
Game Semantics for Untyped λβη-Calculus (PDG, GF, FH), pp. 114–128.
SIGMODSIGMOD-1998-Lassettre #game studies
Olympic Records for Data at the 1998 Nagano Games (ERL), p. 537.
TACASTACAS-1998-StevensS #game studies #model checking #using
Practical Model-Checking Using Games (PS, CS), pp. 85–101.
ICALPICALP-1998-Henzinger #game studies #model checking #multi
Model Checking Game Properties of Multi-agent Systems (Abstract) (TAH), p. 543.
ICALPICALP-1998-MalacariaH #game studies
Generalised Flowcharts and Games (PM, CH), pp. 363–374.
CHICHI-1998-Johnson #game studies #interactive
Simplifying the Controls of an Interactive Movie Game (JAJ), pp. 65–72.
ICMLICML-1998-BaxterTW #named
KnightCap: A Chess Programm That Learns by Combining TD(λ) with Game-Tree Search (JB, AT, LW), pp. 28–36.
ICPRICPR-1998-GuoYM #analysis #game studies #multi #robust #segmentation #statistics
Unsupervised segmentation based on multi-resolution analysis, robust statistics and majority game theory (GG, SY, SM), pp. 799–801.
PPDPALP-PLILP-1998-CosmoLN #game studies #logic programming #semantics
A Game Semantics Foundation for Logic Programming (Extended Abstract) (RDC, JVL, SN), pp. 355–373.
CSLCSL-1998-Pezzoli #complexity #finite #game studies
Computational Complexity of Ehrenfeucht-Fraïssé Games on Finite Structures (EP), pp. 159–170.
LICSLICS-1998-AbramskyHM #game studies #semantics
A Fully Abstract Game Semantics for General References (SA, KH, GM), pp. 334–344.
LICSLICS-1998-FioreH #axiom #game studies #process #recursion #representation
Recursive Types in Games: Axiomatics and Process Representation (MPF, KH), pp. 345–356.
ITiCSEITiCSE-1997-Moser #game studies #learning #what #why
A fantasy adventure game as a learning environment: why learning to program is so difficult and what can be done about it (RM), pp. 114–116.
STOCSTOC-1997-FeigeK #game studies
Making Games Short (Extended Abstract) (UF, JK), pp. 506–516.
ICALPICALP-1997-HondaY #analysis #call-by #game studies
Game Theoretic Analysis of Call-by-Value Computation (KH, NY), pp. 225–236.
HCIHCI-CC-1997-Granot #game studies
Ergonomics Knowledge Pyramid: A Computer Based Training Game (RG), pp. 623–626.
HCIHCI-SEC-1997-Rauterberg #case study #game studies #interactive #user interface #video
Natural User Interface (NUI): A Case Study of a Video Based Interaction Technique for a Computer Game (MR), pp. 253–256.
CSLCSL-1997-AbramskyM #call-by #game studies
Call-by-Value Games (SA, GM), pp. 1–17.
CSLCSL-1997-BaillotDER #game studies
Timeless Games (PB, VD, TE, LR), pp. 56–77.
CSLCSL-1997-Moschovakis #concurrent #game studies #recursion #λ-calculus
A Game-Theoretic, Concurrent and Fair Model of the Typed λ-calculus, with Full Recursion (YNM), pp. 341–359.
LICSLICS-1997-BaillotDE #game studies #linear #logic
Believe it or not, AJM’s Games Model is a Model of Classical Linear Logic (PB, VD, TE, LR), pp. 68–75.
LICSLICS-1997-DziembowskiJW #game studies #how #infinity #memory management #question
How Much Memory is Needed to Win Infinite Games? (SD, MJ, IW), pp. 99–110.
LICSLICS-1997-Hughes #game studies #system f
Games and Definability for System F (DJDH), pp. 76–86.
TLCATLCA-1997-Herbelin #game studies #reduction
Games and Weak-Head Reduction for Classical PCF (HH), pp. 214–230.
ITiCSEITiCSE-1996-CarswellB #approach #distance #education #game studies #multi
An adventure game approach to multimedia distance education (LC, DB), pp. 122–124.
TACASTACAS-1996-Stirling #calculus #game studies #μ-calculus
Games and Modal μ-Calculus (CS), pp. 298–312.
STOCSTOC-1996-NewmanS #communication #game studies
Public vs. Private Coin Flips in One Round Communication Games (Extended Abstract) (IN, MS), pp. 561–570.
CAVCAV-1996-ShuklaHR #game studies #model checking #verification
HORNSAT, Model Checking, Verification and games (Extended Abstract) (SKS, HBHI, DJR), pp. 99–110.
CAVCAV-1996-Walukiewicz #automaton #game studies #model checking #process
Pushdown Processes: Games and Model Checking (IW), pp. 62–74.
LICSLICS-1996-DanosHR #automaton #game studies #semantics
Game Semantics & Abstract Machines (VD, HH, LR), pp. 394–405.
LICSLICS-1996-McCusker #abstraction #game studies
Games and Full Abstraction for FPC (GM), pp. 174–183.
PODSPODS-1995-Kolaitis #combinator #database #game studies
Combinatorial Games In Database Theory (PGK), pp. 231–232.
CSEETCSEE-1995-Holeman #game studies #process
The Software Process Improvement Game (RH), p. 261.
ICALPICALP-1995-Le #game studies #on the
On Determining Optimal Strategies in Pursiut Games in the Plane (NML), pp. 499–510.
FPCAFPCA-1995-HylandO #game studies #π-calculus
π-Calculus, Dialogue Games and PCF (JMEH, CHLO), pp. 96–107.
CAVCAV-1995-CousotC #composition #constraints #equation #fixpoint #game studies #induction #rule-based #semantics
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (PC, RC), pp. 293–308.
CAVCAV-1995-KrishnanPBV #automaton #game studies
The Rabin Index and Chain Automata, with Applications to Automatas and Games (SCK, AP, RKB, PV), pp. 253–266.
CAVCAV-1995-Lescow #finite #game studies #on the #source code
On Polynomial-Size Programs Winning Finite-State Games (HL), pp. 239–252.
LICSLICS-1995-AbramskyM #abstraction #game studies #lazy evaluation #λ-calculus
Games and Full Abstraction for the Lazy λ-Calculus (SA, GM), pp. 234–243.
LICSLICS-1995-Lamarche #game studies #linear #logic #semantics
Games Semantics for Full Propositional Linear Logic (FL), pp. 464–473.
STOCSTOC-1994-FortnowW #bound #game studies
Optimality and domination in repeated games with bounded players (LF, DW), pp. 741–749.
STOCSTOC-1994-KollerMS #algorithm #game studies #performance #random
Fast algorithms for finding randomized strategies in game trees (DK, NM, BvS), pp. 750–759.
STOCSTOC-1994-LiptonY #complexity #game studies #scalability
Simple strategies for large zero-sum games with applications to complexity theory (RJL, NEY), pp. 734–740.
ICALPICALP-1994-Pudlak #bound #communication #complexity #game studies
Unexpected Upper Bounds on the Complexity of Some Communication Games (PP), pp. 1–10.
ICMLICML-1994-Littman #framework #game studies #learning #markov #multi
Markov Games as a Framework for Multi-Agent Reinforcement Learning (MLL), pp. 157–163.
HCIHCI-ACS-1993-QuinnBKKMR #game studies
Observations on Game Playing (CNQ, MB, DK, DK, RM, SR), pp. 433–437.
CSLCSL-1993-Blass #game studies #question #semantics
Is Game Semantics Necessary? (AB), pp. 66–77.
CSLCSL-1992-Bosse #fixpoint #game studies #logic
An “Ehrenfeucht-Fraïssé Game” for Fixpoint Logic and Stratified Fixpoint Logic (UB), pp. 100–114.
LICSLICS-1992-VaananenK #finite #game studies #quantifier
Generalized Quantifiers and Pebble Games on Finite Structures (PGK, JAV), pp. 348–359.
STOCSTOC-1991-DengM #game studies #infinity #online #problem
Infinite Games, Randomization, Computability, and Applications to Online Problems (Preliminary Version) (XD, SM), pp. 289–298.
STOCSTOC-1991-Kilian #game studies #theorem
A General Completeness Theorem for Two-Party Games (JK), pp. 553–560.
LICSLICS-1991-LafontS #game studies #linear #logic #semantics
Games Semantics for Linear Logic (YL, TS), pp. 43–50.
PODSPODS-1989-LakshmananM #datalog #game studies #induction #power of
Inductive Pebble Games and the Expressive Power of Datalog (VSL, AOM), pp. 301–310.
LICSLICS-1989-Moschovakis #concurrent #formal method #game studies #modelling
A Game-Theoretic Modeling of Concurrency (YNM), pp. 154–163.
STOCSTOC-1988-GabowW #algorithm #game studies
Forests, Frames and Games: Algorithms for Matroid Sums and Applications (HNG, HHW), pp. 407–421.
ICMLML-1988-JongS #game studies #learning #using
Using Experience-Based Learning in Game Playing (KADJ, ACS), pp. 284–290.
STOCSTOC-1987-GoldreichMW #game studies #how #protocol #theorem
How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority (OG, SM, AW), pp. 218–229.
ICALPICALP-1987-LeeuwenSUZ #distributed #game studies #network
Guessing Games and Distributed Computations in Synchronous Networks (JvL, NS, JU, SZ), pp. 347–356.
ICALPICALP-1983-Fraenkel #fibonacci #game studies
Wythoff Games, Continued Fractions, Cedar Trees and Fibonacci Searches (ASF), pp. 203–225.
STOCSTOC-1982-GurevichH #automaton #game studies
Trees, Automata, and Games (YG, LH), pp. 60–65.
STOCSTOC-1981-AdachiIK #combinator #complexity #game studies #low level
Low Level Complexity for Combinatorial Games (AA, SI, TK), pp. 228–237.
STOCSTOC-1981-HongK #complexity #game studies
I/O Complexity: The Red-Blue Pebble Game (JWH, HTK), pp. 326–333.
STOCSTOC-1979-Reif #game studies
Universal Games of Incomplete Information (JHR), pp. 288–308.
ICALPICALP-1979-Heide #comparison #game studies #graph
A Comparison Between Two Variations of a Pebble Game on Graphs (FMadH), pp. 411–421.
ICALPICALP-1978-Lingas #game studies #problem
A PSPACE Complete Problem Related to a Pebble Game (AL), pp. 300–321.
ICALPICALP-1977-PaulT #game studies #trade-off
Time-Space Trade-Offs in a Pebble Game (WJP, RET), pp. 365–369.
STOCSTOC-1976-PaulTC #bound #game studies #graph
Space Bounds for a Game of Graphs (WJP, RET, JRC), pp. 149–160.
STOCSTOC-1976-Schaefer #complexity #finite #game studies #problem
Complexity of Decision Problems Based on Finite Two-Person Perfect-Information Games (TJS), pp. 41–49.

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.