Jesús Lavalle

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 4

Top Topics

Multiple Constraints

Alternating Time Temporal Logic

Top Venues

Computación y Sistemas

Electron. Notes Theor. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Andrés Vázquez, David Pinto, Jesús Lavalle, Héctor Jiménez-Salazar, Darnes Vilariño
Grammatical Inference of Semantic Components in Dialogues. Computación y Sistemas 24 (2) (2020)
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle, Guillermo Molero-Castillo
Presburger Constraints in Trees. Computación y Sistemas 24 (1) (2020)
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle
On Regular Paths with Counting and Data Tests. Electron. Notes Theor. Comput. Sci. 328 (2016)
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle
Query reasoning on data trees with counting. LANMR (2016)
Everardo Bárcenas, Edgard Benítez-Guerrero, Jesús Lavalle
On the Model Checking of the Graded μ-calculus on Trees. MICAI (1) (2015)
Everardo Bárcenas, Jesús Lavalle
Global Numerical Constraints on Trees. Log. Methods Comput. Sci. 10 (2) (2014)
Everardo Bárcenas, Jesús Lavalle
Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals. MICAI (1) (2013)