Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 121
Number of items: 121
  • Open Access
    Apt, K. R. (2010). [Review of: A. Doxiadis, C.H. Papadimitriou (2009) Logicomix: an epic search for truth]. Mathematical Intelligencer, 32(3), 51-52. https://doi.org/10.1007/s00283-009-9111-5
  • Apt, K. R., Witzel, A., & Zvesper, J. A. (2009). Common knowledge in interaction structures. In 12th Conference on Theoretical Aspects of Rationality and Knowledge: TARK '09 : California, July 06-08, 2009 (pp. 4-13). ACM. http://doi.acm.org/10.1145/1562814.1562820
  • Apt, K. R., & Markakis, E. (2009). Optimal strategies in sequential bidding. In K. S. Decker, J. S. Sichman, C. Sierra, & C. Castelfranchi (Eds.), AAMAS 2009: the 8th International Conference on Autonomous Agents and Multiagent Systems: May 10-15, 2009, Budapest, Hungary: proceedings. - Volume 2 (pp. 1189-1190). IFAAMAS. http://portal.acm.org/citation.cfm?id=1558206
  • Apt, K. R., de Boer, F. S., & Olderog, E. R. (2009). Verification of sequential and concurrent programs: 3rd ed. (Texts in computer science). Springer. https://doi.org/10.1007/978-1-84882-745-5
  • Apt, K. R., de Boer, F. S., & Olderog, E. R. (2009). Modular verification of recursive programs. In O. Grumberg, M. Kaminski, S. Katz, & S. Wintner (Eds.), Languages: from formal to natural: Essays dedicated to Nissim Francez on the occasion of his 65th birthday (pp. 1-21). (Lecture notes in computer science; No. 5533). Springer. https://doi.org/10.1007/978-3-642-01748-3_1
  • Apt, K. R., & Witzel, A. (2009). A generic approach to coalition formation. International Game Theory Review, 11(3), 347-367. https://doi.org/10.1142/S0219198909002352
  • Witzel, A., Apt, K. R., & Zvesper, J. A. (2009). Strategy elimination in games with interaction structures. In X. He, J. Horty, & E. Pacuit (Eds.), Logic, Rationality, and Interaction: second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings (pp. 302-315). (Lecture Notes in Computer Science; Vol. 5834), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-04893-7_24
  • Apt, K. R., & Markakis, E. (2009). Sequential bidding in the Bailey-Cavallo mechanism. In S. Leonardi (Ed.), Internet and Network Economics: 5th International Workshop, WINE 2009, Rome, Italy, December 14-18, 2009 : proceedings (pp. 483-490). (Lecture Notes in Computer Science; Vol. 5929). Springer. https://doi.org/10.1007/978-3-642-10841-9_46
  • Apt, K. R., & Estévez-Fernández, A. (2009). Sequential pivotal mechanisms for public project problems. In M. Mavronicolas, & V. G. Papadopoulou (Eds.), Algorithmic Game Theory: Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009 : proceedings (pp. 85-96). (Lecture Notes in Computer Science; Vol. 5814). Springer. https://doi.org/10.1007/978-3-642-04645-2_9
  • Apt, K. R. (2009). Principles of constraint programming. Cambridge University Press.
Page 4 of 13