Models and Applications of Distributed Systems (MADS)

 Grupo de investigación

Datos xerais

Coordinador/a Dra./Dr. David Cabrero Souto
Contratado doutor
Data de alta 08/09/2005
Adscrición a deptos. Computación
Adscrición a centros Facultade de Informática
Código interno G000397

Contacto

Enderezo David Cabrero Souto Derpartamento de Computación Facultad de Informática Campus de Elviña A Coruña 15071 cabrero@udc.es
Teléfono  981167000 ext. 1267
Fax  981167160
Correo
Sitio web  http://www.madsgroup.org

Ámbito da investigación

Liñas de investigación

Métodos formais

Enxeñaría do software e patróns de deseño

Sistemas distribuídos e en cluster

Sistemas tempo real

Avaliación do rendemento

Streaming e sistemas multimedia

Software libre

Aplicacións: comercio electrónico e xestión de riscos

Programación funcional

Accesibilidad a los Sistemas de Información

Distribución de contenidos P2P

Palabras chave Métodos formais, especificación formal, model checking, verificación formal, probador teoremas; Enxeñaría do software, patróns deseño, UML, deseño sistemas de información, orientación a obxectos; Sistema distribuído, cluster, beowulf, Erlang; Tempo real; Avaliación rendemento, modelización, teoría de colas, modelos analíticos; streaming, servidor de vídeo, VoDKA, DVB; Software libre, GNU, Linux, accesibilidade; Comercio electrónico, xestión de riscos, ARMISTICE; Programación funcional, Erlang, Haskel; Accesibilidad, estándares; P2P, tablas distribuidas

Oferta tecnolóxica

Servizos ofertados

Desdobramento de infraestrutura relacionada co vídeo baixo demanda (VoDKA). Desenvolvemento de aplicacións distribuídas e de tempo real utilizando o paradigma funcional distribuído. Aplicación de técnicas formais ao desenvolvemento de software. Desenvolvemento de sistemas de información utilizando orientación a obxectos. Administración de sistemas Linux. Kernel hacking. Configuración, desdobre e administración de clusters

