Models and Applications of Distributed Systems (MADS)

 Research group

General data

Coordinator Dr. David Cabrero Souto
Contratado doutor
Register date 08/09/2005
Dept. assignment Computer Science
Center assignment Faculty of Computer Science
Internal code G000397

Contact

Address David Cabrero Souto Derpartamento de Computación Facultad de Informática Campus de Elviña A Coruña 15071 cabrero@udc.es
Phone  981167000 ext. 1267
Fax  981167160
Email
Website  http://www.madsgroup.org

Research scope

Research lines

Métodos formales

Ingeniería del software y patrones de diseño

Sistemas distribuidos y en cluster

Sistemas tiempo real

Evaluación del rendimiento

Streaming y sistemas multimedia

Software libre

Aplicaciones: Comercio electrónico y gestión de riesgos

Programación funcional

Accesibilidad a los Sistemas de Información

Distribución de contenidos P2P

Keywords Métodos formales, especificación formal, model checking, verificación formal, probador teoremas; Ingeniería del software, patrones diseño, UML, diseño sistemas de información, orientación a objetos; Sistema distribuido, cluster, beowulf, Erlang; Tiempo real; Evaluación rendimiento, modelización, teoría de colas, modelos analíticos; streaming, servidor de vídeo, VoDKA, DVB; Software libre, GNU, Linux, accesibilidad; Comercio electrónico, gestión de riesgos, ARMISTICE; Programación funcional, Erlang, Haskel

Technology offer

Services offered

Despliegue de infraestructura relacionada con el vídeo bajo demanda (VoDKA). Desarrollo de aplicaciones distribuidas y de tiempo real utilizando el paradigma funcional distribuido. Aplicación de técnicas formales al desarrollo de software. Desarrollo de sistemas de información utilizando orientación a objetos. Administración de sistemas Linux. Kernel hacking. Configuración, despliegue y administración de clusters

Infraestructure resources - Diversa infraestructura relacionada con el vídeo bajo demanda (set-top boxes, equipamiento de vídeo digital, recursos autovisuales, etc) - Clusters Borg(1998): PII/350 SMP + 4*AMD K6 300MHz(7*K6/266+13K6/300+K7/500), 384 + 4*96(2*18GB+2*4.5GB) + 4*4GB, doble switch Fast Ethernet - Cluster Matrix(2001): 15*IBM eServer XSeries 200, 15*512MB, 15*18GB+2*100GB, switch Gigabit Ethernet
Transferable results - Patente "Método y Sistema de almacenamiento distribuido de contenidos multimedia orientado a streaming". Presentada el 02/03/2003 y pendiente - Creación de la spinoff de base tecnológica LambdaStream, para la explotación y comercialización del servidor de vídeo bajo demanda VoDKA - Despliegues reales del servidor de vídeo bajo demanda VoDKA en diferentes escenarios - Diseño, implementación y despliegue del sistema de gestión de riesgos ARMISTICE en la multinacional del sector textil Inditex

Group members

Dr. David Cabrero Souto
Computational Science and Artificial Intelligence
Coordinador
Dr. Antonio Ángel Blanco Ferro
Computational Science and Artificial Intelligence
PDI
Dr. Alberto Valderruten Vidal
Computational Science and Artificial Intelligence
PDI
Juan José Quintela Carreira
Computational Science and Artificial Intelligence
PDI
Dr. José Santiago Jorge Castro
Computational Science and Artificial Intelligence
PDI
Dr. Juan José Sánchez Penas
Computational Science and Artificial Intelligence
PDI
Dr. Laura Milagros Castro Souto
Computational Science and Artificial Intelligence
PDI
Javier París Fernández
Computational Science and Artificial Intelligence
PDI
Dr. Francisco Javier Taibo Pena
Cartographic Engineering, Geodesics and Photogrammetry
PDI
Cristina Muíños Roca
Computational Science and Artificial Intelligence
Contratado Proyecto
Dr. Miguel Ángel Francisco Fernández
C1 - Doctores de otras instituciones
Dr. Henrique Ferreiro García
C1 - Doctores de otras instituciones

Research results

You can browse the catalog by selecting a merit type and year.

IDENTIFICACION Y CARACTERIZACION DEL EDEMA MACULAR DIABETICO MEDIANTE ANALISIS AUTOMATICO DE TOMOGRAFIAS DE COHERENCIA OPTICA Y TECNICAS DE APRENDIZAJE MAQUINA

Funding entity Ministerio de Economía y Competitividad
Main researches Manuel González Penedo; Noelia Barreira
Dates From 01/01/2016 to 31/12/2019

Axuda de consolidación e estruturación de unidades de investigación competitivas. Modalidade :Grupos de Referencia Competitiva.

Funding entity Consellería de Educación e Ordenación Universitaria
Dates From 22/10/2014 to 30/10/2017

Property- Based Testing of Web Services (PROWESS)

Funding entity Union Europea
Main researches Laura Milagros Castro Souto
Dates From 02/10/2012 to 01/11/2015

Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)

Funding entity Xunta de Galicia
Main researches Ricardo Cao Abad
Dates From 01/01/2012 to 31/12/2013

Iniciativa para la implementación e integración de sistemas correctos y eficientes no triviales basado en modelos (AMBITIIONS)

Funding entity Ministerio de Economía y Competitividad (MINECO)
Main researches David Cabrero Souto
Dates From 01/01/2011 to 31/12/2013

IDISPO: Dispositivos de Internet de Usuario

Funding entity Ministerio de Industria, Turismo y Comercio
Main researches Gulías Fernández, Víctor Manuel
Dates From 10/06/2010 to 31/12/2011

Recursos funcionales para la construcción de sistemas distribuidos complejos de alta disponibilidad

Funding entity MINISTERIO DE EDUCACIÓN Y CIENCIA
Main researches Víctor M. Gulías Fernández
Dates From 15/10/2005 to 14/10/2008

Patrimonio de futuro: investigación acción participativa en la ciudad de Ferrol

Funding entity Dirección Xeral de Investigación e Desenvolvemento
Main researches José María Cardesín Díaz
Dates From 01/08/2004 to 01/08/2007

Sistema distribuido para medida del calibre retiniano (SIDMECAR) (INCENTIVO)

Funding entity Dirección Xeral de Investigación e Desenvolvemento
Main researches Manuel Francisco González Penedo
Dates From 04/06/2004 to 03/06/2007

Sistema médico distribuído basado en XML

Funding entity Ministerio de Ciencia y Tecnología
Main researches Manuel Francisco González Penedo
Dates From 03/12/2003 to 02/12/2006

Sistema Distribuído para Medida del Calibre Retiniano (SIDMECAR)

Funding entity Comisión Interministerial de Ciencia y Tecnología (CICYT)
Main researches Manuel Francisco González Penedo
Dates From 01/12/2003 to 30/11/2006

Sistema distribuído de Identificación Personas mediante Huellas de Retina

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Main researches Manuel Francisco González Penedo
Dates From 24/10/2003 to 23/10/2006

Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER) (Incentivo)

Funding entity Xunta de Galicia
Main researches Víctor M. Gulías Fernández
Dates From 15/07/2003 to 15/07/2006

Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)

Funding entity Ministerio de Ciencia y Tecnología
Main researches Víctor M. Gulías Fernández
Dates From 05/11/2002 to 05/11/2005

Construyendo ciudad, habitando entre redes, formulando proyectos de vida: un modelo de simulación basado en una aplicación informática vía web

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Main researches José María Cardesín Díaz
Dates From 08/10/2002 to 08/10/2005

Diseño, construcción y validación de un sistema jerárquico de almacenamiento de alta capacidad de bajo coste de adquisición y funcionamiento : Cheap TB

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Dates From 28/09/2002 to 27/09/2004

Extracción de información de noticias bursátiles para la evaluación del sentimiento de mercado

Funding entity Universidade da Coruña (UDC)
Main researches Miguel Ángel Alonso Pardo
Dates From 17/07/2002 to 17/07/2003

Analizadores Tabulares para el Lenguaje Natural 2

Dates From 06/05/2002 to 06/05/2004

e-MINDER. Electronic commerce leveraging network for developing European regions

Funding entity Union Europea
Dates From 29/08/2001 to 29/08/2003

Arquitectura de nodos de proceso paralelo para servicio de vídeo bajo demanda

Funding entity Comisión Interministerial de Ciencia y Tecnología (CICYT)
Dates From 30/12/1999 to 31/12/2001

