Go to the content (press return)

Scientific and technological production

1 to 49 of 49 results
 
  • Automatic evaluation of context-free grammars (system description)

     Creus Lopez, Carles; Godoy Balil, Guillermo
    International Conference on Rewriting Techniques and Applications
    p. 139-148
    DOI: 10.1007/978-3-319-08918-8-10
    Presentation's date: 2014-07-14
    Presentation of work at congresses
  • Tree automata with height constraints between brothers

     Creus Lopez, Carles; Godoy Balil, Guillermo
    International Conference on Rewriting Techniques and Applications
    p. 149-163
    DOI: 10.1007/978-3-319-08918-8-11
    Presentation's date: 2014-07-14
    Presentation of work at congresses
  • Automatic evaluation of reductions between NP-complete problems

     Creus Lopez, Carles; Fernandez Duran, Pablo; Godoy Balil, Guillermo
    International Conference on Theory and Applications of Satisfiability Testing
    p. 415-421
    DOI: 10.1007/978-3-319-09284-3_30
    Presentation's date: 2014-07-14
    Presentation of work at congresses
  • Variants of unification considering compression and context variables

     Gascon Caro, Adrian
    Universitat Politècnica de Catalunya
    Theses
  • Excessively duplicating patterns represent non-regular languages

     Creus Lopez, Carles; Godoy Balil, Guillermo; Ramos Garrido, Lander
    Information processing letters
    Vol. 114, num. 3, p. 85-93
    DOI: 10.1016/j.ipl.2013.11.010
    Date of publication: 2014-03-01
    Journal article
  • Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals

     Cortadella Fortuny, Jordi; Orejas Valdes, Fernando; Martinez Parra, Conrado; Serna Iglesias, Maria Jose; Alvarez Faura, Maria Del Carme; Gabarro Valles, Joaquin; Atserias, Albert; Messeguer Peypoch, Xavier; Petit Silvestre, Jordi; Pino Blanco, Elvira Patricia; Roura Ferret, Salvador; Valiente Feruglio, Gabriel Alejandro; Carmona Vargas, Jose; Godoy Balil, Guillermo; Duch Brown, Amalia; Blesa Aguilera, Maria Jose; Molter, Hendrik; De San Pedro Martín, Javier; Muñoz Gama, Jorge; Diaz Cort, Jose Maria
    Competitive project
  • Modelos y métodos computacionales para datos masivos estructurados

     Diaz Cort, Jose Maria; Cortadella Fortuny, Jordi; Serna Iglesias, Maria Jose; Alvarez Faura, Maria Del Carme; Pino Blanco, Elvira Patricia; Carmona Vargas, Jose; Gabarro Valles, Joaquin; Xhafa Xhafa, Fatos; Pasarella Sanchez, Ana Edelmira; Petit Silvestre, Jordi; Mylonakis Pascual, Nicolas Eduardo; Martinez Parra, Conrado; Duch Brown, Amalia; Godoy Balil, Guillermo; Roura Ferret, Salvador; Roca Perez, Antoni; Soares Ribeiro, Joel Tiago; Pérez Giménez, Xavier; Orejas Valdes, Fernando
    Competitive project
  • Emptiness and finiteness for tree automata with global reflexive disequality constraints

     Creus Lopez, Carles; Gascon Caro, Adrian; Godoy Balil, Guillermo
    Journal of automated reasoning
    Vol. 51, num. 4, p. 371-400
    DOI: 10.1007/s10817-012-9270-5
    Date of publication: 2013-12-01
    Journal article
  • Non-linear rewrite closure and weak normalization

     Creus Lopez, Carles; Godoy Balil, Guillermo; Massanes Basi, Francesc d'Assis; Tiwari, Ashish Kumar
    Journal of automated reasoning
    Vol. 51, num. 3, p. 281-324
    DOI: 10.1007/s10817-012-9262-5
    Date of publication: 2013-10
    Journal article
  • Decidable classes of tree automata mixing local and global constraints modulo flat theories  Open access

     Barguño, Luis; Creus Lopez, Carles; Godoy Balil, Guillermo; Jacquemard, Florent; Vacher, Camile
    Logical methods in computer science
    Vol. 9, num. 2, p. 1-39
    DOI: 10.2168/LMCS-9(2:01)2013
    Date of publication: 2013-02
    Journal article
    Access to the full text
  • The HOM problem is EXPTIME-complete

     Creus Lopez, Carles; Gascon Caro, Adrian; Godoy Balil, Guillermo; Ramos, Lander
    IEEE Logic in Computer Science
    p. 255-264
    DOI: 10.1109/LICS.2012.36
    Presentation's date: 2012
    Presentation of work at congresses
  • Unification and matching on compressed terms

     Gascon Caro, Adrian; Godoy Balil, Guillermo; Schmidt-Schauß, Manfred
    ACM transactions on computational logic
    Vol. 12, num. 4, p. 1-42
    DOI: 10.1145/1970398.1970402
    Date of publication: 2011-07-29
    Journal article
  • Learning theory through videos: a teaching experience in a theoretical course based on self-learning videos and problem-solving sessions

     Arias Vicente, Marta; Creus Lopez, Carles; Gascon Caro, Adrian; Godoy Balil, Guillermo
    International Conference on Computer Supported Education
    p. 93-98
    DOI: 10.5220/0003333400930098
    Presentation's date: 2011-05
    Presentation of work at congresses
  • Deciding regularity of the set of instances of a set of terms with regular constraints is EXPTIME-Complete

     Gimenez Llach, Omer; Godoy Balil, Guillermo; Maneth, Sebastian
    SIAM journal on computing
    Vol. 40, num. 2, p. 446-464
    DOI: 10.1137/090777669
    Date of publication: 2011
    Journal article
  • Sweetlogics-UPC

     Rivero Almeida, Jose Miguel; Nivela Alos, Mª Del Pilar Brigida; Valles Fuente, Borja; Godoy Balil, Guillermo; Messeguer Peypoch, Xavier; Asín Acha, Roberto Javier; Oliveira Neto, Alexandre Francisco; Abío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Larrosa Bondia, Francisco Javier; Rollon Rico, Emma; Larraz Hurtado, Daniel; Rubio Gimeno, Alberto
    Competitive project
  • Normalization properties for Shallow TRS and Innermost Rewriting

     Godoy Balil, Guillermo
    Applicable algebra in engineering communication and computing
    Vol. 21, num. 2, p. 109-129
    DOI: 10.1007/s00200-009-0118-0
    Date of publication: 2010-03
    Journal article
  • Context unification with one context variable

     Gascon Caro, Adrian; Godoy Balil, Guillermo; Schmidt-Schauß, Manfred; Tiwari, Ashish
    Journal of symbolic computation
    Vol. 45, num. 2, p. 173-193
    DOI: 10.1016/j.jsc.2008.10.005
    Date of publication: 2010-02
    Journal article
  • Termination of rewriting with right-flat rules modulo permutative theories

     Barguño Jané, Luis; Godoy Balil, Guillermo; Huntingford, Eduard; Tiwari, Ashish
    Logical methods in computer science
    Vol. 6, num. 3, p. 1-20
    DOI: 10.2168/LMCS-6(3:8)2010
    Date of publication: 2010
    Journal article
  • The HOM problem is decidable

     Godoy Balil, Guillermo; Gimenez Llach, Omer; Ramos, Lander; Alvarez Faura, Maria Del Carme
    ACM Symposium on Theory of Computing
    p. 485-494
    DOI: 10.1145/1806689.1806757
    Presentation's date: 2010
    Presentation of work at congresses
  • The emptiness problem for tree automata with global constraints

     Barguño Jané, Luis; Creus Lopez, Carles; Godoy Balil, Guillermo; Jacquemard, Florent; Vacher, Camille
    IEEE Logic in Computer Science
    p. 263-272
    DOI: 10.1109/LICS.2010.28
    Presentation's date: 2010
    Presentation of work at congresses
  • ALGORISMIA, BIOINFORMÀTICA, COMPLEXITAT I METODES FORMALS (ALBCOM)

     Orejas Valdes, Fernando; Galceran Oms, Marc; Oliva Valls, Sergi; Godoy Balil, Guillermo; Atserias, Albert; Martinez Parra, Conrado; Pasarella Sanchez, Ana Edelmira; Pino Blanco, Elvira Patricia; Alvarez Faura, Maria Del Carme; Blum, Christian Clemens; Gabarro Valles, Joaquin; Cortadella Fortuny, Jordi; Molinero Albareda, Xavier; Serna Iglesias, Maria Jose; Messeguer Peypoch, Xavier; Roura Ferret, Salvador; Blesa Aguilera, Maria Jose; Valiente Feruglio, Gabriel Alejandro; Duch Brown, Amalia; Carmona Vargas, Jose; Hernandez Pibernat, Hugo; Gel Moreno, Bernat; Gascon Caro, Adrian; Petit Silvestre, Jordi; Diaz Cort, Jose Maria
    Competitive project
  • Closure of Tree Automata Languages under Innermost Rewriting

     Gascon Caro, Adrian; Godoy Balil, Guillermo; Jacquemard, F
    Electronic notes in theoretical computer science
    Vol. 237, p. 23-38
    Date of publication: 2009-04
    Journal article
  • Undecidable properties of flat term rewrite systems

     Godoy Balil, Guillermo; Hernandez Pibernat, Hugo
    Applicable algebra in engineering communication and computing
    Vol. 20, num. 2, p. 187-205
    Date of publication: 2009-01
    Journal article
  • Métodos formales y algoritmos para el diseño de sistemas

     Xhafa Xhafa, Fatos; Orejas Valdes, Fernando; Godoy Balil, Guillermo; Costa Gorgônio, Kyller; Oliva Valls, Sergi; Galceran Oms, Marc; Gascon Caro, Adrian; Gel Moreno, Bernat; Hernandez Pibernat, Hugo; Duch Brown, Amalia; Blum, Christian Clemens; Pasarella Sanchez, Ana Edelmira; Diaz Cort, Jose Maria; Pino Blanco, Elvira Patricia; Petit Silvestre, Jordi; Alvarez Faura, Maria Del Carme; Blesa Aguilera, Maria Jose; Gabarro Valles, Joaquin; Cortadella Fortuny, Jordi; Serna Iglesias, Maria Jose; Carmona Vargas, Jose
    Competitive project
  • TERMINATION OF REWRITING WITH MON-MONOTONIC ORDERING

     FERNANDEZ VENERO, MIRTHA LINA
    Department of Computer Science, Universitat Politècnica de Catalunya
    Theses
  • On the Normalization and Unique Normalization Properties of Term Rewrite Systems

     Godoy Balil, Guillermo; Sophie, Tison
    CADE-21, 21st International Conference on Automated Deduction
    p. 247-262
    Presentation of work at congresses
  • Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems

     Godoy Balil, Guillermo; Huntingford, Eduard
    Term Rewriting and Applications, 18th International Conference, RTA 2007
    p. 184-199
    Presentation of work at congresses
  • Termination of Rewriting with Right-Flat Rules

     Godoy Balil, Guillermo; Huntingford, Eduard; Ashish, Tiwari
    Term Rewriting and Applications, 18th International Conference, RTA 2007
    p. 200-213
    Presentation of work at congresses
  • Recursive Path Orderings Can Also Be Incremental

     Mirtha-Lina, Fernández; Godoy Balil, Guillermo; Rubio Gimeno, Alberto
    Lecture notes in computer science
    Vol. 3835, p. 230-245
    Date of publication: 2005-12
    Journal article
  • Confluence of Shallow Right-Linear Rewrite Systems

     Godoy Balil, Guillermo; Ashish, Tiwari
    Lecture notes in computer science
    Vol. 3634, p. 541-556
    Date of publication: 2005-08
    Journal article
  • Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules

     Godoy Balil, Guillermo; Ashish, Tiwari
    Lecture notes in computer science
    Vol. 3632, p. 164-176
    Date of publication: 2005-07
    Journal article
  • Orderings for Innermost Termination

     Mirtha-Lina, Fernández; Godoy Balil, Guillermo; Rubio Gimeno, Alberto
    Lecture notes in computer science
    Vol. 3467, p. 17-31
    Date of publication: 2005-04
    Journal article
  • Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups

     Godoy Balil, Guillermo; Nieuwenhuis, Robert Lukas Mario
    Constraints
    Vol. 9, num. 3, p. 167-192
    Date of publication: 2004-07
    Journal article
  • Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure

     Godoy Balil, Guillermo; Ashish, Tiwari
    Lecture notes in computer science
    Vol. 3097, p. 91-106
    Date of publication: 2004-07
    Journal article
  • Classes of term rewrite systems with polynomial confluence problems

     Godoy Balil, Guillermo; Nieuwenhuis, Robert Lukas Mario; Ashish, Tiwari
    ACM transactions on computational logic
    Vol. 5, num. 2, p. 321-331
    Date of publication: 2004-01
    Journal article
  • Superposition with completely built-in Abelian groups

     Godoy Balil, Guillermo; Nieuwenhuis, Robert Lukas Mario
    Journal of symbolic computation
    Vol. 37, num. 1, p. 1-33
    Date of publication: 2004-01
    Journal article
  • Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems

     Godoy Balil, Guillermo; Ashish, Tiwari; Rakesh, M Verma
    Applicable algebra in engineering communication and computing
    Vol. 15, num. 1, p. 13-36
    Date of publication: 2004-01
    Journal article
  • On the Confluence of Linear Shallow Term Rewrite Systems

     Godoy Balil, Guillermo; Ashish, Tiwari; Rakesh, M Verma
    Lecture notes in computer science
    Vol. 2607, p. 85-96
    Date of publication: 2003-03
    Journal article
  • Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings

     Miquel, Bofill; Godoy Balil, Guillermo; Nieuwenhuis, Robert Lukas Mario; Rubio Gimeno, Alberto
    Journal of automated reasoning
    Vol. 30, num. 1, p. 99-120
    Date of publication: 2003-01
    Journal article
  • Programa de acción en aprendizaje cooperativo

     Abello Gamazo, Alberto; Domingo Peña, Joan; Florido Pérez, Antonio; Godoy Balil, Guillermo; Gómez, J; Gorchs Altarriba, Roser; Martínez, M; Romera Diez, Pedro Luis; Usandizaga Calparsoro, Miguel M.
    Jornada sobre Aprendizaje Cooperativo
    p. 7-8
    Presentation of work at congresses
  • Automated Deduction with Built-in Theories. Completeness Results and Constraint Solving Techniques.

     Godoy Balil, Guillermo
    Department of Computer Science, Universitat Politècnica de Catalunya
    Theses
  • On the Completeness of Arbitrary Selection Strategies for Paramodulation

     Bofill, M; Godoy Balil, Guillermo
    Lecture notes in computer science
    Vol. 2076, p. 951-962
    Date of publication: 2001-07
    Journal article
  • The Confluence of Ground Term Rewrite Systems is Decidable in Polynomial Time

     Comon, H G Godoy; Godoy Balil, Guillermo; Nieuwenhuis, Robert Lukas Mario
    42nd Annual Symposium on Foundations of Computer Science (FOCS)
    p. 298-307
    Presentation of work at congresses
  • On Ordering Constraints For Deduction with Built-In Abelian Semigroups, Monoids and Groups

     Godoy Balil, Guillermo; Nieuwenhuis, Robert Lukas Mario
    16th Annual IEEE Symposium on Logic in Computer Science (LICS)
    p. 38-47
    Presentation of work at congresses
  • Modular Redundancy for Theorem Proving

     Bofill, M; Godoy Balil, Guillermo; Nieuwenhuis, Robert Lukas Mario; Rubio Gimeno, Alberto
    Lecture notes in computer science
    Vol. 1794, p. 186-199
    Date of publication: 2000-03
    Journal article
  • Modular Redundancy for Theorem Proving

     Bofill, M; Godoy Balil, Guillermo; Nieuwenhuis, Robert Lukas Mario; Rubio Gimeno, Alberto
    Int. Conf. on Frontiers of Combining Systems
    p. 186-199
    Presentation of work at congresses
  • Paramodulation with Built-in Abelian Groups

     Godoy Balil, Guillermo; Nieuwenhuis, Robert Lukas Mario
    15th Annual IEEE Symposium on Logic nin Computer Science (LICS)
    p. 337-348
    Presentation of work at congresses
  • Paramodulation with non-Monotonic Orderings

     Bofill, M; Godoy Balil, Guillermo; Nieuwenhuis, Robert Lukas Mario; Rubio Gimeno, Alberto
    Fourteenth annual IEEE Symposium on Logic in Computer Science
    p. 225-233
    Presentation of work at congresses