Apt, K.R. Arbab, F. Ma, H. (2007) A system for distributed mechanisms: design, implementation and applications.

SEN-R0706. Fac. Natuurwetenschappen Wiskunde en Informatica.

Report | http://db.cwi.nl/rapporten/abstract.php?abstractnr=2125 | UvA-DARE

Apt, K.R. Arbab, F. Ma, H. (2008) A distributed platform for mechanism design.

In Proceedings of the 2008 International Conference on Computational Intelligence for Modelling, Control & Automation (pp 767-772). IEEE.

Apt, K.R. Ben-Eliyahu, R. (1995) Meta-variables in Logic Programming, or in Praise of Ambivalent Syntax.

Technical Report. onbekend (FdL).

Report | UvA-DARE

Apt, K.R. Bol, R. (1994) Logic programming and negation: a survey.

Journal of Logic Programming, Vol. 19-20 (pp 9-71)

Article | UvA-DARE

Apt, K.R. Brand, S. (2003) Schedulers for rule-based constraint programming.

In Proceedings of ACM Symposium on Applied Computing (SAC) (pp 14-21). ACM.

Apt, K.R. Brand, S. (2005) Constraint-Based Qualitative Simulation.

In Proc. of the 12th International Symposium on Temporal Representation and Reasoning (pp 26-34)

Apt, K.R. Brand, S. (2005) Schedulers and Redundancy for a Class of Constraint Propagation Rules.

Theory and Practice of Logic Programming, Vol. 5 (pp 441-446)

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

Apt, K.R. Brand, S. (2006) Infinite Qualitative Simulations by means of Constraint Programming.

Lecture Notes in Computer Science, Vol. 4204 (pp 29-43)

Article | UvA-DARE

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, Vol. 78 (pp 823-852)

Article | https://doi.org/10.1016/j.jcss.2011.08.002 | UvA-DARE

Apt, K.R. de Boer, F.S. Olderog, E.R. (2009) Verification of sequential and concurrent programs: 3rd ed..

Texts in computer science. Springer.

Book | https://doi.org/10.1007/978-1-84882-745-5 | UvA-DARE

Apt, K.R. de Boer, F.S. Olderog, E.R. (2009) Modular verification of recursive programs.

In Grumberg, O. Kaminski, M. Katz, S. Wintner, S. (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). Springer.

Apt, K.R. Doets, H.C. (1994) A new definition of SLDNF-resolution.

Journal of Logic Programming, Vol. 18 (pp 177-190)

Article | https://doi.org/10.1016/0743-1066(94)90051-5 | UvA-DARE

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