Publications
|
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 |