Soler-Toscano, F., Velázquez-Quesada, F.R. (2010) Abduction for (non-omniscient) agents.

In Boissier, O. El Fallah Seghrouchni, A. Hassas, S. Maudet, N. (Eds.), Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010): Lyon, France, August 30 - September 2, 2010 (pp 51-64) (CEUR Workshop Proceedings, Vol. 627). CEUR-WS.

Sorbi, A., Terwijn, S.A. (2008) Intermediate logics and factors of the Medvedev lattice.

Annals of Pure and Applied Logic, Vol. 155 (pp 69-85)

Article | https://doi.org/10.1016/j.apal.2008.03.002 | UvA-DARE

Sotáková, J. (2024) Isogenies and cryptography.

ILLC Dissertation series

Thesis, fully internal | UvA-DARE

Sourabh, S. (2015) Correspondence and canonicity in non-classical logic.

Thesis, fully internal | UvA-DARE

Spada, L. (2013) Geometrical dualities for Łukasiewicz logic.

Bollettino della Unione Matematica Italiana, Vol. 9/6 (pp 749-763)

Article | http://logica.dmi.unisa.it/lucaspada/wp-content/uploads/duality-UMI-revised.pdf | UvA-DARE

Spalek, R., Szegedy, M. (2005) All Quantum Adversary Methods are Equivalent.

Lecture Notes in Computer Science, Vol. 3580 (pp 1299-1311)

Article | http://www.springerlink.com/content/5ae875yw8nvwv8gk/ | UvA-DARE

Spalek, R., Szegedy, M. (2006) All Quantum Adversary Methods are Equivalent.

Theory of Computing, Vol. 2 (pp 1-18)

Article | UvA-DARE

Spalek, R. (2006) Quantum Algorithms, Lower Bounds, and Time-Space Tradeoffs.

ILLC.

Thesis, fully internal | UvA-DARE

Speelman, F. (2016) Position-based quantum cryptography and catalytic computation.

Thesis, fully internal | UvA-DARE

Speelman, F. (2016) Instantaneous non-local computation of low T-depth quantum circuits.

In Broadbent, A. (Eds.), 11th Conference on the Theory of Quantum Computation, Communication and Cryptography: TQC 2016, September 27-29, 2016, Berlin, Germany (Leibniz International Proceedings in Informatics, Vol. 61). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Spenader, J., Blutner, R. (2006) Compositionality and Systematicit.

In Bauma, G. Krämer, I. (Eds.), Cognitive Foundations of Interpretation. KNAW publications.

Spenader, J., Blutner, R. (2007) Compositionality and Systematicity.

In Zwarts, J. Bouma, G., Krämer, I. (Eds.), Cognitive Foundations of Interpretation (pp 163-174). KNAW.

Spenader, J., Zeevat, H., Gustafson-Capkova, S. (2001) Comparative and empirical discourse studies.

In Rieser, K. Zeevat, H. (Eds.), Proceedings of Bidialog. ZIF, Bielefeld

Spierings, M., Dam, Nick, Honing, H. (2023) Bird Singalong Project.

Web publication or website | https://www.universiteitleiden.nl/en/science/biology/animal-sciences/development--disease-in-animal-sciences/bird-sing-along-project | UvA-DARE

Spijker, L., Oomen, M. (2023) Hesitation Markers in Sign Language of the Netherlands A Corpus-Based Study.

Sign Language Studies, Vol. 23 (pp 164-196)

Article | https://doi.org/10.1353/sls.2023.0001 | UvA-DARE

Spijkervet, J., Burgoyne, J.A. (2021) Contrastive Learning of Musical Representations.

In Lee, J.H. Lerch, A. Duan, Z. Nam, J. Rao, P. Van Kranenburg, P. Srinivasamurthy, A. (Eds.), Proceedings: The 22nd International Society for Music Information Retrieval Conference: ISMIR 2021 : November 7-12, 2021 (online) (pp 673-681). ISMIR.

Spinaci, G., Colavizza, G., Peroni, S. (2020) Preliminary Results on Mapping Digital Humanities Research.

In Marras, C. Passarotti, M. Franzini, G. Litta, E. (Eds.), La svolta inevitabile: sfide e prospettive per l'Informatica Umanistica: Atti del IX Convegno Annuale dell'Associazione per l'Informatica Umanistica e la Cultura Digitale (AIUCD) : 15-17 gennaio 2020, Milano, Università Cattolica del Sacro Cuore (pp 246-252) (Quaderni di Umanistica Digitale. Supplement). Associazione per l'Informatica Umanistica e la Cultura Digitale.

Spinaci, G., Colavizza, G., Peroni, S. (2022) A map of Digital Humanities research across bibliographic data sources.

Digital Scholarship in the Humanities, Vol. 37 (pp 1254–1268)

Article | https://doi.org/10.1093/llc/fqac016 | UvA-DARE

Spiro, N., Klebanov, B. (2006) A new method for assessing consistency of real-time identification of phrase-parts and its initial application.

In Proceedings of the International Conference on Music Perception and Cognition (ICMPC2006) (pp 793-800)

Spiro, N. (2002) Combining grammar-based and memory-based models of perception of time signature and phase.

In Smaill, A. Anagnostopoulos, C. Ferrand, M. (Eds.), Music and Artificial Intelligence (pp 183-194)