uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Vaananen, J.A. (2006) Jaakko Hintikka.
    In Borchert, Donald M. (Eds.), Encyclopedia of Philosophy (pp 172-174). Macmillan Reference USA.
    Entry for encyclopedia/dictionary | UvA-DARE
  • Vaananen, J.A. (2006) A Remark on Nondeterminacy in IF Logic.
    Acta Philosophica Fennica, Vol. 78 (pp 71-77)
    Article | UvA-DARE
  • Väänänen, J.A. (2007) Team logic.
    In van Benthem, J. Löwe, B. Gabbay, D. (Eds.), Interactive Logic (pp 281-302) (Texts in Logic and Games). Amsterdam University Press.
    Chapter | UvA-DARE
  • Väänänen, J.A. (2007) Dependence Logic.
    London Mathematical Society Student Texts. Cambridge University Press.
    Book | UvA-DARE
  • Vaananen, J.A. (2007) On infinite Ehrenfeucht-Fraïssé games.
    In Bold, S. Loewe, B. Raesch, T. van Benthem, J. (Eds.), Infinite games (pp 279-317) (Foundations of the Formal Sciences). College Publications.
    Chapter | UvA-DARE
  • Väänänen, J.A. (2008) The Craig Interpolation Theorem in abstract model theory.
    Synthese, Vol. 164 (pp 401-420)
  • Väänänen, J.A. (2012) Lindström's Theorem.
    In Beziau, J-Y (Eds.), Universal Logic: An Anthology (pp 231-236)
    Chapter | UvA-DARE
  • Valdivia, A. Aradau, C. Blanke, T. Perret, S. (2022) Neither opaque nor transparent: A transdisciplinary methodology to investigate datafication at the EU borders.
    Big Data and Society, Vol. 9
  • van Apeldoorn, J. Gilyén, A. Gribling, S. de Wolf, R. (2017) Quantum SDP-Solvers: Better upper and lower bounds.
    In 58th Annual IEEE Symposium on Foundations of Computer Science: FOCS 2017 : proceedings : 15-17 October 2017, Berkeley, CA, USA (pp 403-414). IEEE Computer Society.
    Conference contribution | https://doi.org/10.1109/FOCS.2017.44 | UvA-DARE
  • van Apeldoorn, J. Gilyén, A. Gribling, S. de Wolf, R. (2020) Quantum SDP-Solvers: Better upper and lower bounds.
    Quantum - the open journal for quantum science, Vol. 4
  • van Apeldoorn, J. Gilyén, A. Gribling, S. de Wolf, R. (2020) Convex optimization using quantum oracles.
    Quantum - the open journal for quantum science, Vol. 4
  • van Apeldoorn, J. Gribling, S. Li, Y. Nieuwboer, H. Walter, M. de Wolf, R. (2021) Quantum algorithms for matrix scaling and matrix balancing.
    In Bansal, N. Merelli, E. Worrell, J. (Eds.), 48th International Colloquium on Automata, Languages, and Programming: ICALP 2021, July 12–16, 2021, Glasgow, Scotland ((Virtual Conference) (Leibniz International Proceedings in Informatics, Vol. 198). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  • van Apeldoorn, J.T.S. (2020) A quantum view on convex optimization.
    Thesis, fully internal | UvA-DARE
  • Van Balen, J. Burgoyne, J.A. Bountouridis, D. Müllensiefen, D. Veltkamp, R.C. (2015) Corpus Analysis Tools for Computational Hook Discovery.
    In Müller, M. Wiering, F. (Eds.), ISMIR 2015: Proceedings of the 16th International Society for Music Information Retrieval Conference : October 26-30, 2015, Málaga, Spain (pp 227-233). ISMIR.
  • Van Balen, J. Burgoyne, J.A. Wiering, F. Veltkamp, R.C. (2013) An Analysis of Chorus Features in Popular Song.
    In de Souza Britto Jr., A. Gouyon, F. Dixon, S. (Eds.), Proceedings of the 14th International Society for Music Information Retrieval Conference: November 4-8, 2013, Curitiba, Brazil (pp 107-112). ISMIR.
    Conference contribution | UvA-DARE
  • van Balen, J. Karavellas, T. Burgoyne, J.A. Wiering, F. Bountouridis, D. Honing, H. (2014) Modeling Music and Memory Using Information Retrieval Techniques and Games with a Purpose.
    Poster | UvA-DARE
  • van Beek, Andries Brokkelkamp, Ruben Schäfer, G. (2022) Corruption in Auctions: Social Welfare Loss in Hybrid Multi-Unit Auctions.
    In International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (pp 1283-1291)
  • van Benthem, J. Bezhanishvili, G. ten Cate, B. Sarenac, D. (2006) Multimodal Logics of Products of Topologies.
    Studia Logica, Vol. 84 (pp 369-392)
  • van Benthem, J. Bezhanishvili, N. Enqvist, S. Yu, J. (2017) Instantial neighbourhood logic.
    Review of Symbolic Logic, Vol. 10 (pp 116-144)
  • van Benthem, J. Bezhanishvili, N. Enqvist, S. (2017) A new game equivalence and its modal logic.
    Electronic Proceedings in Theoretical Computer Science, Vol. 251 (pp 57-74)
1 ... 246 247 248 249 250 251 252 253 254 ... 309

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