Allerstorfer, R., Buhrman, H., May, A., Speelman, F., Verduyn Lunel, P. (2024) Relating non-local quantum computation to information theoretic cryptography.

Quantum, Vol. 8

Article | https://doi.org/10.22331/q-2024-06-27-1387 | UvA-DARE

Allerstorfer, R., Christandl, M., Grinko, D., Nechita, I., Ozols, M., Rochette, D., Verduyn Lunel, P. (2023) Monogamy of highly symmetric states.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.2309.16655 | UvA-DARE

Allerstorfer, R. (2024) Position-based quantum cryptography: From theory towards practice.

ILLC Dissertation series

Thesis, fully internal | UvA-DARE

Allerstorfer, Rene, Bluhm, Andreas, Buhrman, H., Christandl, Matthias, Escolà-Farràs, Llorenç, Speelman, F., Verduyn Lunel, Philip (2025) Making Existing Quantum Position Verification Protocols Secure Against Arbitrary Transmission Loss.

Physical Review Letters, Vol. 135

Article | https://doi.org/10.1103/szwj-s7r6 | UvA-DARE

Allerstorfer, Rene, Christandl, Matthias, Grinko, D., Nechita, I., Ozols, M., Rochette, D., Verduyn Lunel, Philip (2026) Monogamy of Highly Symmetric States.

Communications in Mathematical Physics, Vol. 407

Article | https://doi.org/10.1007/s00220-025-05483-3 | UvA-DARE

Allo, P., Poggiolesi, F., Smets, S. (2015) Dynamics in Logic: Introduction.

Logique et Analyse, Vol. 58 (pp 143-144)

Editorial | https://doi.org/10.2143/LEA.230.0.3141806 | UvA-DARE

Allo, P., Poggiolesi, F., Smets, S. (2015) Dynamics in Logic.

Logique et Analyse, Vol. 58 (pp 143-346)

Special issue (Editorship) | http://poj.peeters-leuven.be/content.php?url=issue&journal_code=LEA&issue=0&vol=230 | UvA-DARE

Almeida, Rodrigo Nicolau, Bezhanishvili, N. (2024) Coalgebraic Semantics for Intuitionistic Modal Logic.

In Ciabattoni, Agata Gabelaia, David Sedlár, Igor (Eds.), Advances in Modal Logic: AiML 15 (pp 59-77). College Publications.

Almeida, Rodrigo Nicolau, Ghilardi, S. (2024) Unification With Simple Variable Restrictions and Admissibility of Π2-Rules.

In Ciabattoni, Agata Gabelaia, David Sedlár, Igor (Eds.), Advances in Modal Logic: AiML 15 (pp 79-100). College Publications.

Almeida, Rodrigo Nicolau (2024) Polyatomic logics and generalized Blok–Esakia theory.

Journal of Logic and Computation, Vol. 34 (pp 887-935)

Article | https://doi.org/10.1093/logcom/exad043 | UvA-DARE

Almeida, Rodrigo Nicolau (2025) Π2-rule systems and inductive classes of Gödel algebras.

Annals of Pure and Applied Logic, Vol. 176

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

Aloni, M., Anttila, A., Yang, F. (2024) State-based Modal Logics for Free Choice.

Notre Dame Journal of Formal Logic, Vol. 65 (pp 367-413)

Article | https://doi.org/10.1215/00294527-2024-0027 | UvA-DARE

Aloni, M., Bastiaanse, H., de Jager, T., Schulz, K. (2010) Preface.

In Aloni, M. Bastiaanse, H. de Jager, T. Schulz, K. (Eds.), Logic, Language and Meaning: 17th Amsterdam Colloquium : Amsterdam, The Netherlands, December 16-18, 2009 : revised selected papers (pp VI) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6042). Springer.

Aloni, M., Bastiaanse, H., de Jager, T., Schulz, K. (2010) Logic, language and meaning: 17th Amsterdam Colloquium : Amsterdam, The Netherlands, December 16-18, 2009 : revised selected papers.

Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6042. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-642-14287-1 | UvA-DARE

Aloni, M., Beaver, D., Clark, B., van Rooij, R. (2007) The dynamics of topic and focus.

In Aloni, M. Butler, A. Dekker, P. (Eds.), Questions in dynamic semantics (pp 123-145) (Current research in the semantics/pragmatics interface). Elsevier.

Aloni, M., Beaver, D.I., Clark, B. (1999) Focus and topic sensitive operators.

In Dekker, P.J.E. (Eds.), Proceedings of the 12th Amsterdam Colloquium. ILLC.

Aloni, M., Berto, F., Incurvati, L., Roelofsen, F. (2018) Introduction: Semantics and Philosophy.

Topoi, Vol. 37 (pp 355-356)

Editorial | https://doi.org/10.1007/s11245-017-9505-5 | UvA-DARE

Aloni, M., Berto, F., Incurvati, L., Roelofsen, F. (2018) Semantics and Philosophy.

Topoi, Vol. 37 (pp 355-433)

Special issue (Editorship) | https://link.springer.com/journal/11245/37/3 | UvA-DARE

Aloni, M., Butler, A., Dekker, P. (2007) Questions in dynamic semantics.

Current research in the semantics/pragmatics interface. Elsevier.

Book (Editorship) | UvA-DARE

Aloni, M., Butler, A., Hindsill, D. (2007) Nuclear accent, focus, and Bidirectional OT.

In Aloni, M. Butler, A. Dekker, P. (Eds.), Questions in dynamic semantics (pp 253-268) (Current research in the semantics/pragmatics interface). Elsevier.