7 papers:
QAPL-2013-BertrandS #automaton #game studies #infinity #probability- Solving Stochastic Büchi Games on Infinite Decisive Arenas (NB, PS), pp. 116–131.
FoSSaCS-2011-Clairambault #estimation #game studies #interactive #semantics- Estimation of the Length of Interactions in Arena Game Semantics (PC), pp. 335–349.
ICEIS-v1-2011-ChangLZ #e-commerce #grid #mobile #process #research #simulation- Simulation Research on the Mobile e-Commerce Process of Non-grid and Grid based on Arena (DC, YL, SZ), pp. 486–494.
VLDB-2005-ZadorozhnyGRY #adaptation #distributed #framework #named #network- AReNA: Adaptive Distributed Catalog Infrastructure Based On Relevance Networks (VZ, AG, LR, QY), pp. 1287–1290.
ITiCSE-2005-Prakash #game studies- Computer game arena: a showcase for computer game projects (ECP), p. 358.
CHI-2003-NewcombPS #mobile- Mobile computing in the retail arena (EN, TP, JTS), pp. 337–344.
SAT-2003-BerreST #challenge #evaluation #satisfiability- Challenges in the QBF Arena: the SAT’03 Evaluation of QBF Solvers (DLB, LS, AT), pp. 468–485.