Modelización y evaluación de un sistema de almacenamiento distribuido a bajo coste para aplicaciones multimedia

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Dates From 01/12/1999 to 01/12/2001

Interrogación de bases de datos textuales estructuradas.

Funding entity Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Dates From 25/08/1999 to 25/08/2002

Análisis de LIGs y TAGs en programación dinámica

Funding entity Dirección Xeral de Universidades
Dates From 24/10/1996 to 24/10/1999

Sócrates (Sistema objetual y cooperativo para la racionalización de la actividad y la tecnología de la empresa )

Funding entity Dirección Xeral de Universidades
Dates From 24/10/1996 to 24/10/1998

Generación óptima de conexiones en mapas: aplicación en redes de distribución.

Funding entity Consellería de Educación e Ordenación Universitaria
Main researches Antonio Ángel Blanco Ferro
Dates From 07/04/1994 to 07/04/1997

Sistema de cálculo simbólico con arquitectura cliente/servidor y núcleo funcional

Funding entity Dirección Xeral de Universidades
Main researches José Luis Freire Nistal
Dates From 01/01/1994 to 31/12/1995

Aplicaciones de la Ingeniería lingüística a los sistemas colaborativos y desktop publishing.

Sistema de generación de canales sintéticos de televisión digital

Type Patente
Entity Universidade da Coruña (UDC)
Authors Víctor Manuel Gulias Fernández, Francisco Javier Taibo Pena, Miguel Barreiro Paz, Pablo Montero-Manso
Application date 02/02/2012

Dispositivo y sistema escalable para la sobreimpresión de flujos de vídeo

Type Patente
Entity
Authors Francisco Javier Taibo Pena
Application date 14/12/2011
Approval date 29/01/2015

GIR-PDA: sistema de control de inventario para dispositivos móviles basado en RFID

Type Software Registrado
Entity Universidade da Coruña (UDC)
Authors Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Juan Martínez Vázquez, Iago F. Meilán
Application date 27/10/2009

GIR-WEB: sistema central de gestión de inmovilizado

Type Software Registrado
Entity Universidade da Coruña (UDC)
Authors Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Juan Martínez Vázquez, Iago F. Meilán
Application date 27/10/2009

Fútbol Vídeo Report

Type Software Registrado
Entity Universidade da Coruña (UDC)
Authors Víctor Manuel Gulias Fernández, David Cabrero Souto, Ángel Vales Vázquez, Alberto Areces Gayo
Application date 05/12/2007
Approval date 05/12/2007

Advanced RMIS Server: Tracking of Insurances, Claims and Exposures (ARMISTICE Server)

Type Software Registrado
Entity Universidade da Coruña (UDC)
Authors Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto
Application date 17/08/2007
Approval date 17/08/2007

Advaced RMIS Management Desktop: Tracking of Insurances, Claims and Exposures (ARMISTICE Desktop)

Type Software Registrado
Entity Universidade da Coruña (UDC)
Authors Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto
Application date 17/08/2007
Approval date 17/08/2007

Body Composition Changes After Very-Low-Calorie Ketogenic Diet in Obesity Evaluated by 3 Standardized Methods

Authors Gomez-Arbelaez, Diego, Diego Bellido Guerrero, Castro, Ana I, Ordoñez-Mayan, Lucia, Juan José Quintela Carreira, Galban, Cristobal, Martinez-Olmos, Miguel A, Crujeiras, Ana B, Sajoux, Ignacio, Casanueva, Felipe F
Journal THE JOURNAL OF CLINICAL ENDOCRINOLOGY AND METABOLISM Vol. 102 Num. 2
DOI https://doi.org/10.1210/jc.2016-2385

Making Property-based Testing Easier to Read Humans (JCR)

Authors Laura Milagros Castro Souto, Pablo Lamela, Simon Thompson
Journal COMPUTING AND INFORMATICS Vol. 35 Num. 4 (pages 890 to 913)

Advanced Management of Data Integrity: Property-based Testing for Business Rules

Authors Laura M. Castro
Journal JOURNAL OF INTELLIGENT INFORMATION SYSTEMS Vol. 44 Num. 3 (pages 355 to 380)

A language-independent approach to black-box testing using Erlang as Test Specification language

Authors Laura M. Castro, Miguel A. Francisco
Journal JOURNAL OF SYSTEMS AND SOFTWARE Vol. 86 Num. 12 (pages 3109 to 3122)
DOI https://doi.org/10.1016/j.jss.2013.07.021

Anthropometric measures of central abdominal fat and discriminant capacity for metabolic syndrome in a Spanish population

Authors Diego Bellido Guerrero, López de la Torre, Martín, Juan José Quintela Carreira, de Luis, Daniel, Bellido, Virginia, Soto, Alfonso, Luengo, Luis M, Luis Antonio Hernández Ibáñez, Vidal, Josep, Jose Antonio Becerra Permuy, Ballesteros, María
Journal CLÍNICA E INVESTIGACIÓN EN ARTERIOESCLEROSIS Vol. 25 Num. 3 (pages 105 to 109)
DOI https://doi.org/10.1016/j.arteri.2013.05.007

Repeating history: Execution replay for parallel Haskell programs

Authors Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 7829 (pages 231 to 246)

Assesing the effects of introducing a new software development process: a methodological description

Authors Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts
Journal International Journal on Software Tools for technology Transfer Vol. 17 Num. 1 (pages 1 to 16)
DOI https://doi.org/10.1007/s10009-013-0275-0

Optimising Lossless Stages in a GPU-based MPEG Encoder

Authors Samuel Rivas, Fco. Javier Taibo, Víctor M. Gulías
Journal MULTIMEDIA TOOLS AND APPLICATIONS Vol. 65 (pages 495 to 520)

Business Operation improvement through integrated infrastructure management

Authors Alberto Casanova, Laura M. Castro, Antonio Blanco-Ferro
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 8111 (pages 158 to 165)
DOI https://doi.org/10.1007/978-3-642-53856-8_20

Feasibily of property-based testing for time-dependent systems

Authors Macías López, Laura M. Castro, David Cabrero
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 8112 (pages 527 to 535)

Automatic Generation of Test Models for Web Services using WSDL and OCL

Authors Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 8274 (pages 483 to 490)
DOI https://doi.org/10.1007/978-3-642-45005-1_37

subjective Quality Assessment of the Impact of Buffer size in fine-Grain Parallel Video Encoding (JCR)

Authors Pablo Montero-Manso, L. Polak, T. Kratochvil
Journal Radioengineering Vol. 21 Num. 4 (pages 1226 to 1235)

Self-tuning of disk input-output in operating systems. IF:1.135 (Q2)

Authors Antonino Santos Del Riego, Juan Jesús Romero Cardalda, Francisco Javier Taibo Pena, Carlos Rodriguez, Adrian Carballal Mato
Journal JOURNAL OF SYSTEMS AND SOFTWARE Vol. 85 Num. 1 (pages 77 to 86)
DOI https://doi.org/10.1016/j.jss.2011.07.030

On the Confluence of the Graphic Calculus with Penrose Diagrams

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, José María Molinelli Barba, José Enrique Freire Brañas
Journal Lecture Notes in Computer Science Vol. 6927 (pages 169 to 176)
DOI https://doi.org/10.1007/978-3-642-27549-4

La Percepción del Espacio en la Visualización de Arquitectura mediante Realidad Virtual Inmersiva. EGA

Authors Luis Antonio Hernández Ibáñez, Fco. Javier Taibo, Antonio Jose Seoane Nolasco, Alberto Jaspe
Journal EGA: REVISTA DE EXPRESIÓN GRÁFICA ARQUITECTÓNICA Vol. 16 Num. 18 (pages 252 to 261)
DOI https://doi.org/10.4995/ega.2011.1110

Rendimiento académico de los estudios de Informática en algunos centros españoles

Authors Jorge Más Estellés, Rosa Alcover Arándiga, Adriana Dapena, Alberto Valderruten Vidal, Rosana Satorre Cuerda, Fernando Llopis Pascual, Tomás Rojo Guillén, Rafael Mayo Gual, Miren Bermejo Llopis, Julián Gutiérrez Serrano, Jordi García Almiñana, Edmundo Tovar Caro, Ernestina Menasalvas Ruiz
Journal NOVÁTICA Num. 204 (pages 55 to 61)

Dynamic Virtual Textures

Authors Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Luis Antonio Hernández Ibáñez
Journal JOURNAL OF WSCG Vol. 17 Num. 1 (pages 25 to 32)

