-
Ferrari, Filippo, Incurvati, L. (2021) The Varieties of Agnosticism.Philosophical QuarterlyArticle | 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., Velazquez Quesada, F.R., Wang, Y. (2017) Bisimulations for knowing how logics.In Proceedings 5th International Workshop on Strategic Reasoning SR 2017Conference contribution | UvA-DAREFervari, 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.Conference contribution | https://doi.org/10.1007/978-3-319-73579-5_6 | UvA-DAREFervari, 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-DAREFigueroa, D., van den Berg, B. (2022) A topos for continuous logic.Theory and Applications of Categories, Vol. 38 (pp 1108–1135)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.Conference contribution | https://doi.org/10.1109/eScience.2019.00033 | UvA-DAREFinkensiep, 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.Conference contribution | https://doi.org/10.5281/zenodo.10265304 | UvA-DAREFinlayson, 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-DAREFiorini, 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.Conference contribution | https://doi.org/10.1145/2213977.2213988 | UvA-DAREFiorini, 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. 62Article | https://doi.org/10.1145/2716307 | UvA-DAREFischer, 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)Chapter | UvA-DAREFischer, 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)Chapter | UvA-DAREFischer, 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)Chapter | UvA-DAREFischer, S.T., Trautwein, M.H. (1995) Proceedings Accolade '95.Dutch Graduate School in Logic (OZSL).Book (Editorship) | UvA-DAREFischer, S.T. (1995) The solution sets of local search problems.Thesis, fully internal | UvA-DAREFissaha Adafre, S., Ahn, D.D., de Rijke, M. (2004) Temporal expression extraction using conditional random fields.In 15th Meeting of Computational Linguistics in the NetherlandsConference contribution | UvA-DAREFissaha Adafre, S., Olejnik, D., Kornberger, R., Müller, K.E., Prescher, D.H.J.K. (2003) Experiments in German treebank parsing.In Proceedings of the 6th International Conference on Text, Speech and Dialogue (TSD-03)Conference contribution | UvA-DARE
The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl