Instituto de Tecnología del Conocimiento (ITC)
Centre/Institut
![Foto de Instituto de Tecnología del Conocimiento (ITC)](/img/uploaded/0537A1CB55770E7FE3E05B6931EDA813.jpg)
![Foto de Universitat Politècnica de Catalunya](/img/noimage_org.png)
Universitat Politècnica de Catalunya
Barcelona, EspañaPublicacions en col·laboració amb investigadors/es de Universitat Politècnica de Catalunya (61)
2023
-
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
-
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
-
I CONGRESO ESPAÑOL DE VIDEOJUEGOS 2022
CEUR Workshop Proceedings
2019
-
Expert-based assessment of an augmentative and alternative communication tool
ACM International Conference Proceeding Series
-
The Termination and Complexity Competition
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
Constrained dynamic partial order reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)
-
Reuse Detector: Improving the Management of STT-RAM SLLCs
Computer Journal, Vol. 61, Núm. 6, pp. 856-880
-
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
-
Proving termination through conditional termination
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
-
Conceptual Map for Social Coordination
Law, Governance and Technology Series (Springer Science and Business Media B.V.), pp. 11-23
-
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
-
Compositional safety verification with Max-SMT
Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015
-
Normal higher-order termination
ACM Transactions on Computational Logic, Vol. 16, Núm. 2
-
Termination competition (TermCOMP 2015)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
The computability path ordering
Logical Methods in Computer Science, Vol. 11, Núm. 4
2014
-
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)
-
Proving non-termination using max-SMT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
Paramodulation with non-monotonic orderings and simplification
Journal of Automated Reasoning, Vol. 50, Núm. 1, pp. 51-98
-
Proving termination of imperative programs using Max-SMT
2013 Formal Methods in Computer-Aided Design, FMCAD 2013