Certifying properties of an efficient functional program for computing Gröbner bases

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal
Journal JOURNAL OF SYMBOLIC COMPUTATION Vol. 44 Num. 5 (pages 571 to 582)

The fold Operator as a Coequalizer Using Coq

Authors Antonio Ángel Blanco Ferro, José Enrique Freire Brañas, José Luis Freire Nistal, Javier Paris Fernandez
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (pages 167 to 176)

A Practical Methodology for Integration Testing

Authors Laura Milagros Castro Souto, Miguel A. Francisco Fernández, Víctor Manuel Gulias Fernández
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (pages 881 to 888)

A Distributed System for Massive Generation of Synthetic Video Using GPUs

Authors Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (pages 239 to 246)

Managing the Risks of Risk Management

Authors Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, José Santiago Jorge Castro
Journal JOURNAL OF DECISION SYSTEMS Vol. 17 Num. 4 (pages 501 to 521)

Environment- Independence Methodology for Accesing External Data Sources

Authors Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez
Journal WSEAS Transactions on Information Science & Applications Vol. 5 Num. 9 (pages 1355 to 1364)

Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 5144 (pages 296 to 299)

Interfaces naturales para contenidos digitales interactivos en museos. La experiencia de Galicia dixital.

Authors Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Alberto Jaspe Villanueva, M. Rocio López Mihura
Journal REVISTA DEL CENTRO E INVESTIGACIÓN.UNIVERSIDAD LA SALLE Vol. 8 Num. 29 (pages 37 to 42)

Using Coq to understand nested datatypes

Authors Antonio Ángel Blanco Ferro, José Enrique Freire Brañas, José Luis Freire Nistal
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 210 to 216)

Verification of program properties using different theorem provers: a case study

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 233 to 240)

Physically Walking in Digital Spaces - A Virtual Reality Installlation for Exploration of Historical Heritage.

Authors Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Juan David Blanco Miguez, Antonio Jose Seoane Nolasco, M. Rocio López Mihura, Alberto Jaspe Villanueva, José A. Iglesias
Journal INTERNATIONAL JOURNAL OF ARCHITECTURAL COMPUTING Vol. 5 Num. 3 (pages 487 to 506)

Integration of legacy aplications in advanced services

Authors José Antonio García Varela, Antonio Ángel Blanco Ferro, Roi Blanco González
Journal WSEAS Transactions on Information Science & Applications Vol. 4 (pages 787 to 793)

A Distributed Filesystem for Spare Storage

Authors Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Santiago Jorge Castro
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 Num. 1 (pages 249 to 256)

Model checking a video-on-demand server using Mcerlang

Authors Lars-Ake Fredlund, Juan José Sánchez Penas
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 539 to 546)

On the representation of imperative programs in a logical framework

Authors José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro, David Cabrero Souto
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 202 to 209)

Towards a decentralized and structured network of P2P public information screens

Authors Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 217 to 224)

COLE Experiments at QA@CLEF 2004 Spanish Monolingual Track

Authors Enrique Méndez Díaz, Jesús Vilares Ferro, David Cabrero Souto
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3491 (pages 544 to 551)

CheapTB: A Low Cost of Operation Distributed Filesystem

Authors Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (pages 121 to 130)

On Recursive Functions and Well-Founded Relations in the Calculus of Constructions

Authors José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (pages 69 to 80)

Towards a Certified and Efficient Computing of Gröbner Bases

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (pages 111 to 120)

Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel

Authors Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (pages 220 to 230)

Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel

Authors Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (pages 220 to 230)

On the Strong Co-induction in Coq

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Enrique Freire Brañas
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (pages 279 to 290)

Análisis Eficaz de Gramáticas de Cláusulas Definidas

Authors David Cabrero Souto
Journal PROCESAMIENTO DEL LENGUAJE NATURAL Vol. 30 (pages 121 to 122)

Lambda Goes to Hollywood

Authors Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Juan José Sánchez Penas
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2562 (pages 391 to 407)

Programación dinámica y análisis parcial

Authors David Cabrero Souto, Jesús Vilares, Manuel Vilares
Journal PROCESAMIENTO DEL LENGUAJE NATURAL Vol. 29 Num. - (pages 89 to 96)

Applying Productive Derivational Morphology to Term Indexing of Spanish Texts

Authors David Cabrero Souto, Miguel Ángel Alonso Pardo
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2004 Num. - (pages 336 to 348)

Fusion and Deforestation in COQ

Authors José Luis Freire Nistal, Enrique Freire Brañas, Antonio Ángel Blanco Ferro, J. José Sánchez Penas
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 2178 Num. - (pages 583 to 596)

The Tertiary Level in a Function al Cluster-Based Hierarchical VoD Server

Authors Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Juan José Sánchez Penas, José Santiago Jorge Castro
Journal COMPUTER AIDED SYSTEMS THEORY, LECTURE IN COMPUTER SCIENCE Vol. 2178 Num. - (pages 540 to 554)

Generación automática de familias morfológicas mediante morfología derivativa productiva

Authors David Cabrero Souto, Miguel Ángel Alonso Pardo
Journal PROCESAMIENTO DEL LENGUAJE NATURAL Vol. 27 Num. - (pages 181 to 188)

Effects of Some Isoxazolpyrimidine Derivatives on Nitric Oxide and Eicosanoid Biosynthesis

Authors Juan José Quintela Carreira, Carlos Peinador Veira, Mª Jesús Moreira Rama, A. Vidal, M.L. Ferrándiz, Amalia Ubeda
Journal LIFE SCIENCES Vol. 66 Num. - (pages 125 to 131)

Performance evaluation of a multithreaded RTS using a synchronous reactive model

Authors Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Javier Mosquera, José Santiago Jorge Castro
Journal CONTROL ENGINEERING PRACTICE Vol. 12 Num. 7 (pages 1533 to 1539)

Distributed Functional Computing and its Instrumentation

Authors Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Luis Freire Nistal
Journal PARALLEL AND DISTRIBUTED SYSTEM: THEORY AND APPLICATIONS Num. - (pages 0 to 0)

Un supresor de ambigüedades léxicas mediante métodos estadísticos

Authors Javier Andrade Garda, María Concepción Álvarez Lebredo, Alberto Valderruten Vidal, Susana Sotelo Docío
Journal PROCESAMIENTO DEL LENGUAJE NATURAL Vol. 20 (pages 1 to 12)

From sequential to distributed formal proofs.

Authors Víctor Manuel Gulias Fernández, José Santiago Jorge Castro, Juan José Quintela Carreira, José Luis Freire Nistal
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 1333 Num. - (pages 501 to 513)

An automatic calculator with penrose diagrams

Authors José María Barja Pérez, Antonio Ángel Blanco Ferro, José Luis Freire Nistal, José Mª Molinelli Barba
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 1333 Num. - (pages 77 to 94)

Evaluation Lazy avec Caml Light.

Authors Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Alberto Valderruten Vidal
Journal COLLECTION DIDACTIQUE, INRIA Vol. - Num. 15 (pages 77 to 94)

An experience on Natural Language Parsing.

Authors Miguel Ángel Alonso Pardo, David Cabrero Souto
Journal LENGUAJESNATURALES Y LENGUAJES FORMALES XII Vol. - Num. - (pages 555 to 562)

Desenvolvemento dun sistema de Distribución de Contidos en Erlang: Un enfoque descentralizado.

Authors Henrique Ferreiro García
Publishing Editorial Académica Española , Coruña, A (España)
ISBN 978-8473-6598-3

Comercio electrónico : la tecnología al servicio de la PYME

Authors Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Javier Mosquera Blanco, Carlos Abalde Ramiro, José Luis Freire Nistal
Publishing Vía Láctea Editorial, Coruña, A (España)
ISBN 84-89444-91-9

Actas del ' XVI Congreso de la Sociedad Española para el Procesamiento del Lenguaje Natural( SEPLN-2000)'

ISBN 1135-5948

Concepción de Sistemas Tiempo Real Síncronos

Authors Manuel Vilares, Jorge Graña Gil, Alberto Valderruten Vidal
Publishing Universidade da Coruña, Coruña, A (España)
ISBN 84-89694-11-7

Programación Lógica (Segunda Edición)

Authors Manuel Vilares, Miguel Ángel Alonso Pardo, Alberto Valderruten Vidal
Publishing Universidad de A Coruña, Coruña, A (España)
ISBN 84-89641-18-8

Managing data integrity: property-based testing for business rules

Authors Laura Milagros Castro Souto
Book Managing data integrity: property-based testing for business rules
Publishing: Tech Science Press.
ISBN: 980-953-307-209-3
Pages From 1 to 1

Mapping Large Textures for Outodoor Terrain Rendering.

Authors Antonio Jose Seoane Nolasco,Francisco Javier Taibo Pena,Luis Antonio Hernández Ibáñez,Alberto Jaspe Villanueva
Book Game Programming Gems 7.
Vol. - Publishing: Charles River Media/Coruse Technology.
ISBN: 978-1-58450-527-3
Pages From 435 to 446

Certifying properties of program using theorem provers

Authors José Santiago Jorge Castro,Víctor Manuel Gulias Fernández,David Cabrero Souto
Book Verification, Validation and Testing in Software Engineering
Vol. - Publishing: Idea Group Publishing.
ISBN: 1-59140-852-0
Pages From 220 to 267

Infraestructura para nuevos servicios telemáticos: Vídeo bajo demanda

Authors Víctor Manuel Gulias Fernández,Antonio Ángel Blanco Ferro,Roi Blanco González,Miguel Barreiro Paz
Book Manual de cine científico y de la salud
Vol. - Publishing: Asociación Audiovisual para la Promoción de la Salud.
ISBN: 84-688-4887-5
Pages From 68 to 72

Generalized LR parsing for extensions of context-free grammars

Authors Miguel Ángel Alonso Pardo,Manuel Vilares,David Cabrero Souto
Book Recent advances in natural language processing II
Vol. - Publishing: John Benjamins.
ISBN: 90-272-3695-X
Pages From 81 to 92

An Operational Model for Parsing Definite Clause Grammars with Infinite Terms

Authors Manuel Vilares,Miguel Ángel Alonso Pardo,David Cabrero Souto
Book Logical Aspects of Computional Linguistics
Vol. - Publishing: Springer-Verlag.
ISBN: 3-540-65751-7
Pages From 212 to 230

Concurrent programming with traces in haskell

Authors Víctor Manuel Gulias Fernández,Juan José Quintela Carreira,José Luis Freire Nistal
Book Functional and logic programming
Vol. - Publishing: Wordl Scientific.
ISBN: 981-02-2923-2
Pages From 176 to 191

On the abstraction process

Authors Juan Manuel Freire Botana,Antonio Ángel Blanco Ferro
Book Brain processes, Theories and Models
Vol. - Publishing: MIT Press.
ISBN: MIT96-1
Pages From 0 to 0

Profiling of parallel programs in a non-strict functional language

Autor Henrique Ferreiro García
Director/s Laura Milagros Castro Souto; Kevin Hammond
Scope Computación
Qualification Sobresaliente

Aplicación de técnicas de pruebas automáticas basadas en propiedades a los diferentes niveles de prueba del software

Autor Miguel Ángel Francisco Fernández
Director/s Laura M. Castro Souto
Scope Facultad de Informática
Qualification Sobresaliente Cum Laude

Magma, metodología de la auditoría general del mantenimiento de aplicaciones

Autor Serafín Caridad Simón
Director/s Nieves Rodríguez Brisaboa;Antonio Ángel Blanco Ferro
Scope Computación
Qualification Sobresaliente Cum Laude

Una metodología para la ingeniería y reingeniería de sistemas de información basada en patrones, antipatrones y marcos

Autor José Mª García-Tizón Iglesias
Director/s José María Barja Pérez;Antonio Ángel Blanco Ferro
Scope Computación
Qualification Sobresaliente Cum Laude

Supervivencia del cancer gástrico y factores que modifican el pronóstico

Autor Emilio Casariego Vales
Director/s José Santiago Jorge Castro;Salvador Pita Fernández
Scope Medicina
Qualification Sobresaliente Cum Laude

Inclusión de consultas conjuntivas bajo la semántica de bolsas

Autor Nieves Rodríguez Brisaboa
Director/s Hector Hernández ;Antonio Ángel Blanco Ferro
Scope Computación
Qualification Apto

Automatic Generation of UML Sequence Diagrams from Test Cointerexamples
ERLANG USER CONFERENCE 2016
International

Authors Laura Milagros Castro Souto, Daniel Carballa
Organization Erlang Solutions
Place Nara (Japón)
DOI https://doi.org/10.1145/2975969.2975971

Making everybody comfortable with Erlang: A SCADA System for Thermal Control
ERLANG USER CONFERENCE 2016
International

Authors Laura Milagros Castro Souto, J. Daniel Fernández, José Carlos López Pampín
Organization Erlang Solutions
Place Nara (Japón)
DOI https://doi.org/10.1145/2975969.2975971

Kindergarten Cop: Dynamic Nursery Resizing for GHC
25th International Conference on Compiler Construction (CC'16)
International

Authors Laura Milagros Castro Souto, Henrique Ferreiro García, Vladimir Janjic, Kevin Hammond
Place Barcelona (España)

O software libre como vehículo de introdución á perspectiva de xénero
XUGeX. IV Jornada Universitaria Gallega en Género: Perspectiva de género en la docencia universitaria
National

Authors Laura Milagros Castro Souto
Organization Oficinas de Igualdad de Género de la UDC, USC y UVIGO.
Place Santiago de Compostela (España)

On the combination of Monads
Computer Aided Systems Theory - EUROCAST 2015
International

Authors Antonio Ángel Blanco Ferro, J.L. Freire Nistal, José María Molinelli Barba
Place Palmas de Gran Canaria, Las (España)

Testing FreeDesktop applications for free with D-Bus and QuickCheck
Computer Aided Systems Theory - EUROCAST 2015
International

Authors Laura Milagros Castro Souto
Place Palmas de Gran Canaria, Las (España)

Using property-based testing to automate test case generation and diagnosis in web-based graphical user interfaces
INTUITEST 2015
International

Authors Henrique Ferreiro García, Miguel A. Francisco Fernández, Clara Benac Earle, Laura Milagros Castro Souto, Macías López Iglesias
Place Sophia (Francia)

Cuantificación da perda das novas xeracións de mulleres técnicas. O caso da UDC.
II Xornada Universitaria Galega en Xénero
Autonomous

Authors Laura M. Castro Souto
Organization Universidade da Coruña (UDC)
Place Ferrol (España)

A Backpack to go the Extra-Functional Mile (a hitchet hike by the Prowess Proyect)
Erlang Factory 2014
International

Authors Laura M. Castro Souto
Place San Francisco (Estados Unidos)

Property-Based testing for Non-functional Requirements- Erlang as Supporting Technology for reaching Software Architecture
Erlang User Conference 2014
International

Authors Macías López Iglesias, Laura M. Castro Souto, Thomas Arts
Place Estocolmo (Suecia)

Practical Line rasterization for multi-resolution textures
Smart Tools and Apps for Graphics
International

Authors Fco. Javier Taibo, Alberto Jaspe, Antonio Jose Seoane Nolasco, Luis Antonio Hernández Ibáñez, Marco Agus
Organization EUROGRAPHICS
Place Cagliari (Italia)

Automatización de Pruebas para Servicios Web: Generación de Propiedades y Modelos
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE- PROLE
National

Authors Macías López Iglesias, Laura M. Castro Souto, Henrique Ferreiro García, Miguel A. Francisco
Organization UNIVERSIDAD POLITÉCNICA DE MADRID
Place Madrid (España)

Uso de propiedades y modelos para las pruebas de sistemas distribuidos basados en la integración de componetnes heterogéneos
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE- PROLE
National

Authors Laura M. Castro Souto, Miguel A. Francisco
Organization UNIVERSIDAD POLITÉCNICA DE MADRID
Place Madrid (España)

Integrated Infrastructure Management System
International Conference On Computer Aided Systems Theory. Eurocast 2013
International

Authors Laura M. Castro Souto, Antonio Ángel Blanco Ferro, Alberto Casanova
Organization Universidad de Las Palmas de Gran Canaria (ULPGC)
Place Palmas de Gran Canaria, Las (España)

Using Property-Based Testing in Time-Dependent Systems: a case study
International Conference On Computer Aided Systems Theory. Eurocast 2013
International

Authors Macías López Iglesias, Laura M. Castro Souto, David Cabrero Souto
Organization Universidad de Las Palmas de Gran Canaria (ULPGC)
Place Palmas de Gran Canaria, Las (España)

Tuning web services descriptions into QuickCheck models for automatic Testing
ERLANG 2013
International

Authors Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García, Miguel A. Francisco
Organization ACM
Place Boston, Massachusetts (Estados Unidos)

Fast GPU approximation of EPZS Motion Estimation Using Branching
15th Interantional Workshop on Multimedia Signal Processing 2013
International

Authors Pablo Montero-Manso, Francisco Javier Taibo Pena
Organization IEEE Signal Processing
Place Pula, Cerdeña (Italia)

Automatic generation of test models for Web Services using WSDL and OCL
11th International Conference on Service Oriented Computing (ICSOC 2013)
International

Authors Miguel A. Francisco, Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García
Organization IBM RESEARCH
Place Berlín (Alemania)

Kindergarten Cop: Dynamic Nursery Resizing for GHC
25th Symposium on Implementation and Application of Functional Languages - ILF 2013
International

Authors Henrique Ferreiro García, Laura M. Castro Souto, Vladimir Janjic, Tony Kevin Hammond
Organization ACM
Place Nijmegen (Países Bajos)

A DSL for Web Services Automatic Test Data Generation
25th Symposium on Implementation and Application of Functional Languages - ILF 2013
International

Authors Macías López Iglesias, Henrique Ferreiro García, Laura M. Castro Souto, Thomas Arts
Organization ACM
Place Nijmegen (Países Bajos)

Tecnología funcional en aplicaciones de televisión interactiva
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE - PROLE 2012
National

Authors David Duque, Laura M. Castro Souto
Organization Universidad de Almería (UAL)
Place Almería (España)

Sistema funcional distribuido de publicidad para IDTV
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE - PROLE 2012
National

Authors Laura M. Castro Souto, Macías López Iglesias, David Cabrero Souto
Organization Universidad de Almería (UAL)
Place Almería (España)

Failover and Takeover Contingency Mechanisms for Network Partition and Node Failure
ERLANG USER CONFERENCE 2012
International

Authors David Cabrero Souto, Macías López Iglesias, Laura M. Castro Souto
Organization ACM
Place Copenhague (Dinamarca)

Declarative Distributed Advertisement System for IDTV: an Industrial Experience
Principles and Practice of Declarative Programming PPDP'12 - ACM SIGPLAN
International

Authors Laura M. Castro Souto, David Cabrero Souto, Macías López Iglesias
Organization ACM
Place Leuven (Bélgica)

Automatic generation of test models and properties from UML models with OCL constraints
OCL 2012
International

Authors Laura M. Castro Souto, Miguel A. Francisco
Organization ACM
Place Innsbruck (Austria)

Desarrollo de un Sistema para la Definición, Generación Automática y Gestión de Protocolos para Vías Clínicas
INFORSALUD 2010. XIII Congreso Nacional de Informática de la Salud
National

Authors Yago Méndez Vidal, Lino Carrajo García, Antonio Ángel Blanco Ferro, Laura Milagros Castro Souto, Fátima Rodríguez Calvo, Daniel Llamas Gómez, Guillermo Vázquez González
Organization Sociedad Española de Informática de la Salud (SEIS)
Place Madrid (España)

Teoría de Autómatas y Lenguajes Formales: Una aproximación práctica desde dos paradigmas de programación
CUIEET 2010. XVIII Congreso Universitario de Innovación Educativa en las Enseñanzas Técnicas
National

Authors Milagros Fernández Gavilanes, Carlos Gómez-Rodríguez, Jesús Vilares Ferro, Jorge Graña Gil, Antonio Ángel Blanco Ferro
Organization Universidad de Cantabria
Place Santander (España)

Testing Data Consistency of Data-Intensive Applications using QuickCheck
PROLE 2010
National

Authors Laura Milagros Castro Souto, Thomas Arts
Organization Universidad Politécnica de Valencia
Place Valencia (España)

Parallel Zigzag Scanning and Huffman Coding for a GPU-Based MPEG-2 Encoder
IEEE International Symposium on Multimedia (ISM2010)
National

Authors Pablo Montero Manso, Francisco Javier Taibo Pena, Víctor Manuel Gulias Fernández, Samuel Rivas González
Place Taichung (Taiwán)

Directional Gaze Analysis in Webcam Video Sequences
International Conference on Image Analysis and Recognition (ICIAR)
International

Authors Verónica Vivero García, Noelia Barreira Rodríguez, M G Penedo, David Cabrero Souto, Beatriz Remeseiro López
Place Póvoa de Varzim (Portugal)

Rendimiento académico de los estudios de Informática en algunos centros españoles
XV Jornadas de Enseñanza Universitaria de la Informática (JENUI 2009)
National

Authors Jorge Más Estellés, Rosa Alcover Arándiga, Adriana Dapena, Alberto Valderruten Vidal, Rosana Satorre Cuerda, Fernando Llopis Pascual, Tomás Rojo Guillén, Rafael Mayo Gual, Miren Bermejo Llopis, Julián Gutiérrez Serrano, Jordi García Alimaña, Edmundo Tovar Caro, Ernestina Menasalvas Ruíz
Place Barcelona (España)

Automatic Testing of TCP/IP Implementations Using Quickcheck
ERLANG¿09
International

Authors Javier Paris Fernandez, Thomas Arts
Place Edimburgo (Reino Unido)

VideaLAB: experiencias en diseño de instalaciones de Realidad Virtual en museos.
Segundas Jornadas sobre Realidad Virtual y Entornos Virtuales.
National

Authors Luis Antonio Hernández Ibáñez, Antonio Jose Seoane Nolasco, Francisco Javier Taibo Pena, Alberto Jaspe Villanueva
Place Albacete (España)

Empleo de residuos de construcción y demolición en mezclas bituminosas.
VIII Congreso de Ingeniería del Transporte.
National

Authors Ignacio Pérez Pérez, Mar Toledano Prados, Francisco Javier Taibo Pena, Juan Gallego Medina
Place Coruña, A (España)

Análisis y utilización de la información meteorológica en un centro de gestión de tráfico mediante sistemas integrados de información geográfica (SIG) y sistemas de navegación 3D
VIII Congreso de Ingeniería del Transporte.
National

Authors Francisco Alberto Varela García, Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Ramiro Martínez Rodríguez, Alberto Jaspe Villanueva, Juan Ignacio Varela García
Place Coruña, A (España)

Applications integration: a testing experience
Servicewave 2008
International

Authors Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Miguel A. Francisco Fernández
Place Madrid (España)

Testing erlang data types with quviq quickcheck
7th ACM SIGPLAN Erlang Workshop, Erlang ¿08
International

Authors Thomas Arts, Laura Milagros Castro Souto, John Hughes
Place Victoria-British Columbia (Canadá)

Database Access and Patterns in Erlang/0TP
AIC¿08 - 8th WSEAS International Conference on APPLIED INFORMATICS and COMMUNICATIONS
International

Authors Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez
Place Rhodes (Grecia)

Efficient Discovery of Widely Distributed And Non-Volatile Resources on DHTs
ICIW 2008 - The Third International conference on Internet and Web Applications and Services
International

Authors Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Place Atenas (Grecia)

Aplicación de técnicas de iluminación para obtención de cuencas visuales en estudios de impacto ambiental.
14 Convención Científica de Ingeniería y Arquitectura - XII Congreso Iberoamericano de la Sociedad Iberoamericana de Gráfica Digital (SiGraDi 2008).
International

Authors Luis Antonio Hernández Ibáñez, Antonio Jose Seoane Nolasco, Alberto Jaspe Villanueva, Francisco Javier Taibo Pena
Place La Habana (Cuba)

Earlang/OTP framework for complex management applications development
WEBIST 2007, 3rd International Conference on Web Information Systems and Technologies
International

Authors Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto, Carlos Varela Paz, José Santiago Jorge Castro
Place Barcelona (España)

Videalab. Grupo de Visualización Avanzada en Arquitectua, Ingeniería Civil y Urbanismo
I Simposium de Informática Gráfica y Patrimonio Histórico
National

Authors Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Juan David Blanco Miguez, Antonio Jose Seoane Nolasco, M. Rocio López Mihura, Alberto Jaspe Villanueva, Manuel Meijide Ferreiro, Juan Nieto Boga, Natalia Carregal
Place Coruña, A (España)

El museo Vacío y el Camino de Santiago. Una instalación de Realidad Virtual para la exploración del patrimonio cultural
I Simposium de Informática Gráfica y Patrimonio Histórico
National

Authors Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Juan David Blanco Miguez, Antonio Jose Seoane Nolasco, M. Rocio López Mihura, Alberto Jaspe Villanueva
Place Coruña, A (España)

Ampliación de las capacidades de visualización de un SIG libre mediante la comunicación con un navegad or 3D
I Jormadas de SIG Libre
National

Authors Francisco Alberto Varela García, Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Juan Ignacio Varela García
Place Girona (España)

Adaptación al espacio europeo de educación superior de la asignatura de algoritmos en la facultad de informática de la Universidad de A Coruña
II Jornadas de Innovación Educativa (EPS). El espacio europeo de educación superior: una oportunidad para las enseñanzas técnicas
National

Authors José Santiago Jorge Castro, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Place Zamora (España)

The Empty Museum. Walking inside the virtual exhibit
Museums and the Web 2007
International

Authors Juan David Blanco Miguez, Luis Antonio Hernández Ibáñez, M. Rocio López Mihura, Antonio Jose Seoane Nolasco, Francisco Javier Taibo Pena
Place San Francisco (Estados Unidos)

Interfaces naturales para contenidos digitales interactivos en museos. La experiencia de Galicia Dixital
SIGRADI 07. Congreso de la Sociedad Iberoamericana de Gráfica Digital
International

Authors Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Alberto Jaspe Villanueva, M. Rocio López Mihura
Place México D.F. (México)

Hardware-Independent Clipmapping
The 15th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2007 (WSCG 2007)
International

Authors Antonio Jose Seoane Nolasco, Francisco Javier Taibo Pena, Luis Antonio Hernández Ibáñez, Rubén López Gómez, Alberto Jaspe Villanueva
Place Plzen (República Checa)

Fundamentos para la edición de informes técnicos. Una aplicación en el fútbol.
1º Congresso Internacional de Jogos Desportivos
International

Authors Alberto Areces Gayo, Angel Vales Vázquez, Víctor Manuel Gulias Fernández, David Cabrero Souto, Iván Arcos
Place Oporto (Portugal)

Extending the VoDKA Architecture with P2P Aggregated Content Management
12th IEEE Symposium on Computers and Communications (ISCC 2007)
International

Authors Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Place Aveiro (Portugal)

A comparative performance evaluation of different implementation of the SOAP protocol
5th IEEE European Conference on Web Services (ECOWS 2007)
International

Authors José Antonio García Varela, Roi Blanco González, Antonio Ángel Blanco Ferro
Place Halle (Saale) (Alemania)

A comparative performance evaluation of different implementations of the SOAP protocol
5th IEEE European Conference on Web Services (ECOWS 2007)
International

Authors José Antonio García Varela, Antonio Ángel Blanco Ferro, Roi Blanco González, Javier Paris Fernandez
Place Halle (Saale) (Alemania)

Digital Watermarking of MPEG Videos: Empirical Studies and Open Source Tools
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
International

Authors Laura Milagros Castro Souto, Cheng-Fang Yang, Natasha Simon, Ernst L. Leiss
Place San José (Costa Rica)

A Distributed Filesystem for Spare Storage
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International

Authors Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Santiago Jorge Castro
Place España

On the representation of imperative program in a logical framework
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International

Authors José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro, David Cabrero Souto
Place España

Using Coq and Pvs for Certifying Properties on the Cache Subsystem of a Functional Video-on-Demand Server
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Place España

Using Coq to Understand Nested Datatypes
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International

Authors Antonio Ángel Blanco Ferro, José Enrique Freire Brañas, José Luis Freire Nistal
Place España

Deploying VoDKA in a Network of Peer-to-Peer Public Information Screems
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International

Authors Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Place España

Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio
JIISIC 2007, VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento
International

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Place Lima (Perú)

Brewing VoDKA for Six Years: The Develoment of a Distributed Functional Video-on-Demand Server
PROLE¿06. VI Jornadas de Programación y Lenguajes 2006
National

Authors Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, David Cabrero Souto, Miguel Barreiro
Place Sitges (España)

Evaluación de la calidad en las oficinas técnicas de cooperación al desarrollo de las universidades. La experiencia de la Universidade da Coruña
III Congreso Universidad y Cooperación al Desarrollo
National

Authors Vanessa Míguez Martín, Lorena Rilo Pérez, Enrique Peña González, Francisco Javier Taibo Pena
Place Madrid (España)

Incorporating applications to a Service Oriented Architecture
The 5th WSEAS International Conference on System Science and Simulation in Engineering (ICOSSE¿06)
International

Authors José Antonio García Varela, Antonio Ángel Blanco Ferro, Roi Blanco González
Place Santa Cruz de Tenerife (España)

Un programa funcional certificado y eficiente para el cálculo de Bases de Gröbner
EACA 2006 - X Encuentro de Álgebra Computacional y Aplicaciones
International

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal
Place Sevilla (España)

Formalisation of a Functional Risk Management System
ICEIS¿06. 8th International Conference on Enterprise Information Systems
International

Authors Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto, Carlos Varela Paz
Place Paphos (Chipre)

Transparent Connection Migration for TCP Services
WCIT 2006. The 2006 IFIP WG 6.9 Workshop on Wireless Communications and Information Technology in Developing Countries
International

Authors Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal
Place Santiago (Chile)

El Museo Vacío. Uso de una instalación transitable de Realidad Virtual para la experimentación espacial de una unidad habitacional en un asentamiento prerromano.
SIGRADI 2006 X congreso Iberoamericano de Gráfica Digital
International

Authors Luis Antonio Hernández Ibáñez, Juan David Blanco Miguez, José Antonio Iglesias Guitian, Francisco Javier Taibo Pena, Antonio Seoane Nolasco, Alberto Jaspe Villanueva, M. Rocio López Mihura
Place Santiago de Chile (Chile)

Real-time visualization of geospatial features through integration of GID with a realistic 3D terrain dynamic visualization system.
ICC 2005 XII Internacional Cartographic Conference
International

Authors Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Francisco Alberto Varela García
Place Coruña, A (España)

La gestión de tráfico mediante la integración de un GIS con un sistema de navegación realistaen 3D sobre el territorio
V Congreso Español y I Congreso Iberoamericano de Sistemas Inteligentes de Transporte
International

Authors Francisco Alberto Varela García, Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Rubén López Gómez, Antonio Seoane Nolasco, Alberto Jaspe Villanueva
Place Málaga (España)

Prueba de propiedades en la caché de un servidor funcional de vídeo bajo demanda
CLEI 2005. XXXI Conferencia Latinoamericana de Informática
International

Authors José Santiago Jorge Castro, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, David Cabrero Souto
Place Cali (Colombia)

Evolución de la selección dinámica de métodos en Java
CLEI 2005. XXXI Conferencia Latinoamericana de Informática
International

Authors Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, David Cabrero Souto, Alberto Valderruten Vidal
Place Cali (Colombia)

A High Performance Erlang Tcp/Ip Stack
ERLANG 2005. ACM SIGPLAN 2005 Erlang Workshop
International

Authors Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal
Place Tallinn (Estonia)

Reasoning about a Functional Program for computing Gröbner Basis
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International

Authors José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas
Place España

On Recursive Functions and Well-founded Relations in the Calculus of Constructions
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International

Authors José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro
Place España

CheapTB: A Low Cost of Operation Distributed File System
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International

Authors Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro
Place España

A New Risk Management Approach Deployed over a Client/Server
ICSENG 2005. 18th International Conference on Systems Engineering
International

Authors Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto, Carlos Varela Paz
Place Las Vegas (Estados Unidos)

Developing a Functional Tcp/Ip Stack Oriented towards Tcp Connection Replication
LANC 2005. 3rd IFIP/ACM Latin America Networking Conference
International

Authors Javier Paris Fernandez, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández
Place Cali (Colombia)

The Creativity Space. An Immersive VR Framework for 3D Creation
Digital Engineering Workshop. 5th Japan-Korea CAD/CAM Workshop
International

Authors Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Juan David Blanco Miguez, M. Rocio López Mihura, Antonio Seoane Nolasco, Alberto Jaspe Villanueva
Place Tokio (Japón)

Accesibilidad en los sistemas de información
Gira Estándares W3C 2004
National

Authors David Cabrero Souto
Place Coruña, A (España)

Cálculo del calibre vascular como indicador de la sintomatología inherente a imágenes de retina
XXII Congreso Anual de la Sociedad Española de Ingeniería Biomédica
National

Authors Iván Gómez Caderno, M G Penedo, Antonio Ángel Blanco Ferro, María José Carreira Nouche
Place Santiago de Compostela (España)

Phrase similarity through approximate tree matching
PROLE 2004 - Jornadas de Programación y Lenguajes
National

Authors Francisco J. Ribadas, Miguel Ángel Alonso Pardo, David Cabrero Souto
Place Málaga (España)

COLE at CLEF 2004: rapid prototyping of a QA system for Spanish
CLEF 2004 Workshop - Cross Language System Evaluation Campaign
International

Authors Enrique Méndez Díaz, Jesús Vilares Ferro, David Cabrero Souto
Place Bath (Reino Unido)

Translating Erlang to mCRL - Making Industrial Code Available for Research Tools
Fourth International Conference on Application of Concurrency to System Design (ACSD 2004)
International

Authors Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas
Place Hamilton, Ontario (Canadá)

Sistema de gestión para un servidor de video bajo demanda
XXX Conferencia Latinoamericana en Informática (CLEI2004)
International

Authors Carlos Varela Paz, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, Carlos Abalde Ramiro
Place Arequipa (Perú)

El patrón multi-visualización para la generación de distintas presentaciones en un sistema de comercio electrónico.
XXX Conferencia Latinoamericana en Informática (CLEI2004)
International

Authors José R. Gulías Fernández, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, Carlos Abalde Ramiro
Place Arequipa (Perú)

The experience of the Empty Museum. Displaying cultural contents on an immersive, walkable VR room
Computer Graphics International CGI 2004
International

Authors Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Antonio Seoane Nolasco, Rubén López Gómez, M. Rocio López Mihura
Place Heraklion (Grecia)

Predicción del cáncer de mama con una "mayor carga hereditaria" en el momento del diagnóstico
IX Conferencia Española de Biometría
National

Authors Jorge Cameselle Teijeiro, M.E. Cortizo Torres, E. Fluiters Casado, Antonio Ángel Blanco Ferro, Roi Blanco González, F.C. Schmitt
Place Coruña, A (España)

Cronobiología y cáncer de mama
IX Conferencia Española de Biometría
National

Authors Antonio Ángel Blanco Ferro, Jorge Cameselle Teijeiro, M.E. Cortizo Torres, Roi Blanco González, F.C. Schmitt
Place Coruña, A (España)

Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel
9th International Workshop on Computer Aided Systems Theory. EUROCAST2003
International

Authors Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas, José Mª García-Tizón Iglesias
Place España

The Reduction Lemma in Coq
9th International Workshop on Computer Aided Systems Theory. EUROCAST2003
International

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, José Enrique Freire Brañas
Place España

Armistice : An Experience Developing Management Software with Erlang
2nd ACM SIGPLAN Erlang Workshop
International

Authors David Cabrero Souto, Carlos Abalde Ramiro, Laura Milagros Castro Souto, Carlos Varela Paz
Place Uppsala (Suecia)

ARMISTICE : Una experiencia desarrollando software de gestión con Erlang
III Jornadas de Programación y Lenguajes. PROLE 2003
National

Authors Laura Castro Souto, Víctor Manuel Gulias Fernández, David Cabrero Souto, Carlos Abalde Ramiro, Carlos Varela Paz
Organization Universidad de Alicante
Place España

Building Functional Patterns for Implementing Distributed Applications
IFIP/ACM Latin America Networking Conference 2003 (LANC2003)
International

Authors Víctor Manuel Gulias Fernández, Alberto Valderrúten Vidal, Carlos Abalde Ramiro
Place La Paz (Bolivia)

Extending the VoDKA architecture to improve resource modelling
2nd ACM SIGPLAN Erlang Workshop (PLI 2003)
International

Authors Juan José Sánchez Penas, Carlos Abalde Ramiro
Place Uppsala (Suecia)

El sistema ERIAL: LEIRA, un entorno de RI basado en PLN
I Jornadas de Tratamiento y Recuperación de Información (JOTRI 2002)
National

Authors Eva María Dominguez Costas, Miguel Ángel Alonso Pardo, David Cabrero Souto, Jorge Graña Gil, Fco.Mario Barcala Rodríguez, Jesús Vilares, Guillermo Rojo, M. Paula Santalla, Susana Sotelo Docío
Organization Universidad Politécnica de Valencia
Place Valencia (España)

Una aplicación de RI basada en PLN: el proyecto ERIAL
I Jornadas de Tratamiento y Recuperación de Información (JOTRI 2002)
National

Authors Eva María Dominguez Costas, Miguel Ángel Alonso Pardo, Jorge Graña Gil, David Cabrero Souto, Fco.Mario Barcala Rodríguez, Jesús Vilares, Guillermo Rojo, M. Paula Santalla, Susana Sotelo Docío, Manuel Vilares
Organization Universidad Politécnica de Valencia
Place Valencia (España)

Un sistema de comercio electrónico sobre un cluster de computadores.
XXVIII Conferencia Latinoamericana de Informática
International

Authors Víctor Manuel Gulias Fernández, Alberto Valderrúten Vidal, José R. Gulías Fernández
Place Montevideo (Uruguay)

Implementación de un modelo de monitorización para un servidor de Vídeo bajo demanda en Erlang
27 Conferencia Latinoamericana de Informática
International

Authors Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Javier Mosquera Blanco, Juan José Sánchez Penas, José Luis Freire Nistal
Place Mérida (Venezuela)

Dynamic Programming of Partial Parses
Jornadas sobre Programación y Lenguajes (PROLE 2001)
National

Authors David Cabrero Souto, Manuel Vilares
Organization Universidad de Castilla-La Mancha
Place Almagro (España)

Integración y Coexistencia de Aplicaciones Legacy y Aplicaciones Web Usando Patrones
Simposio en Informática y Telecomunicación
International

Authors Antonio Ángel Blanco Ferro, José Mª García-Tizón Iglesias, Miguel José Rodríguez Rubio, Juan José Sánchez Penas
Place Coruña, A (España)

Generación automática de familias morfológicas mediante morfología derivativa productiva
17 Congreso de la Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN 2001)
National

