uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Carrara, M., Smid, Jeroen (2022) There is Overlap in Letters: A Mereological Definition of Word Types.
    Synthese, Vol. 200
  • Carrara, M., Smid, Jeroen (2022) On Cotnoir’s Two Notions of Proper Parthood.
    Philosophical Studies, Vol. 179 (pp 2787–2795)
  • Carreiro, F., Facchini, A., Venema, Y., Zanasi, F. (2014) Weak MSO: automata and expressiveness modulo bisimilarity.
    In Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): Vienna, Austria - July 14-18, 2014 . ACM.
  • Carreiro, F., Facchini, A., Venema, Y., Zanasi, F. (2020) The power of the weak.
    ACM Transactions on Computational Logic, Vol. 21
  • Carreiro, F., Facchini, A., Venema, Y., Zanasi, F. (2022) Model theory of monadic predicate logic with the infinity quantifier.
    Archive for Mathematical Logic, Vol. 61 (pp 465-502)
  • Carreiro, F., Gorín, D., Schröder, L. (2013) Coalgebraic Announcement Logics.
    In Fomin, F.V. Freivalds, R. Kwiatkowska, M. Peleg, D. (Eds.), Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings (pp 101-112) (Lecture Notes in Computer Science
    Advanced Research in Computing and Software Science, Vol. 7966). Springer.
  • Carreiro, F., Venema, Y. (2014) PDL Inside the μ-calculus: A Syntactic and an Automata-theoretic Characterization.
    In Goré, R. Kooi, B. Kurucz, A. (Eds.), Advances in Modal Logic: AiML 10 (pp 74-93). College Publications.
  • Carreiro, F. (2015) PDL is the bisimulation-invariant fragment of Weak Chain Logic.
    In Proceedings, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science: LICS 2015: 6-10 July 2015, Kyoto, Japan (pp 341-352). IEEE Computer Society.
    Conference contribution | https://doi.org/10.1109/LICS.2015.40 | UvA-DARE
  • Carreiro, F.M. (2015) Fragments of fixpoint logics: Automata and expressiveness.
    Thesis, fully internal | UvA-DARE
  • Carriero, Valentina Anita, Ciroku, Fiorela, de Berardinis, Jacopo, Martinez Pandiani, Delfina Sol, Meroño-Peñuela, Albert, Poltronieri, Andrea, Presutti, Valentina (2021) Semantic Integration of MIR Datasets with the Polifonia Ontology Network.
  • Castermans, T., Speckmann, B., Verbeek, K., Westenberg, M.A., Betti, A., van den Berg, H. (2016) GlamMap: Geovisualization for E-Humanities.
    In 1st Workshop on Visualization for the Digital Humanities: Monday, 24 October 2016 - Baltimore, Maryland, USA : accepted papers . VIS4DH.
  • Castermans, T., Verbeek, K., Speckmann, B., Westenberg, M.A., Koopman, R., Wang, S., van den Berg, H., Betti, A. (2019) SolarView: Low Distortion Radial Embeddings with a Focus.
    IEEE Transactions on visualization and computer graphics, Vol. 25 (pp 2969-2982)
  • Castryck, W., Sotáková, J., Vercauteren, F. (2020) Breaking the decisional Diffie-Hellman problem for class group actions using genus theory.
    In Micciancio, D. Ristenpart, T. (Eds.), Advances in Cryptology – CRYPTO 2020: 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020 : proceedings (pp 92-120) ( Lecture Notes in Computer Science, Vol. 12171). Springer.
  • Cemgil, A.T., Kappen, B., Desain, P., Honing, H. (2000) On tempo-tracking: tempogram representation and Kalman filtering.
    Proceedings of the International Computer Music Conference, Vol. 2000 (pp 352-355)
    Article | UvA-DARE
  • Ceolin, D., van Son, Chantal, Aroyo, Lora, Noordegraaf, J.J., Sener, Ozkan, Sharma, Robin, Vossen, Piek, ter Braake, S., Tkacz, Lesia, Leemans, I., Bod, R. (2018) InfoQ: Computational Assessment of Information Quality on the Web.
    Paper | UvA-DARE
  • Cepparello, GIOVANNA (1995) Studies in Dynamic Logic.
    Thesis, fully external | UvA-DARE
  • Cerioli, M.R., Nobrega, H., Silveira, G., Viana, P. (2017) On the (in)dependence of the Dedekind-Peano axioms for natural numbers.
    Proceeding Series of the Brazilian Society of Computational and Applied Mathematics, Vol. 5
  • Cerioli, M.R., Nobrega, H., Viana, P. (2014) Decomposition by maxclique separators.
    Discrete mathematics, Vol. 337 (pp 119-126)
  • Cerquides, J., Endriss, U., Giovannucci, A., Rodríguez-Aguilar, J.A. (2007) Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions.
    In Veloso, M. (Eds.), Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007) (pp 1221-1226)
    Conference contribution | UvA-DARE
  • Chakraborti, M.K., Löwe, B., Mitra, M.N., Sarukkai, S. (2008) Logic, Navya-Nyāya & applications: Homage to Bimal Krishna Matilal.
    Studies in Logic. College Publications.
    Book (Editorship) | UvA-DARE
1 ... 69 70 71 72 73 74 75 76 77 ... 311

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