Searchable List of Research Output

Filter Publications
  • Apt, K. R., de Boer, F. S., & Olderog, E. R. (2009). Verification of sequential and concurrent programs: 3rd ed. (Texts in computer science). Springer. >>>
  • 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. >>>
  • Apt, K. R., & Doets, H. C. (1994). A new definition of SLDNF-resolution. Journal of Logic Programming, 18(2), 177-190. >>>
  • 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. >>>
  • Apt, K. R., Fages, F., Rossi, F., Szeredi, P., & V'ancza, J. (2004). Recent Advances in Constraints. (Lecture Notes in Artificial Intelligence; No. 3010). Springer. >>>
  • Apt, K. R., & Fokkink, W. J. (2013). Wetenschappelijke uitgeverijen onder druk. De Groene Amsterdammer. >>>
  • Apt, K. R., & Gabbrielli, M. (1994). Declarative Interpretations Reconsidered. In P. van Hentenryck (Ed.), ICLP94 (pp. 74-89). MIT Press. >>>
  • Apt, K. R., & Grädel, E. (2011). Lectures in game theory for computer scientists. Cambridge University Press. >>>
  • Apt, K. R., Grossi, D., & van der Hoek, W. (2016). Epistemic protocols for distributed gossiping. Electronic Proceedings in Theoretical Computer Science, 215, 51-66. >>>
  • Apt, K. R., Kakas, A. C., Monfroy, E., & Rossi, F. (2000). New Trends in Constraints, Lecture Notes in Artificial Intelligence 1865. Springer Verlag. >>>
  • Apt, K. R., Kakas, A. C., & Sadri, F. (2001). Editorial. ACM Transactions on Computational Logic, 2(4), 431-431. >>>
  • Apt, K. R., & Luitjes, I. (1995). Verification of Logic Programs with Delay Declarations. In M. Nivat, & V. S. Alagar (Eds.), Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95) (pp. 66-90). (Lecture Notes in Computer Science; No. 936). Springer-Verlag. >>>
  • Apt, K. R., Marchiori, E., & Palamidessi, C. (1994). A declarative approach for first-order built-in's of Prolog. Applicable Algebra in Engineering, Communication and Computing, 5(3/4), 159-191. >>>
  • Apt, K. R., & Marchiori, E. (1994). Reasoning about Prolog Programs: from Modes through Types to Assertions. Formal Aspects of Computing, 6(6A), 743-765. >>>
  • 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. >>>
  • 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. >>>
  • Apt, K. R., & Markakis, E. (2011). Diffusion in social networks with competing products. In G. Persiano (Ed.), Algorithmic Game Theory: 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19 2011: proceedings (pp. 212-223). (Lecture Notes in Computer Science; Vol. 6982). Springer. >>>
  • Apt, K. R., & Markakis, E. (2014). Social Networks with Competing Products. Fundamenta Informaticae, 129(3), 225-250. >>>
  • Apt, K. R., & Monfroy, E. (2001). Constraint Programming viewed as Rule-based Programming. Theory and Practice of Logic Programming, 1(6), 713-750. >>>
  • Apt, K. R., & Olderog, E. R. (1994). Programmverifikation. Springer Verlag. >>>

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact