Searchable List of Research Output

Filter Publications
  • Anderson, Sheila Blanke, Tobias (2012) Taking the long view: From e-Science humanities to humanities digital ecosystems.
    Historical Social Research, Vol. 37 (pp 147-164)
    Article | UvA-DARE
  • Anderson, Sheila Blanke, Tobias (2015) Infrastructure as intermeditation – from archives to research infrastructures.
    Journal of Documentation, Vol. 71 (pp 1183-1202)
  • Andrade, E. (2009) Compositionality from a "use-theoretic" perspective.
    In Munz, V.A. Puhl, K. Wang, J. (Eds.), Language and world: Pre-proceedings of 32nd International Wittgenstein Symposium (pp 25-26)
  • Andrade-Lotero, E. Dutilh-Novaes, C. (2009) A reconstruction of hierarchical relations between incompatibility-entailment, committive, and permissive consequences.
    In Amoretti, C. Penco, C. Pitto, F. (Eds.), Proceedings of the Workshop on Bob Brandom's Recent Philosophy of Language: Towards an Analytic Pragmatism (TAP-2009): Genoa, Italy, April 19-23, 2009 (pp 90-98) (CEUR Workshop Proceedings, Vol. 444). CEUR-WS.
  • Andrade-Lotero, E.J. (2012) Models of language: towards a practice-based account of information in natural language.
    Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • Andréka, H van Benthem, J Németi, I (2023) A note on the submodel preservation property in fragments of first-order logic.
    ArXiv.
  • Andreka, H. Goranko, V. Mikulas, S. Nemeti, I. Sain, I. (1995) Effective Temporal Logic of Programs.
    In Szalas, A. Bolc, E. (Eds.), Time and Logic. UCL Press.
    Chapter | UvA-DARE
  • Andréka, H. van Benthem, J. Bezhanishvili, N. Németi, I. (2014) Changing a semantics: opportunism or courage?.
    In Manzano, M Sain, I. Alonso, E. (Eds.), The life and work of Leon Henkin: essays on his contributions (pp 307-337) (Studies in Universal Logic). Birkhäuser.
  • Andréka, H. van Benthem, J. Németi, I. (2017) On a New Semantics for First-Order Predicate Logic.
    Journal of Philosophical Logic, Vol. 46 (pp 259–267)
  • Antunes, L. Buhrman, H. Matos, A. Souto, A. Teixeira, A. (2016) Distinguishing Two Probability Ensembles with One Sample from each Ensemble.
    Theory of Computing Systems, Vol. 59 (pp 517-531)
  • Antunes, L. Costa, A . Matos, A. Vitanyi, P. (2007) Computational Depth of Infinite Strings Revisited.
    In Cooper, S.B. Kent, T.F. Löwe, B. Sorbi, A. (Eds.), Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : local proceedings (pp 36-44)
  • Antunes, L. Matos, A. Souto, A. Vitányi, P. (2008) Depth as randomness deficiency.
    Institute for Logic, Language and Computation.
  • Antunes, L. Matos, A. Souto, A. Vitányi, P. (2009) Depth as randomness deficiency.
    Theory of Computing Systems, Vol. 45 (pp 724-739)
  • 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)
  • Antunes, Luis Souto, Andre Teixeira, A. Vitányi, Paul (2013) On the logical depth function.
    ArXiv e-prints
    Working paper | UvA-DARE
  • Antunes, Luis Filipe Coelho Souto, Andre Vitányi, Paul M. B. (2013) On Logical Depth and the Running Time of Shortest Programs.
    CoRR
    arXiv, Vol. abs/1310.6976. Cornell University Library.
  • 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.
  • Apt, K. 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.
  • Apt, K. (2001) Towards Free Access to Scientific Literature.
    Nieuw Archief voor Wiskunde, Vol. 5/2 (pp 251-255)
  • Apt, K. (2011) Tafeltennis.
    In Cramer, R. van Dam, S. van der Mei, R. (Eds.), Leven met getallen: liber amicorum ter gelegenheid van de pensionering van Herman te Riele (pp 16-19). CWI.

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