Publications




2009

J. Guadalupe Ramos, Josep Silva, Ricardo A. Solís, Héctor Oceguera
A Practical Approach to Modeling and Extracting Information from Semantic Web Based on Microformats
Proceedings of the 2009 Mexican International Conference in Computer Science (ENC 2009).
© IEEE
Available:
PDF preprint


J. Guadalupe Ramos, Alfred J. Pérez, Angélica Nieves, Luz Ma. Nava, Silvia A. Guardado
Contextualización y extracción de microformatos de la web semántica
Décima Primera Reunión de Otoño de Potencia, Electrónica y Computación del IEEE, XI ROPEC 2009
http://www.ieee-sco.org/ropec/


Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Juan C. Solorio
Slicing microformats for information retrieval
5th International Workshop on Automated Specification and Verification of Web Systems (WWV 2009). Castle of Hagenberg, Austria. July 17, 2009.

Available:
PDF preprint


Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Juan C. Solorio
Information Retrieval from the Semantic Web Based on Microformats and Semantic Networks
Seventh International Andrei Ershov Memorial Conference (PSI 2009), 2009.

Available:
PDF preprint


Gustavo Arroyo, J.Guadalupe Ramos, Salvador Tamarit, Germán Vidal
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2008). Springer LNCS 5438, pp. 40-54, 2009.
Extended and revised version of the LOPSTR'08 paper.
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry


2008


Gustavo Arroyo, J.Guadalupe Ramos, Salvador Tamarit, Germán Vidal
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
Proc. of the 18th Int'l Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008), pp. 121-130. 2008.
Available: Abstract / PDF / BibTeX entry

J. Guadalupe Ramos, Heriberto Flores, Laura E. Mendoza, Héctor Oceguera, Juan Carlos Solorio, Margarita Torres, Jorge A. Zambrano
Extracción de información de redes semánticas mediante la técnica de recorte de programas
Memorias del 1er Congreso Internacional de Investigación CIPITECH 2008, Octubre de 2008


2007

Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
Improving Offline Narrowing-Driven Partial Evaluation using Size-Change Graphs

Logic-Based Program Synthesis and Transformation (revised and selected papers from LOPSTR 2006). Springer LNCS 4407, pp. 60-76, 2007.
© Springer-Verlag
Available:
Abstract / Online paper / PDF preprint / BibTeX entry


J. Guadalupe Ramos, Josep Silva, Germán Vidal
Ensuring the Quasi-Termination of Needed Narrowing Computations

Information Processing Letters 101(5): 220-226, 2007.
© Elsevier

Available:
Abstract / PDF preprint / BibTeX entry


Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal
Offline Narrowing-Driven Specialization in Practice
In Proc. of VII Jornadas de Programación y Lenguajes (PROLE 2007).
© Thomson Ed., Pages 137-148

Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal
Purely Offline Narrowing-Driven Specialization in Practice
In Proc. of 13th International Congress on Computer Science Research (CIICC  2007).  Pages:  141-153





2006

Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs

International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006). pp. 55-61.
Available: Abstract / Online paper / BibTeX entry



Gustavo Arroyo, J.Guadalupe Ramos, Josep Silva and Germán Vidal.
Ensuring the Termination of Narrowing-Driven Partial Evaluation using Size-Change Graphs.
In Proc. of VI Jornadas de Programación y Lenguajes (PROLE 2006). CIMNE Barcelona, Pages: 301-310

J.Guadalupe Ramos, Gustavo Arroyo and Josep Silva.
Compiling by narrowing-driven partial evaluation.
In Proc. of 13th International Congress on Computer Science Research (CIICC 2006).  Pages: 221-232



2005

J. Guadalupe Ramos, Josep Silva, Germán Vidal
An Offline Partial Evaluator for Curry Programs

Workshop on Curry and Functional Logic Programming (WCFLP 2005). pp. 49-53, ACM Press, 2005.
© ACM Press
Available: Abstract / Online paper /BibTeX entry

J. Guadalupe Ramos, Josep Silva, Germán Vidal
Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems

10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005). pp. 228-238, ACM Press, 2005.
© ACM Press
Available: Abstract / Online paper /BibTeX entry

J. Guadalupe Ramos, Josep Silva, Germán Vidal
Online narrowing-driven partial evaluation

IV Jornadas sobre Programación y Lenguajes (PROLE 2005), Granada (Spain), pp. 41-54, Electronic Notes in Theoretical Computer Science, Elsevier Science 2005.
© Electronic Notes in Theoretical Computer Science
Available: PDF


2004

J. Guadalupe Ramos, Josep Silva, Germán Vidal
An Embedded Language Approach to Router Specification in Curry

International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2004), Czech Republic. Springer LNCS 2932, pp. 277-288, 2004.
© Springer-Verlag
Available: Abstract / PDF / BibTeX entry


2003

J. Guadalupe Ramos, Josep Silva, Germán Vidal
Towards Router Specification in Curry: The Language ROSE

Terceras Jornadas de Programación y Lenguajes (PROLE 2003), Alicante (Spain).
Available: Abstract / PDF / BibTeX entry



J. Guadalupe Ramos, Josep Silva, Germán Vidal
ROSE: Router Specification in a Declarative Multi-Paradigm Language

Tercer Simposium Intertecnológico de Computación e Informácatica (SICI 2003), Oaxtepec, Morelos (México).
Available: Abstract / PDF / BibTeX entry