Cina, G., Röber, T., Goedhart, R., Birbil, S.I. (2025) Why we do need explainable AI for healthcare.

Diagnostic and Prognostic Research, Vol. 9

Article | https://doi.org/10.1186/s41512-025-00209-4 | UvA-DARE

Cina, G. (2014) A Formal Analysis of the Best System Account of Lawhood.

Rivista Italiana di Filosofia Analitica Junior, Vol. 5 (pp 59-73)

Article | UvA-DARE

Cina, G. (2014) Connecting the Categorical and the Modal Logic Approaches to Quantum Mechanics.

In Proceedings of ESSLLI 2014 Student Session

Cina, G. (2016) Mixing Categories and Modal Logics in the Quantum Setting.

In Aerts, D. de Ronde, C. Freytes, H. Giuntini, R. (Eds.), Probing the Meaning of Quantum Mechanics: superpositions, dynamics, semantics and identity ; Quantum Mechanics and Quantum Information: Physical, Philosophical and Logical Approaches, Cagliari, Italy, 23-25 July 2014 (pp 60-75). World Scientific.

Cina, G. (2017) Categories for the working modal logician.

Thesis, fully internal | UvA-DARE

Cinti, E., De Haro, S., Golden, Mark S., Gürsoy, Umut, Stoof, Henk T.C. (2026) Holographic Strange Metals for Philosophers and Physicists.

Foundations of Physics, Vol. 56

Article | https://doi.org/10.1007/s10701-025-00907-5 | UvA-DARE

Cinti, E., Sanchioni, M. (2024) Beyond the Quantum Membrane Paradigm: A Philosophical Analysis of the Structure of Black Holes in Full QG.

Foundations of Physics, Vol. 54

Article | https://doi.org/10.1007/s10701-024-00758-6 | UvA-DARE

Cinti, E., Sanchioni, M. (2025) Bridging supersymmetry and the spin-statistics theorem: a quest for emergence.

Synthese, Vol. 205

Article | https://doi.org/10.1007/s11229-024-04895-3 | UvA-DARE

Cirstea, C., Kurz, A., Pattinson, D., Schröder, L., Venema, Y. (2011) Modal logics are coalgebraic.

Computer Journal, Vol. 54 (pp 31-41)

Article | https://doi.org/10.1093/comjnl/bxp004 | UvA-DARE

Ciuni, R., Proietti, C. (2019) TRL semantics and Burgess' formula.

In Blackburn, P. Hasle, P. Øhrstrøm, P. (Eds.), Logic and Philosophy of Time: Further Themes from Prior (pp 163-181) (Logic and Philosophy of Time, Vol. 2). Aalborg University Press.

Clarke, B., Ghiara, V., Russo, F. (2019) Time to care: why the humanities and the social sciences belong in the science of health.

BMJ Open, Vol. 9

Article | https://doi.org/10.1136/bmjopen-2019-030286 | UvA-DARE

Clarke, B., Russo, F. (2016) Causation in medicine.

In Marcum, J.A. (Eds.), The Bloomsbury companion to contemporary philosophy of medicine (pp 297-322) (Bloomsbury companions). Bloomsbury Academic.

Clarke, B., Russo, F. (2018) Mechanisms and biomedicine.

In Glennan, S. Ilari, P. (Eds.), The Routledge Handbook of Mechanisms and Mechanical Philosophy (pp 319-331) (Routledge Handbooks in Philosophy). Routledge.

Clarke, C., Kamps, J., Lalmas, M. (2006) INEX 2006 retrieval task and result submission specification.

In INEX 2006 Workshop Pre-Proceedings (pp 381-388)

Clarke, C., Kamps, J., Lalmas, M. (2007) INEX 2007 retrieval task and result submission format.

In Pre-Proceedings of INEX 2007 (pp 445-453)

Clarke, C.L.A., Kantor, Paul, Roegiest, Adam, Trippas, Johanne R., Ren, Zhaochun, Bucarelli, Maria Sofia, Fu, Xiao, Fan, Yixing, Granitzer, Michael, Graus, David, Heuss, Maria, Kamps, J., Lei, Yibin, Parry, Andrew, Reijnaers, Damiaan, de Rijke, M., Singh, Siddharth A.K., Tang, Yubao, Verberne, Suzan, Wallat, Jonas, Wang, Yumeng, Xu, Chen, Yates, Andrew, Zerhoudi, Saber, Zhao, Jujia (2025) Report on the 2nd Search Futures Workshop at ECIR 2025.

SIGIR Forum, Vol. 59

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

Cleve, R., Slofstra, W., Unger, Falk, Upadhyay, S. (2008) Perfect parallel repetition theorem for quantum XOR proof systems.

Computational Complexity, Vol. 17 (pp 282-299)

Article | https://doi.org/10.1007/s00037-008-0250-4 | UvA-DARE

Coath, M., Denham, S.L., Smith, L.M., Honing, H., Hazan, A., Holonowicz, P., Purwins, H. (2009) Model cortical responses for the detection of perceptual onsets and beat tracking in singing.

Connection Science, Vol. 21 (pp 193-205)

Article | https://doi.org/10.1080/09540090902733905 | UvA-DARE

Coath, M., Denham, S.L., Smith, L.M., Honing, H., Hazan, A., Purwins, H. (2007) An auditory model for the detection of perceptual onsets and beat tracking in singing.

In D.R. Hardoon, H. Purwins (Eds.), Workshop at Neural Information Processing Systems (NIPS) conference. NIPS.

Cobreros, P., Égré, P., Ripley, D., van Rooij, R. (2012) Tolerant, classical, strict.

Journal of Philosophical Logic, Vol. 41 (pp 347-385)

Article | https://doi.org/10.1007/s10992-010-9165-z | UvA-DARE