Stem game$ (all stems)

1009 papers:

DAC-2015-Kahng #game studies

New game, new goal posts: a recent history of timing closure (ABK), p. 6.

DATE-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.

SIGMOD-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.

ITiCSE-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.

ITiCSE-2015-Dickson #development #education #game studies #using

Using Unity to Teach Game Development: When You’ve Never Written a Game (PED), pp. 75–80.

FoSSaCS-2015-ClairambaultD #evaluation #game studies #normalisation #semantics

Game Semantics and Normalization by Evaluation (PC, PD), pp. 56–70.

FoSSaCS-2015-Ganardi #bound #clique #game studies

Parity Games of Bounded Tree- and Clique-Width (MG), pp. 390–404.

FoSSaCS-2015-Jaber #game studies #semantics

Operational Nominal Game Semantics (GJ), pp. 264–278.

FoSSaCS-2015-Velner #decidability #game studies #multi #robust

Robust Multidimensional Mean-Payoff Games are Undecidable (YV), pp. 312–327.

TACAS-2015-BassetKTW #game studies #multi #probability #synthesis

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives (NB, MZK, UT, CW), pp. 256–271.

STOC-2015-BravermanG #game studies #parallel

Small Value Parallel Repetition for General Games (MB, AG), pp. 335–340.

STOC-2015-ChenDO #complexity #game studies #nash #on the

On the Complexity of Nash Equilibria in Anonymous Games (XC, DD, AO), pp. 381–390.

DLT-2015-BerwangerB #game studies

Consensus Game Acceptors (DB, MvdB), pp. 108–119.

ICALP-v2-2015-AbramskyJV #dependent type #game studies

Games for Dependent Types (SA, RJ, MV), pp. 31–43.

ICALP-v2-2015-FeldmanF #clustering #framework #game studies

A Unified Framework for Strong Price of Anarchy in Clustering Games (MF, OF), pp. 601–613.

ICALP-v2-2015-FijalkowHKS #bound #game studies #memory management

Trading Bounds for Memory in Games with Counters (NF, FH, DK, MS), pp. 197–208.

ICALP-v2-2015-GairingKK #bound #game studies

Tight Bounds for Cost-Sharing in Weighted Congestion Games (MG, KK, GK), pp. 626–637.

ICALP-v2-2015-JurdzinskiLS #energy #game studies #pseudo

Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (MJ, RL, SS), pp. 260–272.

ICALP-v2-2015-Klein0 #game studies #how #infinity #lookahead #question

How Much Lookahead is Needed to Win Infinite Games? (FK, MZ), pp. 452–463.

ICALP-v2-2015-KuperbergS #automaton #nondeterminism #on the

On Determinisation of Good-for-Games Automata (DK, MS), pp. 299–310.

LATA-2015-BeyersdorffCS #game studies

A Game Characterisation of Tree-like Q-resolution Size (OB, LC, KS), pp. 486–498.

LATA-2015-CodishCS #game studies #network #sorting

Sorting Networks: The End Game (MC, LCF, PSK), pp. 664–675.

LATA-2015-HalavaNP #game studies #on the

On Robot Games of Degree Two (VH, RN, IP), pp. 224–236.

CHI-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.

CHI-2015-BlytheSRO #design #game studies

Solutionism, the Game: Design Fictions for Positive Aging (MB, JS, JR, CO), pp. 3849–3858.

CHI-2015-ButlerASGP #analysis #automation #design #game studies

Automatic Game Progression Design through Analysis of Solution Features (EB, EA, AMS, SG, ZP), pp. 2407–2416.

CHI-2015-DasZR #game studies #personalisation

Examining Game World Topology Personalization (SD, AZ, MOR), pp. 3731–3734.

CHI-2015-DenisovaC #game studies #question

First Person vs. Third Person Perspective in Digital Games: Do Player Preferences Affect Immersion? (AD, PC), pp. 145–148.

CHI-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.

CHI-2015-GerlingML #game studies #video

Long-Term Use of Motion-Based Video Games in Care Home Settings (KMG, RLM, CL), pp. 1573–1582.

CHI-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.

CHI-2015-HarteveldS #education #game studies #performance

The Goal of Scoring: Exploring the Role of Game Performance in Educational Games (CH, SCS), pp. 2235–2244.

CHI-2015-IacovidesC #experience #game studies

Moving Beyond Fun: Evaluating Serious Experience in Digital Games (II, ALC), pp. 2245–2254.

CHI-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.

CHI-2015-JensenRMG #challenge #design #game studies

