Fernández, R. (2022) Dialogue.

In Mitkov, R. (Eds.), The Oxford Handbook of Computational Linguistics (pp 179–204). Oxford University Press.

Fernández-Fernández, C., Velázquez-Quesada, F.R. (2018) Reconsidering the 'Ingredients' of Explicit Knowledge.

In Arazim, P. Lávička, T. (Eds.), The Logica Yearbook 2017 (pp 47-60). College Publications.

Fernández-Fernández, C., Velázquez-Quesada, F.R. (2019) A formal model for Explicit Knowledge as Awareness-of plus Awareness-that.

In Sedlár, I. Blicha, M. (Eds.), The Logica Yearbook 2018 (pp 101-115). College Publications.

Fernández-Fernández, C., Velázquez-Quesada, F.R. (2021) Awareness of and awareness that: their combination and dynamics.

Logic Journal of the IGPL, Vol. 29 (pp 601–626)

Article | https://doi.org/10.1093/jigpal/jzz043 | UvA-DARE

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)

Special issue (Editorship) | https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic/vol/163/issue/6 | UvA-DARE

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.

Book (Editorship) | https://doi.org/10.1007/978-3-642-13962-8 | UvA-DARE

Ferreira, F., Löwe, B., Mayordomo, E. (2012) CiE: Programs, Proofs, Processes.

Theory of Computing Systems, Vol. 51 (pp 267-400)

Special issue (Editorship) | https://link.springer.com/journal/224/51/3/page/1 | UvA-DARE

Fervari, R., Velázquez-Quesada, F.R., Wang, Y. (2017) Bisimulations for knowing how logics.

In Proceedings 5th International Workshop on Strategic Reasoning SR 2017

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)

Article | https://doi.org/10.1016/j.jlamp.2019.06.005 | UvA-DARE

Figueroa, D., van den Berg, B. (2022) A topos for continuous logic.

Theory and Applications of Categories, Vol. 38 (pp 1108–1135)

Article | http://www.tac.mta.ca/tac/volumes/38/28/38-28abs.html | UvA-DARE

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.

Book (Editorship) | https://doi.org/10.4230/OASIcs.CMN.2013.i | UvA-DARE

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

Article | https://doi.org/10.1145/2716307 | UvA-DARE

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)

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)

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)