Apt, K.R., Estévez-Fernández, A. (2009) Sequential pivotal mechanisms for public project problems.

In Mavronicolas, M. Papadopoulou, V.G. (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. Springer.

Book (Editorship) | UvA-DARE

Apt, K.R., Fokkink, W.J. (2013) Wetenschappelijke uitgeverijen onder druk.

De Groene Amsterdammer

Article | http://www.cs.vu.nl/~wanf/gratis-kennis-voor-de-wereld.pdf | UvA-DARE

Apt, K.R., Gabbrielli, M. (1994) Declarative Interpretations Reconsidered.

In van Hentenryck, P. (Eds.), ICLP94 (pp 74-89). MIT Press.

Apt, K.R., Grädel, E. (2011) Lectures in game theory for computer scientists.

Cambridge University Press.

Book (Editorship) | https://doi.org/10.1017/CBO9780511973468 | UvA-DARE

Apt, K.R., Grossi, D., van der Hoek, W. (2016) Epistemic protocols for distributed gossiping.

Electronic Proceedings in Theoretical Computer Science, Vol. 215 (pp 51-66)

Article | https://doi.org/10.4204/EPTCS.215.5 | UvA-DARE

Apt, K.R., Kakas, A.C., Monfroy, E., Rossi, F. (2000) New Trends in Constraints, Lecture Notes in Artificial Intelligence 1865.

Springer Verlag.

Book (Editorship) | UvA-DARE

Apt, K.R., Kakas, A.C., Sadri, F. (2001) Editorial.

ACM Transactions on Computational Logic, Vol. 2 (pp 431-431)

Article | UvA-DARE

Apt, K.R., Luitjes, I. (1995) Verification of Logic Programs with Delay Declarations.

In Nivat, M. Alagar, V.S. (Eds.), Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95) (pp 66-90) (Lecture Notes in Computer Science). 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, Vol. 5 (pp 159-191)

Article | https://doi.org/10.1007/BF01190828 | UvA-DARE

Apt, K.R., Marchiori, E. (1994) Reasoning about Prolog Programs: from Modes through Types to Assertions.

Formal Aspects of Computing, Vol. 6 (pp 743-765)

Article | UvA-DARE

Apt, K.R., Markakis, E. (2009) Optimal strategies in sequential bidding.

In Decker, K.S. Sichman, J.S. Sierra, C. Castelfranchi, C. (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 Leonardi, S. (Eds.), 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 Persiano, G. (Eds.), 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, Vol. 129 (pp 225-250)

Article | https://doi.org/10.3233/FI-2014-970 | UvA-DARE

Apt, K.R., Monfroy, E. (2001) Constraint Programming viewed as Rule-based Programming.

Theory and Practice of Logic Programming, Vol. 1 (pp 713-750)

Article | https://doi.org/10.1017/S1471068401000072 | UvA-DARE

Apt, K.R., Olderog, E.R. (1994) Programmverifikation.

Springer Verlag.

Book | UvA-DARE

Apt, K.R., Pedreschi, D. (1994) Modular Termination Proofs for Logic and Pure Prolog Programs.

In Levi, G. (Eds.), Advances in Logic Programming Theory (pp 183-229). Oxford University Press.

Apt, K.R., Pellegrini, A. (1994) On the occur-check free Prolog programs.

ACM Transactions on Programming Languages and Systems, Vol. 16 (pp 687-726)

Article | https://doi.org/10.1145/177492.177673 | UvA-DARE

Apt, K.R., Rahn, M., Schäfer, G., Simon, S. (2014) Coordination Games on Graphs.

In Liu, T.-Y. Qi, Q. Ye, Y. (Eds.), Web and Internet Economics: 10th International Conference, WINE 2014, Beijing, China, December 14-17, 2014: proceedings (pp 441-446) (Lecture Notes in Computer Science, Vol. 8877). Springer.