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.

Fortuin, E.L.J. (2001) Polysemy or monosemy: Interpretation of the imperative and the dative-infinitive construction in Russian.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Frampton, M., Fernández, R., Ehlen, P., Christoudias, M., Darrell, T., Peters, S. (2009) Who is "you"? Combining linguistic and gaze features to resolve second-person references in dialogue.

In Lascarides, A. Gardent, C. Nivre, J. (Eds.), Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics: EACL 2009: 30 March-3 April 2009, Megaron Athens International Conference Centre, Athens, Greece (pp 273-281). Association for Computational Linguistics (ACL).

Franceschet, M., Colavizza, G., Smith, T., Finucane, B., Ostachowski, M.L., Scalet, S., Perkins, J., Morgan, J., Hernández, S. (2021) Crypto Art: A Decentralized View.

Leonardo, Vol. 54 (pp 402-405, 435)

Article | https://doi.org/10.1162/leon_a_02003 | UvA-DARE

Franceschet, M., Colavizza, G. (2020) Quantifying the higher-order influence of scientific publications.

Scientometrics, Vol. 125 (pp 951–963)

Article | https://doi.org/10.1007/s11192-020-03580-9 | UvA-DARE

Franceschet, M., Combi, C., Peron, A. (2002) A logical approach to represent and reason about calendars.

In International Symposium on temporal representation and reasoning (pp 134-140). IEEE Computer Society Press.

Franceschet, M., de Rijke, M., Schlingloff, H. (2003) Hybrid logics on linear structures: expressivity and complexity.

In Proceedings of the International Symposium on temporal representation and reasoning - International Conference on Temporal Logic. IEEE Computer Society Press.

Franceschet, M., de Rijke, M. (2003) Model checking for hybrid logics.

In Proceedings of the Workshop Methods for Modalities (pp 109-124)