Authors David Cabrero Souto, Miguel Ángel Alonso Pardo
Place Jaén (España)

Prove and Then Execute
7 Encuentro de Álgebra Computacional y Aplicaciones (EACA¿2001)
International

Authors José Santiago Jorge Castro, José Luis Freire Nistal
Place España

Dynamic Programming of Partial Parses
EuroConference on Recent Advances in Natural Language Processing (RANLP 20001)
International

Authors Manuel Vilares, David Cabrero Souto
Place Tzigov Chark (Bulgaria)

On non-termination in DCGs
International conference on Implementations and Applications of Automata (CIAA 2001)
International

Authors Manuel Vilares, David Cabrero Souto, Miguel Ángel Alonso Pardo
Place Pretoria (Sudáfrica)

Applying Productive Dervational Morphology to Term Indexing of Spanish Texts
International Conference on Intelligent Text Processing and Computational Linguistics (CICLING 2001)
International

Authors David Cabrero Souto, Miguel Ángel Alonso Pardo
Place Ciudad de México (México)

Fusion and Deforestation in COQ
Eurocast 2001
International

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro, Enrique Freire Brañas, Juan José Sánchez Penas
Organization Universidad de Las Palmas de Gran Canaria
Place España

Auditing Software Maintenance:. Studying the Effort of Euro Integration in a Banking Environment
7 Workshop on Empirical Studies of Software Maintenance
International