Recursos de equipamento - Diversa infraestrutura que se relaciona co vídeo baixo demanda (set-top boxes, equipamento de vídeo dixital, recursos autovisuais 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, dobre switch Fast Ethernet - Cluster Matrix(2001): 15*IBM eServer XSeries 200, 15*512MB, 15*18GB+2*100GB, switch Gigabit Ethernet
Resultados transferíbeis - Patente "Método y Sistema de almacenamiento distribuido de contenidos multimedia orientado a streaming". Foi presentada o 02/03/2003 e está pendente - Creación da spinoff de base tecnolóxica LambdaStream, para a explotación e a comercialización do servidor de vídeo baixo demanda VoDKA - Desdobramentos reais do servidor de vídeo baixo demanda VoDKA en diferentes escenarios - Deseño, implementación e desdobramento do sistema de xestión de riscos ARMISTICE na multinacional do sector téxtil Inditex

Membros do grupo

Dra./Dr. David Cabrero Souto
Ciencia da computación e intelixencia artificial
Coordinador
Dra./Dr. Antonio Ángel Blanco Ferro
Ciencia da computación e intelixencia artificial
PDI
Dra./Dr. Alberto Valderruten Vidal
Ciencia da computación e intelixencia artificial
PDI
Juan José Quintela Carreira
Ciencia da computación e intelixencia artificial
PDI
Dra./Dr. José Santiago Jorge Castro
Ciencia da computación e intelixencia artificial
PDI
Dra./Dr. Juan José Sánchez Penas
Ciencia da computación e intelixencia artificial
PDI
Dra./Dr. Laura Milagros Castro Souto
Ciencia da computación e intelixencia artificial
PDI
Javier París Fernández
Ciencia da computación e intelixencia artificial
PDI
Dra./Dr. Francisco Javier Taibo Pena
Enxeñaría cartográfica, xeodésica e fotogramétrica
PDI
Cristina Muíños Roca
Ciencia da computación e intelixencia artificial
Contratado Proyecto
Dra./Dr. Miguel Ángel Francisco Fernández
C1 - Doctores de otras instituciones
Dra./Dr. Henrique Ferreiro García
C1 - Doctores de otras instituciones

Resultados da investigación

Pode consultar o catálogo seleccionando un tipo de mérito e o ano.

Mejoras en los protocolos de USB-IP

Entidade financiadora Qidel Formación y Servicios SL
Investigadores principáis David Cabrero Souto
Datas Dende 02/05/2016 ata 02/05/2017

ETHiC. Efficient Thermas Comfort

Entidade financiadora Arce Clima Sistemas y Aplicaciones S.L.
Investigadores principáis Laura Milagros Castro Souto y Jorge Novo Buján
Datas Dende 01/03/2016 ata 01/07/2016

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

Entidade financiadora Ministerio de Economía y Competitividad
Investigadores principáis Manuel González Penedo; Noelia Barreira
Datas Dende 01/01/2016 ata 31/12/2019

Contrato Art. 83 de arquitectura modular para la codificación en tiempo real de contenidos en ultra-alta definición (4k) basados en MPEG, H.264 Y H.265

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Investigadores principáis Fco. Javier Taibo Pena
Datas Dende 13/11/2015 ata 30/06/2016

Generación y codificación en tiempo real de contenidos 3D interactivos personalizados para entornos de TV digital

Entidade financiadora Syntheractive, S.L.
Investigadores principáis Fco. Javier Taibo Pena
Datas Dende 01/01/2015 ata 30/06/2015

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

Entidade financiadora Consellería de Educación e Ordenación Universitaria
Datas Dende 22/10/2014 ata 30/10/2017

Contrato Art. 83 para el desarrollo de aplicaciones y servicios para la Televisión Digital Interactiva v5.0

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Datas Dende 01/01/2014 ata 15/06/2014

Consultoría para el desarrollo de tecnología de generación y codificación en tiempo real de servicios de TV Digital Interactiva (Contrato Art. 83)

Entidade financiadora Empresa Syntheractive, S.L.(B-70315171)
Datas Dende 18/12/2013 ata 18/06/2014

Consultoría para el desarrollo de software embebido en equipos de media en red (Contrato Art. 83)

Entidade financiadora Empresa Syntheractive, S.L.(B-70315171)
Datas Dende 18/12/2013 ata 09/09/2014

Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v4.0 (Contrato Art.83)

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Datas Dende 31/10/2013 ata 31/10/2014

IP Camera support for the HENSON home networking platform (Contrato Art. 83)

Entidade financiadora Casacom Solutions AG
Datas Dende 01/06/2013 ata 01/09/2013

Development of POF DSR-Digital Services Router for in-home Polymer Optical Fiber networks (Contrato Art. 83)

Entidade financiadora Casacom Solutions AG
Datas Dende 01/06/2013 ata 01/09/2013

Contrato entre Indra Software Labs y CITIC en el marco del proyecto Feder Innterconecta, convocatoria 2013 Galicia, "GOAL"

Entidade financiadora INDRA SOFTWARE LABS S.L.U.
Investigadores principáis Nieves Rodríguez Brisaboa e Laura M. Castro Souto
Datas Dende 05/04/2013 ata 31/12/2014

Consultoría para el desarrollo de tecnología de generación y codificación en tiempo real de servicios de TV Digital Interactiva (Contrato Art. 83)

Entidade financiadora Empresa Syntheractive, S.L.(B-70315171)
Datas Dende 28/12/2012 ata 28/12/2013

Property- Based Testing of Web Services (PROWESS)

Entidade financiadora Union Europea
Datas Dende 01/10/2012 ata 31/10/2015

Seminario de Introducción a Erlang

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Investigadores principáis David Cabrero Souto
Datas Dende 10/05/2012 ata 11/05/2012

Axuda para a consolidación e estructuración de unidades de investigación competitivas do SUG. Agrupación estratéxica CITIC

Entidade financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principáis Bertha Guijarro Berdiñas
Datas Dende 01/01/2012 ata 31/12/2013

Arquitectura Distribuida altamente escalable en el marco del proyecto Platino (Contrato Art. 83)

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Datas Dende 14/12/2011 ata 14/12/2013

Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v3.0 (Contrato Art.83)

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Datas Dende 30/11/2011 ata 30/11/2012

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

Entidade financiadora Ministerio de Economía y Competitividad (MINECO)
Datas Dende 01/01/2011 ata 31/12/2013

PIMUS: desarrollo de un poste informativo con pantalla táctil para atención a ciudadanos y turistas

Entidade financiadora AYUNTAMIENTO DE A CORUÑA
Investigadores principáis Carlos J. Escudero Cascón
Datas Dende 14/04/2010 ata 29/11/2010

Optiband- Optimization of Bandwidth for IPTV video streaming (FP7-ICT-2009-4)

Entidade financiadora Union Europea
Investigadores principáis Laura M. Castro Souto
Datas Dende 01/01/2010 ata 30/12/2012

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

Entidade financiadora MINISTERIO DE EDUCACIÓN Y CIENCIA
Investigadores principáis Víctor M. Gulías Fernández
Datas Dende 31/12/2005 ata 30/12/2008

CONTRATO ENTRE A UDC, O INSTITUTO TECNOLÓXICO DE OFTALMOLOXÍA E FEUGA PARA A REALIZACIÓN DO PROXECTO "DETECCIÓN AUTOMÁTICA E DIAGNÓSTICO DAS LESIÓNS ASOCIADAS A RETINOPATÍA DIABÉTICA EN IMAXES DE ALTA DEFINICIÓN. PREVENCIÓN DA CEGUERA )

Entidade financiadora Fundación Empresa-Universidad Gallega (FEUGA)
Datas Dende 01/09/2005 ata 30/09/2008

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

Entidade financiadora Dirección Xeral de Investigación e Desenvolvemento
Investigadores principáis José María Cardesín Díaz
Datas Dende 01/08/2004 ata 01/08/2007

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

Entidade financiadora Dirección Xeral de Investigación e Desenvolvemento
Investigadores principáis Manuel Francisco González Penedo
Datas Dende 04/06/2004 ata 03/06/2007

Sistema médico distribuído basado en XML

Entidade financiadora Ministerio de Ciencia y Tecnología
Investigadores principáis Manuel Francisco González Penedo
Datas Dende 03/12/2003 ata 02/12/2006

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

Entidade financiadora Comisión Interministerial de Ciencia y Tecnología (CICYT)
Investigadores principáis Manuel Francisco González Penedo
Datas Dende 01/12/2003 ata 30/11/2006

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

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Investigadores principáis Manuel Francisco González Penedo
Datas Dende 24/10/2003 ata 23/10/2006

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

Entidade financiadora Xunta de Galicia
Investigadores principáis Víctor M. Gulías Fernández
Datas Dende 15/07/2003 ata 15/07/2006

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

Entidade financiadora Ministerio de Ciencia y Tecnología
Investigadores principáis Víctor M. Gulías Fernández
Datas Dende 05/11/2002 ata 05/11/2005

CONTRATO ART. 83 LOU ENTRE EL COLEGIO OFICIAL DE APAREJADORES Y ARQUITECTOS TÉCNICOS DE A CORUÑA (COAATAC) PARA PROYECTO "REINGENIERÍA DE SERVICIOS TELEMÁTICOS PARA GESTIÓN COMPETITIVA DE INFORMACIÓN DOCUMENTAL"

Entidade financiadora COLEGIO OFICIAL DE APAREJADORES Y ARQUITECTOS TÉCNICOS DE A CORUÑA
Datas Dende 01/11/2002 ata 01/03/2003

CONTRATO DE COLABORACIÓN ENTRE ACORDAR COMUNICACIÓN EN INTERNET, S.L. Y LA UDC

Entidade financiadora ACORDAR COMUNICACIÓN EN INTERNET,S .L.
Datas Dende 30/10/2002 ata 30/10/2003

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

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Investigadores principáis José María Cardesín Díaz
Datas Dende 08/10/2002 ata 08/10/2005

CONTRATO ART. 83 LOU ENTRE LA FUDC Y FADESA INMOBILIARIA PARA REALIZACIÓN PROYECTO "DISEÑO Y DESARROLLO DE SISTEMAS DE INFORMACIÓN A LA DIRECCIÓN"

Entidade financiadora FADESA INMOBILIARIA, S.A.
Datas Dende 04/10/2002 ata 01/06/2003

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

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Datas Dende 28/09/2002 ata 27/09/2004

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

Entidade financiadora Universidade da Coruña (UDC)
Investigadores principáis Miguel Ángel Alonso Pardo
Datas Dende 17/07/2002 ata 17/07/2003

Analizadores Tabulares para el Lenguaje Natural 2

Datas Dende 06/05/2002 ata 06/05/2004

CONTRATO ART. 83 ENTRE R CABLE Y FUDC PARA PROYECTO DENOMINADO "PILOTO DE SERVIDOR DE STREAMING ON DEMAND JERÁRQUICO UTILIZANDO TECNOLOGÍA FUNCIONAL DISTRIBUIDA"

Entidade financiadora R, CABLE Y TELECOMUNICACIONES
Datas Dende 01/02/2002 ata 01/06/2002

CONTRATO ART. 11 L.R.U. PARA LA REALIZACIÓN DEL PROYECTO DENOMINADO "PILOTO DE SERVIDOR DE STREAMING ON DEMAND JERÁRQUICO UTILIZANDO TECNOLOGÍA FUNCIONAL DISTRIBUIDA"

Entidade financiadora R, CABLE Y TELECOMUNICACIONES
Datas Dende 01/01/2002 ata 01/01/2003

CONTRATO DE COLABORACIÓN ENTRE LA UDC Y LA FUNDACIÓN CENTRO ONCOLÓGICO REGIONAL DE GALICIA

Entidade financiadora FUNDACIÓN CENTRO ONCOLÓGICO REGIONAL DE GALICIA ""JOSÉ ANTONIO QUIROGA Y PIÑEIRO""
Datas Dende 01/01/2002 ata 01/01/2003

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

Entidade financiadora Union Europea
Datas Dende 29/08/2001 ata 29/08/2003

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

Entidade financiadora Comisión Interministerial de Ciencia y Tecnología (CICYT)
Datas Dende 30/12/1999 ata 31/12/2001

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

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Datas Dende 01/12/1999 ata 01/12/2001

Interrogación de bases de datos textuales estructuradas.

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Datas Dende 25/08/1999 ata 25/08/2002

Convenio de Colaboración entre la Diputación y la UDC para la realización de los trabajos de elaboración y puesta en funcionamiento de un sistema provincial de información

Entidade financiadora Desconocido
Datas Dende 27/07/1999 ata 01/01/2000

ACUERDO MARCO ENTRE EL GRUPO GALLEGO DE CABLE Y LA UDC

Entidade financiadora GRUPO GALLEGO DE CABLE
Datas Dende 24/03/1999 ata 24/03/2000

CONVENIO DE LA UDC Y AFIANZAMIENTOS DE GALICIA SOCIEDAD DE GARANTÍA RECÍPROCA (AFIGAL) PARA DISEÑO, ORGANIZACIÓN Y DESARROLLO DE UN PLAN DE SISTEMAS

Entidade financiadora AFIANZAMIENTOS DE GALICIA SOCIEDAD DE GARANTÍA RECÍPROCA (AFIGAL)
Datas Dende 26/05/1998 ata 26/03/1999

CONVENIO DE COLABORACIÓN ENTRE LA EMPRESA LACTEOS DE GALICIA (LAGASA, S.A.) Y LA UDC PARA DISEÑO, ORGANIZACIÓN Y DESARROLLO DE UN PLAN DE SISTEMAS

Entidade financiadora LAGASA
Datas Dende 01/02/1997 ata 01/01/1998

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

Entidade financiadora Dirección Xeral de Universidades
Datas Dende 24/10/1996 ata 24/10/1998

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

Entidade financiadora Dirección Xeral de Universidades
Datas Dende 24/10/1996 ata 24/10/1999

CONVENIO PLURIANUAL ENTRE A CONSELLERIA DE EDUCACION E A UDC PARA A PROMOCION E APOIO Á INVESTIGACION NO CENTRO DE INVESTIGACIÓNS LINGÜÍSTICAS E LITERARIAS RAMON PIÑEIRO

Entidade financiadora Consellería de Educación e Ordenación Universitaria
Datas Dende 01/01/1996 ata 31/12/1997

CONVENIO DE COLABORACION ENTRE LA DIPUTACION DE LA CORUÑA Y LA UNIVERSIDAD PARA EL APOYO AL DISEÑO Y DESARROLLO DE AMPLIACIONES DE GESTION INTEGRAL PARA LA ADMINISTRACION LOCAL (GIALIX).

Entidade financiadora DIPUTACIÓN PROVINCIAL DE A CORUÑA
Datas Dende 21/11/1994 ata 21/02/1995

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

Entidade financiadora Consellería de Educación e Ordenación Universitaria
Investigadores principáis Antonio Ángel Blanco Ferro
Datas Dende 07/04/1994 ata 07/04/1997

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

Entidade financiadora Dirección Xeral de Universidades
Investigadores principáis José Luis Freire Nistal
Datas Dende 01/01/1994 ata 31/12/1995

CONVENIO ESPECÍFICO ENTRE LA DIPUTACIÓN DE A CORUÑA, FEUGA Y UDC PARA LA DIAGNOSIS DE LOS SERVICIOS INFORMÁTICOS DE LA DIPUTACIÓN PROVINCIAL DE A CORUÑA

Entidade financiadora Fundación Empresa-Universidad Gallega (FEUGA)
Datas Dende 08/03/1993 ata 08/06/1993

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

Tipo Patente
Entidade Universidade da Coruña (UDC)
Autores Víctor Manuel Gulias Fernández, Francisco Javier Taibo Pena, Miguel Barreiro Paz, Pablo Montero-Manso
Data de solicitude 02/02/2012

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

Tipo Patente
Entidade
Autores Francisco Javier Taibo Pena
Data de solicitude 14/12/2011
Data de concesión 29/01/2015

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

Tipo Software Rexistrado
Entidade Universidade da Coruña (UDC)
Autores Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Juan Martínez Vázquez, Iago Fernández Meilán
Data de solicitude 27/10/2009

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

Tipo Software Rexistrado
Entidade Universidade da Coruña (UDC)
Autores Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Juan Martínez Vázquez, Iago Fernández Meilán
Data de solicitude 27/10/2009

Fútbol Vídeo Report

Tipo Software Rexistrado
Entidade Universidade da Coruña (UDC)
Autores Víctor Manuel Gulias Fernández, David Cabrero Souto, Ángel Vales Vázquez, Alberto Areces Gayo
Data de solicitude 05/12/2007
Data de concesión 05/12/2007

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

Tipo Software Rexistrado
Entidade Universidade da Coruña (UDC)
Autores Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto
Data de solicitude 17/08/2007
Data de concesión 17/08/2007

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

Tipo Software Rexistrado
Entidade Universidade da Coruña (UDC)
Autores Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto
Data de solicitude 17/08/2007
Data de concesión 17/08/2007

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

Autores 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
Revista THE JOURNAL OF CLINICAL ENDOCRINOLOGY AND METABOLISM Vol. 102 Núm. 2
DOI https://doi.org/10.1210/jc.2016-2385

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

Autores Laura Milagros Castro Souto, Pablo Lamela, Simon Thompson
Revista COMPUTING AND INFORMATICS Vol. 35 Núm. 4 (páxs. 890 ata 913)

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

Autores Laura M. Castro
Revista JOURNAL OF INTELLIGENT INFORMATION SYSTEMS Vol. 44 Núm. 3 (páxs. 355 ata 380)

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

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

Business Operation improvement through integrated infrastructure management

Autores Alberto Casanova, Laura M. Castro, Antonio Blanco-Ferro
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 8111 (páxs. 158 ata 165)
DOI https://doi.org/10.1007/978-3-642-53856-8_20

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

Autores Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts
Revista International Journal on Software Tools for technology Transfer Vol. 17 Núm. 1 (páxs. 1 ata 16)
DOI https://doi.org/10.1007/s10009-013-0275-0

Repeating history: Execution replay for parallel Haskell programs

Autores Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 7829 (páxs. 231 ata 246)

Feasibily of property-based testing for time-dependent systems

Autores Macías López, Laura M. Castro, David Cabrero
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 8112 (páxs. 527 ata 535)

Optimising Lossless Stages in a GPU-based MPEG Encoder

Autores Samuel Rivas, Fco. Javier Taibo, Víctor M. Gulías
Revista MULTIMEDIA TOOLS AND APPLICATIONS Vol. 65 (páxs. 495 ata 520)

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

Autores Laura M. Castro, Miguel A. Francisco
Revista JOURNAL OF SYSTEMS AND SOFTWARE Vol. 86 Núm. 12 (páxs. 3109 ata 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

Autores 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
Revista CLÍNICA E INVESTIGACIÓN EN ARTERIOESCLEROSIS Vol. 25 Núm. 3 (páxs. 105 ata 109)
DOI https://doi.org/10.1016/j.arteri.2013.05.007

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

Autores Antonino Santos Del Riego, Juan Jesús Romero Cardalda, Francisco Javier Taibo Pena, Carlos Rodriguez, Adrian Carballal Mato
Revista JOURNAL OF SYSTEMS AND SOFTWARE Vol. 85 Núm. 1 (páxs. 77 ata 86)
DOI https://doi.org/10.1016/j.jss.2011.07.030

On the Confluence of the Graphic Calculus with Penrose Diagrams

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

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

Autores Pablo Montero-Manso, L. Polak, T. Kratochvil
Revista Radioengineering Vol. 21 Núm. 4 (páxs. 1226 ata 1235)

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

Autores Luis Antonio Hernández Ibáñez, Fco. Javier Taibo, Antonio Jose Seoane Nolasco, Alberto Jaspe
Revista EGA: REVISTA DE EXPRESIÓN GRÁFICA ARQUITECTÓNICA Vol. 16 Núm. 18 (páxs. 252 ata 261)
DOI https://doi.org/10.4995/ega.2011.1110

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

Autores 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
Revista NOVÁTICA Núm. 204 (páxs. 55 ata 61)

A Distributed System for Massive Generation of Synthetic Video Using GPUs

Autores Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (páxs. 239 ata 246)

A Practical Methodology for Integration Testing

Autores Laura Milagros Castro Souto, Miguel A. Francisco Fernández, Víctor Manuel Gulias Fernández
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (páxs. 881 ata 888)

Dynamic Virtual Textures

Autores Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Luis Antonio Hernández Ibáñez
Revista JOURNAL OF WSCG Vol. 17 Núm. 1 (páxs. 25 ata 32)

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

Autores José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal
Revista JOURNAL OF SYMBOLIC COMPUTATION Vol. 44 Núm. 5 (páxs. 571 ata 582)

The fold Operator as a Coequalizer Using Coq

Autores Antonio Ángel Blanco Ferro, José Enrique Freire Brañas, José Luis Freire Nistal, Javier Paris Fernandez
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (páxs. 167 ata 176)

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

Autores José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 5144 (páxs. 296 ata 299)

Managing the Risks of Risk Management

Autores Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, José Santiago Jorge Castro
Revista JOURNAL OF DECISION SYSTEMS Vol. 17 Núm. 4 (páxs. 501 ata 521)

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

Autores Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Alberto Jaspe Villanueva, M. Rocio López Mihura
Revista REVISTA DEL CENTRO E INVESTIGACIÓN.UNIVERSIDAD LA SALLE Vol. 8 Núm. 29 (páxs. 37 ata 42)

Environment- Independence Methodology for Accesing External Data Sources

Autores Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez
Revista WSEAS Transactions on Information Science & Applications Vol. 5 Núm. 9 (páxs. 1355 ata 1364)

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

Autores 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
Revista INTERNATIONAL JOURNAL OF ARCHITECTURAL COMPUTING Vol. 5 Núm. 3 (páxs. 487 ata 506)

A Distributed Filesystem for Spare Storage

Autores Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Santiago Jorge Castro
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 Núm. 1 (páxs. 249 ata 256)

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

Autores José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (páxs. 233 ata 240)

Integration of legacy aplications in advanced services

Autores José Antonio García Varela, Antonio Ángel Blanco Ferro, Roi Blanco González
Revista WSEAS Transactions on Information Science & Applications Vol. 4 (páxs. 787 ata 793)

Using Coq to understand nested datatypes

Autores Antonio Ángel Blanco Ferro, José Enrique Freire Brañas, José Luis Freire Nistal
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (páxs. 210 ata 216)

Towards a decentralized and structured network of P2P public information screens

Autores Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (páxs. 217 ata 224)

On the representation of imperative programs in a logical framework

Autores José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro, David Cabrero Souto
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (páxs. 202 ata 209)

Model checking a video-on-demand server using Mcerlang

Autores Lars-Ake Fredlund, Juan José Sánchez Penas
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (páxs. 539 ata 546)

Towards a Certified and Efficient Computing of Gröbner Bases

Autores José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (páxs. 111 ata 120)

CheapTB: A Low Cost of Operation Distributed Filesystem

Autores Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (páxs. 121 ata 130)

COLE Experiments at QA@CLEF 2004 Spanish Monolingual Track

Autores Enrique Méndez Díaz, Jesús Vilares Ferro, David Cabrero Souto
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 3491 (páxs. 544 ata 551)

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

Autores José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (páxs. 69 ata 80)

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

Autores 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
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (páxs. 220 ata 230)

On the Strong Co-induction in Coq

Autores José Luis Freire Nistal, Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Enrique Freire Brañas
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (páxs. 279 ata 290)

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

Autores 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
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (páxs. 220 ata 230)

Lambda Goes to Hollywood

Autores Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Juan José Sánchez Penas
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 2562 (páxs. 391 ata 407)

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

Autores David Cabrero Souto
Revista PROCESAMIENTO DEL LENGUAJE NATURAL Vol. 30 (páxs. 121 ata 122)

Programación dinámica y análisis parcial

Autores David Cabrero Souto, Jesús Vilares, Manuel Vilares Ferro
Revista PROCESAMIENTO DEL LENGUAJE NATURAL Vol. 29 Núm. - (páxs. 89 ata 96)

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

Autores Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Juan José Sánchez Penas, José Santiago Jorge Castro
Revista COMPUTER AIDED SYSTEMS THEORY, LECTURE IN COMPUTER SCIENCE Vol. 2178 Núm. - (páxs. 540 ata 554)

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

Autores David Cabrero Souto, Miguel Ángel Alonso Pardo
Revista PROCESAMIENTO DEL LENGUAJE NATURAL Vol. 27 Núm. - (páxs. 181 ata 188)

Fusion and Deforestation in COQ

Autores José Luis Freire Nistal, Enrique Freire Brañas, Antonio Ángel Blanco Ferro, J. José Sánchez Penas
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 2178 Núm. - (páxs. 583 ata 596)

Applying Productive Derivational Morphology to Term Indexing of Spanish Texts

Autores David Cabrero Souto, Miguel Ángel Alonso Pardo
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 2004 Núm. - (páxs. 336 ata 348)

Effects of Some Isoxazolpyrimidine Derivatives on Nitric Oxide and Eicosanoid Biosynthesis

Autores Juan José Quintela Carreira, Carlos Peinador Veira, Mª Jesús Moreira Rama, A. Vidal, M.L. Ferrándiz, Amalia Ubeda
Revista LIFE SCIENCES Vol. 66 Núm. - (páxs. 125 ata 131)

Performance evaluation of a multithreaded RTS using a synchronous reactive model

Autores Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Javier Mosquera, José Santiago Jorge Castro
Revista CONTROL ENGINEERING PRACTICE Vol. 12 Núm. 7 (páxs. 1533 ata 1539)

Distributed Functional Computing and its Instrumentation

Autores Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Luis Freire Nistal
Revista PARALLEL AND DISTRIBUTED SYSTEM: THEORY AND APPLICATIONS Núm. - (páxs. 0 ata 0)

An automatic calculator with penrose diagrams

Autores José María Barja Pérez, Antonio Ángel Blanco Ferro, José Luis Freire Nistal, José Mª Molinelli Barba
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 1333 Núm. - (páxs. 77 ata 94)

From sequential to distributed formal proofs.

Autores Víctor Manuel Gulias Fernández, José Santiago Jorge Castro, Juan José Quintela Carreira, José Luis Freire Nistal
Revista LECTURE NOTES IN COMPUTER SCIENCE Vol. 1333 Núm. - (páxs. 501 ata 513)

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

Autores Javier Andrade Garda, María Concepción Álvarez Lebredo, Alberto Valderruten Vidal, Susana Sotelo Docío
Revista PROCESAMIENTO DEL LENGUAJE NATURAL Vol. 20 (páxs. 1 ata 12)

An experience on Natural Language Parsing.

Autores Miguel Ángel Alonso Pardo, David Cabrero Souto
Revista LENGUAJESNATURALES Y LENGUAJES FORMALES XII Vol. - Núm. - (páxs. 555 ata 562)

Evaluation Lazy avec Caml Light.

Autores Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Alberto Valderruten Vidal
Revista COLLECTION DIDACTIQUE, INRIA Vol. - Núm. 15 (páxs. 77 ata 94)

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

Autores Henrique Ferreiro García
Editorial 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

Autores Antonio Ángel Blanco Ferro, Víctor Manuel Gulias Fernández, Javier Mosquera Blanco, Carlos Abalde Ramiro, José Luis Freire Nistal
Editorial 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

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

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

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

Managing data integrity: property-based testing for business rules

Autores Laura Milagros Castro Souto
Libro Managing data integrity: property-based testing for business rules
Edita Tech Science Press.
ISBN: 980-953-307-209-3
Páxinas Dende a 1 ata a 1

Mapping Large Textures for Outodoor Terrain Rendering.

Autores Antonio Jose Seoane Nolasco,Francisco Javier Taibo Pena,Luis Antonio Hernández Ibáñez,Alberto Jaspe Villanueva
Libro Game Programming Gems 7.
Vol. - Edita Charles River Media/Coruse Technology.
ISBN: 978-1-58450-527-3
Páxinas Dende a 435 ata a 446

Certifying properties of program using theorem provers

Autores José Santiago Jorge Castro,Víctor Manuel Gulias Fernández,David Cabrero Souto
Libro Verification, Validation and Testing in Software Engineering
Vol. - Edita Idea Group Publishing.
ISBN: 1-59140-852-0
Páxinas Dende a 220 ata a 267

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

Autores Víctor Manuel Gulias Fernández,Antonio Ángel Blanco Ferro,Roi Blanco González,Miguel Barreiro Paz
Libro Manual de cine científico y de la salud
Vol. - Edita Asociación Audiovisual para la Promoción de la Salud.
ISBN: 84-688-4887-5
Páxinas Dende a 68 ata a 72

Generalized LR parsing for extensions of context-free grammars

Autores Miguel Ángel Alonso Pardo,Manuel Vilares Ferro,David Cabrero Souto
Libro Recent advances in natural language processing II
Vol. - Edita John Benjamins.
ISBN: 90-272-3695-X
Páxinas Dende a 81 ata a 92

An Operational Model for Parsing Definite Clause Grammars with Infinite Terms

Autores Manuel Vilares Ferro,Miguel Ángel Alonso Pardo,David Cabrero Souto
Libro Logical Aspects of Computional Linguistics
Vol. - Edita Springer-Verlag.
ISBN: 3-540-65751-7
Páxinas Dende a 212 ata a 230

Concurrent programming with traces in haskell

Autores Víctor Manuel Gulias Fernández,Juan José Quintela Carreira,José Luis Freire Nistal
Libro Functional and logic programming
Vol. - Edita Wordl Scientific.
ISBN: 981-02-2923-2
Páxinas Dende a 176 ata a 191

On the abstraction process

Autores Juan Manuel Freire Botana,Antonio Ángel Blanco Ferro
Libro Brain processes, Theories and Models
Vol. - Edita MIT Press.
ISBN: MIT96-1
Páxinas Dende a 0 ata a 0

Profiling of parallel programs in a non-strict functional language

Autor Henrique Ferreiro García
Director/es Laura Milagros Castro Souto; Kevin Hammond
Ámbito Computación
Cualificación Sobresainte

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/es Laura M. Castro Souto
Ámbito Facultad de Informática
Cualificación Sobresaliente Cum laude

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

Autor Serafín Caridad Simón
Director/es Nieves Rodríguez Brisaboa;Antonio Ángel Blanco Ferro
Ámbito Computación
Cualificación 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/es José María Barja Pérez;Antonio Ángel Blanco Ferro
Ámbito Computación
Cualificación Sobresaliente Cum laude

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

Autor Emilio Casariego Vales
Director/es José Santiago Jorge Castro;Salvador Pita Fernández
Ámbito Medicina
Cualificación Sobresaliente Cum laude

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

Autor Nieves Rodríguez Brisaboa
Director/es Hector Hernández ;Antonio Ángel Blanco Ferro
Ámbito Computación
Cualificación Apto

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

Autores Laura Milagros Castro Souto, Daniel Carballa
Organizador Erlang Solutions
Lugar 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
Internacional

Autores Laura Milagros Castro Souto, J. Daniel Fernández, José Carlos López Pampín
Organizador Erlang Solutions
Lugar 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)
Internacional

Autores Laura Milagros Castro Souto, Henrique Ferreiro García, Vladimir Janjic, Kevin Hammond
Lugar 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
Nacional

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

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

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

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

Autores Laura Milagros Castro Souto
Lugar 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
Internacional

Autores Henrique Ferreiro García, Miguel A. Francisco Fernández, Clara Benac Earle, Laura Milagros Castro Souto, Macías López Iglesias
Lugar 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
Autonómico

Autores Laura M. Castro Souto
Organizador Universidade da Coruña (UDC)
Lugar Ferrol (España)

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

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

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

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

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

Autores Laura M. Castro Souto
Lugar San Francisco (Estados Unidos)

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
Nacional

Autores Laura M. Castro Souto, Miguel A. Francisco
Organizador UNIVERSIDAD POLITÉCNICA DE MADRID
Lugar Madrid (España)

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

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

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

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

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

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

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

Autores Henrique Ferreiro García, Laura M. Castro Souto, Vladimir Janjic, Tony Kevin Hammond
Organizador ACM
Lugar Nijmegen (Países Bajos)

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

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

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

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

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

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

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

Autores Pablo Montero-Manso, Francisco Javier Taibo Pena
Organizador IEEE Signal Processing
Lugar Pula, Cerdeña (Italia)

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

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

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

Autores David Duque, Laura M. Castro Souto
Organizador Universidad de Almería (UAL)
Lugar Almería (España)

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

Autores David Cabrero Souto, Macías López Iglesias, Laura M. Castro Souto
Organizador ACM
Lugar Copenhague (Dinamarca)

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

Autores Laura M. Castro Souto, Miguel A. Francisco
Organizador ACM
Lugar Innsbruck (Austria)

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

Autores Laura M. Castro Souto, David Cabrero Souto, Macías López Iglesias
Organizador ACM
Lugar Leuven (Bélgica)

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
Nacional

Autores 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
Organizador Sociedad Española de Informática de la Salud (SEIS)
Lugar 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
Nacional

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

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

Autores Laura Milagros Castro Souto, Thomas Arts
Organizador Universidad Politécnica de Valencia
Lugar Valencia (España)

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

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

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

Autores Verónica Vivero García, Noelia Barreira Rodríguez, M G Penedo, David Cabrero Souto, Beatriz Remeseiro López
Lugar 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)
Nacional

