Dr. David Cabrero Souto  

Profesor contratado doctor (PC-DR)

Departamento Computación
Área Ciencia de la computación e inteligencia artificial
Investigación  Grupo de investigación Models and Applications of Distributed Systems (Coordinador/a)
Líneas de investigación 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 Directorio de la UDC

Docencia

Docencia impartida

En este apartado se muestra la docencia impartida en grados, másteres y resto de estudios oficiales en los últimos 6 años.

Asignatura y estudios en la que se imparte Horas totales
Arquitectura del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente (Obligatorio)
Máster Universitario en Ingeniería Informática
56
Interfaces Persona Máquina
Grado en Ingeniería Informática
160
Trabajo Fin de Grado. Mención en Tecnología de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
8
Asignatura y estudios en la que se imparte Horas totales
Arquitectura del Software
Grado en Ingeniería Informática. Curso Puente (Obligatorio)
63
Interfaces Persona Máquina 170
Proyecto Fin de Carrera
Ingeniero en Informática
11
Asignatura y estudios en la que se imparte Horas totales
Arquitectura del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente (Obligatorio)
Máster Universitario en Ingeniería Informática
14
Interfaces Persona Máquina
Grado en Ingeniería Informática
147
Asignatura y estudios en la que se imparte Horas totales
Arquitectura del Software
Grado en Ingeniería Informática
Máster Universitario en Ingeniería Informática
56
Arquitectura del Software
Grado en Ingeniería Informática. Curso Puente
14
Interfaces Persona Máquina
Grado en Ingeniería Informática
110
Asignatura y estudios en la que se imparte Horas totales
Arquitectura del Software
Grado en Ingeniería Informática
Máster Universitario en Ingeniería Informática
56
Arquitectura del Software
Grado en Ingeniería Informática. Curso Puente
14
Interfaces Persona Máquina
Grado en Ingeniería Informática
105
Trabajo fin de máster. Sistemas de Información
Máster Universitario en Ingeniería de Sistemas Informáticos
5,6
Asignatura y estudios en la que se imparte Horas totales
Diseño Software
Grado en Ingeniería Informática
40
Interfaces Persona Máquina
Grado en Ingeniería Informática
113
Modelado de sistemas distribuídos y concurrentes
Máster Universitario en Ingeniería de Sistemas Informáticos
25
Trabajo fin de máster. Sistemas de Información
Máster Universitario en Ingeniería de Sistemas Informáticos
12

Trabajos de fin de grado y máster

Dirigidos o codirigidos por el/la docente desde el año 2013.

Aplicación web estructurada en salas para la reunión o encuentro de un grupo de personas

Resultados de investigación

Puede consultar los méritos de investigación seleccionando un tipo de mérito y el año.

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 Desde 01/03/2016 a 01/07/2016

Mejoras en los protocolos de USB-IP

Entidad financiadora Qidel Formación y Servicios SL
Investigadores principales David Cabrero Souto
Tipo Contrato
Fechas Desde 02/05/2016 a 02/05/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 Desde 01/01/2014 a 15/06/2014

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 Desde 22/10/2014 a 30/10/2017

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 Desde 05/04/2013 a 31/12/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 Desde 31/10/2013 a 31/10/2014

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

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

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 Desde 01/06/2013 a 01/09/2013

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

Entidad financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principales Bertha Guijarro Berdiñas
Tipo Proyecto Otros Programas
Fechas Desde 01/01/2012 a 31/12/2013

Property- Based Testing of Web Services (PROWESS)

Entidad financiadora Union Europea
Tipo Proyecto UE
Fechas Desde 01/10/2012 a 31/10/2015

Seminario de Introducción a Erlang

Entidad financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Investigadores principales David Cabrero Souto
Tipo Contrato
Fechas Desde 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
Tipo Contrato
Fechas Desde 14/12/2011 a 14/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 Desde 30/11/2011 a 30/11/2012

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)
Tipo Proyecto Programas Nacionales
Fechas Desde 01/01/2011 a 31/12/2013

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 Desde 01/01/2010 a 30/12/2012

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 Desde 31/12/2005 a 30/12/2008

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 Desde 15/07/2003 a 15/07/2006

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 Desde 30/10/2002 a 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"

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

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 Desde 05/11/2002 a 05/11/2005

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 Desde 17/07/2002 a 17/07/2003

Analizadores Tabulares para el Lenguaje Natural 2

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

Interrogación de bases de datos textuales estructuradas.

Entidad financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proyecto Otros Programas
Fechas Desde 25/08/1999 a 25/08/2002

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

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ágs. 527 a 535)

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

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ágs. 544 a 551)

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

Autores David Cabrero Souto
Revista PROCESAMIENTO DEL LENGUAJE NATURAL Vol. 30 (págs. 121 a 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ágs. 89 a 96)

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ágs. 336 a 348)

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ágs. 181 a 188)

An experience on Natural Language Parsing.

Autores Miguel Ángel Alonso Pardo, David Cabrero Souto
Revista LENGUAJESNATURALES Y LENGUAJES FORMALES XII Vol. - Núm. - (págs. 555 a 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

Autores José Santiago Jorge Castro. Víctor Manuel Gulias Fernández. David Cabrero Souto
Libro Verification, Validation and Testing in Software Engineering
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 Miguel Ángel Alonso Pardo. Manuel Vilares Ferro. David Cabrero Souto
Libro Recent advances in natural language processing II
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 Manuel Vilares Ferro. Miguel Ángel Alonso Pardo. David Cabrero Souto
Libro Logical Aspects of Computional Linguistics
Edita Springer-Verlag.
ISBN: 3-540-65751-7
Páginas De la 212 a la 230

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

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)

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)

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

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)

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)

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 Las Palmas de G. Canaria (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)

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)

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)

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)

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

Autores David Cabrero Souto
Lugar A Coruña (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)

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 Alicante (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)

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)

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)

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)

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 Jaen (España)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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)

Efficient parsing of fixed-mode DCGs0D0A
Formal Grammar 1997
Internacional

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