Models and Applications of Distributed Systems (MADS)

 Grupo de investigación

Datos generales

Coordinador/a Dr. David Cabrero Souto
Profesor/a Contratado/a Doutor/a
Fecha de alta 08/09/2005
Adscripción a deptos. Ciencias de la Computación y Tecnologías de la Información
Adscripción a centros Facultad de Informática
Código interno G000397

Contacto

Dirección 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 de investigación

Líneas de investigación

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

Palabras clave 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

Oferta tecnológica

Servicios ofertados

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

Recursos de equipamiento - 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
Resultados transferibles - 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

Miembros del grupo

Dra./Dr. David Cabrero Souto
Ciencia de la computación e inteligencia artificial
Coordinador/a
Dra./Dr. Alberto Valderruten Vidal
Ciencia de la computación e inteligencia artificial
PDI
Juan José Quintela Carreira
Ciencia de la computación e inteligencia artificial
PDI
Dra./Dr. José Santiago Jorge Castro
Ciencia de la computación e inteligencia artificial
PDI
Dra./Dr. Juan José Sánchez Penas
Ciencia de la computación e inteligencia artificial
PDI
Javier París Fernández
Ciencia de la computación e inteligencia artificial
PDI

Resultados de investigación

Puede consultar el catálogo seleccionando un tipo de mérito y un año.

ADVANCED GENIUS ENERGY MANAGER FOR RETAIL SHOPS

Entidad financiadora Digital Innovation Hub Industrial de Galicia (DIHGIGAL)
Investigadores principales Laura Milagros Castro Souto; José Luis Calvo Rolle
Tipo Contrato
Fechas De 10/08/2022 a 10/06/2023

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

Entidad financiadora Ministerio de Economía y Competitividad
Investigadores principales Manuel González Penedo; Noelia Barreira
Tipo Proyecto Programas Nacionales
Fechas De 01/01/2016 a 31/12/2019

Mejoras en los protocolos de USB-IP

Entidad financiadora Qidel Formación y Servicios SL
Investigadores principales David Cabrero Souto
Tipo Contrato
Fechas De 02/05/2016 a 02/05/2017

ETHiC. Efficient Thermas Comfort

Entidad financiadora Arce Clima Sistemas y Aplicaciones S.L.
Investigadores principales Laura Milagros Castro Souto y Jorge Novo Buján
Tipo Contrato
Fechas De 01/03/2016 a 01/07/2016

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

Entidad financiadora Consellería de Educación e Ordenación Universitaria
Tipo Proyecto Programas Autonomicos
Fechas De 22/10/2014 a 30/10/2017

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

Entidad financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Fechas De 01/01/2014 a 15/06/2014

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

Entidad financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Fechas De 31/10/2013 a 31/10/2014

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

Entidad financiadora Casacom Solutions AG
Tipo Contrato
Fechas De 01/06/2013 a 01/09/2013

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

Entidad financiadora Casacom Solutions AG
Tipo Contrato
Fechas De 01/06/2013 a 01/09/2013

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

Entidad financiadora INDRA SOFTWARE LABS S.L.U.
Investigadores principales Nieves Rodríguez Brisaboa e Laura M. Castro Souto
Tipo Contrato
Fechas De 05/04/2013 a 31/12/2014

Property- Based Testing of Web Services (PROWESS)

Entidad financiadora Union Europea
Investigadores principales Laura Milagros Castro Souto
Tipo Proyecto UE
Fechas De 02/10/2012 a 01/11/2015

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

Entidad financiadora Xunta de Galicia
Investigadores principales Ricardo Cao Abad
Tipo Proyecto Programas Autonomicos
Fechas De 01/01/2012 a 31/12/2013

Seminario de Introducción a Erlang

Entidad financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Investigadores principales David Cabrero Souto
Tipo Contrato
Fechas De 10/05/2012 a 11/05/2012

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

Entidad financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Investigadores principales David Cabrero Souto
Tipo Contrato
Fechas De 16/04/2012 a 15/04/2014

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

Entidad financiadora Ministerio de Economía y Competitividad (MINECO)
Investigadores principales David Cabrero Souto
Tipo Proyecto Programas Nacionales
Fechas De 01/01/2011 a 31/12/2013

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