Autores 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
Lugar Barcelona (España)

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

Autores Javier Paris Fernandez, Thomas Arts
Lugar Edimburgo (Reino Unido)

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

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

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

Autores Ignacio Pérez Pérez, Mar Toledano Prados, Francisco Javier Taibo Pena, Juan Gallego Medina
Lugar 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.
Nacional

Autores 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
Lugar Coruña, A (España)

Applications integration: a testing experience
Servicewave 2008
Internacional

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

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

Autores Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez
Lugar Rhodes (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).
Internacional

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

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

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

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

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

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

Autores Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto, Carlos Varela Paz, José Santiago Jorge Castro
Lugar Barcelona (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
Nacional

Autores 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
Lugar Coruña, A (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
Nacional

Autores 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
Lugar 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
Nacional

Autores Francisco Alberto Varela García, Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Juan Ignacio Varela García
Lugar 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
Nacional

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

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

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

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
Internacional

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
Internacional

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

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

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

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

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

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

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

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
Nacional

Autores Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, David Cabrero Souto, Miguel Barreiro
Lugar 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
Nacional

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

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

Autores José Antonio García Varela, Antonio Ángel Blanco Ferro, Roi Blanco González
Lugar 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
Internacional

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

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

Autores Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto, Carlos Varela Paz
Lugar 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
Internacional

Autores Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal
Lugar 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
Internacional

Autores 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
Lugar 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
Internacional

Autores Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Francisco Alberto Varela García
Lugar 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
Internacional

Autores 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
Lugar Málaga (España)

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

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

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

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

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

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

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

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

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

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

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

Autores 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
Lugar Tokio (Japón)

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

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

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

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

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

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

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

Autores David Cabrero Souto
Lugar 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
Nacional

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

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

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

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

Autores Carlos Varela Paz, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, Carlos Abalde Ramiro
Lugar 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)
Internacional

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

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

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

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

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

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

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

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

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

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
Nacional

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

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

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

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

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

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

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

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
Internacional

Autores 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
Lugar España

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

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

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

Autores Juan José Sánchez Penas, Carlos Abalde Ramiro
Lugar 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)
Nacional

