|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10274 occurrences of 3340 keywords
|
|
|
Results
Found 48689 publication records. Showing 48678 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
86 | José P. Zagal |
A framework for games literacy and understanding games. |
Future Play |
2008 |
DBLP DOI BibTeX RDF |
games education, games literacy, understanding games |
81 | Viknashvaran Narayanasamy, Kok Wai Wong, Chun Che Fung, Shri Rai |
Distinguishing games and simulation games from simulators. |
Comput. Entertain. |
2006 |
DBLP DOI BibTeX RDF |
computer simulation games, simulators, serious games, digital games |
80 | Anand Bhalgat, Tanmoy Chakraborty 0001, Sanjeev Khanna |
Approximating pure nash equilibrium in cut, party affiliation, and satisfiability games. |
EC |
2010 |
DBLP DOI BibTeX RDF |
cut games, party affiliation games, potential games, pure nash equilibrium, approximation algorithms |
68 | Newton Lee |
A word from the editor. |
Comput. Entertain. |
2003 |
DBLP DOI BibTeX RDF |
|
67 | Annakaisa Kultima, Johannes Niemelä, Janne Paavilainen, Hannamari Saarenpää |
Designing game idea generation games. |
Future Play |
2008 |
DBLP DOI BibTeX RDF |
games for production, idea generation games, creativity, serious games, game design, brainstorming, idea generation, design games |
66 | Yingxu Wang 0001 |
Toward a Generic Mathematical Model of Abstract Game Theories. |
Trans. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
abstract games, static layout, layoff tables, zero-sum games, nonzero-sum games, serial matches, decision grids, game theory, decision making, mathematical models, utilities, Cognitive informatics, dynamic behaviors, properties |
65 | Krishnendu Chatterjee, Thomas A. Henzinger |
Semiperfect-Information Games. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Frederik De Grove, Peter Mechant, Jan Van Looy |
Uncharted waters?: exploring experts' opinions on the opportunities and limitations of serious games for foreign language learning. |
Fun and Games |
2010 |
DBLP DOI BibTeX RDF |
SWOT, foreign language learning, opportunities, gaming, survey, serious games, quantitative, limitations, experts, qualitative |
64 | Baruch Awerbuch, Yossi Azar, Amir Epstein, Vahab S. Mirrokni, Alexander Skopalik |
Fast convergence to nearly optimal solutions in potential games. |
EC |
2008 |
DBLP DOI BibTeX RDF |
potential games, game theory, nash equilibrium, price of anarchy, congestion games, convergence time |
64 | Jean-Pierre Aubin, Nicolas Seube |
Conditional Viability for Impulse Differential Games. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
impulse differential games, conditional viability, Hamilton-Jacobi-Bellman-Isaacs quasi-variational inequalities, differential games |
64 | Boris Stilman |
Linguistic Geometry for Solving War Games. |
Computers and Games |
2000 |
DBLP DOI BibTeX RDF |
war games, symmetric/asymmetric war games, linguistic geometry, reduced search, strategies, search problems, board games |
61 | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
Generalized Parity Games. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
61 | Anuj Dawar, Erich Grädel, Stephan Kreutzer |
Backtracking Games and Inflationary Fixed Points. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
60 | Jesús Mario Bilbao, Andrés Jiménez-Losada, Esperanza A. Lebrón, C. Chacón |
Values for Interior Operator Games. |
Ann. Oper. Res. |
2005 |
DBLP DOI BibTeX RDF |
antimatroids, Banzhaf value, Tijs value, cooperative games, Shapley value |
59 | Vahab S. Mirrokni, Alexander Skopalik |
On the complexity of nash dynamics and sink equilibria. |
EC |
2009 |
DBLP DOI BibTeX RDF |
potential games, sink equilibria, nash equilibria |
59 | Elizabeth Sweedyk, Marianne de Laet, Michael C. Slattery, James Kuffner |
Computer games and CS education: why and how. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
computer games, video games, games studies |
57 | Vahab S. Mirrokni, Adrian Vetta |
Convergence Issues in Competitive Games. |
APPROX-RANDOM |
2004 |
DBLP DOI BibTeX RDF |
|
56 | Matthew Kam, Akhil Mathur, Anuj Kumar, John F. Canny |
Designing digital games for rural children: a study of traditional village games in India. |
CHI |
2009 |
DBLP DOI BibTeX RDF |
traditional games, games, digital divide, developing world |
56 | Alan J. Demers, Johannes Gehrke, Christoph Koch 0001, Ben Sowell, Walker M. White |
Database research in computer games. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
games, indexing, aggregates, scripting |
56 | Penelope Sweetser, Peta Wyeth |
GameFlow: a model for evaluating player enjoyment in games. |
Comput. Entertain. |
2005 |
DBLP DOI BibTeX RDF |
evaluation, games, flow, enjoyment |
56 | Robert Law |
Using student blogs for documentation in software development projects. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
56 | Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger |
Trading Probability for Fairness. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
55 | Tadeusz Stach, T. C. Nicholas Graham, Matthew Brehmer, Andreas Hollatz |
Classifying input for active games. |
Advances in Computer Entertainment Technology |
2009 |
DBLP DOI BibTeX RDF |
active video games, exercise video games, exergaming |
55 | Piotr Faliszewski, Edith Elkind, Michael J. Wooldridge |
Boolean combinations of weighted voting games. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
complexity, games, weighted voting games |
54 | Grant Schoenebeck, Salil P. Vadhan |
The computational complexity of nash equilibria in concisely represented games. |
EC |
2006 |
DBLP DOI BibTeX RDF |
circuit games, concise games, graph games, nash equilibrium, computational game theory |
54 | Monica McGill |
Evaluating the effectiveness of hypothesis-based digital learning games in high school science curriculum. |
FDG |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Itai Ashlagi, Piotr Krysta, Moshe Tennenholtz |
Social Context Games. |
WINE |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Alexander Nareyek |
Review: Intelligent Agents for Computer Games. |
Computers and Games |
2000 |
DBLP DOI BibTeX RDF |
commercial games, action planning, incomplete knowledge, real time, dynamics, resources |
52 | Michael L. Littman |
Review: Computer Language Games. |
Computers and Games |
2000 |
DBLP DOI BibTeX RDF |
word meanings, word games, hangman, Boggle, crosswords, cryptics, Trivial Pursuit, puns |
52 | Richard Wetzel, Annika Wærn, Staffan Jonsson, Irma Lindt, Peter Ljungstrand, Karl-Petter Åkesson |
Boxed Pervasive Games: An Experience with User-Created Pervasive Games. |
Pervasive |
2009 |
DBLP DOI BibTeX RDF |
Games and infotainment, Programming tools: Integrated environments, Pervasive computing, User-centered design, End user programming, Pervasive games |
52 | Stephen Howell, Tony Veale |
Designing serious games with linguistic resources. |
FDG |
2009 |
DBLP DOI BibTeX RDF |
intelligent tutoring systems, serious games, WordNet, casual games |
52 | David Pinelle, Nelson Wong, Tadeusz Stach |
Using genres to customize usability evaluations of video games. |
Future Play |
2008 |
DBLP DOI BibTeX RDF |
game genres, usability evaluation, video games, heuristic evaluation |
52 | Amir Epstein, Michal Feldman, Yishay Mansour |
Strong equilibrium in cost sharing connection games. |
EC |
2007 |
DBLP DOI BibTeX RDF |
cost sharing games, strong equilibrium, strong price of anarchy, game theory, Nash equilibrium, network design, price of anarchy, coalitions |
52 | Dominique Archambault, Damien Olivier |
How to make games for visually impaired children. |
Advances in Computer Entertainment Technology |
2005 |
DBLP DOI BibTeX RDF |
multimedia, computer games, visually impaired, multi modality |
52 | Subhash Khot |
On the Power of Unique 2-Prover 1-Round Games. |
CCC |
2002 |
DBLP DOI BibTeX RDF |
2-prover games, Hardness of approximation, probabilistically checkable proofs |
51 | Feng Tian 0001, Fei Lv 0001, Jingtao Wang, Hongan Wang, Wencan Luo, Matthew Kam, Vidya Setlur, Guozhong Dai, John F. Canny |
Let's play chinese characters: mobile learning approaches via culturally inspired group games. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
chinese education, chinese literacy, literacy acquisition, traditional games, mobile games, developing countries, ict4d |
51 | David Pinelle, Nelson Wong, Tadeusz Stach, Carl Gutwin |
Usability heuristics for networked multiplayer games. |
GROUP |
2009 |
DBLP DOI BibTeX RDF |
NGH, game usability, networked game heuristics, usability, heuristic evaluation, networked games, multiplayer games |
51 | Christopher Archibald, Yoav Shoham |
Modeling billiards games. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
best response, billiards games, game theory, stochastic games, equilibria |
50 | Constantinos Daskalakis, Christos H. Papadimitriou |
On oblivious PTAS's for nash equilibrium. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
anonymous games, oblivious algorithms, PTAS, bimatrix games |
50 | Iris Soute, Panos Markopoulos 0001 |
Head Up Games: The Games of the Future Will Look More Like the Games of the Past. |
INTERACT (2) |
2007 |
DBLP DOI BibTeX RDF |
Children, Pervasive games, Social gaming |
49 | Mark Claypool |
On the 802.11 turbulence of nintendo DS and sony PSP hand-held network games. |
NETGAMES |
2005 |
DBLP DOI BibTeX RDF |
sony PSP, wireless, IEEE 802.11, network games, nintendo DS |
48 | Tanmoy Chakraborty 0001, Sanjeev Khanna |
Nash Dynamics in Constant Player and Bounded Jump Congestion Games. |
SAGT |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Christos H. Papadimitriou, Tim Roughgarden |
Computing correlated equilibria in multi-player games. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
Correlated equilibria, complexity of equilibria, Nash equilibria |
48 | Florian Mueller 0001, Martin R. Gibbs, Frank Vetere, Stefan Agamanolis |
Design space of networked exertion games demonstrated by a three-way physical game based on Table Tennis. |
Comput. Entertain. |
2008 |
DBLP DOI BibTeX RDF |
casual, Human-computer interaction, interaction, framework, conversation, tangible, physical, videoconferencing, active, social, design space, sports, Exertion Interface, exhausting, team spirit, sweat, table-tennis, ping pong |
48 | Krishnendu Chatterjee |
Concurrent Games with Tail Objectives. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Yingxu Wang |
Mathematical models and properties of games. |
IEEE ICCI |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Travis Kirton, Hideaki Ogawa, Christa Sommerer, Laurent Mignonneau |
PINS: a prototype model towards thedefinition of surface games. |
ACM Multimedia |
2008 |
DBLP DOI BibTeX RDF |
fluid interaction, multitouch-tangible, relative environments, surface games, tangible playware |
47 | Henry Been-Lirn Duh, Vivian Hsueh-hua Chen, Chee Boon Tan |
Playing different games on different phones: an empirical study on mobile gaming. |
Mobile HCI |
2008 |
DBLP DOI BibTeX RDF |
mobile phone games, user study, mobile gaming |
47 | Alf Inge Wang, Michael Sars Norum, Carl-Henrik Wolf Lund |
Issues related to Development of Wireless Peer-to-Peer Games in J2ME. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
Peer-to-peer games, JSR82, Bluetooth, J2ME |
47 | Matthew Canton |
The presence table: a reactive surface for ambient connection. |
TEI |
2011 |
DBLP DOI BibTeX RDF |
|
47 | Newton Lee |
A word from the editor. |
Comput. Entertain. |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Furio Honsell, Marina Lenisa |
Conway Games, Coalgebraically. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
Conway games, coalgebraic games, non-losing strategies |
46 | Ian Agol, Joel Hass, William P. Thurston |
3-MANIFOLD KNOT GENUS is NP-complete. |
CCC |
2002 |
DBLP DOI BibTeX RDF |
2-prover games, Hardness of approximation, probabilistically checkable proofs |
46 | Games Editorial Office |
Acknowledgment to the Reviewers of Games in 2022. |
Games |
2023 |
DBLP DOI BibTeX RDF |
|
46 | Games Editorial Office |
Acknowledgment to Reviewers of Games in 2021. |
Games |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Games Editorial Office |
Acknowledgment to Reviewers of Games in 2020. |
Games |
2021 |
DBLP DOI BibTeX RDF |
|
46 | Games Editorial Office |
Acknowledgment to Reviewers of Games in 2019. |
Games |
2020 |
DBLP DOI BibTeX RDF |
|
46 | Games Editorial Office |
Acknowledgement to Reviewers of Games in 2018. |
Games |
2019 |
DBLP DOI BibTeX RDF |
|
46 | Elisabeth R. Hayes, Ivan Alex Games |
Making Computer Games and Design Thinking: A Review of Current Software and Strategies. |
Games Cult. |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Ivo Flammer, Chen Yan, Wolf Ka, August Flammer, Jean-Paul Cheung, Romain Pellerin |
Player Feedback Evaluation: Indicating Mass Public Potential for Pervasive Games. |
ICEC |
2009 |
DBLP DOI BibTeX RDF |
urban games, pervasive games, ubiquitous games |
45 | Vít Sisler, Cyril Brom, Radovan Slavik |
Towards a novel paradigm for educational games: the augmented learning environment of 'Europe 2045'. |
MindTrek |
2008 |
DBLP DOI BibTeX RDF |
learning, serious games, educational games, game-based learning, role-playing games, multi-player games |
45 | Josep Freixas, Xavier Molinero, Salvador Roura |
Minimal Representations for Majority Games. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
Weighted games, Majority games, Minimum and minimal weighted representations/realizations, Computing games, Simple games |
45 | David Freeman |
Creating emotion in games: the craft and art of EmotioneeringTM. |
Comput. Entertain. |
2004 |
DBLP DOI BibTeX RDF |
Emotioneering, PS2, Xbox, console games, emotion in games, role induction, screenwriting, world induction, games, motivation, video games, dialogue, play, relationships, characters, layers, plot |
44 | Thomas Gawlitza, Helmut Seidl |
Games through Nested Fixpoints. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Eyal Even-Dar, Yishay Mansour, Uri Nadav |
On the convergence of regret minimization dynamics in concave games. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
learning equilibrium, algorithmic game theory, regret minimization |
44 | Jesús Mario Bilbao, C. Chacón, Andrés Jiménez-Losada, Esperanza A. Lebrón |
Convexity properties for interior operator games. |
Ann. Oper. Res. |
2008 |
DBLP DOI BibTeX RDF |
Antimatroid, Interior operator, Convexity, Cooperative game |
44 | Constantinos Daskalakis |
Computing Equilibria in Large Games We Play. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Alex Frazer, David Argles, Gary B. Wills |
Is Less Actually More? The Usefulness of Educational Mini-games. |
ICALT |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
The complexity of quantitative concurrent parity games. |
SODA |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Klaus P. Jantke |
Games that do not exist communication design beyond the current limits. |
SIGDOC |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Subhash Khot |
On the power of unique 2-prover 1-round games. |
STOC |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Marco Faella, Salvatore La Torre, Aniello Murano |
Automata-Theoretic Decision of Timed Games. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
Symbolic Algorithms for Infinite-State Games. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Luca de Alfaro, Thomas A. Henzinger |
Concurrent Omega-Regular Games. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
44 | Wolfgang Slany |
The Complexity of Graph Ramsey Games. |
Computers and Games |
2000 |
DBLP DOI BibTeX RDF |
combinatorial games, graph Ramsey theory, Ramsey game, winning strategy, achievement game, avoidance game, the game of Sim, endgames, complexity, Java applet, edge coloring, PSPACE-completeness |
43 | Leslie Ann Goldberg, Paul W. Goldberg, Piotr Krysta, Carmine Ventre |
Ranking games that have competitiveness-based strategies. |
EC |
2010 |
DBLP DOI BibTeX RDF |
anonymous games, computation of exact and approximate nash equilibria |
43 | Kalle Jegers |
Investigating the Applicability of Usability and Playability Heuristics for Evaluation of Pervasive Games. |
ICIW |
2008 |
DBLP DOI BibTeX RDF |
User Interfaces, Games, User Centered Design |
43 | Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge |
On the logic of coalitional games. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
game theory, logic, coalitional games |
43 | Aviezri S. Fraenkel |
Virus Versus Mankind. |
Computers and Games |
2000 |
DBLP DOI BibTeX RDF |
two-player cellular automata games, generalized Sprague-Grundy function |
42 | Chui Yin Wong, Kimberly Chu, Chee-Weng Khong, Sheila A. Paul |
Intercultural Socializing via Mobile Games for Backpackers. |
HCI (12) |
2009 |
DBLP DOI BibTeX RDF |
cultural games, backpackers, user experience, Mobile games, socialization |
42 | Moshe Tennenholtz, Aviv Zohar |
Learning equilibria in repeated congestion games. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
learning equilibrium, congestion games, repeated games |
42 | Marco Furini |
An architecture to easily produce adventure and movie games for the mobile scenario. |
Comput. Entertain. |
2008 |
DBLP DOI BibTeX RDF |
movie games, interactivity, architecture, mobile gaming, adventure games |
42 | Sebastian A. Weiß, Wolfgang Müller 0004 |
The Potential of Interactive Digital Storytelling for the Creation of Educational Computer Games. |
Edutainment |
2008 |
DBLP DOI BibTeX RDF |
Educational Computer Games, Scenejo, Killer Phrase Game, Learning, Serious Games, Game-based Learning, Interactive Digital Storytelling |
42 | Ara Hayrapetyan, Éva Tardos, Tom Wexler |
The effect of collusion in congestion games. |
STOC |
2006 |
DBLP DOI BibTeX RDF |
price of collusion, load-balancing, games, game theory, price of anarchy, congestion games, coalitions |
42 | Satinder Singh 0001, Vishal Soni, Michael P. Wellman |
Computing approximate bayes-nash equilibria in tree-games of incomplete information. |
EC |
2004 |
DBLP DOI BibTeX RDF |
approximate bayes-nash equilibria, games of incomplete information, structured games |
42 | Erik D. Van der Spek, Pieter Wouters, Herre van Oostendorp |
Code Red: Triage. Or, COgnition-Based DEsign Rules Enhancing Decisionmaking TRaining in a Game Environment. |
VS-GAMES |
2009 |
DBLP DOI BibTeX RDF |
Code Red Triage, cognition in games, Serious games, instructional design, design guidelines, games-based learning, virtual training |
42 | Edith Elkind, Michael J. Wooldridge |
Hedonic coalition nets. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
hedonic games, marginal contribution nets, complexity |
42 | Lizzy Bleumers, An Jacobs, Tim Van Lier |
Criminal cities and enchanted forests: a user-centred assessment of the applicability of the Pervasive GameFlow model. |
Fun and Games |
2010 |
DBLP DOI BibTeX RDF |
group play, outdoor games, case studies, pervasive games, player experience |
42 | Uri Zwick |
Simple Stochastic Games, Mean Payoff Games, Parity Games. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Anna-Sofia Alklind Taylor, Per Backlund, Henrik Engström, Mikael Johannesson, Mikael Lebram |
Gamers against All Odds. |
Edutainment |
2009 |
DBLP DOI BibTeX RDF |
Games as motivation, games for elderly, virtual stroke rehabilitation, serious games |
42 | Matthew Kam, Aishvarya Agarwal, Anuj Kumar, Siddhartha Lal, Akhil Mathur, Anuj Tewari, John F. Canny |
Designing e-learning games for rural children in India: a format for balancing learning with fun. |
Conference on Designing Interactive Systems |
2008 |
DBLP DOI BibTeX RDF |
English as a second language, third world, e-learning, games, serious games, mobile learning, digital divide, mobile games, language learning, developing world, cellphone |
42 | Tina R. Ziemek |
Two-D or not Two-D: gender implications of visual cognition in electronic games. |
SI3D |
2006 |
DBLP DOI BibTeX RDF |
computer games, video games, spatial abilities, 3D navigation, gender effects, games studies |
41 | Tobias Fritsch, Hartmut Ritter, Jochen H. Schiller |
Mobile Phone Gaming (A Follow-Up Survey of the Mobile Phone Gaming Sector and Its Users). |
ICEC |
2006 |
DBLP DOI BibTeX RDF |
Mobile Phone Games, User Case Study, Lobby Tool, Mobile Games, Hand-helds |
41 | Serious Games Society |
Editorial: Vol. 10, No. 2. |
Int. J. Serious Games |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Vittorio Bilò |
On Satisfiability Games and the Power of Congestion Games. |
AAIM |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Aneta Takhtamysheva, Robert Porzel, Markus Krause |
Games for games: manipulating contexts in human computation games. |
KDD Workshop on Human Computation |
2009 |
DBLP DOI BibTeX RDF |
HBC, HC, human-based computation, games, context, computer games, human computation, data engineering |
40 | Hannu Korhonen, Hannamari Saarenpää, Janne Paavilainen |
Pervasive Mobile Games - A New Mindset for Players and Developers. |
Fun and Games |
2008 |
DBLP DOI BibTeX RDF |
Asynchronous gameplay, Context, Game Design, Pervasive Game, Mobile Game, Design Guidelines |
40 | Lizette de Wet, Theo McDonald |
Gender and Cultural Differences (If Any!): South African School Children and Computer Games. |
Computers and Games |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Hartmut Klauck |
Algorithms for Parity Games. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Thierry Cachat |
Two-Way Tree Automata Solving Pushdown Games. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 48678 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|