-
Väänänen, J.A. (2015) Pursuing logic without borders.In Hirvonen, Å. Kontinen, J. Kossak, R. Villaveces, A. (Eds.), Logic without borders: essays on set theory, model theory, philosophical logic, and philosophy of mathematics (pp 403-416) (Ontos Mathematical Logic). De Gruyter.Väänänen, J.A. (2016) In Memoriam: Jaakko Hintikka.Arkhimedes, Vol. 2016 (pp 32-35)Article | https://www.doria.fi/handle/10024/126158 | UvA-DAREVäänänen, J.A. (2016) Grelling on dependence.In Abramsky, S. Kontinen, J. Väänänen, J. Vollmer, H. (Eds.), Dependence Logic: Theory and Applications (pp 33-52). Birkhäuser.Chapter | https://doi.org/10.1007/978-3-319-31803-5_3 | UvA-DAREValdivia, 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. 9Article | https://doi.org/10.1177/20539517221124586 | UvA-DAREvan 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-DAREvan 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. 4Article | https://doi.org/10.22331/q-2020-02-14-230 | UvA-DAREvan Apeldoorn, J., Gilyén, A., Gribling, S., de Wolf, R. (2020) Convex optimization using quantum oracles.Quantum - the open journal for quantum science, Vol. 4Article | https://doi.org/10.22331/q-2020-01-13-220 | UvA-DAREvan 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.Conference contribution | https://doi.org/10.4230/LIPIcs.ICALP.2021.110 | UvA-DAREvan Apeldoorn, J. (2020) A quantum view on convex optimization.Thesis, fully internal | UvA-DAREVan 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.Conference contribution | https://doi.org/10.5281/zenodo.1415038 | UvA-DAREVan 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-DAREVan 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-DAREvan Beek, A., Brokkelkamp, R., Schäfer, G. (2022) Corruption in Auctions: Social Welfare Loss in Hybrid Multi-Unit Auctions.In AAMAS '22: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (pp 1283-1291). International Foundation for Autonomous Agents and Multiagent Systems.Conference contribution | https://dl.acm.org/doi/10.5555/3535850.3535993 | UvA-DAREvan Benthem, J.F.A.K., Aiello, M., Pratt-Hartmann, I. (2007) What is Spatial Logic?.In Aiello, M. Pratt-Hartmann, I. van Benthem, J. (Eds.), Handbook of Spatial Logics. Springer.Chapter | http://www.springer.com/philosophy/epistemology+and+philosophy+of+science/book/978-1-4020-5586-7 | UvA-DAREvan Benthem, J.F.A.K., Alyeshina, N. (1997) Modal quantification over structured domains.In de Rijke, M. (Eds.), Advances in Intensional Logic, Applied Logic Series 7 (pp 1-28). Kluwer.Chapter | UvA-DAREvan Benthem, J.F.A.K., Andreka, H., Nemeti, I. (1995) Submodel Preservation Theorems in Finite-Variable Fragments.In de Rijke, M. Ponse, A. Venema, Y. (Eds.), Modal Logic and Process Algebra, CSLI Lecture Notes. University Press.Chapter | UvA-DAREvan Benthem, J.F.A.K., Anger, F., Rodriguez, R., Guesgen, H. (1996) Space, Time and Computation: Trends and Problems, editorial for special issue on Spatial and Temporal Reasoning.Applied Intelligence, Vol. 6 (pp 5-9)Article | https://doi.org/10.1007/BF00117597 | UvA-DAREvan Benthem, J.F.A.K., Bergstra, J.A. (1995) Logic of Transition Systems.Journal of Logic, Language and Information, Vol. 3 (pp 247-283)Article | UvA-DAREvan Benthem, J.F.A.K., Bezhanishvili, G., Gehrke, M. (2002) Euclidean Hierarchy in Modal Logic.Technical Reports. Institute for Logic, Language and Computation.Working paper | UvA-DAREvan Benthem, J.F.A.K., Bezhanishvili, G., ten Cate, B., Sarenac, D. (2004) Modal Logics for Products of Topologies.Technical Reports. Institute for Logic, Language and Computation.Working paper | 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