Publications in collaboration with researchers from Universitat Politècnica de Catalunya (19)

2021

  1. A navigational logic for reasoning about graph properties

    Journal of Logical and Algebraic Methods in Programming, Vol. 118

2020

  1. Incremental concurrent model synchronization using triple graph grammars

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

2018

  1. Institutions for navigational logics for graphical structures

    Theoretical Computer Science, Vol. 741, pp. 19-24

  2. Towards a navigational logic for graphical structures

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Verlag), pp. 124-141

2015

  1. Satisfiability of constraint specifications on XML documents

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

2013

  1. Invariant-free clausal temporal resolution

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

2012

  1. Semantics of structured normal logic programs

    Journal of Logic and Algebraic Programming, Vol. 81, Núm. 5, pp. 559-584

2009

  1. Dual Systems of Tableaux and Sequents for PLTL

    Journal of Logic and Algebraic Programming, Vol. 78, Núm. 8, pp. 701-722

2008

  1. A functorial framework for constraint normal logic programming

    Applied Categorical Structures, Vol. 16, Núm. 3, pp. 421-450

2007

  1. A cut-free and invariant-free sequent calculus for PLTL

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

2006

  1. A functrial framework for constraint normal logic programming

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

  2. A transformational semantics of static embedded implications of normal logic pro

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

2004

  1. Constructive negation by bottom-up computation of literal answers

    Proceedings of the ACM Symposium on Applied Computing

1999

  1. Algebraic framework for the definition of compositional semantics of normal logic programs

    Journal of Logic Programming, Vol. 40, Núm. 1, pp. 89-123

1998

  1. The structure of logarithmic advice complexity classes

    Theoretical Computer Science, Vol. 207, Núm. 1, pp. 217-244

1995

  1. Learnability of kolmogorov-easy circuit expressions via queries

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

  2. On the correctness of modular systems

    Theoretical Computer Science, Vol. 140, Núm. 1, pp. 139-177

1994

  1. A Note on polynomial-size circuits with low resource-bounded Kolmogorov complexity

    Mathematical Systems Theory, Vol. 27, Núm. 4, pp. 347-356

1993

  1. Contextual rewriting as a sound and complete proof method for conditional LOG-specifications

    Acta Informatica, Vol. 30, Núm. 2, pp. 147-180