uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Fuhr, N., Kamps, J., Lalmas, M., Trotman, A. (2008) Focused Access to XML Documents: 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007 Dagstuhl Castle, Germany, December 17-19, 2007 : revised and selected papers.
    Lecture Notes in Computer Science, Vol. 4862. Springer.
  • Fundulaki, I., Marx, M. (2003) Mediation of XML Data through Entity Relationship Models.
    In Proceedings of the 1st International Workshop on Semantic Web and Databases
    Conference contribution | UvA-DARE
  • Fundulaki, I., Marx, M. (2004) Specifying Access Control Policies for XML Documents with XPath.
    In Proceedings of the 9th ACM Symposium on Access Control Models and Technologies (SACMAT) (pp 61-69). ACM Press.
    Conference contribution | UvA-DARE
  • Furrer, F., Gehring, T., Schaffner, C., Pacher, C., Schnabel, R., Wehner, S.D.C. (2018) Continuous-Variable Protocol for Oblivious Transfer in the Noisy-Storage Model.
    Nature Communications, Vol. 9
  • 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., Vitányi, 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.H.A., 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.H.A., 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.
    Conference contribution | http://ceur-ws.org/Vol-1391/78-CR.pdf | UvA-DARE
  • Gäde, M., Hall, M., Huurdeman, H., Kamps, J., Koolen, M.H.A., 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.H.A., 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.H.A., 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.
1 ... 111 112 113 114 115 116 117 118 119 ... 308

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