Authors Serafín Caridad Simón, Antonio Ángel Blanco Ferro
Place Florencia (Italia)

The Tertiary Level in a Functional Cluster-based Hierarchinal VoD System
Formal Methods and Tools for Computer Science (EUROCAST-2001)
International

Authors Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Juan José Sánchez Penas, José Santiago Jorge Castro
Place España

Evolución del rendimiento de un Sistema de Tiempo Real multihilo usando un modelo reactivo síncrono
Simposio Español de Informática Distribuída (SEID'2000)
International

Authors Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Antonio Ángel Blanco Ferro, Juan José Sánchez Penas, Javier Mosquera Blanco
Place Ourense (España)

On integration of Parsing and Tree Matching Schemes
International Conference on Intelligent Text Processing and Computational Linguistics( CICLing-2000)
International

Authors Manuel Vilares, David Cabrero Souto, Francisco J. Ribadas Pena
Place Mexico D.F. (México)

On non-termination in DCGs
International Conference on Intelligent Text Processing and Computational Linguistics( CICLing-2000)
International

Authors Manuel Vilares, Miguel Ángel Alonso Pardo, David Cabrero Souto
Place Mexico D.F. (México)

Computing the editing distance in shared forest
Sixth International Workshop on Parsing Technologies( WPT-2000)
International

Authors Manuel Vilares, David Cabrero Souto, Francisco J. Ribadas Pena
Place Trento (Italia)

Effort of Euro Integration in software applications
4th and 5th World Conference on Integrated Design & Process Technology( IDPT 2000)
International

Authors Serafín Caridad Simón, Antonio Ángel Blanco Ferro
Place Dallas (Estados Unidos)

A Methodology for Measuring Software Maintenance
Industry Day International Conference on Software Maintenance
International

Authors Serafín Caridad Simón, Antonio Ángel Blanco Ferro
Place San José (Estados Unidos)

Virtual Memory and Advanced Filesystems
Libre Software Meeting 2000
International

Authors Juan José Quintela Carreira
Place Bordeaux (Francia)

State of the Art and Design of VOD Systems
World Multiconference on Systemics, Cybernetics and Informatics
International

Authors Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, Javier Mosquera Blanco, Juan José Sánchez Penas
Place Orlando (Estados Unidos)

Experiencias con un Cluster Beowulf
Simposio Español de Informática Distribuída (SEID'99)
International

Authors Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Antonio Ángel Blanco Ferro, Juan José Quintela Carreira, José Luis Freire Nistal
Place Santiago de Compostela (España)

Diálgebras in high order programming
Wiener's Cybernetics: 50 Years of Evolution
International

Authors Enrique Freire Brañas, José Luis Freire Nistal, Antonio Ángel Blanco Ferro
Place España

Some questions about non- termination in DCGs
Joint Conference on Declarative Programming( APPIA- GULP- PRODE' 99)
International

Authors Manuel Vilares, Miguel Ángel Alonso Pardo, David Cabrero Souto
Place L'Aquila (Italia)

Tabular algorithms for TAG parsing
EACL' 99. Ninth Conference of the European Chapter of the Association for Computational Linguistics
International

Authors Miguel Ángel Alonso Pardo, David Cabrero Souto, Eric De la Clergerie, Manuel Vilares
Place Bergen (Noruega)

Pattern matching in shared forest
Sixth International Workshop on Natural Language Understanding and Logic Programming( NLULP' 99)
International

Authors Manuel Vilares, David Cabrero Souto, Francisco J. Riabadas Pena
Place Las Cruces, NM (Estados Unidos)

Tabulation of automata for tree adjoining languages
6th Meeting on Mathematics of Language( MOL 6)
International

Authors Miguel Ángel Alonso Pardo, Eric De la Clergerie, David Cabrero Souto
Place Orlando (Florida) (Estados Unidos)

Dealing with non- termination in DCG's
CACIC' 99. V Congreso Argentino de Ciencias de la Computación
International

Authors Manuel Vilares, Miguel Ángel Alonso Pardo, David Cabrero Souto
Place Tandil (Argentina)

A Comparison for Unification-Based Parsers
APPIA-GULP-PRODE 1998 Joint Conference on Declarative Programming (AGP'98)
International

Authors Manuel Vilares, David Cabrero Souto, Miguel Ángel Alonso Pardo
Place Coruña, A (España)

Web-Surfing the Lexicon
Workshop on Distributing and Accesing Linguistic Resources
International

Authors David Cabrero Souto, Manuel Vilares, Luís Docampo Gutierrez, Susana Sotelo Docío
Place Granada (España)

A Tagger Environment for Galician
First International Conference on Language Resources and Evaluation.
International

Authors Manuel Vilares, Jorge Graña Gil, T. Araujo, David Cabrero Souto, Inés Diz
Place Granada (España)

Dynamic Programming as Frame for Efficient Parsing
XVIII International Conference of the Chilean Computer Science Society
International

Authors Manuel Vilares, David Cabrero Souto, Miguel Ángel Alonso Pardo
Place Antofagasta (Chile)

Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study
10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation
International

Authors Alberto Valderruten Vidal, Javier Mosquera, Víctor Manuel Gulias Fernández
Place España

Performance Evaluation of a Multithreaded Runtime System using a Synchronous Reactive Model
23rd IFAC/IFIP Workshop on Real Time Programming WRTP'98
International

Authors Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, José Santiago Jorge Castro, Javier Mosquera
Place Shantou (China)

Exploring Parsing Efficiency in Computational Linguistics
Utrecht Congress on Storage and Computation in Linguistics
International

Authors Manuel Vilares, David Cabrero Souto, Miguel Ángel Alonso Pardo
Place Utrecht (Países Bajos)

A Tabular Interpretation of Botton-up Automata for TAG
Fourth International Workshop on Tree-Adjoining Grammars and Related Frameworks. TAG+4
International

Authors Eric De la Clergerie, Miguel Ángel Alonso Pardo, David Cabrero Souto
Place Philadelphia (Estados Unidos)

Efficient Persistent Haskell
IFL `98/ Implementation of Functional Languages
International

Authors Juan José Quintela Carreira, Tony Kevin Hammond
Place Londres (Reino Unido)

GALENA:Tabular DCG parsing for Natural Languages
Tabulation in Parsing and Deduction (TAPD'98)
International

Authors Manuel Vilares, Miguel Ángel Alonso Pardo, David Cabrero Souto, Jorge Graña Gil
Place París (Francia)

Instrumentation strategies in distributed functional computing
World Multiconference on Systemics, Cybernetics and Informatics, Focus Symposium: Architectures, Tools and Algorithms for Parallel and Distributed Systems
National

Authors Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, José Luis Freire Nistal
Place Palma (España)

Transport primitives for functional agents
APPIA-GULP-PRODE 1997 Joint Conference on Declarative Programming
International

Authors Víctor Manuel Gulias Fernández, Juan José Quintela Carreira, José Luis Freire Nistal
Place Grado (Italia)

An approach to infinite term traversal in DCGs
APPIA-GULP-PRODE 1997 Joint Conference on Declarative Programming
International

Authors Miguel Ángel Alonso Pardo, David Cabrero Souto
Place Grado (Italia)

An operational model for parsing fixed-mode DCGs
Logical Aspects of Computational Linguistics (LACL'97)
International

Authors Miguel Ángel Alonso Pardo, David Cabrero Souto
Place Nancy (Francia)

A new approach to the construction of generalized LR parsing algorithms
Recent Advances in Natural Language Processing (RANLP'97)
International

Authors Miguel Ángel Alonso Pardo, David Cabrero Souto
Place Tzigov Chark (Bulgaria)

Construction of efficient generalized LR parsers
2 International Workshop on Implementing Automata (WIA'97)
International

Authors Miguel Ángel Alonso Pardo, David Cabrero Souto
Place London, Ontario (Canadá)

Efficient parsing of fixed-mode DCGs0D0A
Formal Grammar 1997
International

Authors Miguel Ángel Alonso Pardo, David Cabrero Souto
Place Aix-en-Provence (Francia)

Multidimensional Scaling as an alternative to the triads metod in the repertory grid
3 Congreso Internacional en Ciencias Computacionales
International

Authors Nieves Rodríguez Brisaboa, Antonio Ángel Blanco Ferro
Place Tijuana (México)

Concurrent Programming Using Traces in HASKELL
Second International Workshop on Functional and Logic programming
International

Authors Víctor Manuel Gulias Fernández, Juan José Quintela Carreira, José Luis Freire Nistal
Place Kanagawa (Japón)

An information model for performance engineering. ISAS'96
International Conference on Information Systems Analysis
International

Authors Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández
Place Orlando (México)

Towards higher-order distribution in functional languages
APPIA-GULP-PRODE'96 Joint Conference on Declarative Programming
International

Authors Juan José Quintela Carreira, José Luis Freire Nistal, Víctor Manuel Gulias Fernández
Place España

Distributed computing using objective caml.
8th International Workshop on Implementationof Functional Languages
International

Authors José Luis Freire Nistal, Víctor Manuel Gulias Fernández, Juan José Quintela Carreira
Place Bonn (Alemania)

Instrumentation of synchronous reactive models for performance engineering
5th European Software Engineering Conference. Lecture Notes in Computer Science 989: Software Engineering - ESEC'95
International

Authors Alberto Valderruten Vidal, Manuel Vilares, Jorge Graña Gil
Place España

On the abstraction process. Brain processes, theories and models
International Conference in honor fo W.S. McCulloch. 25 years after this death
International

Authors José Luis Freire Nistal, Antonio Ángel Blanco Ferro

Une interface graphique distribuée pour le lambda-calcul supportée par des Serveurs Fonctionnels
Journées Francophones des langages applicatifs, JFLA'95
International

Authors Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal
Place Jura (Francia)

Une approache formelle pour les analyseurs de langages naturels
Proc. of TALN'95, Tratement automatique du langage naturel
International

Authors Manuel Vilares, Alberto Valderruten Vidal, Jorge Graña Gil, Miguel Ángel Alonso Pardo
Place Francia