Keepin’ it Real: Challenges when Designing Sports-Training Games (MMJ, MKR, F'M, KG), pp. 2003–2012.

CHI-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.

CHI-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.

CHI-2015-KulshreshthL #3d #experience #game studies #user interface

Exploring 3D User Interface Technologies for Improving the Gaming Experience (AK, JJLJ), pp. 125–134.

CHI-2015-KwakBH #behaviour #contest #game studies #online

Exploring Cyberbullying and Other Toxic Behavior in Team Competition Online Games (HK, JB, SH), pp. 3739–3748.

CHI-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.

CHI-2015-PreistJ #education #game studies #motivation

The Use of Games as Extrinisic Motivation in Education (CP, RJ), pp. 3735–3738.

CHI-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.

CHI-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.

CHI-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.

CHI-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.

CHI-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.

CHI-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.

CSCW-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.

CSCW-2015-GuyHC #crowdsourcing #enterprise #framework #game studies

Games for Crowds: A Crowdsourcing Game Platform for the Enterprise (IG, AH, YC), pp. 1860–1871.

DUXU-DD-2015-Gasselseder #game studies #music #video

Re-sequencing the Ludic Orchestra — Evaluating the Immersive Effects of Dynamic Music and Situational Context in Video Games (HPG), pp. 458–469.

DUXU-IXD-2015-EliasFC #game studies #interactive

Ads-on Games and Fake Brands: Interactions, Commercials and Playful Branding (HE, EF, BJAdC), pp. 251–262.

DUXU-IXD-2015-HuangL #coordination #game studies

Heartbeat Jenga: A Biofeedback Board Game to Improve Coordination and Emotional Control (YCH, CHL), pp. 263–270.

DUXU-IXD-2015-LapasO #evaluation #experience #game studies #interactive #user interface

Evaluation of User Experience in Interaction with Computer Games (TL, TO), pp. 271–282.

DUXU-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.

DUXU-IXD-2015-TeixeiraANT #composition #game studies #music

Improving Song Guessing Games Through Music Track Composition (JMXNT, DA, EVN, VT), pp. 303–314.

DUXU-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.

DUXU-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.

DUXU-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.

DUXU-UI-2015-KissingerM #game studies #interface #usability

Usability of Touchpad Based Game Controller Interfaces (JK, TM), pp. 452–463.

HCI-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.

HCI-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.

HCI-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.

HCI-IT-2015-GohPL #game studies

An Investigation of Reward Systems in Human Computation Games (DHLG, EPPPT, CSL), pp. 596–607.

HCI-IT-2015-PolsonS #design #empirical #game studies

“Blind Faith”. An Experiment with Narrative Agency in Game Design (DP, VS), pp. 618–627.

HCI-IT-2015-RughinisM #game studies #video

Play to Remember: The Rhetoric of Time in Memorial Video Games (RR, SM), pp. 628–639.

HCI-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.

HCI-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.

HCI-IT-2015-ZhaoH #concept #game studies #online

A Conceptual Model of Online Game Continuance Playing (FZ, QH), pp. 660–669.

HCI-IT-2015-ZhuF #analysis #game studies #online

A Lexical Analysis of Nouns and Adjectives from Online Game Reviews (MZ, XF), pp. 670–680.

HIMI-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.

LCT-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.

LCT-2015-CulenPSC #game studies #motivation #question

Can Games Motivate Urban Youth for Civic Engagement? (ALC, SP, SS, KC), pp. 549–560.

LCT-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.

LCT-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.

LCT-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.

LCT-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.

LCT-2015-OrehovackiB #game studies #learning #programming #quality

Inspecting Quality of Games Designed for Learning Programming (TO, SB), pp. 620–631.

LCT-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.

LCT-2015-YusoffK #design #game studies #interactive #learning #persuasion

Game Rhetoric: Interaction Design Model of Persuasive Learning for Serious Games (ZY, AK), pp. 644–654.

CAiSE-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.

ICEIS-v1-2015-ZhengLL #contest

A Game-theory based Model for Analyzing E-marketplace Competition (JZ, WL, DLL), pp. 650–657.

ICEIS-v3-2015-AgarwalS #comprehension #development #game studies

Understanding Game Modding through Phases of Mod Development (SA, PS), pp. 114–121.

ICEIS-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.

ICML-2015-HeinrichLS #game studies #self

Fictitious Self-Play in Extensive-Form Games (JH, ML, DS), pp. 805–813.

ICML-2015-MaeharaYK #game studies #multi #perspective #problem

Budget Allocation Problem with Multiple Advertisers: A Game Theoretic View (TM, AY, KiK), pp. 428–437.

ICML-2015-PerolatSPP #approximate #game studies #markov #programming

Approximate Dynamic Programming for Two-Player Zero-Sum Markov Games (JP, BS, BP, OP), pp. 1321–1329.

RecSys-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.

SIGIR-2015-Zhai #framework #game studies #information retrieval #towards

Towards a Game-Theoretic Framework for Information Retrieval (CZ), p. 543.

MoDELS-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.

SAC-2015-BergentiCG #framework #game studies #mobile #scalability #social

A scalable platform for mobile social gaming (FB, GC, DG), pp. 2239–2244.

SAC-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.

SAC-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.

SAC-2015-MinsamS #game studies

Sustaining mutual cooperation in iterated prisoner’s dilemma game (KM, KYS), pp. 335–337.

SAC-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.

SAC-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.

SAC-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.

SAC-2015-UshawDEM #benchmark #game studies #metric

Benchmarking motion sensing devices for rehabilitative gaming (GU, RD, JAE, GM), pp. 143–148.

ICSE-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.

CAV-2015-BrenguierR #game studies #multi

Pareto Curves of Multidimensional Mean-Payoff Games (RB, JFR), pp. 251–267.

CSL-2015-Klein0 #game studies #lookahead #what

What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead (FK, MZ), pp. 519–533.

LICS-2015-Bojanczyk #game studies

Star Height via Games (MB), pp. 214–219.

LICS-2015-CarayolS #game studies #how #question

How Good Is a Strategy in a Game with Nature? (AC, OS), pp. 609–620.

LICS-2015-CastellanCW #game studies #parallel

The Parallel Intensionally Fully Abstract Games Model of PCF (SC, PC, GW), pp. 232–243.

LICS-2015-DisneyF #game studies #semantics

Game Semantics for Type Soundness (TD, CF), pp. 104–114.

LICS-2015-TsukadaO #game studies #nondeterminism #semantics

Nondeterminism in Game Semantics via Sheaves (TT, CHLO), pp. 220–231.

QoSA-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.

DAC-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.

CSEET-2014-PotterSDW #game studies #learning #named

InspectorX: A game for software inspection training and learning (HP, MS, LD, VW), pp. 55–64.

ITiCSE-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.

ITiCSE-2014-Hijon-NeiraVPC #experience #game studies #learning #programming

Game programming for improving learning experience (RBHN, JÁVI, CPR, LC), pp. 225–230.

ITiCSE-2014-SchmolitzkyG

Guess my object: an “objects first” game on objects’ behavior and implementation with bluej (AS, TG), pp. 219–224.

FoSSaCS-2014-AvniKT #game studies

Network-Formation Games with Regular Objectives (GA, OK, TT), pp. 119–133.

FoSSaCS-2014-Chatterjee0GO #game studies #probability

Perfect-Information Stochastic Mean-Payoff Parity Games (KC, LD, HG, YO), pp. 210–225.

FoSSaCS-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.

FoSSaCS-2014-Lang #automaton #game studies #graph #reachability

Resource Reachability Games on Pushdown Graphs (ML0), pp. 195–209.

FoSSaCS-2014-MurawskiT #exception #game studies #semantics

Game Semantics for Nominal Exceptions (ASM, NT), pp. 164–179.

STOC-2014-Mehta #constant #game studies #rank

Constant rank bimatrix games are PPAD-hard (RM), pp. 545–554.

AFL-2014-CarapelleFGQ13 #game studies #word

Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words (CC, SF, OFG, KQ), pp. 174–187.

AFL-2014-HutagalungLL #automaton #game studies #simulation

Buffered Simulation Games for Büchi Automata (MH, ML, ÉL), pp. 286–300.

ICALP-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.

ICALP-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.

ICALP-v1-2014-CleveM #constraints #game studies

Characterization of Binary Constraint System Games (RC, RM), pp. 320–331.

ICALP-v1-2014-KrawczykW #game studies #graph #online

Coloring Relatives of Interval Overlap Graphs via On-line Games (TK, BW), pp. 738–750.

ICALP-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.

ICALP-v2-2014-Chatterjee0 #game studies

Games with a Weak Adversary (KC, LD), pp. 110–121.

ICALP-v2-2014-ChatterjeeI #complexity #game studies

The Complexity of Ergodic Mean-payoff Games (KC, RIJ), pp. 122–133.

LATA-2014-KleinMBK #automaton #model checking #probability #question

Are Good-for-Games Automata Good for Probabilistic Model Checking? (JK, DM, CB, SK), pp. 453–465.

GRAPHITE-2014-KantP #game studies #generative

Generating and Solving Symbolic Parity Games (GK, JvdP), pp. 2–14.

CHI-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.

CHI-2014-CairnsLWN #game studies #mobile

The influence of controllers on immersion in mobile games (PC, JL, WW, AIN), pp. 371–380.

CHI-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.

CHI-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.

CHI-2014-GarnerWPMM #game studies #named #representation

i-dentity: innominate movement representation as engaging game element (JG, GW, SP, MM, FM), pp. 2181–2190.

CHI-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.

CHI-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.

CHI-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.

CHI-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.

CHI-2014-MuellerGVE #design #game studies #process

Supporting the creative game design process with exertion cards (FM, MRG, FV, DE), pp. 2211–2220.

CHI-2014-MuellerI #game studies #guidelines

Movement-based game guidelines (FM, KI), pp. 2191–2200.

CHI-2014-NguyenDCWD #game studies

DoDo game, a color vision deficiency screening test for young children (LCN, EYLD, AC, YW, HBLD), pp. 2289–2292.

CHI-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.

CHI-2014-PilliasRL #design #game studies #lessons learnt #video

Designing tangible video games: lessons learned from the sifteo cubes (CP, RRB, GL), pp. 3163–3166.

CHI-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.

CHI-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.

CHI-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.

CHI-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.

CHI-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.

CHI-2014-TewariC #game studies #what

What did spot hide?: a question-answering game for preschool children (AT, JC), pp. 1807–1816.

CHI-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.

CHI-2014-Wohn #game studies #online #social

Spending real money: purchasing patterns of virtual goods in an online social game (DYW), pp. 3359–3368.

CHI-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.

CSCW-2014-ProcykN #design #evaluation #game studies #named

GEMS: the design and evaluation of a location-based storytelling game (JP, CN), pp. 1156–1166.

CSCW-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.

CSCW-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.

DHM-2014-PanneseMLADB #game studies #named

Pegaso: A Serious Game to Prevent Obesity (LP, DM, PL, SA, ID, TB), pp. 427–435.

DUXU-DI-2014-BrandseT14a #categorisation #challenge #design #game studies #video

Challenge Design and Categorization in Video Game Design (MB, KT), pp. 669–677.

DUXU-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.

DUXU-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.

DUXU-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.

DUXU-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.

DUXU-DI-2014-Riha #game studies #information management

Cutscenes in Computer Games as an Information System (DR), pp. 661–668.

DUXU-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.

DUXU-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.

DUXU-DI-2014-VianaN #artificial reality #game studies #interactive

Immersive Interactive Narratives in Augmented Reality Games (BSV, RN), pp. 773–781.

DUXU-DI-2014-Wanner #design #empirical #game studies #simulation

Serious Economic Games: Designing a Simulation Game for an Economic Experiment (DW), pp. 782–793.

DUXU-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.

DUXU-TMT-2014-DanylakK #game studies

The Language Game (RD, KK), pp. 55–63.

DUXU-TMT-2014-Elias #game studies

The Bridge — A Transmedia Dialogue between TV, Film and Gaming (HE), pp. 548–559.

DUXU-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.

DUXU-TMT-2014-ZhuF #game studies #heuristic #online

Developing Playability Heuristics for Computer Games from Online Reviews (MZ, XF), pp. 496–505.

HCI-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.

HCI-AS-2014-BovetR #experience #game studies

Assembling the Collective Experience of a Serious Game Mediation as an Interactional Practice (AB, MR), pp. 571–580.

HCI-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.

HCI-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.

HCI-AS-2014-Nakanishi #game studies #prototype #simulation #visualisation

Prototyping for Digital Sports Integrating Game, Simulation and Visualization (YN), pp. 634–642.

HCI-AS-2014-SchwallerKAL #feedback #gesture #learning #visual notation

Improving In-game Gesture Learning with Visual Feedback (MS, JK, LA, DL), pp. 643–653.

HCI-AS-2014-SengulCOTE #3d #game studies #integration #user interface

Haptic User Interface Integration for 3D Game Engines (GS, NEÇ, EÖ, ET, BE), pp. 654–662.

HIMI-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.

LCT-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.

LCT-TRE-2014-Hayes14a #approach #development #game studies #learning #simulation

An Approach to Holistic Development of Serious Games and Learning Simulations (ATH), pp. 42–49.

LCT-TRE-2014-RouillardSDC #agile #game studies #mobile #prototype

Rapid Prototyping for Mobile Serious Games (JR, AS, BD, RC), pp. 194–205.

SCSM-2014-RayaRRP #adaptation #game studies #using

Using Serious Games to Train Adaptive Emotional Regulation Strategies (MAR, ARO, BR, EP), pp. 541–549.

ICEIS-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.

ICEIS-v3-2014-MatsumotoY #game studies

Psychological Effect of Robot Interruption in Game (MM, HY), pp. 133–137.

CIKM-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.

CIKM-2014-RokickiCZS #crowdsourcing #design #effectiveness #game studies

Competitive Game Designs for Improving the Cost Effectiveness of Crowdsourcing (MR, SC, SZ, SS), pp. 1469–1478.

ICML-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.

ICPR-2014-AlmogahedK #game studies #named #using

NEATER: Filtering of Over-sampled Data Using Non-cooperative Game Theory (BAA, IAK), pp. 1371–1376.

ICPR-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.

ICPR-2014-TouaziMB #feature model #game studies

Feature Selection Scheme Based on Zero-Sum Two-Player Game (AT, FM, DB), pp. 1342–1347.

KR-2014-ClercqBSCN #game studies #programming #set #using

Using Answer Set Programming for Solving Boolean Games (SDC, KB, SS, MDC, AN).

KR-2014-GirleaAG #game studies

Tracking Beliefs and Intentions in the Werewolf Game (CLG, EA, RG).

KR-2014-GutierrezHW #concurrent #reasoning

Reasoning about Equilibria in Game-Like Concurrent Systems (JG, PH, MW).

KR-2014-IanovskiO #game studies

EGuaranteeNash for Boolean Games Is NEXP-Hard (EI, LO).

SEKE-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.

SIGIR-2014-LuoZY #game studies #probability

Win-win search: dual-agent stochastic game in session search (JL, SZ, HY), pp. 587–596.

PPDP-2014-NilssonP #declarative #game studies #programming #tutorial

Declarative Game Programming: Distilled Tutorial (HN, IP), pp. 159–160.

QAPL-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.

POPL-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.

POPL-2014-MurawskiT #game studies #interface #java #semantics

Game semantics for interface middleweight Java (ASM, NT), pp. 517–528.

RE-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.

RE-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.

RE-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.

REFSQ-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.

REFSQ-2014-KasurinenMS #development #game studies #question #requirements

Is Requirements Engineering Useless in Game Development? (JK, AM, KS), pp. 1–16.

SAC-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.

SAC-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.

FSE-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.

ICSE-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.

CAV-2014-NarodytskaLBRW #game studies

Solving Games without Controllable Predecessor (NN, AL, FB, LR, AW), pp. 533–540.

ICST-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.

IJCAR-2014-AvniKT #game studies #reachability #specification

From Reachability to Temporal Specifications in Cost-Sharing Games (GA, OK, TT), pp. 1–15.

LICS-CSL-2014-AbdullaAHMKT #energy #game studies #infinity

Infinite-state energy games (PAA, MFA, PH, RM, KNK, PT), p. 10.

LICS-CSL-2014-BrenguierRS #complexity #game studies

The complexity of admissibility in ω-regular games (RB, JFR, MS), p. 10.

LICS-CSL-2014-BruyereMR #game studies

Secure equilibria in weighted games (VB, NM, JFR), p. 26.

LICS-CSL-2014-CastellanCW #concurrent #game studies #symmetry

Symmetry in concurrent games (SC, PC, GW), p. 10.

LICS-CSL-2014-GutierrezW #concurrent #game studies

Equilibria of concurrent games on event structures (JG, MW), p. 10.

LICS-CSL-2014-LevyS #game studies

Transition systems over games (PBL, SS), p. 10.

LICS-CSL-2014-RouxP #game studies #infinity

Infinite sequential games with real-valued payoffs (SLR, AP), p. 10.

LICS-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.

VMCAI-2014-Chatterjee0FR #game studies

Doomsday Equilibria for Omega-Regular Games (KC, LD, EF, JFR), pp. 78–97.

ASE-2013-Garcia-GalanTC #approach #game studies #multi #variability

Multi-user variability configuration: A game theoretic approach (JGG, PT, ARC), pp. 574–579.

ASE-2013-KukrejaHT #game studies #testing #using

Randomizing regression tests using game theory (NK, WGJH, MT), pp. 616–621.

ASE-2013-SchaeferDS #framework #independence #named #testing #towards

Crushinator: A framework towards game-independent testing (CS, HD, BMS), pp. 726–729.

ASE-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.

CASE-2013-HoC #contest #design #game studies

Stackelberg game formulation of prize competition design for seeking shortest path solutions (TYH, SCC), pp. 374–379.

DATE-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.

SIGMOD-2013-SametSA #database #game studies

Indexing methods for moving object databases: games and other applications (HS, JS, MA), pp. 169–180.

CSEET-2013-RongZS #education #game studies #process

Applying competitive bidding games in software process education (GR, HZ, DS), pp. 129–138.

ITiCSE-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.

ITiCSE-2013-JohnsonCH #contest #development #game studies #learning

Learning elsewhere: tales from an extracurricular game development competition (CJ, AC, SH), pp. 70–75.

ITiCSE-2013-Law13a #feedback #game studies #programming #student #using

Using screencasts to enhance coursework feedback for game programming students (RL), p. 329.

ITiCSE-2013-Scharlau #development #education #game studies

Games for teaching software development (BAS), pp. 303–308.

FASE-2013-BradfieldS #calculus #game studies #qvt #μ-calculus

Enforcing QVT-R with μ-Calculus and Games (JCB, PS), pp. 282–296.

FoSSaCS-2013-HuthKP #game studies

Fatal Attractors in Parity Games (MH, JHPK, NP), pp. 34–49.

FoSSaCS-2013-MurawskiT #game studies #semantics

Deconstructing General References via Game Semantics (ASM, NT), pp. 241–256.

TACAS-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.

TACAS-2013-HuangSW #game studies #model checking

Model-Checking Iterated Games (CHH, SS, FW), pp. 154–168.

STOC-2013-BhawalkarGM #game studies

Coevolutionary opinion formation games (KB, SG, KM), pp. 41–50.

ICALP-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.

ICALP-v1-2013-FotakisT #game studies #on the #power of

On the Power of Deterministic Mechanisms for Facility Location Games (DF, CT), pp. 449–460.

ICALP-v1-2013-Grier #finite #game studies

Deciding the Winner of an Arbitrary Finite Poset Game Is PSPACE-Complete (DG), pp. 497–503.

ICALP-v1-2013-Velner #complexity #game studies #infinity

The Complexity of Infinitely Repeated Alternating Move Games (YV), pp. 816–827.

ICALP-v2-2013-ChristodoulouG #game studies #polynomial

Price of Stability in Polynomial Congestion Games (GC, MG), pp. 496–507.

ICALP-v2-2013-Gelderie #composition #game studies

Strategy Composition in Compositional Games (MG), pp. 263–274.

ICALP-v2-2013-GenestGMW #architecture #game studies

Asynchronous Games over Tree Architectures (BG, HG, AM, IW), pp. 275–286.

LATA-2013-HutagalungLL #automaton #game studies #simulation

Revealing vs. Concealing: More Simulation Games for Büchi Inclusion (MH, ML, ÉL), pp. 347–358.

IFM-2013-MorgensternGS #game studies #incremental #induction #using

Solving Games Using Incremental Induction (AM, MG, KS), pp. 177–191.

CHI-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.

CHI-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.

CHI-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.

CHI-2013-FosterEG #contest #design #education #game studies

From competition to metacognition: designing diverse, sustainable educational games (SRF, SE, WGG), pp. 99–108.

CHI-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.

CHI-2013-HansenBRVK #design #game studies #reuse

Designing reusable alternate reality games (DLH, EMB, MR, AV, KK), pp. 1529–1538.

CHI-2013-HarpsteadMA #data analysis #education #game studies #learning

In search of learning: facilitating data analysis in educational games (EH, BAM, VA), pp. 79–88.

CHI-2013-KhaledNB #design #game studies #generative

Design metaphors for procedural content generation in games (RK, MJN, PB), pp. 1509–1518.

CHI-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.

CHI-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.

CHI-2013-OrjiMVG #game studies #health #persuasion

Tailoring persuasive health games to gamer type (RO, RLM, JV, KMG), pp. 2467–2476.

CHI-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.

CHI-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.

CHI-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.

CHI-2013-TanenbaumAR #behaviour #game studies

Three perspectives on behavior change for serious games (JT, ANA, JR), pp. 3389–3392.

CSCW-2013-HuangYBC #functional #game studies #online #social

Functional or social?: exploring teams in online games (YH, WY, NB, NSC), pp. 399–408.

CSCW-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.

DHM-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.

DHM-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.

DHM-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.

DUXU-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.

DUXU-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.

DUXU-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.

DUXU-CXC-2013-EugeneBW #design #game studies

Math Fluency through Game Design (WE, TB, JW), pp. 189–198.

DUXU-CXC-2013-MirandaHPB #game studies #interactive

Exploring Adjustable Interactive Rings in Game Playing: Preliminary Results (LCdM, HHH, RP, MCCB), pp. 518–527.

DUXU-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.

DUXU-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.

DUXU-CXC-2013-SakamotoN13a #exclamation #game studies #persuasion

Augmenting Yu-Gi-Oh! Trading Card Game as Persuasive Transmedia Storytelling (MS, TN), pp. 587–596.

DUXU-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.

HCI-AS-2013-GarciaN #design #game studies #guidelines

Design Guidelines for Audio Games (FEG, VPdAN), pp. 229–238.

HCI-AS-2013-KimAK #experience #game studies #interactive #mobile

Extreme Motion Based Interaction for Enhancing Mobile Game Experience (YK, JgA, GJK), pp. 249–257.

HCI-AS-2013-LeeC #game studies

Influence of Gaming Display and Controller on Perceived Characteristics, Perceived Interactivity, Presence, and Discomfort (HL, DC), pp. 258–265.

HCI-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.

HCI-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.

HCI-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.

HIMI-D-2013-SakataYO #game studies #modelling

Factor Models for Promoting Flow by Game Players’ Skill Level (MS, TY, MO), pp. 534–544.

HIMI-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.

HIMI-LCCB-2013-NahTRV #education #game studies #gamification #using

Gamification of Education Using Computer Games (FFHN, VRT, SR, PRV), pp. 99–107.

HIMI-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.

HIMI-LCCB-2013-TanikawaA #case study

The Study to Clarify the Type of “Otome-Game” User (MT, YA), pp. 625–631.

OCSC-2013-Butler #game studies #ranking

The Effect of Leaderboard Ranking on Players’ Perception of Gaming Fun (CB), pp. 129–136.

OCSC-2013-JamiesonGHW #game studies #metaheuristic

Metaheuristic Entry Points for Harnessing Human Computation in Mainstream Games (PJ, LG, JH, AW), pp. 156–163.

OCSC-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.

ICEIS-v1-2013-CarrerasP #evaluation #game studies

Cooperation Tendencies and Evaluation of Games (FC, MAP), pp. 415–422.

CIKM-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.

ECIR-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.

ECIR-2013-GligorovHOAS #evaluation #retrieval #video

An Evaluation of Labelling-Game Data for Video Retrieval (RG, MH, JvO, LA, GS), pp. 50–61.

ICML-c3-2013-GrosshansSBS #game studies #problem

Bayesian Games for Adversarial Regression Problems (MG, CS, MB, TS), pp. 55–63.

ICML-c3-2013-SodomkaHLG #game studies #learning #named #probability

Coco-Q: Learning in Stochastic Games with Side Payments (ES, EH, MLL, AG), pp. 1471–1479.

KDD-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.

KDIR-KMIS-2013-MawasC #design #game studies

Designing Collaboratively Crisis Scenarios for Serious Games (NEM, JPC), pp. 381–388.

SEKE-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.

SEKE-2013-SeveroFS #approach #collaboration #game studies #risk management

A Dialogue Game Approach to Collaborative Risk Management (S) (FS, LMF, LAdLS), pp. 548–551.

SKY-2013-ExmanA #design #game studies

Knowledge-driven Game Design by Non-programmers (IE, AA), pp. 47–54.

Onward-2013-MayerK #game studies #programming

Game programming by demonstration (MM, VK), pp. 75–90.

QAPL-2013-ArulR #complexity #game studies #integer

The Complexity of Robot Games on the Integer Line (AA, JR), pp. 132–148.

QAPL-2013-BertrandS #automaton #game studies #infinity #probability

Solving Stochastic Büchi Games on Infinite Decisive Arenas (NB, PS), pp. 116–131.

REFSQ-2013-PasqualeSPBR #experience #game studies #requirements

Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games (LP, PS, DP, FB, TR), pp. 315–330.

ICSE-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.

SLE-2013-KlintR #domain-specific language #game studies #named

Micro-Machinations — A DSL for Game Economies (PK, RvR), pp. 36–55.

HPDC-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.

CAV-2013-Brenguier #concurrent #game studies #named #nash

PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games (RB), pp. 890–895.

CAV-2013-TsaiTH #automaton #game studies #logic

GOAL for Games, ω-Automata, and Logics (MHT, YKT, YSH), pp. 883–889.

CSL-2013-ChatterjeeF #game studies #infinity

Infinite-state games with finitary conditions (KC, NF), pp. 181–196.

CSL-2013-GianantonioL #game studies #semantics

Innocent Game Semantics via Intersection Type Assignment Systems (PDG, ML), pp. 231–247.

CSL-2013-Mellies #game studies #on the

On dialogue games and coherent strategies (PAM), pp. 540–562.

CSL-2013-Nishimura #game studies #parallel #semantics

A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (SN), pp. 578–596.

LICS-2013-FredrikssonG #automaton #game studies #revisited #semantics

Abstract Machines for Game Semantics, Revisited (OF, DRG), pp. 560–569.

LICS-2013-NainV #game studies #probability

Solving Partial-Information Stochastic Parity Games (SN, MYV), pp. 341–348.

TLCA-2013-BerardiT #backtracking #game studies #logic #semantics #subclass

Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics (SB, MT), pp. 61–76.

TLCA-2013-Blot #game studies

Realizability for Peano Arithmetic with Winning Conditions in HON Games (VB), pp. 77–92.

DAC-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.

DATE-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.

DATE-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.

CSEET-2012-TillmannHXB #education #game studies #learning #named #social

Pex4Fun: Teaching and Learning Computer Science via Social Gaming (NT, JdH, TX, JB), pp. 90–91.

CSEET-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.

ITiCSE-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.

ITiCSE-2012-Kurkovsky #development #game studies #mobile

Mobile game development projects in CS 1 (SK), p. 388.

ITiCSE-2012-Palomo-DuarteDTGB #development #evaluation #game studies #video

Competitive evaluation in a video game development course (MPD, JMD, JTT, AGD, AB), pp. 321–326.

FoSSaCS-2012-BouyerBMU #concurrent #game studies #order

Concurrent Games with Ordered Objectives (PB, RB, NM, MU), pp. 301–315.

FoSSaCS-2012-BrihayeBPG #game studies #reachability

Subgame Perfection for Equilibria in Quantitative Reachability Games (TB, VB, JDP, HG), pp. 286–300.

FoSSaCS-2012-Chatterjee #concurrent #game studies #robust

Robustness of Structurally Equivalent Concurrent Parity Games (KC), pp. 270–285.

FoSSaCS-2012-Winskel #concurrent #game studies

Bicategories of Concurrent Games — (Invited Paper) (GW), pp. 26–41.

CSMR-2012-TollO #game studies #question #why

Why is Unit-testing in Computer Games Difficult? (DT, TO), pp. 373–378.

MSR-2012-LotufoPC #debugging #game studies #towards

Towards improving bug tracking systems with game mechanisms (RL, LTP, KC), pp. 2–11.

STOC-2012-ODonnellW #game studies #np-hard

A new point of NP-hardness for unique games (RO, JW), pp. 289–306.

DLT-J-2011-ChaturvediOT12 #game studies #infinity

Languages versus ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 985–1000.

ICALP-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.

ICALP-v2-2012-BouyerMS #approach #automaton #game studies #reachability #robust

Robust Reachability in Timed Automata: A Game-Based Approach (PB, NM, OS), pp. 128–140.

ICALP-v2-2012-DawarH #algebra #game studies

Pebble Games with Algebraic Rules (AD, BH), pp. 251–262.

ICALP-v2-2012-FearnleyS #bound #game studies

Time and Parallelizability Results for Parity Games with Bounded Treewidth (JF, SS), pp. 189–200.

ICALP-v2-2012-FominGNP #game studies #multi

Minimizing Rosenthal Potential in Multicast Games (FVF, PAG, JN, MP), pp. 525–536.

ICALP-v2-2012-Fu #game studies #markov #metric #process

Computing Game Metrics on Markov Decision Processes (HF), pp. 227–238.

ICALP-v2-2012-KoutsoupiasP #game studies

Contention Issues in Congestion Games (EK, KP), pp. 623–635.

ICALP-v2-2012-MurawskiT #algorithm #game studies

Algorithmic Games for Full Ground References (ASM, NT), pp. 312–324.

ICALP-v2-2012-OngT #game studies #recursion #semantics

Two-Level Game Semantics, Intersection Types, and Recursion Schemes (CHLO, TT), pp. 325–336.

LATA-2012-KlimosLST #concurrent #game studies #nash

Nash Equilibria in Concurrent Priced Games (MK, KGL, FS, JT), pp. 363–376.

IFM-2012-TianBB #behaviour #detection #game studies #multi

Behaviour-Based Cheat Detection in Multiplayer Games with Event-B (HT, PJB, AGB), pp. 206–220.

GRAPHITE-2012-KantP #equation #game studies #performance

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games (GK, JvdP), pp. 50–65.

CHI-2012-AlankusK #game studies #video

Reducing compensatory motions in video games for stroke rehabilitation (GA, CK), pp. 2049–2058.

CHI-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.

CHI-2012-BonsignoreKVHFD #design #game studies

Game design for promoting counterfactual thinking (EMB, KK, AV, DLH, AF, AD), pp. 2079–2082.

CHI-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.

CHI-2012-DabbishKP #communication #game studies #online

Communication and commitment in an online game team (LD, RK, JP), pp. 879–888.

CHI-2012-DongDJKNA #game studies #learning

Discovery-based games for learning software (TD, MD, DJ, KK, MWN, MSA), pp. 2083–2086.

CHI-2012-GerlingLNM #game studies #interactive

Full-body motion-based game interaction for older adults (KMG, IJL, LN, RLM), pp. 1873–1882.

CHI-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.

CHI-2012-KhaledI #game studies #scalability

Tales from the front lines of a large-scale serious game project (RK, GI), pp. 69–78.

CHI-2012-KleekSSs #game studies #named #twitter

Twiage: a game for finding good advice on twitter (MVK, DAS, RS, MMCS), pp. 889–898.

CHI-2012-KreitmayerRLP #game studies #simulation

From participatory to contributory simulations: changing the game in the classroom (SK, YR, RCL, SP), pp. 49–58.

CHI-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.

CHI-2012-LinderJ #game studies

Playable character: extending digital games into the real world (JL, WJ), pp. 2069–2078.

CHI-2012-SchildLM #3d #comprehension #experience #game studies #user interface

Understanding user experience in stereoscopic 3D games (JS, JJLJ, MM), pp. 89–98.

CHI-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.

CHI-2012-YeeDN #development #game studies #online #validation

Online gaming motivations scale: development and validation (NY, ND, LN), pp. 2803–2806.

CHI-2012-YeeDSN

Through the azerothian looking glass: mapping in-game preferences to real world demographics (NY, ND, HTS, LN), pp. 2811–2814.

CSCW-2012-CheungCS #collaboration #communication #game studies

Communication channels and awareness cues in collocated collaborative time-critical gaming (VC, YLBC, SDS), pp. 569–578.

CSCW-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.

CSCW-2012-GoBS #game studies

Brothers and sisters at play: exploring game play with siblings (JG, RB, MS), pp. 739–748.

CSCW-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.

CSCW-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.

CSCW-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.

CSCW-2012-TangMWRE #coordination #game studies

Verbal coordination in first person shooter games (AT, JM, NW, DFR, WKE), pp. 579–582.

CSCW-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.

CIKM-2012-YeoPH #game studies #social

Finding influential products on social domination game (JY, JWP, SwH), pp. 2359–2362.

ICML-2012-LanctotGBB #game studies #learning

No-Regret Learning in Extensive-Form Games with Imperfect Recall (ML, RGG, NB, MB), p. 135.

ICPR-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.

ICPR-2012-ReinbacherRB #game studies #named #using

RoμNect: Hand mounted depth sensing using a commodity gaming sensor (CR, MR, HB), pp. 461–464.

ICPR-2012-YanKMW #automation #game studies #learning

Automatic annotation of court games with structured output learning (FY, JK, KM, DW), pp. 3577–3580.

KDD-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.

KDIR-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.

KR-2012-HaufeT #automation #game studies #verification

Automated Verification of Epistemic Properties for General Game Playing (SH, MT).

SIGIR-2012-AzzopardiPG #game studies #named #retrieval

PageFetch: a retrieval game for children (and adults) (LA, JP, RG), p. 1010.

SAC-2012-AhmadiJR #evaluation #game studies #performance

Performance evaluation of user-created open-web games (NA, MJ, AR), pp. 730–732.

CAV-2012-BrazdilCKN #game studies #multi #performance #synthesis

Efficient Controller Synthesis for Consumption Games with Multiple Resource Types (TB, KC, AK, PN), pp. 23–38.

CAV-2012-HarrisJR #automaton #game studies #programming #safety

Secure Programming via Visibly Pushdown Safety Games (WRH, SJ, TWR), pp. 581–598.

CSL-2012-GradelL #game studies

Banach-Mazur Games with Simple Winning Strategies (EG, SL), pp. 305–319.

CSL-2012-GroheO #equation #game studies #linear

Pebble Games and Linear Equations (MG, MO), pp. 289–304.

IJCAR-2012-QueselP #game studies #hybrid

Playing Hybrid Games with KeYmaera (JDQ, AP), pp. 439–453.

LICS-2012-Aumann #game studies #induction

Backward induction in games of perfect information (RJA), p. 1.

LICS-2012-Berkholz #bound #game studies #testing

Lower Bounds for Existential Pebble Games and k-Consistency Tests (CB), pp. 25–34.

LICS-2012-ChatterjeeD #game studies #how #probability

Partial-Observation Stochastic Games: How to Win When Belief Fails (KC, LD), pp. 175–184.

LICS-2012-ChatterjeeV #automaton #game studies

Mean-Payoff Pushdown Games (KC, YV), pp. 195–204.

LICS-2012-ClairambaultGW #concurrent #game studies

The Winning Ways of Concurrent Games (PC, JG, GW), pp. 235–244.

LICS-2012-Mellies #diagrams #game studies #semantics #string

Game Semantics in String Diagrams (PAM), pp. 481–490.

DATE-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.

HT-2011-SimkoTB #game studies #network

Little search game: term network acquisition via a human computation game (JS, MT, MB), pp. 57–62.

CSEET-2011-BrownNOKL #game studies

Hard choice: A game for balancing strategy for agility (NB, RLN, IO, PK, EL), p. 553.

CSEET-2011-KruchtenK #agile #game studies #release planning

Mission to Mars: An agile release planning game (PK, JK), p. 552.

CSEET-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.

CSEET-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.

CSEET-2011-TillmannHX #education #game studies #learning #named #social

Pex4Fun: Teaching and learning computer science via social gaming (NT, JdH, TX), pp. 546–548.

ITiCSE-2011-BlevinsKMMS #game studies

Muddy hill games (JB, AK, EM, EMS, ES), p. 395.

ITiCSE-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.

ITiCSE-2011-GottelS #design #game studies #student

Creativity room 5555: evoking creativity in game design amongst CS students (TG, JS), pp. 98–102.

ITiCSE-2011-GuimaraesSA #education #game studies #security #using #video

Using video games to teach security (MAMG, HES, RA), p. 346.

ESOP-2011-MurawskiT #algorithm #game studies #semantics

Algorithmic Nominal Game Semantics (ASM, NT), pp. 419–438.

FoSSaCS-2011-BertrandSJK #approach #automaton #game studies

A Game Approach to Determinize Timed Automata (NB, AS, TJ, MK), pp. 245–259.

FoSSaCS-2011-Clairambault #estimation #game studies #interactive #semantics

Estimation of the Length of Interactions in Arena Game Semantics (PC), pp. 335–349.

FoSSaCS-2011-GhicaM #abstraction #game studies #semantics

Synchronous Game Semantics via Round Abstraction (DRG, MNM), pp. 350–364.

TACAS-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.

TACAS-2011-SeshiaK #analysis #named #tool support

GameTime: A Toolkit for Timing Analysis of Software (SAS, JK), pp. 388–392.

MSR-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.

STOC-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.

STOC-2011-HansenKLMT #algorithm #game studies #probability

Exact algorithms for solving stochastic games: extended abstract (KAH, MK, NL, PBM, EPT), pp. 205–214.

STOC-2011-KempeV #game studies #parallel

Parallel repetition of entangled games (JK, TV), pp. 353–362.

DLT-2011-ChaturvediOT #game studies #infinity

Languages vs. ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 180–191.

ICALP-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.

ICALP-v1-2011-DyerM #game studies

Pairwise-Interaction Games (MED, VM), pp. 159–170.

ICALP-v1-2011-HarkinsH #algorithm #bound #game studies #learning

Exact Learning Algorithms, Betting Games, and Circuit Lower Bounds (RCH, JMH), pp. 416–423.

ICALP-v1-2011-HuangP #game studies #probability

Automatizability and Simple Stochastic Games (LH, TP), pp. 605–617.

ICALP-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.

ICALP-v2-2011-Huang #game studies

Collusion in Atomic Splittable Routing Games (CCH), pp. 564–575.

ICALP-v2-2011-KolliasR #game studies

Restoring Pure Equilibria to Weighted Congestion Games (KK, TR), pp. 539–551.

ICALP-v2-2011-LairdMM #category theory #difference #game studies

Constructing Differential Categories and Deconstructing Categories of Games (JL, GM, GM), pp. 186–197.

LATA-2011-ChatterjeeHH #complexity #game studies

The Complexity of Request-Response Games (KC, TAH, FH), pp. 227–237.

AGTIVE-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.

CHI-2011-AndersenLSSP #game studies #online

Placing a value on aesthetics in online casual games (EA, YEL, RS, RS, ZP), pp. 1275–1278.

CHI-2011-CheungH #comprehension #game studies

Starcraft from the stands: understanding the game spectator (GC, JH), pp. 763–772.

CHI-2011-CoyleMDO #behaviour #game studies

Exploratory evaluations of a computer game supporting cognitive behavioural therapy for adolescents (DC, NM, GD, GO), pp. 2937–2946.

CHI-2011-DiakopoulosKN #design

Playable data: characterizing the design space of game-y infographics (ND, FKS, MN), pp. 1717–1726.

CHI-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.

CHI-2011-JianqiangMZKBJ #facebook #game studies #volunteer

Farmer’s tale: a facebook game to promote volunteerism (DSJ, XM, SZ, JTK, SLB, ZJ), pp. 581–584.

CHI-2011-LaViolaL #3d #game studies #video

Evaluating the benefits of 3d stereo in modern video games (JJLJ, TL), pp. 2345–2354.

CHI-2011-LinehanKLC #design #education #game studies #guidelines

Practical, appropriate, empirically-validated guidelines for designing educational games (CL, BK, SWL, GC), pp. 1979–1988.

CHI-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.

CHI-2011-MuellerEVGABS #design #framework #game studies

Designing sports: a framework for exertion games (FM, DE, FV, MRG, SA, BB, JGS), pp. 2651–2660.

CHI-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.

CHI-2011-NozA #experience #game studies

Cat cat revolution: an interspecies gaming experience (FN, JA), pp. 2661–2664.

CHI-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.

CSCW-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.

CSCW-2011-LobunetsP #game studies #prototype

Evaluating a smart working environment with a digital card game prototype (OL, WP), pp. 673–676.

CSCW-2011-McGillCJCBL #elicitation #game studies #online

Eliciting risk perceptions with an online game: preliminary results (WLM, YC, MJ, JJC, SB, GL), pp. 681–684.

CSCW-2011-MerrittTOTCM #game studies

Are artificial team-mates scapegoats in computer games (TRM, KBT, CO, ATA, TLC, KM), pp. 685–688.

CSCW-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.

CSCW-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.

DUXU-v2-2011-ArditoLRSYAC #design #game studies #learning #pervasive

Designing Pervasive Games for Learning (CA, RL, DR, CS, NY, NMA, MFC), pp. 99–108.

DUXU-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.

HCD-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.

HCI-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.

HCI-UA-2011-FangZ #game studies #question #what

Extraversion and Computer Game Play: Who Plays What Games? (XF, MZ), pp. 659–667.

HCI-UA-2011-GeorgeS #collaboration #game studies #learning

Introducing Mobility in Serious Games: Enhancing Situated and Collaborative Learning (SG, AS), pp. 12–20.

HCI-UA-2011-HarleyRGHB #design #game studies #interactive

The Design of an Interactive Stroke Rehabilitation Gaming System (LH, SR, MG, SH, DFB), pp. 167–173.

HCI-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.

HCI-UA-2011-OlivierWP #game studies #music #named #recommendation

MusicTagger: Exploiting User Generated Game Data for Music Recommendation (HO, MW, NP), pp. 678–687.

HCI-UA-2011-QinRG #experience #game studies #online #social

The Influence of Social Experience in Online Games (HQ, PLPR, SfG), pp. 688–693.

HCI-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.

HIMI-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.

CAiSE-2011-Beis #game studies #information management #integration

Total Integration: The Case of Information Systems for Olympic Games (DAB), p. 2.

CAiSE-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.

ICEIS-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.

ICEIS-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.

ICEIS-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.

ICEIS-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.

ICEIS-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.

ICEIS-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.

ICEIS-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.

CIKM-2011-ONeilPA #behaviour #game studies #named #query

Fu-Finder: a game for studying querying behaviours (CO, JP, LA), pp. 2561–2564.

CIKM-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.

KDD-2011-AlqadahB #clustering #framework #game studies #network

A game theoretic framework for heterogenous information network clustering (FA, RB), pp. 795–804.

KDD-2011-BrucknerS #game studies #predict #problem

Stackelberg games for adversarial prediction problems (MB, TS), pp. 547–555.

SEKE-2011-MorelliN #architecture #development #game studies

A Panorama of Software Architectures in Game Development (LBM, EYN), pp. 752–757.

SEKE-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.

SIGIR-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.

Onward-2011-DemmelKKS #game studies

The serious game: wemakewords (RBD, BK, SK, LS), pp. 109–110.

QAPL-2011-FahrenbergTL #game studies

Distances for Weighted Transition Systems: Games and Properties (UF, CRT, KGL), pp. 134–147.

QAPL-2011-Rutkowski #automaton #game studies

Two-Player Reachability-Price Games on Single-Clock Timed Automata (MR), pp. 31–46.

SAC-2011-GohLC #game studies #image #performance

Performance and perceptions of human computation games for image tagging (DHLG, CSL, AYKC), pp. 1124–1129.

SAC-2011-LiuLTL #framework #game studies #interactive #learning

A cognition-based interactive game platform for learning Chinese characters (CLL, CYL, JLT, CLL), pp. 1181–1186.

SAC-2011-MajchrzakH #game studies

Game vendors’ influence on the monetary value of virtual goods (TAM, KFH), pp. 757–764.

SAC-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.

SAC-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.

ICSE-2011-Chen #game studies #named #testing

GATE: game-based testing environment (NC), pp. 1078–1081.

ICSE-2011-HullettNSH #data analysis #development #game studies

Data analytics for game development (KH, NN, ES, JH), pp. 940–943.

SLE-2011-NishimoriK #framework #game studies #programming

Join Token-Based Event Handling: A Comprehensive Framework for Game Programming (TN, YK), pp. 119–138.

CSL-2011-FridmanLZ #game studies #infinity #lookahead

Degrees of Lookahead in Context-free Infinite Games (WF, CL, MZ), pp. 264–276.

LICS-2011-ChurchillLM #game studies #imperative #proving #semantics #source code

Imperative Programs as Proofs via Game Semantics (MC, JL, GM), pp. 65–74.

LICS-2011-MurawskiT #game studies #semantics

Game Semantics for Good General References (ASM, NT), pp. 75–84.

TLCA-2011-BourreauS #game studies #semantics #λ-calculus

Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (PB, SS), pp. 61–75.

VMCAI-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.

ITiCSE-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.

ITiCSE-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.

ITiCSE-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.

ITiCSE-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.

FoSSaCS-2010-AsarinCV #game studies

Fair Adversaries and Randomization in Two-Player Games (EA, RCYF, DV), pp. 64–78.

FoSSaCS-2010-HoltmannKT #game studies #infinity #lookahead

Degrees of Lookahead in Regular Infinite Games (MH, LK, WT), pp. 252–266.

ICSM-2010-BavotaOLAG #game studies #identification #refactoring

Playing with refactoring: Identifying extract class opportunities through game theory (GB, RO, ADL, GA, YGG), pp. 1–5.

STOC-2010-RaghavendraS #game studies #graph

Graph expansion and the unique games conjecture (PR, DS), pp. 755–764.

CIAA-2010-Neider #automation #game studies #graph #reachability

Reachability Games on Automatic Graphs (DN), pp. 222–230.

ICALP-v1-2010-AtseriasM #game studies #proving

Mean-Payoff Games and Propositional Proofs (AA, ENM), pp. 102–113.

ICALP-v1-2010-BateniHIM #game studies #network

The Cooperative Game Theory Foundations of Network Bargaining Games (MB, MH, NI, HM), pp. 67–78.

ICALP-v1-2010-HarksK #game studies #nash #on the

On the Existence of Pure Nash Equilibria in Weighted Congestion Games (TH, MK), pp. 79–89.

ICALP-v2-2010-BrazdilJK #game studies #reachability

Reachability Games on Extended Vector Addition Systems with States (TB, PJ, AK), pp. 478–489.

ICALP-v2-2010-ChatterjeeD #energy #game studies

Energy Parity Games (KC, LD), pp. 599–610.

ICALP-v2-2010-Laird #call-by #game studies #morphism #polymorphism #semantics

Game Semantics for Call-by-Value Polymorphism (JL), pp. 187–198.

CHI-2010-AlankusLMK #game studies #towards

Towards customizable games for stroke rehabilitation (GA, AL, MM, CK), pp. 2113–2122.

CHI-2010-BerkovskyCFBB #game studies #physics #process

Physical activity motivating games: virtual rewards for real activity (SB, MC, JF, DB, NB), pp. 243–252.

CHI-2010-DownsHSC #game studies

Are your participants gaming the system?: screening mechanical turk workers (JSD, MBH, SS, LFC), pp. 2399–2402.

CHI-2010-El-NasrAMELMM #comprehension #game studies

Understanding and evaluating cooperative games (MSEN, BA, DM, ME, BL, HM, SM), pp. 253–262.

CHI-2010-IsbisterFH #design #game studies #learning

Designing games for learning: insights from conversations with designers (KI, MF, CH), pp. 2041–2044.

CHI-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.

CHI-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.

CHI-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.

CHI-2010-WalshG #game studies #named #recommendation

Curator: a game with a purpose for collection recommendation (GW, JG), pp. 2079–2082.

CHI-2010-YeeDQ #game studies #mobile

Investigating narrative in mobile games for seniors (SLCYY, HBLD, FKHQ), pp. 669–672.

CSCW-2010-VoidaCG #game studies

The individual and the group in console gaming (AV, MSTC, SG), pp. 371–380.

ICEIS-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.

ICML-2010-BouzyM #game studies #learning #matrix #multi

Multi-agent Learning Experiments on Repeated Matrix Games (BB, MM), pp. 119–126.

ICML-2010-GaudelS #feature model #game studies

Feature Selection as a One-Player Game (RG, MS), pp. 359–366.

ICPR-2010-AlbarelliRCT #approach #game studies #robust

Robust Figure Extraction on Textured Background: A Game-Theoretic Approach (AA, ER, AC, AT), pp. 360–363.

ICPR-2010-LaunilaS #estimation #game studies

Contextual Features for Head Pose Estimation in Football Games (AL, JS), pp. 340–343.

ICPR-2010-ParkY #analysis #approach #game studies #network #social

Social Network Approach to Analysis of Soccer Game (KJP, AY), pp. 3935–3938.

ICPR-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.

ICPR-2010-RoySB #game studies #image #segmentation #using

Segmentation of Unideal Iris Images Using Game Theory (KR, CYS, PB), pp. 2844–2847.

ICPR-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.

KEOD-2010-KermanidisA #game studies #representation #semantics

LSA-based Semantic Representation of Action Games (KLK, KA), pp. 218–223.

KMIS-2010-SrivastavaS #composition #game studies #using #validation

The Validation of a Dynamic Service Composition Model using a Simple Game (AS, PGS), pp. 260–266.

KR-2010-GiacomoLP #calculus #game studies #reasoning #representation #source code

Situation Calculus Based Programs for Representing and Reasoning about Game Structures (GDG, YL, ARP).

RecSys-2010-BerkovskyFCB #algorithm #game studies #process #recommendation

Recommender algorithms in activity motivating games (SB, JF, MC, DB), pp. 175–182.

QAPL-2010-BiancoFMM #game studies

Quantitative Fairness Games (AB, MF, FM, AM), pp. 48–63.

QAPL-2010-RabeS #game studies #markov

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games (MNR, SS), pp. 144–158.

SAC-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.

SAC-2010-PeixotoPR #education #game studies #simulation

Semiotic inspection method in the context of educational simulation games (DCCP, ROP, RFR), pp. 1207–1212.

ICSE-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.

SPLC-2010-FurtadoSR #analysis #game studies #product line

Streamlining Domain Analysis for Digital Games Product Lines (AWBF, ALMS, GLR), pp. 316–330.

PPoPP-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.

CAV-2010-ChatterjeeHJR #game studies #named #probability

Gist: A Solver for Probabilistic Games (KC, TAH, BJ, AR), pp. 665–669.

CSL-2010-DegorreDGRT #energy #game studies

Energy and Mean-Payoff Games with Imperfect Information (AD, LD, RG, JFR, ST), pp. 260–274.

CSL-2010-Gradel #game studies

Definability in Games (EG), pp. 19–21.

LICS-2010-Laird #game studies #polymorphism #programming language #semantics

Game Semantics for a Polymorphic Programming Language (JL), pp. 41–49.

SAT-2010-KlieberSGC #learning

A Non-prenex, Non-clausal QBF Solver with Game-State Learning (WK, SS, SG, EMC), pp. 128–142.

HT-2009-RafelsbergerS #game studies #network #social

Games with a purpose for social networking platforms (WR, AS), pp. 193–198.

SIGMOD-2009-DemersGKSW #database #game studies #research

Database research in computer games (AJD, JG, CK, BS, WMW), pp. 1011–1014.

VLDB-2009-KoloniariP #clustering #game studies #peer-to-peer

A Recall-Based Cluster Formation Game in Peer-to-Peer Systems (GK, EP), pp. 455–466.

VLDB-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.

CSEET-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.

ITiCSE-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.

ITiCSE-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.

ITiCSE-2009-Kurkovsky #development #game studies #mobile

Making the case for mobile game development (SK), p. 401.

ITiCSE-2009-Seidman #3d #game studies #interactive #programming

Alice first: 3D interactive game programming (RHS), p. 345.

FoSSaCS-2009-Clairambault #fixpoint #game studies #semantics

Least and Greatest Fixpoints in Game Semantics (PC), pp. 16–31.

FoSSaCS-2009-Gutierrez #bisimulation #concurrent #game studies #logic

Logics and Bisimulation Games for Concurrency, Causality and Conflict (JG), pp. 48–62.

TACAS-2009-BakewellG #abstraction #composition #game studies #semantics

Compositional Predicate Abstraction from Game Semantics (AB, DRG), pp. 62–76.

TACAS-2009-BerwangerCWDH #game studies #named

Alpaga: A Tool for Solving Parity Games with Imperfect Information (DB, KC, MDW, LD, TAH), pp. 58–61.

TACAS-2009-KuijperP #game studies #safety

Computing Weakest Strategies for Safety Games of Imperfect Information (WK, JvdP), pp. 92–106.

STOC-2009-Even-DarMN #convergence #game studies #on the

On the convergence of regret minimization dynamics in concave games (EED, YM, UN), pp. 523–532.

STOC-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.

STOC-2009-KleinbergPT #game studies #learning #multi

Multiplicative updates outperform generic no-regret learning in congestion games: extended abstract (RK, GP, ÉT), pp. 533–542.

CIAA-2009-Zimmermann #game studies

Time-Optimal Winning Strategies for Poset Games (MZ0), pp. 217–226.

DLT-2009-KountouriotisNR #boolean grammar #game studies

A Game-Theoretic Characterization of Boolean Grammars (VK, CN, PR), pp. 334–347.

ICALP-v1-2009-ChienS #game studies

Strong and Pareto Price of Anarchy in Congestion Games (SC, AS), pp. 279–291.

ICALP-v1-2009-Papadimitriou #algorithm #game studies

Algorithmic Game Theory: A Snapshot (CHP), pp. 3–11.

ICALP-v2-2009-BouyerF #game studies #probability #reachability

Reachability in Stochastic Timed Games (PB, VF), pp. 103–114.

ICALP-v2-2009-ChatterjeeDH #bibliography #game studies #probability

A Survey of Stochastic Games with Limsup and Liminf Objectives (KC, LD, TAH), pp. 1–15.

ICALP-v2-2009-GriponS #concurrent #game studies #probability

Qualitative Concurrent Stochastic Games with Imperfect Information (VG, OS), pp. 200–211.

ICALP-v2-2009-UmmelsW #complexity #game studies #multi #nash #probability

The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games (MU, DW), pp. 297–308.

CHI-2009-HackerA #elicitation #game studies #named #online

Matchin: eliciting user preferences with an online game (SH, LvA), pp. 1207–1216.

CHI-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.

CHI-2009-LawA #game studies #named #using

Input-agreement: a new mechanism for collecting data using human computation games (EL, LvA), pp. 1197–1206.

CHI-2009-MagielseM #game studies #named #pervasive

HeartBeat: an outdoor pervasive game for children (RM, PM), pp. 2181–2184.

CHI-2009-MuellerGV #design #distributed #game studies #social

Design influence on social play in distributed exertion games (FM, MRG, FV), pp. 1539–1548.

CHI-2009-VoidaG #game studies

Wii all play: the console game as a computational meeting place (AV, SG), pp. 1559–1568.

CHI-2009-WaernMS #design #game studies #pervasive

The three-sixty illusion: designing for immersion in pervasive games (AW, MM, JS), pp. 1549–1558.

CHI-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.

HCD-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.

HCD-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.

HCD-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.

HCI-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.

HCI-VAD-2009-FangCN #bibliography #game studies #online

An Online Survey System on Computer Game Enjoyment and Personality (XF, SSC, CN), pp. 304–314.

HCI-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.

HCI-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.

HCI-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.

HCI-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.

HCI-VAD-2009-Loreto #design #game studies #social #web

Games Design Principles for Improving Social Web Applications (IDL), pp. 287–295.

HCI-VAD-2009-ParkH #comprehension #game studies #online

Understanding Online Game Addiction: Connection between Presence and Flow (SP, HSH), pp. 378–386.

HCI-VAD-2009-SaariTKKR #adaptation #game studies

Emotionally Adapted Games — An Example of a First Person Shooter (TS, MT, KK, IK, NR), pp. 406–415.

HIMI-II-2009-FangZ #game studies

Sensation Seeking, Self Forgetfulness, and Computer Game Enjoyment (XF, FZ), pp. 632–641.

HIMI-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.

IDGD-2009-ChakrabortyN #game studies

Cross Cultural Computer Gaming (JC, AFN), pp. 13–18.

IDGD-2009-ZhaoF #game studies #online

Factors Affecting Online Game Players’ Loyalty (FZ, XF), pp. 197–206.

OCSC-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.

OCSC-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.

OCSC-2009-DuhC #behaviour #game studies #online

Cheating Behaviors in Online Gaming (HBLD, VHhC), pp. 567–573.

OCSC-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.

OCSC-2009-Raybourn #game studies

Intercultural Competence Game That Fosters Metacognitive Agility and Reflection (EMR), pp. 603–612.

OCSC-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.

OCSC-2009-VoiskounskyMA #game studies

Gamers’ Implicit Knowledge on the Psychological Influence of Game-Playing (AEV, OVM, AAA), pp. 632–640.

OCSC-2009-WongCKP #game studies #mobile

Intercultural Socializing via Mobile Games for Backpackers (CYW, KC, CWK, SAP), pp. 641–650.

ICEIS-J-2009-SilvaS #collaboration #game studies

Promoting Collaboration through a Culturally Contextualized Narrative Game (MARS, JCAS), pp. 870–881.

ICEIS-J-2009-Yahyaoui #game studies

A Reputation-Based Game for Tasks Allocation (HY), pp. 728–736.

CIKM-2009-MaCQG #game studies #using

Improving search engines using human computation games (HM, RC, CQ, AG), pp. 275–284.

ICML-2009-Freund #game studies #learning #online

Invited talk: Drifting games, boosting and online learning (YF), p. 2.

SIGIR-2009-MaCQG #game studies #using

Page hunt: improving search engines using human computation games (HM, RC, CQ, AG), pp. 746–747.

ICMT-2009-Stevens #approach #game studies #qvt

A Simple Game-Theoretic Approach to Checkonly QVT Relations (PS), pp. 165–180.

SAC-2009-CazzolaCH #aspect-oriented #design #game studies

Aspect-oriented procedural content engineering for game design (WC, DC, DH), pp. 1957–1962.

SAC-2009-XuMX #game studies

A method to construct knowledge table-base in k-in-a-row games (CX, ZMM, XX), pp. 929–933.

PPoPP-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.

CAV-2009-GawlitzaS #fixpoint #game studies

Games through Nested Fixpoints (TG, HS), pp. 291–305.

CSL-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.

CSL-2009-UmmelsW #game studies #nash #probability #problem

Decision Problems for Nash Equilibria in Stochastic Games (MU, DW), pp. 515–529.

ICLP-2009-Thielscher #game studies #programming #set

Answer Set Programming for Single-Player Games in General Game Playing (MT), pp. 327–341.

LICS-2009-BertrandGG #decidability #game studies #probability

Qualitative Determinacy and Decidability of Stochastic Games with Signals (NB, BG, HG), pp. 319–328.

LICS-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.

LICS-2009-Ghica #game studies #hardware #program analysis #semantics #synthesis

Applications of Game Semantics: From Program Analysis to Hardware Synthesis (DRG), pp. 17–26.

LICS-2009-HansenKM #concurrent #game studies #reachability

Winning Concurrent Reachability Games Requires Doubly-Exponential Patience (KAH, MK, PBM), pp. 332–341.

LICS-2009-Rossman #game studies

Combining Ehrenfeucht-Fraïssé Games (BR), p. 331.

TLCA-2009-Boudes #game studies

Thick Subtrees, Games and Experiments (PB), pp. 65–79.

VMCAI-2009-JurdzinskiLR #automaton #game studies #hybrid

Average-Price-per-Reward Games on Hybrid Automata with Strong Resets (MJ, RL, MR), pp. 167–181.

WICSA-2008-Brownsword #architecture #development #game studies

Software Architecture in Game Development (AB), p. 3.

DAC-2008-GuC #3d #game studies #interactive

Control theory-based DVS for interactive 3D games (YG, SC), pp. 740–745.

DATE-2008-DavidLLN #approach #game studies #realtime #testing

A Game-Theoretic Approach to Real-Time System Testing (AD, KGL, SL, BN), pp. 486–491.

SIGMOD-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.

SIGMOD-2008-GuptaDG #game studies #multi #named #online #scalability

SEMMO: a scalable engine for massively multiplayer online games (NG, AJD, JG), pp. 1235–1238.

CSEET-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.

CSEET-2008-WangOM #concept #evaluation #game studies #mobile

An Evaluation of a Mobile Game Concept for Lectures (AIW, TØ, OKMS), pp. 197–204.

ITiCSE-2008-CatuognoS #internet #network #security

An internet role-game for the laboratory of network security course (LC, ADS), pp. 240–244.

ITiCSE-2008-EagleB #array #education #game studies

Wu’s castle: teaching arrays and loops in a game (ME, TB), pp. 245–249.

ITiCSE-2008-LinhoffS #education #game studies #programming #using

Teaching game programming using XNA (JL, AS), pp. 250–254.

ITiCSE-2008-NorteL #game studies #people

A sudoku game for people with motor impairments (SN, FGL), p. 319.

ITiCSE-2008-ReppMY #development #game studies #motivation #student

Motivation of the students in game development projects (SR, CM, SY), p. 368.

ITiCSE-2008-ReyesM #combinator #education #game studies #java

Games developed in Java for teaching “Combinatorial Game Theory” (MR, ÁM), p. 359.

ESOP-2008-Ong #approach #higher-order #semantics #verification

Verification of Higher-Order Computation: A Game-Semantic Approach (CHLO), pp. 299–306.

FoSSaCS-2008-AbdullaHAMS #game studies #probability

Stochastic Games with Lossy Channels (PAA, NBH, LdA, RM, SS), pp. 35–49.

FoSSaCS-2008-GimbertH #game studies #probability #random

Simple Stochastic Games with Few Random Vertices Are Easy to Solve (HG, FH), pp. 5–19.

FoSSaCS-2008-Goubault-Larrecq #game studies #infinity #probability #simulation

Simulation Hemi-metrics between Infinite-State Stochastic Games (JGL), pp. 50–65.

FoSSaCS-2008-Ummels #complexity #game studies #infinity #multi #nash

The Complexity of Nash Equilibria in Infinite Multiplayer Games (MU), pp. 20–34.

TACAS-2008-BakewellG #game studies #model checking #on the fly

On-the-Fly Techniques for Game-Based Software Model Checking (AB, DRG), pp. 78–92.

STOC-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.

STOC-2008-KolN #game studies

Games for exchanging information (GK, MN), pp. 423–432.

STOC-2008-LevinSZ #game studies

Interdomain routing and games (HL, MS, AZ), pp. 57–66.

STOC-2008-Rao #bound #game studies #parallel

Parallel repetition in projection games and a concentration bound (AR), pp. 1–10.

CIAA-2008-EsikI #game studies #logic

Games for Temporal Logics on Trees (ZÉ, SI), pp. 191–200.

ICALP-A-2008-EtessamiWY #game studies #probability #recursion

Recursive Stochastic Games with Positive Rewards (KE, DW, MY), pp. 711–723.

ICALP-A-2008-FanelliFM #convergence #game studies

The Speed of Convergence in Congestion Games under Best-Response Dynamics (AF, MF, LM), pp. 796–807.

ICALP-A-2008-GrecoS #game studies

Tree Projections: Hypergraph Games and Minimality (GG, FS), pp. 736–747.

FM-2008-GawlitzaS #analysis #game studies #precise

Precise Interval Analysis vs. Parity Games (TG, HS), pp. 342–357.

SEFM-2008-RuksenasCB #behaviour #game studies #modelling

Modelling Rational User Behaviour as Games between an Angel and a Demon (RR, PC, AB), pp. 355–364.

CHI-2008-Grammenos #game studies #learning

Game over: learning by dying (DG), pp. 1443–1452.

CHI-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.

CHI-2008-PinelleW #design #evaluation #game studies #heuristic #usability #video

Heuristic evaluation for games: usability principles for video game design (DP, NW), pp. 1453–1462.

CHI-2008-SzentgyorgyiTL #game studies #social

Renegade gaming: practices surrounding social use of the Nintendo DS handheld gaming system (CS, MAT, EL), pp. 1463–1472.

CSCW-2008-CampbellNF #design #game studies

Game design principles in everyday fitness applications (TC, BN, JF), pp. 249–252.

CSCW-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.

CSCW-2008-Dabbish #game studies #online

Jumpstarting relationships with online games: evidence from a laboratory investigation (LAD), pp. 353–356.

CSCW-2008-OHaraGR #comprehension #game studies

Understanding collective play in an urban screen game (KO, MG, SR), pp. 67–76.

ICEIS-HCI-2008-AnacletoPFCF #education #game studies

Culture Sensitive Educational Games Considering Common Sense Knowledge (JCAS, ENP, AMF, AFPdC, JF), pp. 136–141.

ICEIS-ISAS2-2008-InoueS #development #game studies

Applying MDA to Game Software Development (TI, YS), pp. 454–459.

ICML-2008-BowlingJBS #evaluation #game studies

Strategy evaluation in extensive games with importance sampling (MHB, MJ, NB, DS), pp. 72–79.

ICML-2008-GordonGM #game studies #learning

No-regret learning in convex games (GJG, AG, CM), pp. 360–367.

ICML-2008-VovkZ #game studies #predict

Prediction with expert advice for the Brier game (VV, FZ), pp. 1104–1111.

ICPR-2008-ScherCD #game studies

Making real games virtual: Tracking board game pieces (SS, RC, JD), pp. 1–4.

KR-2008-RamanujamS #game studies #logic

Dynamic Logic on Games with Structured Strategies (RR, SES), pp. 49–58.

QAPL-2008-KattenbeltKNP #abstraction #game studies #probability

Game-Based Probabilistic Predicate Abstraction in PRISM (MK, MZK, GN, DP), pp. 5–21.

RE-2008-BeattyA #case study #experience #requirements

Games-Based Requirements Engineering Training: An Initial Experience Report (JB, MA), pp. 211–216.

RE-2008-CalleleNS #game studies #requirements #security #video

Balancing Security Requirements and Emotional Requirements in Video Games (DC, EN, KS), pp. 319–320.

SAC-2008-BazzanSDB #contest #game studies

Emerging cooperation in a public goods game with competition (ALCB, RdS, SRD, ATB), pp. 8–12.

SAC-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.

SPLC-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.

SPLC-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.

CAV-2008-AlurKW #automaton #game studies #ranking #requirements

Ranking Automata and Games for Prioritized Requirements (RA, AK, GW), pp. 240–253.

CSL-2008-DawarG #complexity #game studies

The Descriptive Complexity of Parity Games (AD, EG), pp. 354–368.

CSL-2008-LagoL #game studies #linear #logic #semantics

Quantitative Game Semantics for Linear Logic (UDL, OL), pp. 230–245.

CSL-2008-Schewe #algorithm #game studies

An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games (SS), pp. 369–384.

ICLP-2008-Gosti #csp #game studies

Resolving CSP with Naming Games (GG), pp. 807–808.

LICS-2008-CarayolHMOS #automaton #game studies #higher-order

Winning Regions of Higher-Order Pushdown Games (AC, MH, AM, CHLO, OS), pp. 193–204.

LICS-2008-Murawski #game studies #nondeterminism #reachability #semantics #source code

Reachability Games and Game Semantics: Comparing Nondeterministic Programs (ASM), pp. 353–363.

VMCAI-2008-KupfermanL #automaton #game studies #logic #multi #simulation

Multi-valued Logics, Automata, Simulations, and Games (OK, YL), p. 5.

VMCAI-2008-SohailSR #algorithm #game studies #hybrid #ltl

A Hybrid Algorithm for LTL Games (SS, FS, KR), pp. 309–323.

CBSE-2007-Folmer #component #development #game studies #question

Component Based Game Development — A Solution to Escalating Costs and Expanding Deadlines? (EF), pp. 66–73.

SIGMOD-2007-WhiteDKGR #game studies #scalability

Scaling games to epic proportion (WMW, AJD, CK, JG, RR), pp. 31–42.

CSEET-2007-Taran #education #game studies #re-engineering #risk management #using

Using Games in Software Engineering Education to Teach Risk Management (GT), pp. 211–220.

ITiCSE-2007-BarnesRPCG #game studies #learning #named

Game2Learn: building CS1 learning games for retention (TB, HR, EP, AC, AG), pp. 121–125.

ITiCSE-2007-DistasioW #education #framework #game studies #using

Inclusive computer science education using a ready-made computer game framework (JD, TPW), pp. 116–120.

ITiCSE-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.

FoSSaCS-2007-Chatterjee #game studies #probability #synthesis

Optimal Strategy Synthesis in Stochastic Müller Games (KC), pp. 138–152.

FoSSaCS-2007-ChatterjeeHP #game studies

Generalized Parity Games (KC, TAH, NP), pp. 153–167.

TACAS-2007-Horn #algorithm #game studies #performance

Faster Algorithms for Finitary Games (FH), pp. 472–484.

STOC-2007-GutoskiW #game studies #quantum #towards

Toward a general theory of quantum games (GG, JW), pp. 565–574.

STOC-2007-KakadeKL #algorithm #approximate #game studies

Playing games with approximation algorithms (SMK, ATK, KL), pp. 546–555.

STOC-2007-PassV #game studies #parallel #performance #theorem

An efficient parallel repetition theorem for Arthur-Merlin games (RP, MV), pp. 420–429.

CIAA-2007-HoltmannL #game studies #infinity #memory management #reduction

Memory Reduction for Strategies in Infinite Games (MH, CL), pp. 253–264.

ICALP-2007-BrihayeHPR #game studies #reachability

Minimum-Time Reachability in Timed Games (TB, TAH, VSP, JFR), pp. 825–837.

ICALP-2007-GimbertZ #game studies #probability

Perfect Information Stochastic Priority Games (HG, WZ), pp. 850–861.

ICALP-2007-JurdzinskiT #automaton #game studies

Reachability-Time Games on Timed Automata (MJ, AT), pp. 838–849.

ICALP-2007-KontogiannisS #algorithm #approximate #constant #game studies #performance

Efficient Algorithms for Constant Well Supported Approximate Equilibria in Bimatrix Games (SCK, PGS), pp. 595–606.

CHI-2007-BatchellerHNRRZ #game studies #testing #video

Testing the technology: playing games with video conferencing (ALB, BH, KN, EJR, MRB, XZ), pp. 849–852.

CHI-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.

CHI-2007-FlanaganN #design #game studies #social

A game design methodology to incorporate social activist themes (MF, HN), pp. 181–190.

CHI-2007-NenonenLHLJH #game studies #interactive #using

Using heart rate to control an interactive game (VN, AL, VH, TL, MJ, PH), pp. 853–856.

CHI-2007-SeayK #game studies #online #problem #self

Project massive: self-regulation and problematic use of online gaming (AFS, REK), pp. 829–838.

HCI-AS-2007-Chang #design #game studies #interactive

Interacting Play — Design as a Metaphor for Developing Interactive Games (TWC), pp. 190–197.

HCI-AS-2007-CorradiniBH #2d #game studies #interface #natural language

A Natural Language Interface for a 2D Networked Game (AC, AB, TH), pp. 225–234.

HCI-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.

HCI-AS-2007-SanchezSS #game studies #learning #mobile

Mobile Game-Based Methodology for Science Learning (JS, AS, MS), pp. 322–331.

HCI-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.

HCI-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.

HCI-IDU-2007-DomingoHM #comprehension #game studies #process

A Game to Promote Understanding About UCD Methods and Process (MGD, MAH, EM), pp. 446–452.

HCI-IPT-2007-SongWT #game studies #interface #using

A Tangible Game Interface Using Projector-Camera Systems (PS, SW, JT), pp. 956–965.

HCI-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.

HCI-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.

HIMI-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.

HIMI-IIE-2007-YoonKPLY #game studies #modelling #using

Game Player Modeling Using D-FSMs (TBY, DMK, KHP, JHL, KHY), pp. 490–499.

OCSC-2007-Jang #community #game studies #online #self

Managing Fairness: Reward Distribution in a Self-organized Online Game Player Community (CYJ), pp. 375–384.

OCSC-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.

OCSC-2007-YuanZW #community #contest #game studies #online

Cooperation and Competition Dynamics in an Online Game Community (RY, LZ, WW), pp. 475–484.

SIGAda-2007-HallmarkR #ada #evaluation #evolution #game studies #parallel

Parallel evolution of game evaluation functions in ada (TBH, EKR), pp. 59–62.

ICEIS-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.

ICEIS-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.

ICML-2007-SternHG #game studies #learning

Learning to solve game trees (DHS, RH, TG), pp. 839–846.

MoDELS-2007-KienzleDV #behaviour #design #game studies #modelling

Model-Based Design of Computer-Controlled Game Character Behavior (JK, AD, HV), pp. 650–665.

MoDELS-2007-KienzleDV #behaviour #design #game studies #modelling

Model-Based Design of Computer-Controlled Game Character Behavior (JK, AD, HV), pp. 650–665.

RE-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.

RE-2007-SmithG #game studies #lightweight #requirements #using

Using a Game to Introduce Lightweight Requirements Engineering (RS, OG), pp. 379–380.

SAC-2007-LiuT #game studies #random

Eigen-distribution on assignments for game trees with random properties (CL, KT), pp. 78–79.

HPDC-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.

CADE-2007-Stirling #automaton #game studies

Games, Automata and Matching (CS), pp. 1–2.

CAV-2007-AlfaroF #algorithm #game studies

An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games (LdA, MF), pp. 108–120.

CAV-2007-BehrmannCDFLL #exclamation #game studies #named

UPPAAL-Tiga: Time for Playing Games! (GB, AC, AD, EF, KGL, DL), pp. 121–125.

CSL-2007-Alfaro #approach #game studies

The Symbolic Approach to Repeated Games (Abstract) (LdA), p. 3.

CSL-2007-HertelU #game studies

Game Characterizations and the PSPACE-Completeness of Tree Resolution Space (AH, AU), pp. 527–541.

CSL-2007-McCuskerP #game studies

A Games Model of Bunched Implications (GM, DJP), pp. 573–588.

CSL-2007-Obdrzalek #clique #game studies

Clique-Width and Parity Games (JO), pp. 54–68.

ICLP-2007-NeedhamV #game studies #semantics

A Games Semantics of ASP (JN, MDV), pp. 460–461.

LICS-2007-AlfaroMRS #game studies #metric

Game Relations and Metrics (LdA, RM, VR, MS), pp. 99–108.

LICS-2007-MelliesT #game studies #semantics

Resource modalities in game semantics (PAM, NT), pp. 389–398.

LICS-2007-Stirling #automaton #game studies #higher-order

Higher-Order Matching, Games and Automata (CS), pp. 326–335.

TLCA-2007-Berardi #game studies #semantics

Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves (SB), pp. 23–38.

CASE-2006-ZhouD #game studies #learning

An evolutionary game model on supply chains learning through imitation (MZ, FD), pp. 645–648.

DAC-2006-BanerjeePDKD #game studies #generative #specification #testing

Test generation games from formal specifications (AB, BP, SD, AK, PD), pp. 827–832.

DAC-2006-CohnKMTT #challenge #design #game studies #multi

Design challenges for next-generation multimedia, game and entertainment platforms (JMC, JTK, CM, RT, BT), p. 459.

DAC-2006-GuCO #game studies

Games are up for DVFS (YG, SC, WTO), pp. 598–603.

CSEET-2006-JainB #game studies #named #re-engineering

SimVBSE: Developing a Game for Value-Based Software Engineering (AJ, BWB), pp. 103–114.

ITiCSE-2006-BiancoL #game studies #named

PlayToLearn: a game adventure in the realm of Si Piuh (GMB, IL), p. 331.

FoSSaCS-2006-Serre #game studies #graph #process

Parity Games Played on Transition Graphs of One-Counter Processes (OS), pp. 337–351.

TACAS-2006-ChatterjeeH #game studies

Finitary Winning in ω-Regular Games (KC, TAH), pp. 257–271.

STOC-2006-CharikarMM #algorithm #game studies

Near-optimal algorithms for unique games (MC, KM, YM), pp. 205–214.

STOC-2006-HayrapetyanTW #game studies

The effect of collusion in congestion games (AH, ÉT, TW), pp. 89–98.

DLT-2006-FritzW #automaton #game studies #simulation

Simulation Relations for Alternating Parity Automata and Parity Games (CF, TW), pp. 59–70.

ICALP-v1-2006-CominettiCM #game studies #network

Network Games with Atomic Players (RC, JRC, NESM), pp. 525–536.

ICALP-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.

ICALP-v1-2006-FotakisKS #game studies

Atomic Congestion Games Among Coalitions (DF, SCK, PGS), pp. 572–583.

ICALP-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.

ICALP-v1-2006-GroheV #game studies #graph #morphism #parallel #testing

Testing Graph Isomorphism in Parallel by Playing a Game (MG, OV), pp. 3–14.

ICALP-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.

ICALP-v2-2006-EtessamiY #concurrent #game studies #probability #recursion

Recursive Concurrent Stochastic Games (KE, MY), pp. 324–335.

ICALP-v2-2006-GimbertZ #game studies

Deterministic Priority Mean-Payoff Games as Limits of Discounted Games (HG, WZ), pp. 312–323.

ICALP-v2-2006-Kopczynski #game studies #infinity

Half-Positional Determinacy of Infinite Games (EK), pp. 336–347.

ICALP-v2-2006-Stirling #approach #game studies #higher-order

A Game-Theoretic Approach to Deciding Higher-Order Matching (CS), pp. 348–359.

CHI-2006-AhnGKLB #game studies #web

Improving accessibility of the web with a computer game (LvA, SG, MK, RL, MB), pp. 79–82.

CHI-2006-AhnKB #game studies #named

Verbosity: a game for collecting common-sense facts (LvA, MK, MB), pp. 75–78.

CHI-2006-AhnLB #game studies #image #named

Peekaboom: a game for locating objects in images (LvA, RL, MB), pp. 55–64.

CHI-2006-BellCBHSTBRB #game studies #mobile

Interweaving mobile games with everyday life (MB, MC, LB, MH, SS, PT, BB, DR, SB), pp. 417–426.

CHI-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.

CHI-2006-Hazlett #case study #experience #game studies #interactive #video

Measuring emotional valence during interactive experiences: boys at video game play (RLH), pp. 1023–1026.

CHI-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.

CHI-2006-WilsonA #game studies #using

Text entry using a dual joystick game controller (ADW, MA), pp. 475–478.

CSCW-2006-PiperOMW #development #game studies #named #social

SIDES: a cooperative tabletop computer game for social skills development (AMP, EO, MRM, TW), pp. 1–10.

CSCW-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.

ICML-2006-SternHG #game studies #predict #ranking

Bayesian pattern ranking for move prediction in the game of Go (DHS, RH, TG), pp. 873–880.

ICPR-v1-2006-GormanTBH #behaviour #game studies #interactive

Bayesian Imitation of Human Behavior in Interactive Computer Games (BG, CT, CB, MH), pp. 1244–1247.

ICPR-v1-2006-ThurauHB #behaviour #classification #game studies #video

Classification of Team Behaviors in Sports Video Games (CT, TH, CB), pp. 1188–1191.

ICPR-v3-2006-ZhangDC #analysis #detection #game studies

Ball Hit Detection in Table Tennis Games Based on Audio Analysis (BZ, WD, LC), pp. 220–223.

SEKE-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.

QAPL-2005-McIverM06 #calculus #game studies #novel #probability #μ-calculus

A Novel Stochastic Game Via the Quantitative μ-calculus (AM, CM), pp. 195–212.

POPL-2006-Sweeney #developer #game studies #perspective #programming language

The next mainstream programming language: a game developer’s perspective (TS), p. 269.

RE-2006-CalleleNS #game studies #requirements #video

Emotional Requirements in Video Games (DC, EN, KS), pp. 292–295.

ICSE-2006-CutumisuOSSMRSC #experience #game studies

Evaluating pattern catalogs: the computer games experience (MC, CO, DS, JS, MM, TR, JS, MC), pp. 132–141.

SPLC-2006-Dalgarno #game studies

The Scoping Game (MD), p. 224.

CSL-2006-Chatterjee #concurrent #game studies

Concurrent Games with Tail Objectives (KC), pp. 256–270.

CSL-2006-ChatterjeeDHR #algorithm #game studies

Algorithms for ω-Regular Games with Imperfect Information (KC, LD, TAH, JFR), pp. 287–302.

CSL-2006-HenzingerP #game studies

Solving Games Without Determinization (TAH, NP), pp. 395–410.

CSL-2006-Kaiser #automation #game studies #model checking #quantifier

Game Quantification on Automatic Structures and Hierarchical Model Checking Games (LK), pp. 411–425.

CSL-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.

LICS-2006-BrazdilBFK #game studies #probability

Stochastic Games with Branching-Time Winning Objectives (TB, VB, VF, AK), pp. 349–358.

LICS-2006-PitermanP #game studies #performance

Faster Solutions of Rabin and Streett Games (NP, AP), pp. 275–284.

CASE-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.

ITiCSE-2005-BoavidaSASLV #game studies #online

The MulE game engine extending online role-playing games (MB, JPS, PAAA, LS, JL, RV), p. 404.

ITiCSE-2005-ClaypoolC #design #education #game studies #re-engineering

Teaching software engineering through game design (KTC, MC), pp. 123–127.

ITiCSE-2005-KollingH #game studies #programming

Game programming in introductory courses with direct state manipulation (MK, PH), pp. 59–63.

ITiCSE-2005-Prakash #game studies

Computer game arena: a showcase for computer game projects (ECP), p. 358.

ITiCSE-2005-SweedykK #game studies #re-engineering

Fun and games: a new software engineering course (ES, RMK), pp. 138–142.

TACAS-2005-HardingRS #algorithm #game studies #ltl #synthesis

A New Algorithm for Strategy Synthesis in LTL Games (AH, MR, PYS), pp. 477–492.

ICSM-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.

SAS-2005-Abramsky #algorithm #game studies #semantics #static analysis

Algorithmic Game Semantics and Static Analysis (SA), p. 1.

SAS-2005-DimovskiGL #approach #game studies #refinement #semantics

Data-Abstraction Refinement: A Game Semantic Approach (AD, DRG, RL), pp. 102–117.

STOC-2005-ChristodoulouK #finite #game studies

The price of anarchy of finite congestion games (GC, EK), pp. 67–73.

STOC-2005-Papadimitriou #correlation #game studies #multi

Computing correlated equilibria in multi-player games (CHP), pp. 49–56.

ICALP-2005-ChatterjeeAH #complexity #game studies #probability

The Complexity of Stochastic Rabin and Streett Games (KC, LdA, TAH), pp. 878–890.

ICALP-2005-EtessamiY #game studies #markov #probability #process #recursion

Recursive Markov Decision Processes and Recursive Stochastic Games (KE, MY), pp. 891–903.

ICALP-2005-Zhang #game studies #performance #resource management

The Efficiency and Fairness of a Fixed Budget Resource Allocation Game (LZ0), pp. 485–496.

CHI-2005-FlanaganHN #design #game studies #trade-off

Values at play: design tradeoffs in socially-oriented game design (MF, DCH, HN), pp. 751–760.

ICEIS-v1-2005-Srinivas #enterprise #game studies #java

The Java Revolution : From Enterprise to Gaming (RNS), p. 17.

ICEIS-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 (FÅ, LH), pp. 220–225.

ICML-2005-CrandallG #game studies #learning

Learning to compete, compromise, and cooperate in repeated general-sum games (JWC, MAG), pp. 161–168.

POPL-2005-Ghica #game studies

Slot games: a quantitative model of computation (DRG), pp. 85–97.

RE-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.

SPLC-2005-AlvesMCBR #evolution #game studies #mobile #product line

Extracting and Evolving Mobile Games Product Lines (VA, PMJ, LC, PB, GR), pp. 70–81.

PPoPP-2005-ChenWDKLA #game studies #locality #multi

Locality aware dynamic load management for massively multiplayer games (JC, BW, MD, BK, HL, CA), pp. 289–300.

CAV-2005-JobstmannGB #game studies #program repair

Program Repair as a Game (BJ, AG, RB), pp. 226–238.

CSL-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.

CSL-2005-Stirling #game studies #higher-order

Higher-Order Matching and Games (CS), pp. 119–134.

LICS-2005-ChatterjeeHJ #game studies

Mean-Payoff Parity Games (KC, TAH, MJ), pp. 178–187.

LICS-2005-FaggianM #concurrent #game studies #interactive

Ludics Nets, a game Model of Concurrent Interaction (CF, FM), pp. 376–385.

LICS-2005-Mellies #game studies #linear #logic

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic (PAM), pp. 386–395.

SAT-2005-GalesiT #game studies

Resolution and Pebbling Games (NG, NT), pp. 76–90.

TLCA-2005-Hayashi #game studies #proving #question

Can Proofs Be Animated By Games? (SH), pp. 11–22.

ASE-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.

ASE-2004-McNaughtonCSSRP04a #game studies #generative #named

ScriptEase: Generating Scripting Code for Computer Role-Playing Games (MM, MC, DS, JS, JR, DP), pp. 386–387.

DATE-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.

ITiCSE-2004-BlumensteinGNM #analysis #automation #game studies

An experimental analysis of GAME: a generic automated marking environment (MB, SG, AN, VM), pp. 67–71.

ITiCSE-2004-LeskaR #concept #game studies #learning #using

Learning O-O concepts in CS I using game projects (CL, JRR), p. 237.

ITiCSE-2004-NatvigL #education #game studies

Age of computers: game-based teaching of computer fundamentals (LN, SL), pp. 107–111.

ITiCSE-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.

FoSSaCS-2004-Laird #game studies #semantics

A Game Semantics of Local Names and Good Variables (JL), pp. 289–303.

FoSSaCS-2004-Zielonka #game studies #probability

Perfect-Information Stochastic Parity Games (WZ), pp. 499–513.

TACAS-2004-AbramskyGMO #composition #game studies #modelling #semantics #verification

Applying Game Semantics to Compositional Software Modeling and Verification (SA, DRG, ASM, CHLO), pp. 421–435.

TACAS-2004-Muller-OlmY #animation #game studies #model checking #named

MetaGame: An Animation Tool for Model-Checking Games (MMO, HY), pp. 163–167.

STOC-2004-Tardos #game studies #network

Network games (ÉT), pp. 341–342.

ICALP-2004-AlurBM #game studies #reachability

Optimal Reachability for Weighted Timed Games (RA, MB, PM), pp. 122–133.

ICALP-2004-Boudes #game studies

Projecting Games on Hypercoherences (PB), pp. 257–268.

ICALP-2004-DawarGK #backtracking #fixpoint #game studies

Backtracking Games and Inflationary Fixed Points (AD, EG, SK), pp. 420–432.

ICALP-2004-GairingLMMR #game studies #latency #nash

Nash Equilibria in Discrete Routing Games with Convex Latency Functions (MG, TL, MM, BM, MR), pp. 645–657.

ICALP-2004-Serre #complexity #game studies

Games with Winning Conditions of High Borel Complexity (OS), pp. 1150–1162.

ICALP-2004-Yannakakis #game studies #testing

Testing, Optimizaton, and Games (MY), pp. 28–45.

CHI-2004-AhnD #game studies #image

Labeling images with a computer game (LvA, LD), pp. 319–326.

CHI-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.

CHI-2004-Cornett #design #game studies #multi #online #usability

The usability of massively multiplayer online roleplaying games: designing for new users (SC), pp. 703–710.

CHI-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.

CSCW-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.

CSCW-2004-GolderD #game studies #online

Hiding and revealing in online poker games (SAG, JSD), pp. 370–373.

ICEIS-v4-2004-CaoSUV #case study #game studies

A Study of User Attitude Dynamics in a Computer Game (YC, GS, YU, JV), pp. 222–229.

ICML-2004-ConitzerS #bound #communication #complexity #game studies #learning

Communication complexity as a lower bound for learning in games (VC, TS).

SEKE-2004-DantasBW #game studies #learning #project management

A Simulation-Based Game for Project Management Experiential Learning (ARD, MdOB, CMLW), pp. 19–24.

ICSE-2004-Tenzer #design #game studies #tool support #uml

Improving UML Design Tools by Formal Games (JT), pp. 75–77.

CAV-2004-Tan #framework #game studies #named

PlayGame: A Platform for Diagnostic Games (LT), pp. 492–495.

CSL-2004-ArenasBL #finite #game studies #locality #modelling

Game-Based Notions of Locality Over Finite Models (MA, PB, LL), pp. 175–189.

CSL-2004-ChatterjeeMJ #game studies #nash #on the #probability

On Nash Equilibria in Stochastic Games (KC, RM, MJ), pp. 26–40.

CSL-2004-Gimbert #game studies #graph #infinity

Parity and Exploration Games on Infinite Graphs (HG), pp. 56–70.

LICS-2004-AbramskyGMOS #abstraction #calculus #game studies

Nominal Games and Full Abstraction for the Nu-Calculus (SA, DRG, ASM, CHLO, IDBS), pp. 150–159.

LICS-2004-AlfaroGJ #abstraction #game studies #nondeterminism #precise

Three-Valued Abstractions of Games: Uncertainty, but with Precision (LdA, PG, RJ), pp. 170–179.

LICS-2004-ChatterjeeHJ #game studies

Games with Secure Equilibria (KC, TAH, MJ), pp. 160–169.

LICS-2004-Walukiewicz #game studies

A Landscape with Games in the Backgroun (IW), pp. 356–366.

LICS-2004-Yannakakis #game studies #testing

Testing, Optimizaton, and Games (MY), pp. 78–88.

VMCAI-2004-Etessami #analysis #data flow #equation #game studies #graph #recursion #using

Analysis of Recursive Game Graphs Using Data Flow Equations (KE), pp. 282–296.

HT-2003-BollKW #game studies #hypermedia

Paper chase revisited: a real world game meets hypermedia (SB, JK, CW), pp. 126–127.

CSEET-2003-BakerNH #education #game studies #re-engineering

An Experimental Card Game for Teaching Software Engineering (AB, EON, AvdH), pp. 216–223.

ITiCSE-2003-KolasF #game studies #motivation #using

Increasing assignment motivation using a game Al tournament (ØK, IF), p. 269.

ITiCSE-2003-Scott #education #game studies #interface #java #programming #visual notation

Teaching graphical interface programming in Java with the game of wari (KS), p. 254.

FoSSaCS-2003-AbramskyJ #game studies #morphism #polymorphism #semantics

A Game Semantics for Generic Polymorphism (SA, RJ), pp. 1–22.

FoSSaCS-2003-ArnoldS #ambiguity #calculus #game studies #μ-calculus

Ambiguous Classes in the Games μ-Calculus Hierarchy (AA, LS), pp. 70–86.

FoSSaCS-2003-Laird #continuation #game studies #semantics

A Game Semantics of Linearly Used Continuations (JL), pp. 313–327.

TACAS-2003-AlurTM #composition #game studies #graph #recursion

Modular Strategies for Recursive Game Graphs (RA, SLT, PM), pp. 363–378.

ICALP-2003-AlfaroF #concurrent #data flow #game studies

Information Flow in Concurrent Games (LdA, MF), pp. 1038–1053.

ICALP-2003-Cachat #automaton #game studies #graph #higher-order

Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games (TC), pp. 556–569.

ICALP-2003-FeldmannGLMR #coordination #game studies

Nashification and the Coordination Ratio for a Selfish Routing Game (RF, MG, TL, BM, MR), pp. 514–526.

ICFP-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.

CHI-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.

ICEIS-v2-2003-ChenW #game studies

Computer Games and Economics Experiments (KYC, RW), pp. 43–51.

ICML-2003-ConitzerS03a #bound #framework #game studies #named

BL-WoLF: A Framework For Loss-Bounded Learnability In Zero-Sum Games (VC, TS), pp. 91–98.

RE-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.

SAC-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.

SAC-2003-LomonosovSP #game studies #trade-off

Stability vs. Optimality Tradeoff in Game Theoretic Mechanisms for QoS Provision (AL, MS, KP), pp. 28–32.

ICSE-2003-BakerNH #education #game studies #problem #re-engineering

Problems and Programmers: An Educational Software Engineering Card Game (AB, EON, AvdH), pp. 614–621.

CAV-2003-AlurTM #composition #game studies #graph #infinity #recursion

Modular Strategies for Infinite Games on Recursive Graphs (RA, SLT, PM), pp. 67–79.

CAV-2003-ShohamG #abstraction #framework #game studies

A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement (SS, OG), pp. 275–287.

CSL-2003-AbdullaBd #game studies

Deciding Monotonic Games (PAA, AB, Jd), pp. 1–14.

CSL-2003-ChatterjeeJH #game studies #probability

Simple Stochastic Parity Games (KC, MJ, TAH), pp. 100–113.

CSL-2003-Duparc #game studies #persistent

Positive Games and Persistent Strategies (JD), pp. 183–196.

CSL-2003-KolaitisP #complexity #game studies #on the

On the Complexity of Existential Pebble Games (PGK, JP), pp. 314–329.

CSL-2003-Krzeszczakowski #game studies

Pebble Games on Trees (LK), pp. 359–371.

WRLA-2002-Honda #game studies #process

Processes and Games (KH), pp. 40–69.

STOC-2002-Khot02a #game studies #on the #power of

On the power of unique 2-prover 1-round games (SK), pp. 767–775.

ICALP-2002-Cachat #automaton #game studies #graph #synthesis

Symbolic Strategy Synthesis for Games on Pushdown Graphs (TC), pp. 704–715.

ICALP-2002-Doerr #game studies

Antirandomizing the Wrong Game (BD), pp. 876–887.

ICALP-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.

ICALP-2002-OngG #game studies

Games Characterizing Levy-Longo Trees (CHLO, PDG), pp. 476–487.

ICPR-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.

SAC-2002-CarlssonJ #difference #game studies

Differences between the iterated prisoner’s dilemma and the chicken game under noisy conditions (BC, KIJ), pp. 42–48.

SAC-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.

SAC-2002-NevesBR #classification #game studies #learning

Learning the risk board game with classifier systems (AN, OB, ACR), pp. 585–589.

CAV-2002-Thomas #game studies #infinity #tutorial #verification

Infinite Games and Verification (Extended Abstract of a Tutorial) (WT), pp. 58–64.

CSL-2002-CachatDT #automaton #game studies

Solving Pushdown Games with a Σ₃ Winning Condition (TC, JD, WT), pp. 322–336.

CSL-2002-MarcinkowskiT #bound #complexity #game studies #ltl

Optimal Complexity Bounds for Positive LTL Games (JM, TT), pp. 262–275.

CSL-2002-Niwinski #calculus #game studies #μ-calculus

μ-Calculus via Games (DN), pp. 27–43.

LICS-2002-FaellaTM #game studies #realtime

Dense Real-Time Games (MF, SLT, AM), pp. 167–176.

LICS-2002-HylandS #game studies #graph

Games on Graphs and Sequentially Realizable Functionals (MH, AS), pp. 257–264.

LICS-2002-Laurent #game studies

Polarized Games (OL), p. 265–?.

RTA-2002-Waldmann #game studies

Rewrite Games (JW), pp. 144–158.

VMCAI-2002-FaellaTM #game studies

Automata-Theoretic Decision of Timed Games (MF, SLT, AM), pp. 94–108.

VMCAI-2002-Tan #game studies

An Abstract Schema for Equivalence-Checking Games (LT), pp. 65–78.

DATE-2001-Narita #game studies #multi

SH-4 RISC microprocessor for multimedia, game machine (SN), pp. 699–701.

ICDAR-2001-ViglinoG #game studies

Cadastre Map Assembling: A Puzzle Game Resolution (JMV, LG), p. 1235–?.

PODS-2001-GottlobLS #game studies #logic

Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width (GG, NL, FS).

STOC-2001-AlfaroM #game studies

Quantitative solution of ω-regular games (LdA, RM), pp. 675–683.

STOC-2001-JainV #algorithm #approximate #game studies

Applications of approximation algorithms to cooperative games (KJ, VVV), pp. 364–372.

STOC-2001-Papadimitriou #algorithm #game studies #internet

Algorithms, games, and the internet (CHP), pp. 749–753.

ICALP-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.

ICALP-2001-KiayiasY #game studies #polynomial

Secure Games with Polynomial Expressions (AK, MY), pp. 939–950.

ICALP-2001-Papadimitriou #algorithm #game studies #internet

Algorithms, Games, and the Internet (CHP), pp. 1–3.

CHI-2001-BuyukkoktenGP #summary

Accordion summarization for end-game browsing on PDAs and cellular phones (OB, HGM, AP), pp. 213–220.

ICML-2001-Littman #game studies

Friend-or-Foe Q-learning in General-Sum Games (MLL), pp. 322–328.

KDD-2001-PennockLNG #game studies #probability #web

Extracting collective probabilistic forecasts from web games (DMP, SL, FÅN, CLG), pp. 174–183.

SEKE-2001-NavarroH #adaptation #game studies #learning

Adapting Game Technology to Support Individual and Organizational Learning (EON, AvdH), pp. 347–354.

SAC-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.

LICS-2001-AlurT #game studies #generative #ltl

Deterministic Generators and Games for LTL Fragments (RA, SLT), pp. 291–300.

LICS-2001-Laird #exception #game studies #semantics

A Fully Abstract Game Semantics of Local Exceptions (JL), pp. 105–114.

LICS-2001-LangeS #game studies #logic #satisfiability

Focus Games for Satisfiability and Completeness of Temporal Logic (ML, CS), pp. 357–365.

TLCA-2001-Chroboczek #game studies #recursion #type system

Subtyping Recursive Games (JC), pp. 61–75.

TLCA-2001-Gianantonio #game studies #lazy evaluation #semantics #λ-calculus

Game Semantics for the Pure Lazy λ-calculus (PDG), pp. 106–120.

TLCA-2001-MurawskiO #evolution #game studies #morphism #polymorphism

Evolving Games and Essential Nets for Affine Polymorphism (ASM, CHLO), pp. 360–375.

SAS-2000-HenzingerMMR #abstract interpretation #game studies

Abstract Interpretation of Game Properties (TAH, RM, FYCM, JFR), pp. 220–239.

STOC-2000-Seiden #algorithm #game studies #online #random

A guessing game and randomized online algorithms (SSS), pp. 592–601.

CIAA-2000-SchmitzV #algorithm #finite #game studies #implementation

Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games (DS, JV), pp. 263–271.

ICALP-2000-Abramsky #game studies #semantics

Game Semantics: Achievements and Prospects (SA), p. 1.

ICML-2000-HuW #game studies #probability

Experimental Results on Q-Learning for General-Sum Stochastic Games (JH, MPW), pp. 407–414.

ICPR-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.

TOOLS-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–?.

CAV-2000-VogeJ #algorithm #game studies

A Discrete Strategy Improvement Algorithm for Solving Parity Games (JV, MJ), pp. 202–215.

CSL-2000-MurawskiO #game studies #logic

Discreet Games, Light Affine Logic and PTIME Computation (ASM, CHLO), pp. 427–441.

CSL-2000-Pauly #bisimulation #game studies #safety #source code

From Programs to Games: Invariance and Safety for Bisimulation (MP), pp. 485–496.

LICS-2000-AlfaroH #concurrent #game studies

Concurrent ω-Regular Games (LdA, TAH), pp. 141–154.

LICS-2000-Chroboczek #game studies #semantics #type system

Game Semantics and Subtyping (JC), pp. 192–203.

LICS-2000-DanosH #game studies #probability #semantics

Probabilistic Game Semantics (VD, RH), pp. 204–213.

LICS-2000-Fagin #complexity #game studies #logic

Logic, Complexity, and Games (RF), p. 3.

ITiCSE-1999-Faltin #algorithm #design #game studies #learning

Designing courseware on algorithms for active learning with virtual board games (NF), pp. 135–138.

IFL-1999-WieringAP #framework #game studies #using

Using Clean for Platform Games (MW, PA, MJP), pp. 1–17.

CSL-1999-Bradfield #fixpoint #game studies #quantifier

Fixpoint Alternation and the Game Quantifier (JCB), pp. 350–361.

CSL-1999-KerNO #game studies

A Universal Innocent Game Model for the Böhm Tree λ Theory (ADK, HN, CHLO), pp. 405–419.

CSL-1999-Marcinkowski #game studies #reachability

Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games (JM), pp. 338–349.

CSL-1999-VosV #game studies #logic programming #nash #source code

Choice Logic Programs and Nash Equilibria in Strategic Games (MDV, DV), pp. 266–276.

LICS-1999-AbramskyM #concurrent #game studies

Concurrent Games and Full Completeness (SA, PAM), pp. 431–442.

LICS-1999-HarmerM #finite #game studies #nondeterminism #semantics

A Fully Abstract Game Semantics for Finite Nondeterminism (RH, GM), pp. 422–430.

LICS-1999-MalacariaH #game studies #nondeterminism #program analysis #security

Non-Deterministic Games and Program Analysis: An Application to Security (PM, CH), pp. 443–452.

TLCA-1999-GianantonioFH #game studies #semantics #λ-calculus

Game Semantics for Untyped λβη-Calculus (PDG, GF, FH), pp. 114–128.

SIGMOD-1998-Lassettre #game studies

Olympic Records for Data at the 1998 Nagano Games (ERL), p. 537.

TACAS-1998-StevensS #game studies #model checking #using

Practical Model-Checking Using Games (PS, CS), pp. 85–101.

ICALP-1998-Henzinger #game studies #model checking #multi

Model Checking Game Properties of Multi-agent Systems (Abstract) (TAH), p. 543.

ICALP-1998-MalacariaH #game studies

Generalised Flowcharts and Games (PM, CH), pp. 363–374.

CHI-1998-Johnson #game studies #interactive

Simplifying the Controls of an Interactive Movie Game (JAJ), pp. 65–72.

ICML-1998-BaxterTW #named

KnightCap: A Chess Programm That Learns by Combining TD(λ) with Game-Tree Search (JB, AT, LW), pp. 28–36.

ICPR-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.

ALP-PLILP-1998-CosmoLN #game studies #logic programming #semantics

A Game Semantics Foundation for Logic Programming (Extended Abstract) (RDC, JVL, SN), pp. 355–373.

CSL-1998-Pezzoli #complexity #finite #game studies

Computational Complexity of Ehrenfeucht-Fraïssé Games on Finite Structures (EP), pp. 159–170.

LICS-1998-AbramskyHM #game studies #semantics

A Fully Abstract Game Semantics for General References (SA, KH, GM), pp. 334–344.

LICS-1998-FioreH #axiom #game studies #process #recursion #representation

Recursive Types in Games: Axiomatics and Process Representation (MPF, KH), pp. 345–356.

ITiCSE-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.

STOC-1997-FeigeK #game studies

Making Games Short (Extended Abstract) (UF, JK), pp. 506–516.

ICALP-1997-HondaY #analysis #call-by #game studies

Game Theoretic Analysis of Call-by-Value Computation (KH, NY), pp. 225–236.

HCI-CC-1997-Granot #game studies

Ergonomics Knowledge Pyramid: A Computer Based Training Game (RG), pp. 623–626.

HCI-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.

CSL-1997-AbramskyM #call-by #game studies

Call-by-Value Games (SA, GM), pp. 1–17.

CSL-1997-BaillotDER #game studies

Timeless Games (PB, VD, TE, LR), pp. 56–77.

CSL-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.

LICS-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.

LICS-1997-DziembowskiJW #game studies #how #infinity #memory management #question

How Much Memory is Needed to Win Infinite Games? (SD, MJ, IW), pp. 99–110.

LICS-1997-Hughes #game studies #system f

Games and Definability for System F (DJDH), pp. 76–86.

TLCA-1997-Herbelin #game studies #reduction

Games and Weak-Head Reduction for Classical PCF (HH), pp. 214–230.

ITiCSE-1996-CarswellB #approach #distance #education #game studies #multi

An adventure game approach to multimedia distance education (LC, DB), pp. 122–124.

TACAS-1996-Stirling #calculus #game studies #μ-calculus

Games and Modal μ-Calculus (CS), pp. 298–312.

STOC-1996-NewmanS #communication #game studies

Public vs. Private Coin Flips in One Round Communication Games (Extended Abstract) (IN, MS), pp. 561–570.

CAV-1996-ShuklaHR #game studies #model checking #verification

HORNSAT, Model Checking, Verification and games (Extended Abstract) (SKS, HBHI, DJR), pp. 99–110.

CAV-1996-Walukiewicz #automaton #game studies #model checking #process

Pushdown Processes: Games and Model Checking (IW), pp. 62–74.

LICS-1996-DanosHR #automaton #game studies #semantics

Game Semantics & Abstract Machines (VD, HH, LR), pp. 394–405.

LICS-1996-McCusker #abstraction #game studies

Games and Full Abstraction for FPC (GM), pp. 174–183.

PODS-1995-Kolaitis #combinator #database #game studies

Combinatorial Games In Database Theory (PGK), pp. 231–232.

CSEE-1995-Holeman #game studies #process

The Software Process Improvement Game (RH), p. 261.

ICALP-1995-Le #game studies #on the

On Determining Optimal Strategies in Pursiut Games in the Plane (NML), pp. 499–510.

FPCA-1995-HylandO #game studies #π-calculus

π-Calculus, Dialogue Games and PCF (JMEH, CHLO), pp. 96–107.

CAV-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.

CAV-1995-KrishnanPBV #automaton #game studies

The Rabin Index and Chain Automata, with Applications to Automatas and Games (SCK, AP, RKB, PV), pp. 253–266.

CAV-1995-Lescow #finite #game studies #on the #source code

On Polynomial-Size Programs Winning Finite-State Games (HL), pp. 239–252.

LICS-1995-AbramskyM #abstraction #game studies #lazy evaluation #λ-calculus

Games and Full Abstraction for the Lazy λ-Calculus (SA, GM), pp. 234–243.

LICS-1995-Lamarche #game studies #linear #logic #semantics

Games Semantics for Full Propositional Linear Logic (FL), pp. 464–473.

STOC-1994-FortnowW #bound #game studies

Optimality and domination in repeated games with bounded players (LF, DW), pp. 741–749.

STOC-1994-KollerMS #algorithm #game studies #performance #random

Fast algorithms for finding randomized strategies in game trees (DK, NM, BvS), pp. 750–759.

STOC-1994-LiptonY #complexity #game studies #scalability

Simple strategies for large zero-sum games with applications to complexity theory (RJL, NEY), pp. 734–740.

ICALP-1994-Pudlak #bound #communication #complexity #game studies

Unexpected Upper Bounds on the Complexity of Some Communication Games (PP), pp. 1–10.

ICML-1994-Littman #framework #game studies #learning #markov #multi

Markov Games as a Framework for Multi-Agent Reinforcement Learning (MLL), pp. 157–163.

HCI-ACS-1993-QuinnBKKMR #game studies

Observations on Game Playing (CNQ, MB, DK, DK, RM, SR), pp. 433–437.

CSL-1993-Blass #game studies #question #semantics

Is Game Semantics Necessary? (AB), pp. 66–77.

CSL-1992-Bosse #fixpoint #game studies #logic

An “Ehrenfeucht-Fraïssé Game” for Fixpoint Logic and Stratified Fixpoint Logic (UB), pp. 100–114.

LICS-1992-VaananenK #finite #game studies #quantifier

Generalized Quantifiers and Pebble Games on Finite Structures (PGK, JAV), pp. 348–359.

STOC-1991-DengM #game studies #infinity #online #problem

Infinite Games, Randomization, Computability, and Applications to Online Problems (Preliminary Version) (XD, SM), pp. 289–298.

STOC-1991-Kilian #game studies #theorem

A General Completeness Theorem for Two-Party Games (JK), pp. 553–560.

LICS-1991-LafontS #game studies #linear #logic #semantics

Games Semantics for Linear Logic (YL, TS), pp. 43–50.

PODS-1989-LakshmananM #datalog #game studies #induction #power of

Inductive Pebble Games and the Expressive Power of Datalog (VSL, AOM), pp. 301–310.

LICS-1989-Moschovakis #concurrent #formal method #game studies #modelling

A Game-Theoretic Modeling of Concurrency (YNM), pp. 154–163.

STOC-1988-GabowW #algorithm #game studies

Forests, Frames and Games: Algorithms for Matroid Sums and Applications (HNG, HHW), pp. 407–421.

ML-1988-JongS #game studies #learning #using

Using Experience-Based Learning in Game Playing (KADJ, ACS), pp. 284–290.

STOC-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.

ICALP-1987-LeeuwenSUZ #distributed #game studies #network

Guessing Games and Distributed Computations in Synchronous Networks (JvL, NS, JU, SZ), pp. 347–356.

ICALP-1983-Fraenkel #fibonacci #game studies

Wythoff Games, Continued Fractions, Cedar Trees and Fibonacci Searches (ASF), pp. 203–225.

STOC-1982-GurevichH #automaton #game studies

Trees, Automata, and Games (YG, LH), pp. 60–65.

STOC-1981-AdachiIK #combinator #complexity #game studies #low level

Low Level Complexity for Combinatorial Games (AA, SI, TK), pp. 228–237.

STOC-1981-HongK #complexity #game studies

I/O Complexity: The Red-Blue Pebble Game (JWH, HTK), pp. 326–333.

STOC-1979-Reif #game studies

Universal Games of Incomplete Information (JHR), pp. 288–308.

ICALP-1979-Heide #comparison #game studies #graph

A Comparison Between Two Variations of a Pebble Game on Graphs (FMadH), pp. 411–421.

ICALP-1978-Lingas #game studies #problem

A PSPACE Complete Problem Related to a Pebble Game (AL), pp. 300–321.

ICALP-1977-PaulT #game studies #trade-off

Time-Space Trade-Offs in a Pebble Game (WJP, RET), pp. 365–369.

STOC-1976-PaulTC #bound #game studies #graph

Space Bounds for a Game of Graphs (WJP, RET, JRC), pp. 149–160.

STOC-1976-Schaefer #complexity #finite #game studies #problem

Complexity of Decision Problems Based on Finite Two-Person Perfect-Information Games (TJS), pp. 41–49.