Entidad financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Fechas De 30/11/2011 a 30/11/2012

IDISPO: Dispositivos de Internet de Usuario

Entidad financiadora Ministerio de Industria, Turismo y Comercio
Investigadores principales Gulías Fernández, Víctor Manuel
Tipo Proyecto Programas Nacionales
Fechas De 10/06/2010 a 31/12/2011

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

Entidad financiadora Union Europea
Investigadores principales Laura M. Castro Souto
Tipo Proyecto Internacional
Fechas De 01/01/2010 a 30/12/2012

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

Entidad financiadora AYUNTAMIENTO DE A CORUÑA
Investigadores principales Carlos J. Escudero Cascón
Tipo Contrato
Fechas De 14/04/2010 a 29/11/2010

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

Entidad financiadora MINISTERIO DE EDUCACIÓN Y CIENCIA
Investigadores principales Víctor M. Gulías Fernández
Tipo Proyecto Programas Nacionales
Fechas De 15/10/2005 a 14/10/2008

Recuperación de información para la búsqueda de respuestas en textos económicos. (SUBPROYECTO)

Entidad financiadora Plan Nacional de I+D
Investigadores principales Miguel Ángel Alonso Pardo
Tipo Proyecto Otros Programas
Fechas De 13/12/2004 a 13/12/2007

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

Entidad financiadora Xunta de Galicia
Investigadores principales Víctor M. Gulías Fernández
Tipo Proyecto Programas Autonomicos
Fechas De 15/07/2003 a 15/07/2006

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

Entidad financiadora Ministerio de Ciencia y Tecnología
Investigadores principales Víctor M. Gulías Fernández
Tipo Proyecto Programas Nacionales
Fechas De 05/11/2002 a 05/11/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

Entidad financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proyecto Otros Programas
Fechas De 28/09/2002 a 27/09/2004

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

Entidad financiadora Universidade da Coruña (UDC)
Investigadores principales Miguel Ángel Alonso Pardo
Tipo Proyecto Otros Programas
Fechas De 17/07/2002 a 17/07/2003

Analizadores Tabulares para el Lenguaje Natural 2

Tipo Proyecto Otros Programas
Fechas De 06/05/2002 a 06/05/2004

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"

Entidad financiadora COLEGIO OFICIAL DE APAREJADORES Y ARQUITECTOS TÉCNICOS DE A CORUÑA
Tipo Contrato
Fechas De 01/11/2002 a 01/03/2003

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

Entidad financiadora ACORDAR COMUNICACIÓN EN INTERNET,S .L.
Tipo Contrato
Fechas De 30/10/2002 a 30/10/2003

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"

Entidad financiadora R, CABLE Y TELECOMUNICACIONES
Tipo Contrato
Fechas De 01/02/2002 a 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"

Entidad financiadora R, CABLE Y TELECOMUNICACIONES
Tipo Contrato
Fechas De 01/01/2002 a 01/01/2003

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

Entidad financiadora Union Europea
Tipo Proyecto Otros Programas
Fechas De 29/08/2001 a 29/08/2003

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

Entidad financiadora Comisión Interministerial de Ciencia y Tecnología (CICYT)
Tipo Proyecto Otros Programas
Fechas De 30/12/1999 a 31/12/2001

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

Entidad financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proyecto Otros Programas
Fechas De 01/12/1999 a 01/12/2001

Interrogación de bases de datos textuales estructuradas.

Entidad financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proyecto Otros Programas
Fechas De 25/08/1999 a 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

Entidad financiadora Desconocido
Tipo Contrato
Fechas De 27/07/1999 a 01/01/2000

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

Entidad financiadora Dirección Xeral de Universidades
Tipo Proyecto Otros Programas
Fechas De 24/10/1996 a 24/10/1999

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

Entidad financiadora Dirección Xeral de Universidades
Tipo Proyecto Otros Programas
Fechas De 24/10/1996 a 24/10/1998

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

Entidad financiadora Consellería de Educación e Ordenación Universitaria
Tipo Contrato
Fechas De 01/01/1996 a 31/12/1997

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

