Search results
Results: 121
Number of items: 121
-
Guo, M., Markakis, E., Apt, K. R., & Conitzer, V. (2013). Undominated Groves Mechanisms. Journal of Artificial Intelligence Research, 46, 129-163. https://doi.org/10.1613/jair.3810 -
Apt, K. R., & Simon, S. (2013). Social Network Games with Obligatory Product Selection. Electronic Proceedings in Theoretical Computer Science, 119, 180-193. https://doi.org/10.4204/EPTCS.119.16 -
Apt, K. R., & Schäfer, G. (2012). Selfishness level of strategic games. In M. Serna (Ed.), Algorithmic Game Theory: 5th international symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012: proceedings (pp. 13-24). (Lecture Notes in Computer Science; Vol. 7615). Springer. https://doi.org/10.1007/978-3-642-33996-7_2
-
Apt, K. R., & Simon, S. (2012). A classification of weakly acyclic games. In M. Serna (Ed.), Algorithmic Game Theory: 5th international symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012: proceedings (pp. 1-12). (Lecture Notes in Computer Science; Vol. 7615). Springer. https://doi.org/10.1007/978-3-642-33996-7_1
-
Simon, S., & Apt, K. R. (2012). Choosing products in social networks. In P. W. Goldberg (Ed.), Internet and Network Economics: 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012: proceedings (pp. 100-113). (Lecture Notes in Computer Science; Vol. 7695), (Advanced Research in Computing and Software Science). Springer. https://doi.org/10.1007/978-3-642-35311-6_8
-
Witzel, S. A., Apt, K. R., & Zvesper, J. A. (2012). Distributed iterated elimination of strictly dominated strategies. Autonomous Agents and Multi-Agent Systems, 25(2), 395-418. https://doi.org/10.1007/s10458-011-9178-1
-
Apt, K. R. (2012). [Review of: D. Mundici (2012) Logic: a brief course]. Theory and Practice of Logic Programming, 12(3), 417-419. https://doi.org/10.1017/S1471068412000026
-
Apt, K. R. (2012). Two three pages papers. In R. L. Constable, & A. Silva (Eds.), Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (pp. 322). (Lecture Notes in Computer Science; Vol. 7230). Springer. https://doi.org/10.1007/978-3-642-29485-3_21
-
Apt, K. R. (2012). [Review of: A.D. Aczel (2011) A strange wilderness: the lives of the great mathematicians]. Nieuw Archief voor Wiskunde, 5/13(2), 138. http://www.nieuwarchief.nl/serie5/toonnummer.php?deel=13&nummer=2&taal=0 -
Apt, K. R., de Boer, F. S., Olderog, E. R., & de Gouw, S. (2012). Verification of object-oriented programs: A transformational approach. Journal of Computer and System Sciences, 78(3), 823-852. https://doi.org/10.1016/j.jcss.2011.08.002
Page 2 of 13