Flaminio, Tommaso, Lapenta, Serafina, Napolitano, Sebastiano (2025) Unimodular triangulations in Łukasiewicz logic: Complexity bounds of probabilistic coherence.

International Journal of Approximate Reasoning, Vol. 187

Article | https://doi.org/10.1016/j.ijar.2025.109565 | 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, externally prepared | 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.

Fortnow, L. (1997) Nondeterministic polynomial time versus nondeterministic logarithmic space: Time-space tradeoffs for satisfiability.

In Proceedings of the 12th IEEE Conference on Computational Complexity (pp 52-60). IEEE.