-
Antunes, L., Matos, A., Souto, A., Vitányi, P.M.B. (2008) Depth as randomness deficiency.Institute for Logic, Language and Computation.Working paper | http://arxiv.org/abs/0809.2546 | UvA-DARE
-
Antunes, L., Matos, A., Souto, A., Vitányi, P.M.B. (2009) Depth as randomness deficiency.Theory of Computing Systems, Vol. 45 (pp 724-739)Article | https://doi.org/10.1007/s00224-009-9171-0 | UvA-DARE
-
Antunes, L., Souto, A., Vitányi, P.M.B. (2013) On Logical Depth and the Running Time of Shortest Programs.ArXiv.Preprint | https://doi.org/10.48550/arXiv.1310.6976 | UvA-DARE
-
Antunes, L.F., Souto, A., Vitányi, P.M.B. (2017) On the rate of decrease in logical depth.Theoretical Computer Science, Vol. 702 (pp 60-64)Article | https://doi.org/10.1016/j.tcs.2017.08.012 | UvA-DARE
-
Apers, S., de Wolf, R. (2020) Quantum Speedup for Graph Sparsification, Cut Approximation and Laplacian Solving.In 2020 IEEE 61st Annual Symposium on Foundations of Computer Science: FOCS 2020 : proceedings : 16-19 November 2020, virtual conference (pp 637-648). IEEE.Conference contribution | https://doi.org/10.1109/FOCS46700.2020.00065 | UvA-DAREApt, K.R., Arbab, F., Ma, H. (2007) A system for distributed mechanisms: design, implementation and applications.SEN-R0706. Fac. Natuurwetenschappen Wiskunde en Informatica.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.Conference contribution | https://doi.org/10.1109/CIMCA.2008.9 | UvA-DAREApt, K.R., Ben-Eliyahu, R. (1995) Meta-variables in Logic Programming, or in Praise of Ambivalent Syntax.Technical Report. onbekend (FdL).Report | UvA-DAREApt, K.R., Bol, R. (1994) Logic programming and negation: a survey.Journal of Logic Programming, Vol. 19-20 (pp 9-71)Article | UvA-DAREApt, K.R., Brand, S. (2003) Schedulers for rule-based constraint programming.In Proceedings of ACM Symposium on Applied Computing (SAC) (pp 14-21). ACM.Conference contribution | UvA-DAREApt, K.R., Brand, S. (2005) Constraint-Based Qualitative Simulation.In Proc. of the 12th International Symposium on Temporal Representation and Reasoning (pp 26-34)Conference contribution | UvA-DAREApt, 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-DAREApt, 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-DAREApt, K.R., Conitzer, V., Guo, M., Markakis, E. (2008) Welfare undominated Groves mechanisms.In Papadimitriou, C. Zhang, S. (Eds.), Internet and Network Economics: 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008 : proceedings (pp 426-437) (Lecture Notes in Computer Science, Vol. 5385). Springer.Conference contribution | https://doi.org/10.1007/978-3-540-92185-1_48 | UvA-DAREApt, 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-DAREApt, 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 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.Chapter | https://doi.org/10.1007/978-3-642-01748-3_1 | UvA-DAREApt, 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-DAREApt, 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.Conference contribution | https://doi.org/10.1007/978-3-642-04645-2_9 | UvA-DAREApt, 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
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 illc at uva.nl