Autores 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
Organizador Universidad Politécnica de Valencia
Lugar 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)
Nacional

Autores 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 Ferro
Organizador Universidad Politécnica de Valencia
Lugar Valencia (España)

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

Autores Víctor Manuel Gulias Fernández, Alberto Valderrúten Vidal, José R. Gulías Fernández
Lugar 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
Internacional

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

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

Autores David Cabrero Souto, Manuel Vilares Ferro
Organizador Universidad de Castilla-La Mancha
Lugar Almagro (España)

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

Autores Antonio Ángel Blanco Ferro, José Mª García-Tizón Iglesias, Miguel José Rodríguez Rubio, Juan José Sánchez Penas
Lugar 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)
Nacional

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

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

Autores Manuel Vilares Ferro, David Cabrero Souto, Miguel Ángel Alonso Pardo
Lugar Pretoria (Sudáfrica)

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

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

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

Autores José Santiago Jorge Castro, José Luis Freire Nistal
Lugar España

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

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

Fusion and Deforestation in COQ
Eurocast 2001
Internacional

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

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

Autores Manuel Vilares Ferro, David Cabrero Souto
Lugar Tzigov Chark (Bulgaria)

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

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

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)
Internacional

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

Virtual Memory and Advanced Filesystems
Libre Software Meeting 2000
Internacional

