Fiutek, V. (2013) Playing with knowledge and belief.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Flaherty, M., Schouwstra, M. (2025) Validating Silent Gesture Lab Studies in a Naturally Emerging Sign Language: How Order is Used to Describe Intensional Versus Extensional Events in Nicaraguan Sign Language.

Topics in Cognitive Science, Vol. 17 (pp 609-624)

Article | https://doi.org/10.1111/tops.12751 | UvA-DARE

Flesher Fominaya, C., Milan, S., Beraldo, D. (2025) Contentious Data in Movement.

Routledge.

Book (Editorship) | https://doi.org/10.4324/9781003541028 | UvA-DARE

Fleuren, L.M., Fornasa, M., Cina, G., Hoogendoorn, M., Elbers, P.W.G. (2021) Predictors for extubation failure in COVID-19 patients using a machine learning approach.

Critical Care, Vol. 25

Article | https://doi.org/10.1186/s13054-021-03864-3 | UvA-DARE

Florio, S., Incurvati, L. (2019) Metalogic and the Overgeneration Argument.

Mind, Vol. 128 (pp 761-793)

Article | https://doi.org/10.1093/mind/fzy059 | UvA-DARE

Florio, S., Incurvati, L. (2021) Overgeneration in the Higher Infinite.

In Sagi, G. Woods, J. (Eds.), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning (pp 142-159). Cambridge University Press.

Flum, J., Rodríguez-Artalejo, M. (1999) Proceedings of the 8th Annual Conference of the EACSL, Madrid, September 1999.

Lecture Notes in Computer Science, Vol. 1683. Springer.

Book (Editorship) | UvA-DARE

Foeldesi, C., Müller, K.E., de Rijke, M. (2003) Using the Corpus Gesproken Nederlands to Build a named Entity Recognizer.

In 14th Meeting of Computational Linguistics in the Netherlands

Fokkens, Antske, ter Braake, S., Maks, I., Ceolin, D. (2016) On the Semantics of Concept Drift: Towards Formal Definitions of Semantic Change.

In Hollink, L. Darányi, S. Meroño Peñuela, A. Kontopoulos, E. (Eds.), Proceedings of the 1st Workshop on Detection, Representation and Management of Concept Drift in Linked Open Data: co-located with the 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2016) : Bologna, Italy, November, 2016 (pp 10-17) (CEUR Workshop Proceedings, Vol. 1799). CEUR-WS.

Fokkens, Antske, ter Braake, S., Ockeloen, Niels, Vossen, P., Legêne, S., Schreiber, G. (2014) BiographyNet: Methodological issues when NLP supports historical research.

In Calzolari, N. Choukri, K. Declerck, T. Loftsson, H. Maegaard, B. Mariani, J. Moreno, A. Odijk, J. Piperidis, S. (Eds.), Proceedings of the 9th International Conference on Language Resources and Evaluation, LREC 2014: May 26-31, 2014, Reykjavik, Iceland : proceedings (pp 3728-3735). European Language Resources Association (ELRA).

Fokkens, Antske, ter Braake, S., Ockeloen, Niels, Vossen, P.T.J.M., Legene, S., Schreiber, A.T., de Boer, V. (2017) BiographyNet: Extracting Relations Between People and Events.

In Bernád, Á. Z. Gruber, C. Kaiser, M. (Eds.), Europa baut auf Biographien: Aspekte, Bausteine, Normen und Standards für eine europäische Biographik (pp 193-224). New Academic Press.

Folkertsma, M.J. (2026) Empowering quantum computation with: measurements, catalysts, and guiding states.

ILLC Dissertation Series

Thesis, fully internal | UvA-DARE

Fonseca, João, Lô, G., Acar, E., Santos, F. (2026) The Interplay between Media, Politics, and Online Behaviour: Measuring the Dynamics of Discriminatory Climates: Research for the State Commission against Discrimination and Racism.

SIAS Research Group, Informatics Institute, Faculty of Science, University of Amsterdam.

Report | https://www.staatscommissietegendiscriminatieenracisme.nl/documenten/2026/02/11/voortgangsrapportage---tussen-kamer-krant-en-sociale-media | UvA-DARE

Fontaine, G., Leal, R., Venema, Y. (2010) Automata for Coalgebras: an approach using predicate liftings.

In Abramsky, S. Gavoille, C. Kirchner, C. Meyer auf der Heide, F. Spirakis, P.G. (Eds.), Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings (pp 381-392) (Lecture Notes in Computer Science
Advanced Research in Computing and Software Science, Vol. 6199). Springer.

Fontaine, G., Venema, Y. (2018) Some model theory for the modal μ-calculus: Syntactic characterisations of semantic properties.

Logical Methods in Computer Science, Vol. 14

Article | https://doi.org/10.23638/LMCS-14(1:14)2018 | UvA-DARE

Fontaine, G. (2006) ML is not finitely axiomatizable over Cheq.

In Governatori, G. Hodkinson, I. Venema, Y. (Eds.), Advances in Modal Logic 6 (pp 139-146). College Publications.

Fontaine, G. (2008) Continuous Fragment of the mu-Calculus.

In Kaminski, M. Martini, S. (Eds.), Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings (pp 139-153) (Lecture Notes in Computer Science, Vol. 5213). Springer.

Fontaine, G. (2010) Modal fixpoint logic: some model theoretic questions.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Fortnow, L., Rogers, J. (1997) Complexity limitations on quantum computation.

Technical Report. DePaul University School of Computer Science.

Report | UvA-DARE

Fortnow, L. (1997) Counting complexity.

In Selman, L. Hemaspaandra, A. (Eds.), Complexity Theory Retrospective II (pp 81-107). Springer.