Search results for "SR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Youssouf Oualhadj, Nicolas Troquard	Rational verification in Iterated Electric Boolean Games.	SR	2016	DBLP DOI BibTeX RDF
1	Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin	Extended Graded Modalities in Strategy Logic.	SR	2016	DBLP DOI BibTeX RDF
1	Stéphane Le Roux 0001, Arno Pauly	Extending Finite Memory Determinacy to Multiplayer Games.	SR	2016	DBLP DOI BibTeX RDF
1	Hein Duijf, Jan M. Broersen	Representing Strategies.	SR	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.	SR	2016	DBLP DOI BibTeX RDF
1	Piero A. Bonatti, Marco Faella, Luigi Sauro	Partial Preferences for Mediated Bargaining.	SR	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.	SR	2014	DBLP DOI BibTeX RDF
1	Guillaume Aucher, Bastien Maubert, Sophie Pinchinat	Automata Techniques for Epistemic Protocol Synthesis.	SR	2014	DBLP DOI BibTeX RDF
1	Xiang Jiang 0002, Arno Pauly	Efficient Decomposition of Bimatrix Games (Extended Abstract).	SR	2014	DBLP DOI BibTeX RDF
1	Wojciech Jamroga, Matthijs Melissen, Henning Schnoor	On Defendability of Security Properties.	SR	2014	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Refining and Delegating Strategic Ability in ATL.	SR	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.	SR	2014	DBLP DOI BibTeX RDF
1	Patricia Bouyer, Nicolas Markey, Steen Vester	Nash Equilibria in Symmetric Games with Partial Observation.	SR	2014	DBLP DOI BibTeX RDF
1	Benjamin Aminof, Sasha Rubin	First Cycle Games.	SR	2014	DBLP DOI BibTeX RDF
1	Lluís Godo, Enrico Marchioni	Games for the Strategic Influence of Expectations.	SR	2014	DBLP DOI BibTeX RDF
1	Dietmar Berwanger, Anup Basil Mathew	Games with recurring certainty.	SR	2014	DBLP DOI BibTeX RDF
1	Xiaowei Huang 0001, Ron van der Meyden	An Epistemic Strategy Logic (Extended Abstract).	SR	2014	DBLP DOI BibTeX RDF
1	Francesco Belardinelli	Reasoning about Knowledge and Strategies: Epistemic Strategy Logic.	SR	2014	DBLP DOI BibTeX RDF
1	Cláudia Nalon, Lan Zhang 0001, Clare Dixon, Ullrich Hustadt	A Resolution Prover for Coalition Logic.	SR	2014	DBLP DOI BibTeX RDF
1	Rayna Dimitrova, Bernd Finkbeiner	Lossy Channel Games under Incomplete Information	SR	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)	SR	2013	DBLP DOI BibTeX RDF
1	Nicholas Asher, Soumya Paul	Infinite games with uncertain moves	SR	2013	DBLP DOI BibTeX RDF
1	Kristine Harjes, Pavel Naumov	Functional Dependence in Strategic Games (extended abstract)	SR	2013	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, David Parker 0001, Aistis Simaitis	Strategic Analysis of Trust Models for User-Centric Networks	SR	2013	DBLP DOI BibTeX RDF
1	Bastien Maubert, Sophie Pinchinat, Laura Bozzelli	The Complexity of Synthesizing Uniform Strategies	SR	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	SR	2013	DBLP DOI BibTeX RDF
1	Simon Busard, Charles Pecheur, Hongyang Qu 0001, Franco Raimondi	Reasoning about Strategies under Partial Observability and Fairness Constraints	SR	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.	SR	2013	DBLP DOI BibTeX RDF
1	Hélène Kirchner	A rewriting point of view on strategies	SR	2013	DBLP DOI BibTeX RDF
1	Christophe Chareton, Julien Brunel, David Chemouil	Towards an Updatable Strategy Logic	SR	2013	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Reducing Validity in Epistemic ATL to Validity in Epistemic CTL	SR	2013	DBLP DOI BibTeX RDF
1	Benedikt Brütsch	Synthesizing Structured Reactive Programs via Deterministic Tree Automata	SR	2013	DBLP DOI BibTeX RDF
1	Truls Pedersen, Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann	Concurrent Game Structures with Roles	SR	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.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Java, Concurrency, concurrent object-oriented programming, SR
1	Stephen J. Hartley	"Alfonse, give me a call!".	SIGCSE	2001	DBLP DOI BibTeX RDF	SR
1	Colin Allison, Mike Livesey	Persistent SR: Adding persistence to concurrency.	HICSS (2)	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.	SIGCSE	1994	DBLP DOI BibTeX RDF	X-Window, SR
1	Stephen J. Hartley	Experience with the language SR in an undergraduate operating systems course.	SIGCSE	1992	DBLP DOI BibTeX RDF	SR
1	M. Stella Atkins	Experiments in SR with Different Upcall Program Structures.	ACM Trans. Comput. Syst.	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.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF	SR