Autores Juan José Quintela Carreira
Lugar Bordeaux (Francia)

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

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

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

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

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

Autores Manuel Vilares Ferro, David Cabrero Souto, Francisco J. Ribadas Pena
Lugar Trento (Italia)

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

Autores Manuel Vilares Ferro, David Cabrero Souto, Francisco J. Ribadas Pena
Lugar Mexico D.F. (México)

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

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

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

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

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

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

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

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

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

Autores Manuel Vilares Ferro, Miguel Ángel Alonso Pardo, David Cabrero Souto
Lugar Tandil (Argentina)

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

Autores Manuel Vilares Ferro, Miguel Ángel Alonso Pardo, David Cabrero Souto
Lugar L'Aquila (Italia)

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

Autores Manuel Vilares Ferro, David Cabrero Souto, Francisco J. Riabadas Pena
Lugar Las Cruces, NM (Estados Unidos)

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

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

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

Autores Miguel Ángel Alonso Pardo, David Cabrero Souto, Eric De la Clergerie, Manuel Vilares Ferro
Lugar Bergen (Noruega)

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

Autores Manuel Vilares Ferro, David Cabrero Souto, Miguel Ángel Alonso Pardo
Lugar Coruña, A (España)

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

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

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

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

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

Autores Juan José Quintela Carreira, Tony Kevin Hammond
Lugar Londres (Reino Unido)

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

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

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

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

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

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

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

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

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

Autores Manuel Vilares Ferro, David Cabrero Souto, Miguel Ángel Alonso Pardo
Lugar Antofagasta (Chile)

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

Autores Manuel Vilares Ferro, David Cabrero Souto, Miguel Ángel Alonso Pardo
Lugar Utrecht (Países Bajos)

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

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

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

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

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

Autores Miguel Ángel Alonso Pardo, David Cabrero Souto
Lugar Grado (Italia)

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

Autores Miguel Ángel Alonso Pardo, David Cabrero Souto
Lugar Nancy (Francia)

Efficient parsing of fixed-mode DCGs0D0A
Formal Grammar 1997
Internacional

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

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

Autores Miguel Ángel Alonso Pardo, David Cabrero Souto
Lugar London, Ontario (Canadá)

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

Autores Miguel Ángel Alonso Pardo, David Cabrero Souto
Lugar Tzigov Chark (Bulgaria)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Autores Manuel Vilares Ferro, Alberto Valderruten Vidal, Jorge Graña Gil, Miguel Ángel Alonso Pardo
Lugar Francia

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

Autores Alberto Valderruten Vidal, Manuel Vilares Ferro, Jorge Graña Gil
Lugar España