Searchable List of Research Output

Filter Publications
  • Ferrari, Filippo, Incurvati, L. (2021) The Varieties of Agnosticism.
    Philosophical Quarterly
    Article | UvA-DARE
  • Ferreira, F., Hyland, M., Löwe, B., Mayordomo, E. (2012) Computability in Europe 2010.
    Annals of Pure and Applied Logic, Vol. 163 (pp 621-742)
  • Ferreira, F., Löwe, B., Mayordomo, E., Mendes Gomes, L. (2010) Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010: Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings.
    Lecture Notes in Computer Science, Vol. 6158. Springer.
  • Ferreira, F., Löwe, B., Mayordomo, E. (2012) CiE: Programs, Proofs, Processes.
    Theory of Computing Systems, Vol. 51 (pp 267-400)
  • Fervari, R., Velazquez Quesada, F.R., Wang, Y. (2017) Bisimulations for knowing how logics.
    In Proceedings 5th International Workshop on Strategic Reasoning SR 2017
    Conference contribution | UvA-DARE
  • Fervari, R., Velázquez-Quesada, F.R. (2018) Dynamic Epistemic Logics of Introspection.
    In Madeira, A. Benevides, M. (Eds.), Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings (pp 82-97) (Lecture Notes in Computer Science, Vol. 10669). Springer.
  • Fervari, R., Velázquez-Quesada, F.R. (2019) Introspection as an action in relational models.
    Journal of Logical and Algebraic Methods in Programming, Vol. 108 (pp 1-23)
  • Figueroa, D., van den Berg, B. (2022) A topos for continuous logic.
    Theory and Applications of Categories, Vol. 38 (pp 1108–1135)
  • Filgueira, R., Jackson, M., Roubickova, A., Krause, A., Ahnert, R., Hauswedell, T., Nyhan, J., Beavan, D., Hobson, T., Ardanuy, M.C., Colavizza, G., Hetherington, J., Terras, M. (2019) defoe: A Spark-based Toolbox for Analysing Digital Historical Textual Data.
    In IEEE 15th International Conference on eScience: proceedings : 24-27 September 2019, San Diego, California (pp 235-242). IEEE Computer Society.
  • Finkensiep, C., Haeberle, M., Eisenbrand, F., Neuwirth, M., Rohrmeier, M. (2023) Repetition-Structure Inference With Formal Prototypes.
    In Sarti, A. Antonacci, F. Sandler, M. Bestagini, P. Dixon, S. Liang, B. Richard, G. Pauwels, J. (Eds.), Proceedings of the 24th International Society for Music Information Retrieval Conference: Milan, Italy, November 5-9, 2023 (pp 383-390). ISMIR.
  • Finlayson, M.A., Fisseni, B., Löwe, B., Meister, J.C. (2013) 2013 Workshop on Computational Models of Narrative: CMN'13, 4-6 August 2013, Hamburg, Germany.
    OpenAccess Series in Informatics, Vol. 32. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  • Fiorini, S., Massar, S., Pokutta, S., Tiwary, H.R., de Wolf, R. (2012) Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds.
    In STOC'12: 2012 ACM Symposium on Theory of Computing : May 19-22, 2012, New York, New York, USA (pp 95-106). ACM.
  • Fiorini, S., Massar, S., Pokutta, S., Tiwary, H.R., de Wolf, R. (2015) Exponential Lower Bounds for Polytopes in Combinatorial Optimization.
    Journal of the Association for Computing Machinery, Vol. 62
  • Fischer, S., Hemaspaandra, L.A., Torenvliet, L. (1997) Witness-isomorphic reductions and local search.
    In Sorbi, A. (Eds.), Complexity, Logic and Recursion Theory, Lecture Notes in Pure and Applied Mathematics (pp 207-223)
    Chapter | UvA-DARE
  • Fischer, S.T., Hemaspaandra, L.A., Torenvliet, L. (1995) Witness-Isomorphic Reductions and the Local Search Problem.
    In Proceedings of MFCS 95, Springer Lecture Notes 969 (pp 277-287)
    Chapter | UvA-DARE
  • Fischer, S.T., Torenvliet, L. (1995) The Malleability of TSP$_{\mathord{\rm 2OPT}}$.
    In Proceedings of WG 95, Springer Lecture Notes in Computer Science (pp 152-166)
    Chapter | UvA-DARE
  • Fischer, S.T., Trautwein, M.H. (1995) Proceedings Accolade '95.
    Dutch Graduate School in Logic (OZSL).
    Book (Editorship) | UvA-DARE
  • Fischer, S.T. (1995) The solution sets of local search problems.
    Thesis, fully internal | UvA-DARE
  • Fissaha Adafre, S., Ahn, D.D., de Rijke, M. (2004) Temporal expression extraction using conditional random fields.
    In 15th Meeting of Computational Linguistics in the Netherlands
    Conference contribution | UvA-DARE
  • Fissaha Adafre, S., Olejnik, D., Kornberger, R., Müller, K.E., Prescher, D.H.J.K. (2003) Experiments in German treebank parsing.
    In Proceedings of the 6th International Conference on Text, Speech and Dialogue (TSD-03)
    Conference contribution | UvA-DARE

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