Areces, C.E., Heguiabehere, J.M. (2003) hGen: A random CNF formula generator for hybrid languages.

In Proceedings of Methods for Modalities 3, September

Areces, C.E., Hoogland, E., de Jongh, D. (1999) Interpolation, definability and fixed points in interpretability logics.

In Advances in Modal Logic

Areces, C.E., Hoogland, E., de Jongh, D. (2000) Interpolation, Definability and Fixed Points in Interpretability Logics.

In Segerberg, K. Zakharyaschev, M. de Rijke, M. Wansing, H. (Eds.), Advances in Modal Logic (pp 35-58) (CSLI Publications). CSLI.

Areces, C.E., Infante Lopez, G.G., de Rijke, M. (2002) Decomposing modal logic.

In Proceedings of Advances in Modal Logic 2002

Areces, C.E., Lutz, C. (2002) Concrete domains and nominals united.

In Proceedings of HYLO@LICS, 4th Workshop on Hybrid Logics. LICS 2002 Affiliated Workshop

Areces, C.E., Marx, M., Blackburn, P. (2000) The computational complexity of hybrid temporal logics.

Logic Journal of the IGPL, Vol. 8 (pp 653-679)

Article | UvA-DARE

Areces, C.E., Marx, M. (1997) Failure of interpolation.

Technical report. University of Warwick.

Report | UvA-DARE

Areces, C.E., Monz, C., de Nivelle, J.M.G.G., de Rijke, M. (1999) The guarded fragment: Ins and outs.

In Gerbrandy et al., J.D. (Eds.), JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Vossiuspers - Amsterdam University Press.

Areces, C.E. (1998) AGM Functions.

In Proc. of BR'98. Belief Revision Workshop (-)

Areces, C.E. (1998) Characterisation results for d-Horn Formulas.

In Proc. ITALLC98 (-). CSLI Publications.

Areces, C.E. (1999) Fragmentary memories.

In Gerbrandy et al., J.D. (Eds.), JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday

Areces, C.E. (2000) Logic Engineering. The Case of Description and Hybrid Logics.

ILLC dissertation series 2000-05.

Thesis, fully internal | UvA-DARE

Arie Erez, S., Blanke, T., Bryant, M., Rodriguez, K., Speck, R., Vanden Daelen, V. (2020) Record linking in the EHRI portal.

Records Management Journal, Vol. 30 (pp 363-378)

Article | https://doi.org/10.1108/RMJ-08-2019-0045 | UvA-DARE

Arienzo, M., Grinko, D., Kliesch, M., Heinrich, M. (2025) Bosonic Randomized Benchmarking with Passive Transformations.

PRX quantum, Vol. 6

Article | https://doi.org/10.1103/PRXQuantum.6.020305 | UvA-DARE

Arienzo, M., Grinko, D., Kliesch, M., Heinrich, M. (2025) Bosonic randomized benchmarking with passive transformations.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.2408.11111 | UvA-DARE

Arló-Costa, H., Hendricks, V.F., van Benthem, J.F.A.K. (2016) Readings in Formal Epistemology: Sourcebook.

Springer Graduate Texts in Philosophy, Vol. 1. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-319-20451-2 | UvA-DARE

Armas, Jay, Merbis, Wout, Meylahn, Janusz M., Rafiee Rad, Soroush, del Razo, Mauricio J. (2025) Risk aversion can promote cooperation.

Journal of Physics: Complexity, Vol. 6

Article | https://doi.org/10.1088/2632-072X/adb234 | UvA-DARE

Arnoult, S., Sima'an, K. (2012) Adjunct alignment in translation data with an application to phrase-based statistical machine translation.

In Cettolo, M. Federico, M. Specia, L. Way, A. (Eds.), EAMT 2012: proceedings of the 16th Annual Conference of the European Association for Machine Translation: Trento, Italy, May 28th-30th 2012 (pp 287-294). Fondazione Bruno Kessler.

Arnoult, S., Sima'an, K. (2014) How Synchronous are Adjuncts in Translation Data?.

In Wu, D. Carpuat, M. Carreras, X. Vecchi, E.M. (Eds.), Proceedings of SSST-8 : Eighth Workshop on Syntax, Semantics and Structure in Statistical Translation: EMNLP 2014/SIGMT/SIGLEX Workshop : 25 October, 2014, Doha, Qatar (pp 157-165). Association for Computational Linguistics.

Arnoult, S.I., Sima'an, K. (2015) Modelling the Adjunct/Argument Distinction in Hierarchical Phrase-Based SMT.

In Proceedings of the 1st Deep Machine Translation Workshop (DMTW 2015) (pp 2-11)