Entidad financiadora Dirección Xeral de Universidades
Investigadores principales José Luis Freire Nistal
Tipo Proyecto Otros Programas
Fechas De 01/01/1994 a 31/12/1995

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

Tipo Proyecto Otros Programas

Fútbol Vídeo Report

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

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

Autores/as 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

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

Autores/as 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, Becerra, Antonio, Ballesteros, María
Revista CLÍNICA E INVESTIGACIÓN EN ARTERIOESCLEROSIS Vol. 25 Núm. 3 (págs. 105 a 109)
DOI https://doi.org/10.1016/j.arteri.2013.05.007

Feasibily of property-based testing for time-dependent systems

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

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

Autores/as 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ágs. 55 a 61)

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

Autores/as 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ágs. 571 a 582)

The fold Operator as a Coequalizer Using Coq

Autores/as 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ágs. 167 a 176)

A Distributed System for Massive Generation of Synthetic Video Using GPUs

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

Managing the Risks of Risk Management

Autores/as 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ágs. 501 a 521)

Environment- Independence Methodology for Accesing External Data Sources

Autores/as 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ágs. 1355 a 1364)

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

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

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

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

Model checking a video-on-demand server using Mcerlang

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

On the representation of imperative programs in a logical framework

Autores/as 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ágs. 202 a 209)

A Distributed Filesystem for Spare Storage

Autores/as 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ágs. 249 a 256)

Towards a Certified and Efficient Computing of Gröbner Bases

Autores/as 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ágs. 111 a 120)

CheapTB: A Low Cost of Operation Distributed Filesystem

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

COLE Experiments at QA@CLEF 2004 Spanish Monolingual Track

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

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

Autores/as 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ágs. 220 a 230)

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

Autores/as 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ágs. 220 a 230)

Lambda Goes to Hollywood

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

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

Autores/as David Cabrero Souto
Revista Procesamiento del Lenguaje Natural (número 69) Vol. 30 (págs. 121 a 122)

Programación dinámica y análisis parcial

Autores/as David Cabrero Souto, Jesús Vilares, Manuel Vilares
Revista Procesamiento del Lenguaje Natural (número 69) Vol. 29 Núm. - (págs. 89 a 96)

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

Autores/as David Cabrero Souto, Miguel Ángel Alonso Pardo
Revista Procesamiento del Lenguaje Natural (número 69) Vol. 27 Núm. - (págs. 181 a 188)

Applying Productive Derivational Morphology to Term Indexing of Spanish Texts

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

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

Autores/as 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ágs. 540 a 554)

Effects of Some Isoxazolpyrimidine Derivatives on Nitric Oxide and Eicosanoid Biosynthesis

Autores/as 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ágs. 125 a 131)

Performance evaluation of a multithreaded RTS using a synchronous reactive model

Autores/as 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ágs. 1533 a 1539)

Distributed Functional Computing and its Instrumentation

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

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

Autores/as Javier Andrade Garda, María Concepción Álvarez Lebredo, Alberto Valderruten Vidal, Susana Sotelo Docío
Revista Procesamiento del Lenguaje Natural (número 69) Vol. 20 (págs. 1 a 12)

From sequential to distributed formal proofs.

Autores/as 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ágs. 501 a 513)

An experience on Natural Language Parsing.

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

Evaluation Lazy avec Caml Light.

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

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/as Manuel Vilares, 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/as Manuel Vilares, Miguel Ángel Alonso Pardo, Alberto Valderruten Vidal
Editorial Universidad de A Coruña, Coruña, A (España)
ISBN 84-89641-18-8

Certifying properties of program using theorem provers

Autores/as 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áginas De la 220 a la 267

Generalized LR parsing for extensions of context-free grammars

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

An Operational Model for Parsing Definite Clause Grammars with Infinite Terms

Autores/as Manuel Vilares,Miguel Ángel Alonso Pardo,David Cabrero Souto
Libro Logical Aspects of Computional Linguistics
Vol. - Edita Springer-Verlag.
ISBN: 3-540-65751-7
Páginas De la 212 a la 230

Concurrent programming with traces in haskell

Autores/as 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áginas De la 176 a la 191

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

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

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

Autores/as 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)

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

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

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

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

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

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

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

