Publicaciones en colaboración con investigadores/as de Universitat Politècnica de Catalunya (61)

2023

  1. Circom: A Circuit Description Language for Building Zero-Knowledge Applications

    IEEE Transactions on Dependable and Secure Computing, Vol. 20, Núm. 6, pp. 4733-4751

2022

  1. Design and evaluation of ECO: an augmentative and alternative communication tool

    Universal Access in the Information Society, Vol. 21, Núm. 4, pp. 827-849

  2. I CONGRESO ESPAÑOL DE VIDEOJUEGOS 2022

    CEUR Workshop Proceedings

2019

  1. Expert-based assessment of an augmentative and alternative communication tool

    ACM International Conference Proceeding Series

  2. The Termination and Complexity Competition

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

2018

  1. Constrained dynamic partial order reduction

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

  2. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode

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

  3. Reuse Detector: Improving the Management of STT-RAM SLLCs

    Computer Journal, Vol. 61, Núm. 6, pp. 856-880

  4. SDN-Actors: Modeling and verification of SDN programs

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

2017

  1. Proving termination through conditional termination

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

2016

  1. Conceptual Map for Social Coordination

    Law, Governance and Technology Series (Springer Science and Business Media B.V.), pp. 11-23

  2. Speeding up the constraint-based method in difference logic

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

2015

  1. Compositional safety verification with Max-SMT

    Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015

  2. Normal higher-order termination

    ACM Transactions on Computational Logic, Vol. 16, Núm. 2

  3. Termination competition (TermCOMP 2015)

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

  4. The computability path ordering

    Logical Methods in Computer Science, Vol. 11, Núm. 4

2014

  1. Minimal-model-guided approaches to solving polynomial constraints and extensions

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

  2. Proving non-termination using max-SMT

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

2013

  1. Paramodulation with non-monotonic orderings and simplification

    Journal of Automated Reasoning, Vol. 50, Núm. 1, pp. 51-98

  2. Proving termination of imperative programs using Max-SMT

    2013 Formal Methods in Computer-Aided Design, FMCAD 2013