Furrer, F., Gehring, T., Schaffner, C., Pacher, C., Schnabel, R., Wehner, S. (2018) Continuous-Variable Protocol for Oblivious Transfer in the Noisy-Storage Model.

Nature Communications, Vol. 9

Article | https://doi.org/10.1038/s41467-018-03729-4 | UvA-DARE

Gabbay, D.M., de Rijke, M. (1999) Frontiers of Combining Systems 2.

Research Studies Press.

Book (Editorship) | UvA-DARE

Gabbay, M.J., Ciancia, V. (2011) Freshness and Name-Restriction in Sets of Traces with Names.

In Hofmann, M. (Eds.), Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011 : proceedings (pp 365-380) (Lecture Notes in Computer Science, Vol. 6604). Springer.

Gács, P., Tromp, J., Vitanyi, P.M.B. (2000) Towards an algorithmic statistics.

Lecture Notes in Computer Science, Vol. 1968 (pp 41-55)

Article | UvA-DARE

Gäde, M., Hall, M., Huurdeman, H., Kamps, J., Koolen, M., Skov, M., Bogers, T., Walsh, D. (2016) Overview of the SBS 2016 Interactive Track.

In Balog, K. Cappellato, L. Ferro, N. Macdonald, C. (Eds.), Working Notes of CLEF 2016 - Conference and Labs of the Evaluation forum: Évora, Portugal, 5-8 September, 2016 (pp 1024-1038) (CEUR Workshop Proceedings, Vol. 1609). CEUR-WS.

Gäde, M., Hall, M., Huurdeman, H., Kamps, J., Koolen, M., Skov, M., Toms, E., Walsh, D. (2015) Overview of the SBS 2015 interactive track.

In Cappellato, L. Ferro, N. Jones, G.J.F. San Juan, E. (Eds.), Working Notes of CLEF 2015 - Conference and Labs of the Evaluation forum: Toulouse, France, September 8-11, 2015 (CEUR Workshop Proceedings, Vol. 1391). CEUR-WS.

Gäde, M., Hall, M., Huurdeman, H., Kamps, J., Koolen, M., Skov, M., Toms, E., Walsh, D. (2015) First Workshop on Supporting Complex Search Tasks.

In Gäde, M. Hall, M.M. Huurdeman, H. Kamps, J. Koolen, M. Skov, M. Toms, E. Walsh, D. (Eds.), Proceedings of the First International Workshop on Supporting Complex Search Tasks: co-located with the 37th European Conference on Information Retrieval (ECIR 2015) : Vienna, Austria, March 29, 2015 (CEUR Workshop Proceedings, Vol. 1338). CEUR-WS.

Gäde, M., Hall, M., Huurdeman, H., Kamps, J., Koolen, M., Skov, M., Toms, E., Walsh, D. (2015) Supporting Complex Search Tasks: ECIR 2015 Workshop.

In Hanbury, A. Kazai, G. Rauber, A. Fuhr, N. (Eds.), Advances in Information Retrieval: 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29-April 2, 2015 : proceedings (pp 841-844) (Lecture Notes in Computer Science, Vol. 9022). Springer.

Gäde, M., Hall, M.M., Huurdeman, H., Kamps, J., Koolen, M., Skov, M., Toms, E., Walsh, D. (2015) Proceedings of the First International Workshop on Supporting Complex Search Tasks: co-located with the 37th European Conference on Information Retrieval (ECIR 2015) : Vienna, Austria, March 29, 2015.

CEUR Workshop Proceedings, Vol. 1338. CEUR-WS.

Book (Editorship) | http://ceur-ws.org/Vol-1338/ | UvA-DARE

Gagliardoni, T., Hülsing, A., Schaffner, C. (2016) Semantic security and indistinguishability in the quantum world.

In Robshaw, M. Katz, J. (Eds.), Advances in Cryptology – CRYPTO 2016: 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings (pp 60-89) (Lecture Notes in Computer Science, Vol. 9816). Springer.

Gakis, D. (2009) Aspects of modernism and modernity in Wittgenstein's early thought.

Contributions of the Austrian Ludwig Wittgenstein Society, Vol. XVII (pp 148-150)

Article | UvA-DARE

Gakis, D. (2010) Throwing away the ladder before climbing it.

Contributions of the Austrian Ludwig Wittgenstein Society, Vol. XVIII (pp 98-100)

Article | UvA-DARE

Gakis, D. (2012) Contextual metaphilosophy: the case of Wittgenstein.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Galeazzi, P. (2017) Play without regret.

Thesis, fully internal | UvA-DARE

Galeotti, L., Hanafi, A., Löwe, B. (2020) Relations between notions of gaplessness for non-Archimedean fields.

Houston Journal of Mathematics, Vol. 46 (pp 1017-1031)

Article | UvA-DARE

Galeotti, L., Nobrega, H. (2017) Towards Computable Analysis on the Generalised Real Line.

In Kari, J. Manea, F. Petre, I. (Eds.), Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings (pp 246-257) (Lecture Notes in Computer Science, Vol. 10307). Springer.

Galeotti, L. (2019) The theory of the generalised real numbers and other topics in logic.

Thesis, fully external | https://eprints.illc.uva.nl/id/eprint/2166/1/DS-2019-04.text.pdf | UvA-DARE

Galliani, P., Mann, A.L. (2010) Lottery semantics.

In Kontinen, J. Väänänen, J. (Eds.), Proceedings of Dependence and Independence in Logic: ESSLLI 2010 Workshop : Copenhagen, August 16-20, 2010 (pp 30-54). ILLC.

Galliani, P., Väänänen, J. (2014) On dependence logic.

In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp 101-119) (Outstanding contributions to logic, Vol. 5). Springer.

Galliani, P. (2010) Epistemic operators and uniform definability in dependence logic.

In Kontinen, J. Väänänen, J. (Eds.), Proceedings of Dependence and Independence in Logic: ESSLLI 2010 Workshop : Copenhagen, August 16-20, 2010 (pp 4-29). ILLC.