Autores/as 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/as 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/as Javier Paris Fernandez, Thomas Arts
Lugar Edimburgo (Reino Unido)

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

Autores/as Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez
Lugar Rhodes (Grecia)

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

Autores/as 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 implementations of the SOAP protocol
5th IEEE European Conference on Web Services (ECOWS 2007)
Internacional

Autores/as 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/as José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
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/as José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro, David Cabrero Souto
Lugar España

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

Autores/as Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Santiago Jorge Castro
Lugar 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/as José Santiago Jorge Castro, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto
Lugar Zamora (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
Internacional

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

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

Autores/as Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto, Carlos Varela Paz, José Santiago Jorge Castro
Lugar Barcelona (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/as José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal
Lugar Sevilla (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/as Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, David Cabrero Souto, Miguel Barreiro
Lugar Sitges (España)

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/as Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal
Lugar Santiago (Chile)

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

Autores/as Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, David Cabrero Souto, Alberto Valderruten Vidal
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/as José Santiago Jorge Castro, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, David Cabrero Souto
Lugar Cali (Colombia)

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

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

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

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

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

Autores/as 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/as Javier Paris Fernandez, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández
Lugar Cali (Colombia)

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

Autores/as Enrique Méndez Díaz, Jesús Vilares, David Cabrero Souto
Lugar 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)
Internacional

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

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

Autores/as David Cabrero Souto
Lugar Coruña, A (España)

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

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

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/as José R. Gulías Fernández, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, Carlos Abalde Ramiro
Lugar Arequipa (Perú)

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

Autores/as Carlos Varela Paz, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, Carlos Abalde Ramiro
Lugar Arequipa (Perú)

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/as 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

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

Autores/as 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/as 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/as Víctor Manuel Gulias Fernández, Alberto Valderrúten Vidal, Carlos Abalde Ramiro
Lugar La Paz (Bolivia)

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

Autores/as Juan José Sánchez Penas, Carlos Abalde Ramiro
Lugar Uppsala (Suecia)

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

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/as 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)

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

Autores/as 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/as 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)

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

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

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

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

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

Autores/as Manuel Vilares, 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/as David Cabrero Souto, Miguel Ángel Alonso Pardo
Lugar Ciudad de México (México)

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/as David Cabrero Souto, Miguel Ángel Alonso Pardo
Lugar Jaén (España)

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

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

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

Autores/as Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Juan José Sánchez Penas, José Santiago Jorge Castro
Lugar 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)
Internacional

Autores/as 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)

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

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

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

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

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

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

Virtual Memory and Advanced Filesystems
Libre Software Meeting 2000
Internacional

Autores/as Juan José Quintela Carreira
Lugar Bordeaux (Francia)

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

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

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

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

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

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

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

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

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

Autores/as 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/as Manuel Vilares, Miguel Ángel Alonso Pardo, David Cabrero Souto
Lugar Tandil (Argentina)

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

Autores/as 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)

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

Autores/as Manuel Vilares, David Cabrero Souto, Miguel Ángel Alonso Pardo
Lugar 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
Internacional

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

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

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

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

Autores/as Manuel Vilares, David Cabrero Souto, Miguel Ángel Alonso Pardo
Lugar 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
Internacional

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

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

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

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

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

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

Autores/as David Cabrero Souto, Manuel Vilares, 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/as Manuel Vilares, Jorge Graña Gil, T. Araujo, David Cabrero Souto, Inés Diz
Lugar Granada (España)

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

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

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

Autores/as Miguel Ángel Alonso Pardo, David Cabrero Souto
Lugar Nancy (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
Nacional

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

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

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

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

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

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

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

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

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

Efficient parsing of fixed-mode DCGs0D0A
Formal Grammar 1997
Internacional

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

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

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

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

Autores/as 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/as Juan José Quintela Carreira, José Luis Freire Nistal, Víctor Manuel Gulias Fernández
Lugar España

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

Autores/as José Luis Freire Nistal, Víctor Manuel Gulias Fernández, Juan José Quintela Carreira
Lugar 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
Internacional

Autores/as Alberto Valderruten Vidal, Manuel Vilares, Jorge Graña Gil
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/as Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal
Lugar Jura (Francia)

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

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