uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Gerbrandy, J., Marx, M., de Rijke, M., Venema, Y. (1999) JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday.
    Vossiuspers - Amsterdam University Press.
    Book (Editorship) | UvA-DARE
  • Geschke, S., Lowe, B., Schlicht, P. (2014) Infinity, Computability and Metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch.
    Tributes, Vol. 23. College Publications.
    Book (Editorship) | UvA-DARE
  • Gesmundo, F., Landsberg, J.M., Walter, M. (2018) Matrix product states and the quantum max-flow/min-cut conjectures.
    Journal of Mathematical Physics, Vol. 59
  • Geva, S., Kamps, J., Lehtonen, M., Schenkel, R., Thom, J.A., Trotman, A. (2010) Overview of the INEX 2009 ad hoc track.
    In Geva, S. Kamps, J. Trotman, A. (Eds.), Focused Retrieval and Evaluation: 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009 : revised and selected papers (pp 4-25) (Lecture Notes in Computer Science, Vol. 6203). Springer.
  • Geva, S., Kamps, J., Lethonen, M., Schenkel, R., Thom, J.A., Trotman, A. (2009) Overview of the INEX 2009 Ad Hoc Track.
    In Geva, S. Kamps, J. Trotman, A. (Eds.), INEX 2009 workshop pre-proceedings (pp 16-50). IR Publications.
  • Geva, S., Kamps, J., Peters, C., Sakai, T., Trotman, A., Voorhees, E. (2009) Proceedings of the SIGIR 2009 Workshop on the Future of IR Evaluation.
    IR Publications.
  • Geva, S., Kamps, J., Schenkel, R., Trotman, A. (2010) INEX 2010 Workshop Pre-proceedings.
    IR Publications.
    Book (Editorship) | UvA-DARE
  • Geva, S., Kamps, J., Schenkel, R., Trotman, A. (2011) Preface.
    In Geva, S. Kamps, J. Schenkel, R. Trotman, A. (Eds.), Comparative Evaluation of Focused Retrieval: 9th International Workshop of the Inititative for the Evaluation of XML Retrieval, INEX 2010, Vugh, The Netherlands, December 13-15, 2010 : revised selected papers (pp V-VI) (Lecture Notes in Computer Science, Vol. 6932). Springer.
  • Geva, S., Kamps, J., Schenkel, R., Trotman, A. (2011) Comparative Evaluation of Focused Retrieval: 9th International Workshop of the Inititative for the Evaluation of XML Retrieval, INEX 2010, Vugh, The Netherlands, December 13-15, 2010 : revised selected papers.
    Lecture Notes in Computer Science, Vol. 6932. Springer.
  • Geva, S., Kamps, J., Schenkel, R. (2011) INEX 2011 Workshop Pre-proceedings.
    IR Publications.
    Book (Editorship) | UvA-DARE
  • Geva, S., Kamps, J., Schenkel, R. (2012) Focused Retrieval of Content and Structure: 10th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2011, Saarbrücken, Germany, December 12-14, 2011, Revised Selected Papers.
    Lecture Notes in Computer Science, Vol. 7424. Springer.
    Book (Editorship) | UvA-DARE
  • Geva, S., Kamps, J., Trotman, A. (2009) INEX 2009 workshop pre-proceedings.
    IR Publications.
  • Geva, S., Kamps, J., Trotman, A. (2009) Advances in Focused Retrieval: 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008 : revised and selected papers.
    Lecture Notes in Computer Science, Vol. 5631. Springer.
  • Geva, S., Kamps, J., Trotman, A. (2010) Focused Retrieval and Evaluation: 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009 : revised and selected papers.
    Lecture Notes in Computer Science, Vol. 6203. Springer.
  • Gheerbrant, A.P., ten Cate, B. (2009) Complete axiomatizations of MSO, FO(TC1) and FO(LFP1) on finite trees.
    In Artemov, S. Nerode, A. (Eds.), Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings (pp 180-196) (Lecture Notes in Computer Science, Vol. 5407). Springer.
  • Gheerbrant, A.P., ten Cate, B. (2009) Craig interpolation for linear temporal languages.
    In Grädel, E. Kahle, R. (Eds.), Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings (pp 287-301) (Lecture Notes in Computer Science, Vol. 5771). Springer.
  • Gheerbrant, A.P. (2010) Complete axiomatization of the stutter-invariant fragment of the linear time µ-calculus.
    In Beklemishev, L. Goranko, V. Shehtman, V. (Eds.), Advances in Modal Logic: AiML 8 (pp 140-155). College Publications.
  • Gheerbrant, A.P. (2010) Fixed-point logics on trees.
    Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • Ghiara, V., Russo, F. (2019) Reconstructing the mixed mechanisms of health: the role of bio- and socio-markers.
    Longitudinal and Life Course Studies, Vol. 10 (pp 7-25)
  • Ghilardi, S., van Gool, S.J. (2016) Monadic second order logic as the model companion of temporal logic.
    In Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016): July 5-8, 2016, New York City, USA (pp 417-426). The Association for Computing Machinery.
1 ... 114 115 116 117 118 119 120 121 122 ... 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