Publikationen in Zusammenarbeit mit Forschern von Universitat de Girona (13)

2022

  1. I CONGRESO ESPAÑOL DE VIDEOJUEGOS 2022

    CEUR Workshop Proceedings

2019

  1. Resource Analysis driven by (Conditional) Termination Proofs

    Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 722-739

2018

  1. Exploring the influence of industries and randomness in stock prices

    Empirical Economics, Vol. 55, Núm. 2, pp. 713-729

2017

  1. A hybrid automated trading system based on multi-objective grammatical evolution

    Journal of Intelligent and Fuzzy Systems, Vol. 32, Núm. 3, pp. 2461-2475

  2. A meta-grammatical evolutionary process for portfolio selection and trading

    Genetic Programming and Evolvable Machines, Vol. 18, Núm. 4, pp. 411-431

2013

  1. Paramodulation with non-monotonic orderings and simplification

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

2009

  1. Paramodulation with well-founded orderings

    Journal of Logic and Computation, Vol. 19, Núm. 2, pp. 263-302

2008

  1. A write-based solver F or SAT modulo the theory of arrays

    Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD

  2. The Barcelogic SMT solver: Tool paper

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

2004

  1. Redundancy notions for paramodulation with non-monotonic orderings

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

2003

  1. Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings

    Journal of Automated Reasoning, Vol. 30, Núm. 1, pp. 99-120

2002

  1. Well-foundedness is sufficient for completeness of ordered paramodulation

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

2000

  1. Modular redundancy for theorem proving

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