|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 12 keywords
|
|
|
Results
Found 40 publication records. Showing 40 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Youssouf Oualhadj, Nicolas Troquard |
Rational verification in Iterated Electric Boolean Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016., pp. 41-51, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin |
Extended Graded Modalities in Strategy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016., pp. 1-14, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Le Roux 0001, Arno Pauly |
Extending Finite Memory Determinacy to Multiplayer Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016., pp. 27-40, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hein Duijf, Jan M. Broersen |
Representing Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016., pp. 15-26, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Lomuscio, Moshe Y. Vardi (eds.) |
Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
Partial Preferences for Mediated Bargaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 105-111, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi (eds.) |
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Aucher, Bastien Maubert, Sophie Pinchinat |
Automata Techniques for Epistemic Protocol Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 97-103, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiang Jiang 0002, Arno Pauly |
Efficient Decomposition of Bimatrix Games (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 75-81, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Jamroga, Matthijs Melissen, Henning Schnoor |
On Defendability of Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 17-25, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar P. Guelev |
Refining and Delegating Strategic Ability in ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 57-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin |
Expectations or Guarantees? I Want It All! A crossroad between games and MDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 1-8, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Nicolas Markey, Steen Vester |
Nash Equilibria in Symmetric Games with Partial Observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 49-55, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Sasha Rubin |
First Cycle Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 83-90, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lluís Godo, Enrico Marchioni |
Games for the Strategic Influence of Expectations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 9-15, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, Anup Basil Mathew |
Games with recurring certainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 91-96, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiaowei Huang 0001, Ron van der Meyden |
An Epistemic Strategy Logic (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 35-41, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Belardinelli |
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 27-33, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cláudia Nalon, Lan Zhang 0001, Clare Dixon, Ullrich Hustadt |
A Resolution Prover for Coalition Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 65-73, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Bernd Finkbeiner |
Lossy Channel Games under Incomplete Information ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 43-51, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nils Bulling, Valentin Goranko |
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 33-41, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Asher, Soumya Paul |
Infinite games with uncertain moves ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 25-32, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kristine Harjes, Pavel Naumov |
Functional Dependence in Strategic Games (extended abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 9-15, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marta Z. Kwiatkowska, David Parker 0001, Aistis Simaitis |
Strategic Analysis of Trust Models for User-Centric Networks ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 53-59, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bastien Maubert, Sophie Pinchinat, Laura Bozzelli |
The Complexity of Synthesizing Uniform Strategies ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 115-122, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Umberto Grandi, Andrea Loreggia, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 17-24, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon Busard, Charles Pecheur, Hongyang Qu 0001, Franco Raimondi |
Reasoning about Strategies under Partial Observability and Fairness Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 71-79, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi (eds.) |
Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Kirchner |
A rewriting point of view on strategies ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 99-105, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Chareton, Julien Brunel, David Chemouil |
Towards an Updatable Strategy Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 91-98, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar P. Guelev |
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 81-89, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Brütsch |
Synthesizing Structured Reactive Programs via Deterministic Tree Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 107-113, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Truls Pedersen, Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann |
Concurrent Game Structures with Roles ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 61-69, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson |
JR: Flexible distributed programming in an extended Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(3), pp. 578-608, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Java, Concurrency, concurrent object-oriented programming, SR |
1 | Stephen J. Hartley |
"Alfonse, give me a call!". ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2001, Charlotte, North Carolina, USA, 2001, pp. 229-232, 2001, ACM, 1-58113-329-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
SR |
1 | Colin Allison, Mike Livesey |
Persistent SR: Adding persistence to concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 655-664, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
persistent programming languages, concurrency, prototyping, concurrency control, distribution, object-oriented languages, persistence, parallel languages, SR, distribution models |
1 | Stephen J. Hartley |
Animating operating systems algorithms with XTANGO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1994, Phoenix, Arizona, USA, March 10-12, 1994, pp. 344-348, 1994, ACM, 0-89791-646-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
X-Window, SR |
1 | Stephen J. Hartley |
Experience with the language SR in an undergraduate operating systems course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 23rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1992, Kansas City, Missouri, USA, March 5-6, 1992, pp. 176-180, 1992, ACM, 0-89791-468-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
SR |
1 | M. Stella Atkins |
Experiments in SR with Different Upcall Program Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 6(4), pp. 365-392, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
SR |
1 | Gregory R. Andrews, Ronald A. Olsson, Michael H. Coffin, Irving Elshoff, Kelvin D. Nilsen, Titus D. M. Purdin, Gregg M. Townsend |
An Overview of the SR Language and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 10(1), pp. 51-86, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
SR |
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|