Publications

• 2008
• 2007
• 2006
• 2005
• 2004 — -∞

• V. M. Gulías, ``Teaching functional programming and Erlang,'' in Proceedings of Erlang/OTP User Conference 2005 (EUC'05). Älvsjö, Stockholm, Sweden. November 10, 2005, November 2005. [ conference ] [ BibTeX ]
  @InProceedings{gulias:05:teaching_functional_programming, title = {Teaching Functional Programming and {E}rlang}, author = {Víctor M. Gulías}, booktitle = {Proceedings of Erlang/OTP User Conference 2005 (EUC'05). Älvsjö, Stockholm, Sweden. November 10, 2005}, location = {Älvsjö, Stockholm, Sweden}, month = {November}, year = {2005}, confurl = {http://www.erlang.se/euc/05/} }


• A. Blanco, J. Freire, and E. Freire, ``On recursive functions and well-founded relations in the calculus of constructions,'' Lecture Notes in Computer Science, vol. 3643, pp. 69-80, February 2005. [ conference ] [ BibTeX ]
  @Article{blanco:05:on_recursive_functions, title = {On Recursive Functions and Well-Founded Relations in the Calculus of Constructions}, author = {Antonio Blanco and J.L. Freire and E. Freire}, booktile = {Computer Aided Systems Theory – EUROCAST 2005. 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers}, publisher = {Springer-Verlag}, journal = {Lecture Notes in Computer Science}, editor = {Roberto Moreno-Díaz and Franz Pichler and Alexis Quesada Arencibia}, volume = {3643}, year = {2005}, isbn = {3-540-29002-8}, issn = {0302-9743}, pages = "69--80", location = {Canary Islands, Spain}, month = {February}, year = {2005}, confurl = {http://www.iuctc.ulpgc.es/spain/eurocast2005/} }


• A. Blanco, J. Freire, and E. Freire, ``On recursive functions and well-founded relations in the calculus of constructions,'' in Extended Abstracts of Tenth International Conference on Computer Aided Systems Theory (Eurocast'05). Cast and Tools for Complexity for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria. Spain. February 7-11, 2005 (R. Moreno-Díaz, F. Pichler, and A. Q. Arencibia, eds.), pp. 49-50, February 2005. [ conference ] [ BibTeX ]
  @InProceedings{blanco:05:abstracts_on_recursive_functions, title = {On Recursive Functions and Well-Founded Relations in the Calculus of Constructions}, author = {Antonio Blanco and J.L. Freire and E. Freire}, booktitle = {Extended Abstracts of Tenth International Conference on Computer Aided Systems Theory (Eurocast'05). Cast and Tools for Complexity for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria. Spain. February 7-11, 2005}, editor = {Roberto Moreno-Díaz and Franz Pichler and Alexis Quesada Arencibia}, publisher = {}, isbn = {84-689-0432-5}, pages = "49--50", location = {Canary Islands, Spain}, month = {February}, year = {2005}, confurl = {http://www.iuctc.ulpgc.es/spain/eurocast2005/} }


• J. S. Jorge, A. Valderruten, V. M. Gulías, and D. Cabrero, ``Prueba de propiedades en la caché de un servidor funcional de video bajo demanda,'' in Abstracts book of XXXI Conferencia Latinoamericana de Informatica (CLEI'05). October 10 - 14, 2005 (J. F. Díaz, C. Rueda, and A. A. Buss, eds.), pp. 82-82, October 2005. [ conference ] [ BibTeX ]
  @InProceedings{jorge:05:abstracts_prueba_propiedades_cache, title = {Prueba de propiedades en la caché de un servidor funcional de video bajo demanda}, author = {J. Santiago Jorge and Alberto Valderruten and Víctor M. Gulías and David Cabrero}, booktitle = {Abstracts book of XXXI Conferencia Latinoamericana de Informatica (CLEI'05). October 10 - 14, 2005}, editor = {Juan Francisco Díaz and Camilo Rueda and Antal A. Buss}, isbn = {958-670-426-2}, pages = "82--82", location = {Cali, Colombia}, month = {October}, year = {2005}, confurl = {http://www.clei2005.org}, }


• J. S. Jorge, V. M. Gulías, A. Valderruten, and D. Cabrero, ``Prueba de propiedades en la caché de un servidor funcional de vídeo bajo demanda,'' in XXXI Conferencia Latinoamericana de Informática (CLEI2005). October 10 - 14, 2005 (J. F. Díaz, C. Rueda, and A. A. Buss, eds.), pp. 711-722, October 2005. [ conference ] [ BibTeX ]
  @InProceedings{jorge:05:prueba_propiedades_cache, author = "J. Santiago Jorge and Víctor M. Gulías and Alberto Valderruten and David Cabrero", title = "Prueba de propiedades en la caché de un servidor funcional de vídeo bajo demanda", booktitle = "{XXXI Conferencia Latinoamericana de Informática (CLEI2005). October 10 - 14, 2005}", pages = "711--722", editor = "Juan Francisco Díaz and Camilo Rueda and Antal A. Buss", location = {Cali, Colombia}, month = {October}, year = {2005}, OPTnote = "CD: ISBN 958-670-422-X (Obra completa), Libro: ISBN 958-670-423-8", ISBN = "958-670-422-X", confurl = "http://www.clei2005.org", }


• J. S. Jorge, V. M. Gulías, J. L. Freire, and J. J. Sánchez, ``Towards a certified and efficient computing of Gröbner bases,'' Lecture Notes in Computer Science, vol. 3643, pp. 111-120, 2005. [ BibTeX ]
  @Article{jorge:05:towards_a_certified_and_efficient_computing, author = "J. Santiago Jorge and Víctor M. Gulías and José L. Freire and Juan J. Sánchez", title = "Towards a Certified and Efficient Computing of {G}röbner Bases", booktitle = {Computer Aided Systems Theory – EUROCAST 2005. 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers}, publisher = {Springer-Verlag}, journal = {Lecture Notes in Computer Science}, editor = {Roberto Moreno-Díaz and Franz Pichler and Alexis Quesada Arencibia}, year = "2005", volume = "3643", pages = "111--120", ISSN = "0302-9743", ISBN = "3-540-29002-8", annote = "JCR Impact Factor: (2004) 0.513 ranking 53 of 70, categories COMPUTER SCIENCE, THEORY & METHODS", }


• S. Neira and V. M. Gulias, ``Designing transparent location-dependent web-based applications on mobile environments,'' Lecture Notes in Computer Science, vol. 3598, pp. 37-48, 2005. [ http ] [ BibTeX ]
  @Article{simon:05:location_dependant_web_apps, title = {Designing Transparent Location-Dependent Web-Based Applications on Mobile Environments}, author = {Simon Neira and Victor M. Gulias}, booktitle = {Ubiquitous Computing Systems: Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers}, publisher = {Springer-Verlag}, editor = {Hitomi Murakami and Hideyuki Nakashima and Hideyuki Tokuda and Michiaki Yasumura}, journal = {Lecture Notes in Computer Science}, volume = {3598}, year = {2005}, isbn = {3-540-27893-1}, issn = {0302-9743}, pages = "37--48", exturl = {http://www.springerlink.com/link.asp?id=dclj5y8w0a936pll} }


• J. S. Jorge, V. M. Gulías, J. L. Freire, and J. J. Sánchez, ``Reasoning about a functional program for computing Gröbner basis,'' in Extended Abstracts of Tenth International Conference on Computer Aided Systems Theory (Eurocast'05). Cast and Tools for Complexity for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria. Spain. February 7-11, 2005 (A. Quesada-Arencibia, R. M.-D. jr., and J. C. Rodríguez-Rodríguez, eds.), vol. 3643, pp. 69-70, Universidad de Las Palmas de Gran Canaria, Feb. 2005. [ BibTeX ]
  @InProceedings{jorge:05:reasoning_about_a_functional_program, author = "J. Santiago Jorge and Víctor M. Gulías and José L. Freire and Juan J. Sánchez", title = "Reasoning about a Functional Program for computing {G}röbner Basis", booktitle = {Extended Abstracts of Tenth International Conference on Computer Aided Systems Theory (Eurocast'05). Cast and Tools for Complexity for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria. Spain. February 7-11, 2005}, pages = "69--70", year = "2005", editor = "A. Quesada-Arencibia and R. Moreno-Diaz jr. and J. C. Rodríguez-Rodríguez", volume = "3643", month = feb, organization = "{Universidad de Las Palmas de Gran Canaria}", ISBN = "84-689-0432-5", }


• J. Paris, V. M. Gulías, and A. Valderruten, ``A high performcance erlang tcp/ip stack,'' in Proceedings book of the ACM SIGPLAN 2005 Erlang Workshop. September 25, 2005 (K. Sagonas and J. Armstrong, eds.), pp. 52-61, September 2005. [ conference | http ] [ BibTeX ]
  @InProceedings{paris:05:a_high_performance_tcp, title = {A High Performcance Erlang TCP/IP Stack}, author = {Javier Paris and Víctor M. Gulías and Alberto Valderruten}, booktitle = {Proceedings book of the ACM SIGPLAN 2005 Erlang Workshop. September 25, 2005}, editor = {Kostis Sagonas and Joe Armstrong}, isbn = {1-59593-066-3}, pages = "52-61", location = {Tallinn, Estonia}, month = {September}, year = {2005}, confurl = {http://www.erlang.se/workshop/2005/}, exturl = {http://portal.acm.org/citation.cfm?id=1088372&dl=GUIDE&coll=GUIDE} }


• J. Paris, V. M. Gulías, and A. Valderruten, ``Developing a functional tcp/ip stack oriented towards tcp connection replication,'' in Abstracts book of CLEI 2005. October 10 - 14, 2005 (J. F. Díaz, C. Rueda, and A. A. Buss, eds.), pp. 133-133, October 2005. [ conference ] [ BibTeX ]
  @InProceedings{paris:05:abstracts_functional_tcpip_stack_oriented, title = {Developing a Functional TCP/IP Stack Oriented towards TCP Connection Replication}, author = {Javier Paris and Víctor M. Gulías and Alberto Valderruten}, booktitle = {Abstracts book of CLEI 2005. October 10 - 14, 2005}, editor = {Juan Francisco Díaz and Camilo Rueda and Antal A. Buss}, isbn = {958-670-426-2}, pages = "133--133", location = {Cali, Colombia}, month = {October}, year = {2005}, confurl = {http://lanc05.uib.es/}, }


• J. Paris, V. M. Gulías, and A. Valderruten, ``Developing a functional tcp/ip stack oriented towards tcp connection replication,'' in Proceedings book of II IFIP/ACM Latin America Networking Conference (LANC'05). October 10 - 14, 2005 (J. F. Díaz, C. Rueda, and A. A. Buss, eds.), pp. 97-107, October 2005. [ conference ] [ BibTeX ]
  @InProceedings{paris:05:proceedings_functional_tcpip_stack_oriented, title = {Developing a Functional TCP/IP Stack Oriented towards TCP Connection Replication}, author = {Javier Paris and Víctor M. Gulías and Alberto Valderruten}, booktitle = {Proceedings book of II IFIP/ACM Latin America Networking Conference (LANC'05). October 10 - 14, 2005}, editor = {Juan Francisco Díaz and Camilo Rueda and Antal A. Buss}, isbn = {958-670-425-4}, pages = "97--107", location = {Cali, Colombia}, month = {October}, year = {2005}, confurl = {http://lanc05.uib.es/}, }


• V. M. Gulías, D. Cabrero, C. Abalde, and A. Valderruten, ``Evolución de la selección dinámica de métodos en java,'' in Abstracts book of XXXI Conferencia Latinoamericana de Informatica (CLEI'05). October 10 - 14, 2005 (J. F. Díaz, C. Rueda, and A. A. Buss, eds.), pp. 100-100, October 2005. [ conference ] [ BibTeX ]
  @InProceedings{gulias:05:abstracts_seleccion_dinamica_metodos, title = {Evolución de la Selección Dinámica de Métodos en Java}, author = {Víctor M. Gulías and David Cabrero and Carlos Abalde and Alberto Valderruten}, booktitle = {Abstracts book of XXXI Conferencia Latinoamericana de Informatica (CLEI'05). October 10 - 14, 2005}, editor = {Juan Francisco Díaz and Camilo Rueda and Antal A. Buss}, isbn = {958-670-426-2}, pages = "100--100", location = {Cali, Colombia}, month = {October}, year = {2005}, confurl = {http://www.clei2005.org}, }


• V. M. Gulías, D. Cabrero, C. Abalde, and A. Valderruten, ``Evolución de la selección dinámica de métodos en java,'' in Proceedings CD-ROM of XXXI Conferencia Latinoamericana de Informatica (CLEI'05). October 10 - 14, 2005, pp. 893-904, October 2005. [ conference ] [ BibTeX ]
  @InProceedings{gulias:05:seleccion_dinamica_metodos, title = {Evolución de la Selección Dinámica de Métodos en Java}, author = {Víctor M. Gulías and David Cabrero and Carlos Abalde and Alberto Valderruten}, booktitle = {Proceedings CD-ROM of XXXI Conferencia Latinoamericana de Informatica (CLEI'05). October 10 - 14, 2005}, pages = "893-904", location = {Cali, Colombia}, month = {October}, year = {2005}, OPTnote = "CD: ISBN 958-670-422-X (Obra completa), Libro: ISBN 958-670-423-8", ISBN = "958-670-422-X", confurl = {http://www.clei2005.org}, }


• J. M. R. Blanco and V. M. G. Fernández, ``Desarrollo de un proveedor de servicios http para dispositivos móviles mediante etiquetas rfid,'' in Proceedings book of I Simposio sobre Computación Ubicua e Inteligencia Ambiental (UCAmI'2005). September 13-16, 2005 (J. Bravo and X. Alamán, eds.), pp. 209-216, September 2005. [ conference ] [ BibTeX ]
  @InProceedings{jrodrigez:05:desarrollo_proveedor_servicios, title = {Desarrollo de un proveedor de servicios HTTP para dispositivos móviles mediante etiquetas RFID}, author = {José M. Rodríguez Blanco and Victor M. Gulías Fernández}, booktitle = {Proceedings book of I Simposio sobre Computación Ubicua e Inteligencia Ambiental (UCAmI'2005). September 13-16, 2005}, editor = {José Bravo and Xavier Alamán}, isbn = {84-9732-442-0}, pages = "209-216", location = {Granada, Spain}, month = {September}, year = {2005}, confurl = {http://mami.uclm.es/ucami/} }


• V. M. Gulías, C. Abalde, L. Castro, and C. Varela, ``A new risk management approach deployed over a client/server distributed functional architecture,'' in Proceedings of 18th International Conference on Systems Engineering (ICSEng'05). August 16 - 18, 2005, pp. 370-375, IEEE Computer Society, August 2005. [ conference | http ] [ BibTeX ]
  @InProceedings{gulias:05:a_new_risk_management, title = {A New Risk Management Approach Deployed over a Client/Server Distributed Functional Architecture}, author = {Víctor M. Gulías and Carlos Abalde and Laura Castro and Carlos Varela}, booktitle = {Proceedings of 18th International Conference on Systems Engineering (ICSEng'05). August 16 - 18, 2005}, publisher = {IEEE Computer Society}, isbn = {0-7695-2359-5}, pages = "370--375", location = {University of Nevada, Las Vegas, USA}, month = {August}, year = {2005}, confurl = {http://www.icseng.info}, exturl = {http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/icseng/2005/2359/00/2359toc.xml} }


• S. Rivas, V. M. Gulías, and C. Abalde, ``A versatile multiplexing algorithm exclusively based on the mpeg-2 systems layer,'' in Proceedings of First International Conference on Multimedia Services Access Networks (MSAN'05). June 13-15, 2005, pp. 20-24, June 2005. [ conference | http ] [ BibTeX ]
  @InProceedings{rivas:05:versatile_multiplexing_algorithm, title = {A Versatile Multiplexing Algorithm Exclusively Based on the MPEG-2 Systems Layer}, author = {Samuel Rivas and Víctor M. Gulías and Carlos Abalde}, booktitle = {Proceedings of First International Conference on Multimedia Services Access Networks (MSAN'05). June 13-15, 2005}, issn = {2005927353}, isnn = {0-7802-9319-8}, pages = "20--24", location = {Orlando, Florida, USA}, month = {June}, year = {2005}, confurl = {http://www.msan.org}, exturl = {http://ieeexplore.ieee.org/search/srchabstract.jsp?arnumber=1489935&isnumber=32023&punumber=9967&k2dockey=1489935@ieeecnfs&query=%28%28a+versatile+multiplexing+algorithm+exclusively+based+on+the+mpeg-2+systems+layer%29%3Cin%3Emetadata%29&pos=0} }


• V. M. Gulias, M. Barreiro, and J. L. Freire, ``VoDKA: Developing a video-on-demand server using distributed functional programming,'' Journal on Functional Programming, vol. 15, pp. 403-430, may 2005. [ BibTeX ]
  @article{gulias:05:vodka_developing, author = {Victor M. Gulias and Miguel Barreiro and Jose L. Freire}, title = {{VoDKA}: Developing a Video-on-Demand Server using Distributed Functional Programming}, journal = {Journal on Functional Programming}, volume = {15}, number = {3}, year = {2005}, month = "may", issn = {0956-7968}, pages = {403--430}, doi = {http://dx.doi.org/10.1017/S0956796805005502}, publisher = {Cambridge University Press}, address = {New York, NY, USA}, }


• J. París, V. M. Gulías, and C. Abalde, ``CheapTB: A low cost of operation distributed file system,'' Lecture Notes in Computer Science, vol. 3643, pp. 121-130, 2005. [ http ] [ BibTeX ]
  @Article{paris:05:distributed_file_system, title = {Cheap{TB}: A Low Cost of Operation Distributed File System}, author = {Javier París and Víctor M. Gulías and Carlos Abalde}, booktitle = {Computer Aided Systems Theory – EUROCAST 2005. 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers}, publisher = {Springer-Verlag}, editor = {Roberto Moreno-Díaz and Franz Pichler and Alexis Quesada Arencibia}, journal = {Lecture Notes in Computer Science}, volume = {3643}, year = {2005}, isbn = {3-540-29002-8}, issn = {0302-9743}, pages = "121--130", exturl = {http://www.springerlink.com/(wmf0342c5g5fiqqf32lmr255)/app/home/contribution.asp?referrer=parent&backto=issue,17,83;journal,205,3278;linkingpublicationresults,1:105633,1}, }


• J. París, V. M. Gulías, and C. Abalde, ``CheapTB: A low cost of operation distributed file system,'' in Extended Abstracts of Tenth International Conference on Computer Aided Systems Theory (Eurocast'05). Cast and Tools for Complexity for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria. Spain. February 7-11, 2005 (R. Moreno-Díaz, F. Pichler, and A. Q. Arencibia, eds.), pp. 71-72, February 2005. [ conference ] [ BibTeX ]
  @InProceedings{paris:05:abstracts_distributed_file_system, title = {Cheap{TB}: A Low Cost of Operation Distributed File System}, author = {Javier París and Víctor M. Gulías and Carlos Abalde}, booktitle = {Extended Abstracts of Tenth International Conference on Computer Aided Systems Theory (Eurocast'05). Cast and Tools for Complexity for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria. Spain. February 7-11, 2005}, publisher = {}, editor = {Roberto Moreno-Díaz and Franz Pichler and Alexis Quesada Arencibia}, isbn = {84-689-0432-5}, pages = "71--72", location = {Las Palmas de Gran Canaria, Spain}, month = {February}, year = {2005}, confurl = {http://www.iuctc.ulpgc.es/iuctc/spain/eurocast}, }


• A. Blanco, V. M. Gulías, J. Mosquera, C. Abalde, and J. L. Freire, Comercio Electrónico: La Tecnología al Servicio de la PYME. Vía Láctea, 2005. [ BibTeX ]
  @Book{blanco:05:comercio_electronico, title = {Comercio Electrónico: La Tecnología al Servicio de la PYME}, author = {Antonio Blanco and Víctor M. Gulías and Javier Mosquera and Carlos Abalde and José L. Freire}, publisher = {Vía Láctea}, isbn = {84-89444-91-9}, depositolegal = {C-145-2005}, location = {A Coruña, Spain}, year = {2005}, }