The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for games with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1954-1968 (20) 1969-1972 (17) 1973-1974 (20) 1975-1976 (23) 1977-1978 (36) 1979-1980 (29) 1981 (34) 1982 (37) 1983 (38) 1984 (56) 1985 (73) 1986 (78) 1987 (75) 1988 (89) 1989 (104) 1990 (79) 1991 (107) 1992 (105) 1993 (107) 1994 (140) 1995 (142) 1996 (139) 1997 (190) 1998 (207) 1999 (216) 2000 (398) 2001 (388) 2002 (591) 2003 (727) 2004 (857) 2005 (1211) 2006 (1329) 2007 (1519) 2008 (1927) 2009 (2262) 2010 (1833) 2011 (2241) 2012 (2091) 2013 (2234) 2014 (2374) 2015 (2455) 2016 (2343) 2017 (2416) 2018 (2601) 2019 (3100) 2020 (2646) 2021 (2779) 2022 (2776) 2023 (2849) 2024 (570)
Publication types (Num. hits)
article(22134) book(87) data(7) incollection(638) inproceedings(25049) phdthesis(468) proceedings(295)
Venues (Conferences, Journals, ...)
CoRR(3880) Games Econ. Behav.(2898) J. Int. Comput. Games Assoc.(1691) FDG(1114) CIG(824) Games(711) CoG(675) Games Cult.(641) DiGRA Conference(562) Dyn. Games Appl.(514) SeGAH(499) AAMAS(494) MIG(459) GALA(451) VS-GAMES(451) Edutainment(449) More (+10 of total 4045)
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
23Decheng Dai, Rong Ge 0001 New Results on Simple Stochastic Games. Search on Bibsonomy ISAAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Benjamin Rossman Ehrenfeucht-Fraïssé Games on Random Structures. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Tobias Harks, Max Klimm, Rolf H. Möhring Characterizing the Existence of Potential Functions in Weighted Congestion Games. Search on Bibsonomy SAGT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Andrew Byde, Maria Polukarov, Nicholas R. Jennings Games with Congestion-Averse Utilities. Search on Bibsonomy SAGT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Felix Brandt 0001, Markus Brill, Felix A. Fischer, Paul Harrenstein On the Complexity of Iterated Weak Dominance in Constant-Sum Games. Search on Bibsonomy SAGT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Patricia Bouyer, Vojtech Forejt Reachability in Stochastic Timed Games. Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn 0001 Stochastic Games with Finitary Objectives. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Sven Schewe From Parity and Payoff Games to Linear Programming. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Annika Wærn, Markus Montola, Jaakko Stenros The three-sixty illusion: designing for immersion in pervasive games. Search on Bibsonomy CHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF pervasive game, immersion, mobile game, role-play
23Torben Sko, Henry J. Gardner Head Tracking in First-Person Games: Interaction Using a Web-Camera. Search on Bibsonomy INTERACT (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF computer game, face tracking, game engine, head tracking, Input and interaction technology, first person shooter
23Robert Kleinberg, Georgios Piliouras, Éva Tardos Multiplicative updates outperform generic no-regret learning in congestion games: extended abstract. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF game theory, price of anarchy, learning theory
23Per Backlund, Björn Lundell, Walt Scacchi Workshop - Serious Games and Open Source: Practice and Futures. (PDF / PS) Search on Bibsonomy OSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Luigi Sauro, Leendert W. N. van der Torre, Serena Villata Dependency in Cooperative Boolean Games. Search on Bibsonomy KES-AMSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Kim Thang Nguyen -Hardness of Pure Nash Equilibrium in Scheduling and Connection Games. Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Nash equilibrium, hardness
23Simina Brânzei, Kate Larson Coalitional affinity games. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF coalitions
23Kevin Waugh, David Schnizlein, Michael H. Bowling, Duane Szafron Abstraction pathologies in extensive games. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF game theory, abstraction, equilibrium, pathologies
23Mark Claypool, Kajal T. Claypool Perspectives, frame rates and resolutions: it's all in the game. Search on Bibsonomy FDG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Chun-Hung Lin, Eric Zhi-Feng Liu Do Improve Typing Skill But No Significant Difference between Drill-Based and Game-Based Typing Software. Search on Bibsonomy Edutainment The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Typing speed, Drill-based typing software, Game-based typing software, Computer-assisted instruction
23Jesús Mario Bilbao, Julio Rodrigo Fernández García, N. Jiménez 0001, J. J. López The Shapley value for bicooperative games. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bicooperative game, Shapley value
23Siu Fung Yeung, John C. S. Lui Dynamic Bayesian approach for detecting cheats in multi-player online games. Search on Bibsonomy Multim. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Wolfgang Broll, Irma Lindt, Iris Herbst, Jan Ohlenburg, Anne-Kathrin Braun, Richard Wetzel Toward Next-Gen Mobile AR Games. Search on Bibsonomy IEEE Computer Graphics and Applications The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Arantza Estévez-Fernández, Manuel A. Mosquera, Peter Borm, Herbert Hamers Proportionate flow shop games. Search on Bibsonomy J. Sched. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Proportionate flow shop problems, Core, Convexity, Shapley value
23Santiago Ontañón, Kinshuk Mishra, Neha Sugandh, Ashwin Ram 0001 Learning from Demonstration and Case-Based Planning for Real-Time Strategy Games. Search on Bibsonomy Soft Computing Applications in Industry The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Michael Meimaris Computer games-based learning: research and initiatives. Search on Bibsonomy DIMEA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Mirva Peltoniemi Life-cycle of the games industry: the specificities of creative industries. Search on Bibsonomy MindTrek The full citation details ... 2008 DBLP  DOI  BibTeX  RDF industry life-cycle, game development, creative industries
23Huimin Lin Stratifying Winning Positions in Parity Games. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Thomas Gawlitza, Helmut Seidl Precise Interval Analysis vs. Parity Games. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, Ben Toner, Thomas Vidick Entangled Games are Hard to Approximate. Search on Bibsonomy FOCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Michael Ummels The Complexity of Nash Equilibria in Infinite Multiplayer Games. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg Stochastic Games with Lossy Channels. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Anja Austermann, Seiji Yamada Teaching a Pet Robot through Virtual Games. Search on Bibsonomy IVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Quanyan Zhu A Lagrangian approach to constrained potential games: Theory and examples. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Deeparnab Chakrabarty, Gagan Goel, Vijay V. Vazirani, Lei Wang 0010, Changyuan Yu Efficiency, Fairness and Competitiveness in Nash Bargaining Games. Search on Bibsonomy WINE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Katharina Siorpaes, Martin Hepp OntoGame: Weaving the Semantic Web by Online Games. Search on Bibsonomy ESWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Deborah G. Tatar, Joon-Suk Lee, Nouf Alaloula Playground games: a design strategy for supporting and understanding coordinated activity. Search on Bibsonomy Conference on Designing Interactive Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF suple spaces, ubiquitous computing, interaction, pervasive computing, coordination, interpretation, democracy, multi-platform
23Martin Gairing Malicious Bayesian Congestion Games. Search on Bibsonomy WAOA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Gilles Brassard, Anne Broadbent, Esther Hänggi, André Allan Méthot, Stefan Wolf 0001 Classical, Quantum and Non-signalling Resources in Bipartite Games. Search on Bibsonomy ICQNM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nonlocality, Bell Theorems, Game Theory, Graph Theory, Interactive Proof Systems
23Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis A Model for Multiple Outcomes Games. Search on Bibsonomy ICTAI (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Yan Gu 0003, Samarjit Chakraborty A Hybrid DVS Scheme for Interactive 3D Games. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Jia Sing Chen, Andrew Hogue Towards 3D model interoperability in games. Search on Bibsonomy Future Play The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mesh blending, interoperability, 3D model, graph embedding, distance field
23Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger, Sangram Raje Strategy Construction for Parity Games with Imperfect Information. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Julien Cristau, Florian Horn 0001 On Reachability Games of Ordinal Length. Search on Bibsonomy SOFSEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic 0001, Michal Rutkowski Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets. Search on Bibsonomy FORMATS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Chaitanya Swamy The effectiveness of Stackelberg strategies and tolls for network congestion games. Search on Bibsonomy SODA The full citation details ... 2007 DBLP  BibTeX  RDF
23Santiago Ontañón, Kinshuk Mishra, Neha Sugandh, Ashwin Ram 0001 Case-Based Planning and Execution for Real-Time Strategy Games. Search on Bibsonomy ICCBR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23David Newth, David Cornforth Asynchronous spatial evolutionary games: spatial patterns, Diversity and Chaos. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Krishnendu Chatterjee Optimal Strategy Synthesis in Stochastic Müller Games. Search on Bibsonomy FoSSaCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Dimitris Fotakis 0001, Paul G. Spirakis Cost-Balancing Tolls for Atomic Network Congestion Games. Search on Bibsonomy WINE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Andriy Burkov, Abdeslam Boularias, Brahim Chaib-draa Competition and Coordination in Stochastic Games. Search on Bibsonomy Canadian AI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Fernando A. M. Trinta, Davi Pedrosa, Carlos Ferraz, Geber L. Ramalho Scenarios and Middleware Services for Pervasive Multiplatform Networked Games. Search on Bibsonomy PerCom Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Reika Sato, Tiejun Miao, Tsuneo Jozen, Mayumi Oyama The influence on environmental adjustment levels of mind and body caused by digital games. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Tsen Wang Interactive aesthetics: culture and games. Search on Bibsonomy Mobile HCI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF KTV, RAG, game, culture
23Florian Horn 0001 Faster Algorithms for Finitary Games. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Paul-André Melliès, Samuel Mimram Asynchronous Games: Innocence Without Alternation. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Eric J. Friedman, Adam Scott Landsberg Scaling, Renormalization, and Universality in Combinatorial Games: The Geometry of Chomp. Search on Bibsonomy COCOA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Gregory Kuhlmann, Peter Stone Graph-Based Domain Mapping for Transfer Learning in General Games. Search on Bibsonomy ECML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Ana L. C. Bazzan, Franziska Klügl, Kai Nagel Adaptation in Games with Many Co-evolving Agents. Search on Bibsonomy EPIA Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Krishnendu Chatterjee Stochastic Müller Games are PSPACE-Complete. Search on Bibsonomy FSTTCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Franck Cassez Efficient On-the-Fly Algorithms for Partially Observable Timed Games. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Eric Schkufza Decomposition of Games for Efficient Reasoning. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Sofia Mysirlaki, Fotini Paraskeva Digital games: Developing the Issues of Socio-cognitive Learning Theory in an Attempt to Shift an Entertainment Gadget to an Educational Tool. Search on Bibsonomy DIGITEL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Michel X. Goemans, Li (Erran) Li, Vahab S. Mirrokni, Marina Thottan Market sharing games applied to content distribution in ad hoc networks. Search on Bibsonomy IEEE J. Sel. Areas Commun. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Fernando A. M. Trinta, Carlos Ferraz, Geber L. Ramalho Scenarios and middleware services for pervasive multiplatform networked games. Search on Bibsonomy WebMedia The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Bruno Codenotti, Amin Saberi, Kasturi R. Varadarajan, Yinyu Ye 0001 Leontief economies encode nonzero sum two-player games. Search on Bibsonomy SODA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Steven Obua Partizan Games in Isabelle/HOLZF. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Constantinos Daskalakis, Alex Fabrikant, Christos H. Papadimitriou The Game World Is Flat: The Complexity of Nash Equilibria in Succinct Games. Search on Bibsonomy ICALP (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Martin Gairing, Burkhard Monien, Karsten Tiemann Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions. Search on Bibsonomy ICALP (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Olivier Serre Parity Games Played on Transition Graphs of One-Counter Processes. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang Compact Preference Representation for Boolean Games. Search on Bibsonomy PRICAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Michael Curtin, Nathan Carpenter, Chris Ritzo Adding fun and games to training programs. Search on Bibsonomy SIGUCCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF game theory, training, student consultants, team-building, learning methods
23Stijn-Pieter A. van Houten, Alexander Verbraeck Controlling simulation games through rule-based scenarios. Search on Bibsonomy WSC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Krishnendu Chatterjee, Thomas A. Henzinger Finitary Winning in omega-Regular Games. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Pedro Morillo 0001, Juan M. Orduña, Marcos Fernández 0001 Workload Characterization in Multiplayer Online Games. Search on Bibsonomy ICCSA (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Alon Altman, Avivit Bercovici-Boden, Moshe Tennenholtz Learning in One-Shot Strategic Form Games. Search on Bibsonomy ECML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Michael Ummels Rational Behaviour and Strategy Construction in Infinite Multiplayer Games. Search on Bibsonomy FSTTCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Steve Benford The Distinctive Challenges of Pervasive Games as Distributed Real-Time Applications. Search on Bibsonomy DS-RT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Stéphane Airiau, Sandip Sen Learning to commit in repeated games. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF learning, commitment, repeated game
23Kevin Burns Fun in Slots. Search on Bibsonomy CIG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Sushil J. Louis, Chris Miles Playing to learn: case-injected genetic algorithms for learning to play computer games. Search on Bibsonomy IEEE Trans. Evol. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Alan Esenther, Kent Wittenburg Multi-user Multi-touch Games on DiamondTouch with the DTFlash Toolkit. Search on Bibsonomy INTETAIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Dan R. Ghica Slot games: a quantitative model of computation. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF algol, game semantics, quantitative analysis
23Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger The Complexity of Stochastic Rabin and Streett Games'. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Qizhi Fang, Hye Kyung Kim, Dae Sik Lee Total Dominating Set Games. Search on Bibsonomy WINE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Rigid total dominating set game, relaxed total dominating set game, core, balancedness, hard
23B. Thomas Adler, Luca de Alfaro, Marco Faella Average Reward Timed Games. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Newton Lee Samsung Electronics brings the world cyber games finals to the U.S. for the first time in 2004. Search on Bibsonomy Comput. Entertain. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Igor Walukiewicz A Landscape with Games in the Backgroun. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Mehdi Dastani, Leendert W. N. van der Torre Games for Cognitive Agents. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Paul E. Dunne, Wiebe van der Hoek Representation and Complexity in Boolean Games. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Avi Bab, Ronen I. Brafman An Experimental Study of Different Approaches to Reinforcement Learning in Common Interest Stochastic Games. Search on Bibsonomy ECML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Jennifer Tenzer Improving UML Design Tools by Formal Games . Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Application of formal methods to software design
23Chee Siang Ang, G. S. V. Radha Krishna Rao E-learning as Computer Games: Designing Immersive and Experiential Learning. Search on Bibsonomy PCM (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Dan Fielding, Mike Fraser 0001, Brian Logan 0001, Steve Benford Reporters, Editors and Presenters: Using Embodied Agents to Report on Online Computer Games. Search on Bibsonomy AAMAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Christos H. Papadimitriou Games and Networks. Search on Bibsonomy FCT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Görschwin Fey, Sebastian Kinder, Rolf Drechsler Using Games for Benchmarking and Representing the Complete Solution Space using Symbolic Techniques. Search on Bibsonomy ISMVL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Phokion G. Kolaitis, Jonathan Panttaja On the Complexity of Existential Pebble Games. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Takeshi Kawakami Communication and Computation by Quantum Games. Search on Bibsonomy UMC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Olivier Laurent 0001 Polarized Games. Search on Bibsonomy LICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Marco Faella, Salvatore La Torre, Aniello Murano Dense Real-Time Games. Search on Bibsonomy LICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Li Tan An Abstract Schema for Equivalence-Checking Games. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Jerzy Marcinkowski, Tomasz Truderung Optimal Complexity Bounds for Positive LTL Games. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #801 - #900 of 48678 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license