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)

Franceschet, M., Montanari, A., de Rijke, M. (2000) Model Checking for combined logics.

In Workshop Proceedings ICTL 2000

Franceschet, M., Montanari, A., de Rijke, M. (2004) Model checking for combined logics with an application to mobile systems.

Automated Software Engineering, Vol. 11 (pp 289-321)

Article | UvA-DARE

Franceschet, M., ten Cate, B. (2004) Guarded fragments with constants.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Franceschet, M. (2004) XPathMark: An XPath benchmark for XMark.

Software | http://www.science.uva.nl/~francesc/xpathmark | UvA-DARE

Frank, S.L., Bod, R., Christiansen, M.H. (2012) How Hierarchical is Language Use?.

Proceedings of the Royal Society B-Biological Sciences, Vol. 279 (pp 4522-4531)

Article | https://doi.org/10.1098/rspb.2012.1741 | UvA-DARE

Frank, S.L., Bod, R. (2011) Insensitivity of the Human Sentence-Processing System to Hierarchical Structure.

Psychological Science, Vol. 22 (pp 829-834)

Article | https://doi.org/10.1177/0956797611409589 | UvA-DARE

Frank, S.L., Čerňanský, M. (2008) Generalization and systematicity in echo state networks.

In Love, B.C. McRae, K. Sloutsky, V.M. (Eds.), Proceedings of the 30th Annual Conference of the Cognitive Science Society (pp 733-738). Cognitive Science Society.