PhD David Cabrero Souto  

(PC-DR)

Department Computer Science
Knowledgment area Computational Science and Artificial Intelligence
Research  Research group Models and Applications of Distributed Systems
Research lines Accesibilidad en sistemas de información. Sistemas Distribuidos. Verificación y Validación. Desarrollo de software. Paradigmas funcionales. Software libre. Procesamiento del lenguaje natural.
Contacto UDC directory

Teaching

Subjects taught

This section shows the teaching given in degrees, masters and other officers studies in last 6 years.

Subject and involved studies Total hours
Human Machine Interfaces 133
Software Architecture 42
Subject and involved studies Total hours
Final Project. Mention in Information Technology
Degree in Computer Engineering
8
Human Machine Interfaces
Degree in Computer Engineering
160
Software Architecture
Degree in Computer Engineering
Master's in Computer Engineering
56
Subject and involved studies Total hours
Degree Thesis Project
Computer Engineering
11
Human Machine Interfaces
Degree in Computer Engineering
170
Software Architecture
Degree in Computer Engineering
Master's in Computer Engineering
63
Subject and involved studies Total hours
Human Machine Interfaces
Degree in Computer Engineering
147
Software Architecture
Degree in Computer Engineering
Master's in Computer Engineering
14
Subject and involved studies Total hours
Human Machine Interfaces
Degree in Computer Engineering
110
Software Architecture
Degree in Computer Engineering
Master's in Computer Engineering
56
Software Architecture
Degree in Computer Engineering
14
Subject and involved studies Total hours
Final Dissertation: Information Systems
Master's in Computer Systems Engineering
5.6
Human Machine Interfaces
Degree in Computer Engineering
105
Software Architecture
Degree in Computer Engineering
Master's in Computer Engineering
56
Software Architecture
Degree in Computer Engineering
14

EOG works and final master thesis directed

Directed or codirected by current teacher since 2013 year.

Musician social web application
Web application structured in rooms so groups of people can meet

Research results

Select merit type and year to query research merits.

ETHiC. Efficient Thermas Comfort

Funding entity Arce Clima Sistemas y Aplicaciones S.L.
Main researches Laura Milagros Castro Souto y Jorge Novo Buján
Type Contrato
Dates From 01/03/2016 to 01/07/2016

Mejoras en los protocolos de USB-IP

Funding entity Qidel Formación y Servicios SL
Main researches David Cabrero Souto
Type Contrato
Dates From 02/05/2016 to 02/05/2017

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

Funding entity CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Type Contrato
Dates From 01/01/2014 to 15/06/2014

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

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

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

Funding entity INDRA SOFTWARE LABS S.L.U.
Main researches Nieves Rodríguez Brisaboa e Laura M. Castro Souto
Type Contrato
Dates From 05/04/2013 to 31/12/2014

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

Funding entity CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Type Contrato
Dates From 31/10/2013 to 31/10/2014

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

Funding entity Casacom Solutions AG
Type Contrato
Dates From 01/06/2013 to 01/09/2013

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

Funding entity Casacom Solutions AG
Type Contrato
Dates From 01/06/2013 to 01/09/2013

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

Funding entity Consellería de Cultura, Educación e Ordenación Universitaria
Main researches Bertha Guijarro Berdiñas
Type Proyecto Otros Programas
Dates From 01/01/2012 to 31/12/2013

Property- Based Testing of Web Services (PROWESS)

Funding entity Union Europea
Type Proyecto UE
Dates From 01/10/2012 to 31/10/2015

Seminario de Introducción a Erlang

Funding entity CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Main researches David Cabrero Souto
Type Contrato
Dates From 10/05/2012 to 11/05/2012

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

Funding entity CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Type Contrato
Dates From 14/12/2011 to 14/12/2013

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

Funding entity CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Type Contrato
Dates From 30/11/2011 to 30/11/2012

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

Funding entity Ministerio de Economía y Competitividad (MINECO)
Type Proyecto Programas Nacionales
Dates From 01/01/2011 to 31/12/2013

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

Funding entity AYUNTAMIENTO DE A CORUÑA
Main researches Carlos J. Escudero Cascón
Type Contrato
Dates From 14/04/2010 to 29/11/2010

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

Funding entity Union Europea
Main researches Laura M. Castro Souto
Type Proyecto Internacional
Dates From 01/01/2010 to 30/12/2012

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

Funding entity MINISTERIO DE EDUCACIÓN Y CIENCIA
Main researches Víctor M. Gulías Fernández
Type Proyecto Programas Nacionales
Dates From 31/12/2005 to 30/12/2008

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

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

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

Funding entity ACORDAR COMUNICACIÓN EN INTERNET,S .L.
Type Contrato
Dates From 30/10/2002 to 30/10/2003

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"

Funding entity COLEGIO OFICIAL DE APAREJADORES Y ARQUITECTOS TÉCNICOS DE A CORUÑA
Type Contrato
Dates From 01/11/2002 to 01/03/2003

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

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

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

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

Analizadores Tabulares para el Lenguaje Natural 2

Type Proyecto Otros Programas
Dates From 06/05/2002 to 06/05/2004

Interrogación de bases de datos textuales estructuradas.

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

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

Type Proyecto Otros Programas

Fútbol Vídeo Report

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

Feasibily of property-based testing for time-dependent systems

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

On the representation of imperative programs in a logical framework

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

COLE Experiments at QA@CLEF 2004 Spanish Monolingual Track

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

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

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

Programación dinámica y análisis parcial

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

Applying Productive Derivational Morphology to Term Indexing of Spanish Texts

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

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

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

An experience on Natural Language Parsing.

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

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

ISBN 1135-5948

Certifying properties of program using theorem provers

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

Generalized LR parsing for extensions of context-free grammars

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

An Operational Model for Parsing Definite Clause Grammars with Infinite Terms

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Efficient parsing of fixed-mode DCGs0D0A
Formal Grammar 1997
International

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