Searchable List of Research Output

Filter Publications
  • Apt, K.R. (2007) Post your articles in ArXiv:Math and CoRR!.
    Nieuw Archief voor Wiskunde, Vol. 5/9 (pp 98-99)
    Article | UvA-DARE
  • Apt, K.R. (2009) Principles of constraint programming.
    Cambridge University Press.
    Book | UvA-DARE
  • Apt, K.R. (2010) [Review of: A. Doxiadis, C.H. Papadimitriou (2009) Logicomix: an epic search for truth].
    Mathematical Intelligencer, Vol. 32 (pp 51-52)
    Book/Film/Article/Exhibition review | https://doi.org/10.1007/s00283-009-9111-5 | UvA-DARE
  • Apt, K.R. (2011) A Primer on Strategic Games.
    In Apt, K.R. Graedel, E. (Eds.), Lectures in Game Theory for Computer Scientists (pp 1-37). Cambridge University Press.
  • Apt, K.R. (2011) Direct proofs of order independence.
    Economics Bulletin, Vol. 31 (pp 106-115)
  • Apt, K.R. (2011) TARK XIII: Theoretical Aspects of Rationality and Knowledge : proceedings of the Thirteenth Conference (TARK 2011).
    ACM.
  • Apt, K.R. (2012) Two three pages papers.
    In Constable, R.L. Silva, A. (Eds.), Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (pp 322) (Lecture Notes in Computer Science, Vol. 7230). Springer.
  • Apt, K.R. (2012) [Review of: A.D. Aczel (2011) A strange wilderness: the lives of the great mathematicians].
    Nieuw Archief voor Wiskunde, Vol. 5/13 (pp 138)
  • Apt, K.R. (2012) [Review of: D. Mundici (2012) Logic: a brief course].
    Theory and Practice of Logic Programming, Vol. 12 (pp 417-419)
    Book/Film/Article/Exhibition review | https://doi.org/10.1017/S1471068412000026 | UvA-DARE
  • Apter, A.W. Jackson, S.C. Löwe, B. (2013) Cofinality and measurability of the first three uncountable cardinals.
    Transactions of the Americal Mathematical Society, Vol. 365 (pp 59-98)
  • Aradau, C. Blanke, T. Hussain, I. (2023) Making Data Visualizations, Contesting Security: Digital Humanities Meet International Relations.
    Global Studies Quarterly, Vol. 3
  • Aradau, Claudia Blanke, Tobias (2010) Governing circulation: A critique of the biopolitics of security.
    In Security and Global Governmentality: Globalization, Governance and the State (pp 44-58). Taylor and Francis Inc..
  • Aradau, Claudia Blanke, Tobias (2010) Governing circulation: A critique of the biopolitics of security.
    In Security and Global Governmentality: Globalization, Governance and the State (pp 44-58). Routledge.
  • Aradau, Claudia Blanke, Tobias (2015) The (Big) Data-security assemblage: Knowledge and critique.
    Big Data and Society, Vol. 2
  • Aradau, Claudia Blanke, Tobias (2015) The (big) data--security assemblage: theses on post--surveillance and critique.
    Big Data & Society
    Article | UvA-DARE
  • Aradau, Claudia Blanke, Tobias (2017) Politics of prediction: Security and the time/space of governmentality in the age of big data.
    European Journal of Social Theory, Vol. 20 (pp 373-391)
  • Aradau, Claudia Blanke, Tobias (2021) Algorithmic surveillance and the political life of error.
    Journal for the History of Knowledge, Vol. 2 (pp 10-10)
    Article | UvA-DARE
  • Aradau, Claudia Blanke, Tobias (2022) Algorithmic reason: The new government of self and other.
    Oxford University Press.
    Book | UvA-DARE
  • Arampatzis, A. Kamps, J. Koolen, M.H.A. Nussbaum, N. (2007) Deriving a domain specific test collection from a query log.
    In Proceedings of the Workshop on Language Technology for Cultural Heritage Data (LaTeCH 2007) (pp 73-80). ACL.
    Conference contribution | UvA-DARE
  • Arampatzis, A. Kamps, J. Koolen, M.H.A. Nussbaum, N. (2007) University of Amsterdam at the TREC 2007 legal track.
    In The Sixteenth Text REtrieval Conference (TREC 2007) Notebook (pp 623-625). NIST.
    Conference contribution | 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