Publications
Papers- Victor M. Gulias,
Alberto Valderruten,
Carlos Abalde,
Building Functional Patterns for Implementing Distributed Applications. IFIP/ACM Latin America Networking Conference 2003 (LANG'03).
Proceedings of IFIP/ACM Latin America Networking Conference 2003.
La Paz, Bolivia.
October 3-5, 2003.
- Juan José Sanchez Penas,
Carlos Abalde Ramiro,
Extending the VoDKa Architecture to Improve Resource Modeling. Principles, Logics, and Implementations of High-Level Programming Languages. 2nd ACM SIGPLAN Erlang Workshop (PLI'03).
Principles, Logics, and Implementations of High-Level Programming Languages. 2nd ACM SIGPLAN Erlang Workshop.
Uppsala, Sweden.
August 29, 2003.
- David Cabrero,
Carlos Abalde,
Carlos Varela,
Laura Castro,
ARMISTICE: An Experience Developing Management Software with Erlang. Principles, Logics, and Implementations of High-Level Programming Languages. 2nd ACM SIGPLAN Erlang Workshop (PLI'03).
Proceedings of Principles, Logics, and Implementations of High-Level Programming Languages.
Uppsala, Sweden.
August 29, 2003.
- Carlos Abalde,
Víctor M. Gulías,
José L. Freire,
Juan J. Sánchez,
José M. García-Tizón,
Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel. Ninth International Conference on Computer Aided Systems Theory (Eurocast'03).
Proceedings of Ninth International Conference on Computer Aided Systems Theory.
Las Palmas de Gran Canaria, Spain.
February 2003.
- Castor Mariño,
Carlos Abalde,
Manuel G. Penedo,
Marta Penas,
Design of a Medical Application using XML based Data Interchange. Ninth International Conference on Computer Aided Systems Theory (Eurocast'03).
Proceedings of Ninth International Conference on Computer Aided Systems Theory.
Las Palmas de Gran Canaria, Spain.
February 2003.
- J. L. Freire Nistal,
A. Blanco Ferro,
V. M. Gulías,
E. Freire Brañas,
The Reduction Lemma in Coq. Ninth International Conference on Computer Aided Systems Theory (Eurocast'03).
Proceedings of Ninth International Conference on Computer Aided Systems Theory.
Las Palmas de Gran Canaria, Spain.
February 2003.
- Víctor M. Gulías,
Carlos Abalde,
Juan J. Sánchez,
Lambda Goes to Hollywood. Fifth International Simposium on Practical Aspects of Declarative
Languages (PADL'03).
Lecture Notes in Computer Science.
New Orleans, USA.
January 2003.
Vol. 2562.
Ed. Springer-Verlang.
- José R. Gulías,
Víctor M. Gulías,
Alberto Valderruten,
Un sistema de comercio electrónico sobre un cluster de computadores. XXVIII Conferencia Latinoamericana de Informática (CLEI 2003).
Actas de la XXVIII Conferencia Latinoamericana de Informática.
Montevideo, Uruguay.
November 2003.
Vol. .
Ed. .
- Carlos Abalde,
Víctor M. Gulías,
José L. Freire,
Juan J. Sánchez,
A Cluster-based Payment Gateway System Developed Using a
Distributed Functional Language. The First Eurasian Conference on Advances in Information and
Communication Technology. Workshop on Formal Modeling of Intelligent
Peripheral Systems (EurAsia ICT 2002).
Proceedings of the First Eurasian Conference on Advances in
Information and Communication Technology.
Shiraz, Iran.
October, 2002.
Vol. .
Ed. .
- Thomas Arts,
Juan J. Sánchez,
Global Scheduler Properties derived from Local Restrictions. ACM Sigplan Erlang Workshop at the Principles, Logics, and Implementations
of high-level programming languages (ACM Sigplan Erlang Workshop at PLI2002).
ACM Sigplan Proceedings of the Erlang Workshop 2002.
Pittsburgh, USA.
October, 2002.
Ed. ACM.
- Juan J. Sánchez,
Miguel Barreiro,
Víctor M. Gulías,
José L. Freire,
Exploiting Sequential Libraries on a Cluster of Computers. Erlang Workshop at the Principles, Logics, and Implementations
of high-level programming languages (Erlang Workshop at PLI2001).
Proceedings of the Erlang Workshop 2001.
Florence, Italy.
September, 2001.
Ed. Bjarne Däcker.
- Juan J. Sánchez,
Miguel Barreiro,
Víctor M. Gulías,
José L. Freire,
Javier Mosquera,
Functional Scheduling in a Distributed VoD Server. 13th International Workshop on the Implementation of Functional Languages (IFL2001).
Proceedings of 13th International Workshop on the Implementation of Functional Languages.
Stockholm, Sweden.
September, 2001.
Ed. Thomas Arts and Markus Mohnen.
- Miguel Barreiro,
Víctor M. Gulías,
José L. Freire,
Javier Mosquera,
Juan J. Sánchez,
An Erlang-based Hierarchical Distributed VoD System. Seventh International Erlang/OTP User Conference (EUC2001).
Proceedings of Seventh International Erlang/OTP User Conference.
Stockholm, Sweden.
September, 2001.
Ed. Ericsson Utvecklings AB.
- Alberto Valderruten,
Víctor M. Gulías,
Juan J. Sánchez,
José L. Freire,
Javier Mosquera,
Implementación de un modelo de monitorización para un servidor de Vídeo bajo Demanda en Erlang. XXVII Conferencia Latinoamericana de Informática (CLEI2001).
Proceedings of XXVII Conferencia Latinoamericana de Informática.
Mérida, Venezuela.
September, 2001.
Ed. Jonás Montilva.
ISBN: ISBN 980-11-0528-3, ISBN 980-11-0527-5.
- Miguel Barreiro,
Víctor M. Gulías,
Javier Mosquera,
Juan J. Sánchez,
Utilización de programación funcional distribuida y clusters Linux en
el desarrollo de servidores de vídeo bajo demanda. Simposio en Informática y Telecomunicación (SIT2001).
Actas del Simposio en Informática y Telecomunicación.
A Coruña, Spain.
September, 2001.
Pags. 83-95.
Ed. Senén Barro Ameneiro, José Luis Freire Nistal, Jesús Rivero Laguna.
ISBN: ISBN 84-931933-8-0.
- Antonio Blanco Ferro,
J. M. García-Tizón Iglesias,
M. Rodríguez Rubio,
Juan J. Sánchez,
Integración y coexistencia de aplicaciones Legacy y aplicaciones Web usando Patrones. Simposio en Informática y Telecomunicación (SIT2001).
Actas del Simposio en Informática y Telecomunicación.
A Coruña, Spain.
September, 2001.
Pags. 109-121.
Ed. Senén Barro Ameneiro, José Luis Freire Nistal, Jesús Rivero Laguna.
ISBN: ISBN 84-931933-8-0.
- Castor Mariño Pérez,
Víctor M. Gulías,
Marta Penas,
M. G. Penedo,
V. Leborán,
A. Mosquera,
M. J. Carreira,
D. Lloret,
Sistema de interpretación automática de secuencias SLO basada en un servidor VoD. Simposio en Informática y Telecomunicación (SIT2001).
Actas del Simposio en Informática y Telecomunicación.
A Coruña, Spain.
September, 2001.
Pags. 319-329.
Ed. Senén Barro Ameneiro, José Luis Freire Nistal, Jesús Rivero Laguna.
ISBN: ISBN 84-931933-8-0.
- J. Santiago Jorge,
José L. Freire,
Prove and then Execute. Séptimo Encuentro de Álgebra Computacional y Aplicaciones (EACA2001).
Actas del Séptimo Encuentro de Álgebra Computacional y Aplicaciones.
Ezcaray, La Rioja.
September, 2001.
Pags. 202-206.
Ed. Julio Rubio.
ISBN: ISBN 84-95301-52-0.
- Juan Quintela,
Juan J. Sánchez,
Persistent Haskell. Eurocast (Eurocast 2001).
Lecture Notes in Computer Science.
Las Palmas de Gran Canaria, SPAIN.
February, 2001.
Pags. 657-667.
Pags. .
Vol. 2178.
Ed. Springer-Verlang.
ISBN: 3-540-42959-X.
- J. L. Freire Nistal,
A. Blanco Ferro,
J. E. Freire Brañas,
J. J. Sánchez Penas,
Fusion and Deforestation in Coq. Eurocast (Eurocast 2001).
Lecture Notes in Computer Science.
Las Palmas de Gran Canaria, SPAIN.
February, 2001.
Pags. 583-596.
Vol. 2178.
Ed. Springer-Verlang.
ISBN: 3-540-42959-X.
- Miguel Barreiro,
Víctor M. Gulías,
Juan J. Sánchez,
Santiago Jorge,
The Tertiary Level in a Functional Cluster-based Hierarchical
VoD System.
. Eurocast (Eurocast 2001).
Lecture Notes in Computer Science.
Las Palmas de Gran Canaria, SPAIN.
February, 2001.
Pags. 540-554.
Pags. .
Vol. 2178.
Ed. Springer-Verlang.
ISBN: 3-540-42959-X.
- M. Barreiro,
V.M. Gulias,
J.J. Sanchez,
A Monitoring and Instrumentation Tool developed in Erlang. 6th International Erlang/OTP User Conference (EUC 2000).
Proceedings of 6th International Erlang/OTP User Conference.
Stockholm, Sweden.
October 3, 2000.
- José L. Freire,
Miguel Barreiro,
Características técnicas del Sistema de Red Educativa del
Ayuntamiento de La Coruña. Online Educa Madrid (Online Educa 2000).
Actas del Congreso Online Educa Madrid.
Madrid, Spain.
June, 2000.
Pags. 319-323.
Ed. UNED.
- A. Valderruten,
V.M. Gulias,
J. Mosquera,
J.J. Sanchez,
A. Blanco,
Evaluación del rendimiento de un Sistema de Tiempo
Real multihilo usando un modelo reactivo síncrono
. Simposio Español en Informática Distribuída 2000 (SEID 2000).
Actas del Simposio Español de Informática Distribuida (SEID 2000).
Ourense, SPAIN.
May 5, 2000.
Pags. 437-444.
Ed. S. Barro, J.M. Busta, J.M. Corchado, P. Cuesta (eds), Universidade de Vigo.
ISBN: 84-8158-163-1.
- J.J. Sanchez,
V.M. Gulias,
A. Valderruten,
J. Mosquera,
State of the Art and Design of VOD Systems. Symposium on Cybernetics and Informatics (SCI/ISAS 2000).
Cybernetics and Informatics, SCI 2000.
Orlando, USA.
2000.
Pags. 19-24.
Vol. VIII.
Ed. J.K.Lee et al (eds), Proc. of the World Multiconference on Systemics.
ISBN: 980-07-6694-4.
- E. Freire Brañas,
J.L. Freire Nistal,
A. Blanco Ferro,
Dialgebras in High Order Programming. 50 Years Of Wiener's Cybernetics (Wiener's 1999).
Wiener's Cybernetics - 50 years of evolution.
1999.
Pags. 45-49.
Ed. Universidad de Las Palmas de Gran Canaria.
- Miguel Barreiro,
Víctor M. Gulías,
Juan J. Quintela,
Antonio Blanco,
José L. Freire,
Experiencias con un Cluster Beowulf. Simposio Español de Informática Distribuida 1999 (SEID 1999).
Santiago de Compostela.
February, 1999.
- Alberto Valderruten,
Javier Mosquera,
Víctor M. Gulías,
Instrumentation of Synchronous Reactive Systems for Performance
Analysis: A Case Study. 10th International Conference Tools'98 (TOOLS 1998).
Lecture Notes in Computer Science.
Palma de Mallorca, SPAIN.
September, 1998.
Pags. 129-138.
Vol. 1459.
Ed. Springer-Verlang.
- Alberto Valderruten,
Víctor M. Gulías,
J. Santiago Jorge,
Javier Mosquera,
Performance Evaluation of a Multithreaded Runtime System using a
Synchronous Reactive Model. 23rd IFAC/IFIP Real Time Workshop (IFAC/IFIP 1998).
Shantou, China.
June, 1998.
Pags. 31-36.
- Ramón Castro,
Xesús M. López,
Víctor M. Gulías,
An ODBC Interface for Objective Caml. Joint Conference on Declarative Programming (APG 1998).
A Coruña, SPAIN.
July, 1998.
Pags. 189-200.
- Tony Davie,
Kevin Hammond,
Juan J. Quintela,
Efficient Persistent Haskell. Implementation of Functional Languages (IFL 1998).
Proceedings of IFL'98.
London, UK.
September, 1998.
- J. M. Molinelli,
J. M. Barja,
A. Blanco,
J. L. Freire Nistal,
An Automatic Calculator with Penrose Diagrams. Lecture Notes in Computer Science.
Berlín.
1997.
Pags. 252-269.
Vol. 1333.
Ed. Springer Verlag.
- V. Gulias,
S. Jorge,
J. J. Quintela,
J. L. Freire Nistal,
From Sequential to Distributed Formal Proofs. Lecture Notes in Computer Science.
Berlin.
1997.
Pags. 501-513.
Vol. 1333.
Ed. Springer Verlag.
- J. L. Freire Nistal,
V. Gulias,
X. M. López,
Adding Database Access to a Functional Language. 9th International Conference on Software Engeneering and Knoledge Engeneering (SEKE 1997).
Proc. The 9th Int. Conf. on Softw. Eng. and Know. Eng., SEKE'97.
USA.
1997.
Pags. 77-94.
Vol. 15.
Ed. Knowledge Systems Institute.
- J. L. Freire Nistal,
V. Gulías,
X. López,
On the Functional Approach to RDBMS. Data Management Systems.
USA.
1997.
Pags. 169-177.
Ed. IEEE COMPUTER SOCIETY.
- Alberto Valderruten,
Víctor M. Gulías,
José L. Freire,
Instrumentation Strategies in Distributed Functional Computing. International Conference on Information Systems Analysis, 1997 (ISAS 1997).
Proceedings of International Conference on Information Systems Analysis.
Caracas, Venezuela.
July, 1997.
Pags. 58-65.
Vol. I.
- Víctor M. Gulías,
Juan J. Quintela,
José L. Freire,
Transport Primitives for Functional Agents. Joint Conference on Declarative Programming 1997 (APPIA-GULP-PRODE'97).
Grado, Italia.
June, 1997.
Pags. 501-509.
- V. Gulías,
J. J. Quintela,
J. L. Freire Nistal,
Transport Primitives for Functional Agents. Joint Conference on Declarative Programming 1997 (APPIA-GULP-PRODE'97).
Proc. of APPIA-GULP-PRODE'97.
Italy.
1996.
Pags. 501-509.
Ed. Universita di Udine.
- V. Gulías,
J. J. Quintela,
J. L. Freire Nistal,
Distributed Computing using Objective Caml. Proc. of 8th Intern. Workshop on Implementation of
Functional Languages.
KIEL, Germany.
1996.
Pags. 155-168.
Ed. Institute of Computer Science.
- J. L. Freire Nistal,
V. Gulías,
X. López,
Expetiencia en la integracion entre Gestores relacionales
y Lenguajes Funcionales. Proc. of Jornadas de Investigacion y
Docencia en Bases de Datos.
A Coruña.
1996.
Pags. 250-259.
Ed. Univ. da Coruña.
- N.R. Brisaboa,
A. Blanco Ferro,
Multidimensional scaling as an alternative
to the triads method in the repertory grid. Proc. of CIICC'96.
Tijuana, México.
1996.
Pags. 1-10.
Ed. Academia Nacional de Investigación en
Ciencias Computacionales.
- Víctor M. Gulías,
Juan J. Quintela,
José L. Freire,
Concurrent Programming in Haskell using Traces. The 2nd. FUJI International Workshop of Functional and Logic Programing.
Shanon Village, Japan.
November, 1996.
Pags. 176-191.
Ed. World Computing Press.
- Alberto Valderruten,
Víctor M. Gulías,
An Information Model for Performance Engineering. International Conference on Information Systems Analysis.
Orlando, USA.
July, 1996.
Pags. 539-545.
- Víctor M. Gulías,
Juan J. Quintela,
José L. Freire,
Towards Higher-Order Distribution in Functional Languages. Joint Conference on Declarative Programming, APPIA-GULP-PRODE'96.
San Sebastián, SPAIN.
June, 1996.
Pags. 219-232.
Posters- Juan José Sánchez Penas,
Thomas Arts,
VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. Third International Conference on Application of Concurrency to System Design (ACSD 2003).
Proceedings of Third International Conference on Application of Concurrency to System Design.
Guimarães, Portugal.
18-20 June 2003.
ISBN: 0-7695-1887-7.
- Miguel Barreiro,
Víctor M. Gulías,
Juan J. Sánchez,
Monitoring and Instrumentation of a Clustered VoD System. Erlang User Conference (EUC 2000).
Stockholm, Sweden.
October, 2000.
Books- M. Vilares,
J. Graña,
A. Valderruten,
Concepción de Sistemas Tiempo Real Síncronos. A Coruña.
1996.
Ed. Universidade da Coruña, Servicio de Publicacións.
- M. Vilares,
M. Alonso,
A. Valderruten,
Programación Lógica (2ª edición). Santiago de Compostela.
1996.
Ed. Tórculo Artes Gráficas, SAL.
- García-Tizón Iglesias José M.,
Bamonde Rodríguez Sebastián,
Marra Quiroga Angel,
Sánchez Castro Jesús A.,
Bermúdez de Castro Socorro,
I Curso de Informática, Microordenadores y Basic.
Ed. Biblioteca Gallega Serie Nova. Consellería de Cultura Xunta de Galicia.
Book Chapters- Miguel Barreiro,
Víctor M. Gulías,
Cluster Setup and its Administration. High Performance Cluster Computing.
New Jersey, USA.
February, 1999.
Pags. 48-60.
Ed. Prentice Hall.
- A. Valderruten Vidal,
V. Gulías Fernández,
J. L. Freire Nistal,
M. Rodriguez Rubio,
Distributed Functional Computing and its Instrumentation. Parallel and Distributed System: Architectures, Tools and Algorithms.
Orlando, USA.
2000.
Pags. 15-37.
Ed. J. Aguilar. International Institute of Informatics and Systemics.
ISBN: 980-07-5956-5.
- V. Gulias,
J. J. Quintela,
Jose Luis Freire Nistal,
Concurrent Programming Using Traces in HASKELL. Functional and Logic Programming.
USA.
1997.
Pags. 176-191.
Ed. World Scientific Publishing Co..
- Jose Luis Freire Nistal,
Antonio Angel Blanco Ferro,
On the Abstraction Process. Brain processes, Theories and Models.
USA.
1996.
Pags. 495-502.
Ed. MIT Press, Cambridge, Massachusetts Institute of Technology.
- Jose Luis Freire Nistal,
El impulso de las necesidades universitarias. El futuro actual (Editor: J. B. Terceiro).
A Coruña.
1996.
Pags. 422-435.
Ed. Publicaciones de La Fundación Caixa Galicia.
- V. Gulías,
J. L. Freire Nistal,
Concurrent Programming in Haskell. Fachgrouppe Informatik.
Aachen, Germany.
1996.
Pags. 23-45.
Vol. 9.
Journals and Magazines- Alberto Valderruten,
Víctor M. Gulías,
Javier Mosquera,
J. Santiago Jorge,
Performance Evaluation of a Multithreaded RTS using a Synchronous Reactive Model. Control Engineering Practice.
Vol. 7.
Pags. 1533-1539.
December, 1999.
- Miguel Rodríguez Rubio,
José Maria García Tizón Iglesias,
Empresa y Tecnología de la Informática. Círculo de Dirigentes.
Vol. 0.
April, 1998.
- Miguel Rodríguez Rubio,
José Maria García Tizón Iglesias,
Un reto para la T.I. Sistemas y datos para ayudar a dirigir las empresas de hoy. (Primera parte). Círculo de Dirigentes.
Vol. 1.
May, 1998.
- Miguel Rodríguez Rubio,
José Maria García Tizón Iglesias,
Un reto para la T.I. Sistemas y datos pra ayudar a dirigir las empresas de hoy (Segunda parte). Círculo de Dirigentes.
Vol. 2.
June, 1998.
- Miguel Rodríguez Rubio,
José Maria García Tizón Iglesias,
Tecnología de la Información + Trabajo Cooperativo = Sinergia. Circulo de Dirigentes.
Vol. 3.
July, 1998.
- J. Andrade,
A. Valderruten,
M.C. Alvarez,
S. Sotelo,
Un supresor de ambigüedades Léxicas mediante Métodos Estadísticos. Revista de la Sociedad Española para el Procesamiento del Lenguaje Natural.
Vol. 20.
Pags. 1-12.
June, 1997.
- J.M. Andrade,
D. Prada,
J. Andrade,
J. Otero,
M. Rodríguez Rubio,
Development of in-house spectral-data manipulation
programs following quality guides. Laboratory Automation and Information Management. Oct 9, 1997.
- V. Gulias,
J. L. Freire Nistal,
A. Valderruten,
Évaluation Lazy avec Caml Light. Collection Didactique.
Vol. 15.
Pags. 77-94.
1996.
- Miguel Rodríguez Rubio,
Sistemas de Gestión de Información. Actas resumen del Foro: Oferta Tecnológica de la
Universidad de La Coruña. April 25, 1996.
Technical Reports- J. Santiago Jorge,
Víctor M. Gulías,
Antonio Blanco,
Razonando sobre Programas Funcionales.
Number 22.
A Coruña.
January, 1997.
Ed. Departamento de Computación, Universidade da Coruña.
web@lfcia.org