Publications in collaboration with researchers from Universidad Carlos III de Madrid (15)

2024

  1. Structural dynamics of plant-pollinator mutualistic networks

    PNAS Nexus, Vol. 3, Núm. 6

2023

  1. COLLECTIVE INTELLIGENCE AND DIGITAL PARTICIPATORY PLATFORMS: Learnings from Barcelona’s Decidim

    The Routledge Handbook of Collective Intelligence for Democracy and Governance (Taylor and Francis), pp. 326-338

2021

  1. Int5Gent: An integrated end-to-end system platform for verticals and data plane solutions beyond 5G

    2021 Joint European Conference on Networks and Communications and 6G Summit, EuCNC/6G Summit 2021

2020

  1. Towards an Educational Model for Lifelong Learning

    Lecture Notes in Networks and Systems (Springer), pp. 537-546

2017

  1. Fair Coexistence of Scheduled and Random Access Wireless Networks: Unlicensed LTE/WiFi

    IEEE/ACM Transactions on Networking, Vol. 25, Núm. 6, pp. 3267-3281

2016

  1. srsLTE: An open-source platform for LTE evolution and experimentation

    Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM

2014

  1. On the evocative power and play value of a wearable movement-to-sound interaction accessory in the free-play of schoolchildren

    Journal of Ambient Intelligence and Smart Environments, Vol. 6, Núm. 3, pp. 313-330

  2. Spanish Indignados and the evolution of the 15M movement on Twitter: towards networked para-institutions

    Journal of Spanish Cultural Studies, Vol. 15, Núm. 1-2, pp. 189-216

2013

  1. Grupos sobre alimentación saludable en Facebook: Características y contenidos

    Gaceta Sanitaria, Vol. 27, Núm. 4, pp. 355-357

2010

  1. A UML/OCL framework for the analysis of graph transformation rules

    Software and Systems Modeling, Vol. 9, Núm. 3, pp. 335-357

  2. Lightweight executability analysis of graph transformation rules

    Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010

  3. Synthesis of OCL pre-conditions for graph transformation rules

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Verification and validation of declarative model-to-model transformations through invariants

    Journal of Systems and Software, Vol. 83, Núm. 2, pp. 283-302

2008

  1. An invariant-based method for the analysis of declarative model-to-model transformations

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Analysing graph transformation rules through OCL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)