Dr. David Cabrero Souto  

Profesor contratado doutor (PC-DR)

Departamento Computación
Área Ciencia da computación e intelixencia artificial
Investigación  Grupo de investigación Models and Applications of Distributed Systems
Liñas 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 da UDC

Docencia

Docencia impartida

Neste apartado móstrase a docencia impartida en graos, mestrados e resto de titulacións oficiais ata os últimos 6 anos.

Materia e estudos en que se imparte Horas totais
Arquitectura do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
Mestrado Universitario en Enxeñaría Informática
56
Interfaces Persoa Máquina
Grao en Enxeñaría Informática
160
Traballo Fin de Grao. Mención en Tecnoloxía da Información
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
8
Materia e estudos en que se imparte Horas totais
Arquitectura do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
Mestrado Universitario en Enxeñaría Informática
63
Interfaces Persoa Máquina
Grao en Enxeñaría Informática
170
Proxecto Fin de Carreira
Enxeñeiro en Informática
11
Materia e estudos en que se imparte Horas totais
Arquitectura do Software
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
14
Interfaces Persoa Máquina 147
Materia e estudos en que se imparte Horas totais
Arquitectura do Software
Grao en Enxeñaría Informática
Mestrado Universitario en Enxeñaría Informática
56
Arquitectura do Software
Grao en Enxeñaría Informática. Curso Ponte
14
Interfaces Persoa Máquina
Grao en Enxeñaría Informática
110
Materia e estudos en que se imparte Horas totais
Arquitectura do Software
Grao en Enxeñaría Informática
Mestrado Universitario en Enxeñaría Informática
56
Arquitectura do Software
Grao en Enxeñaría Informática. Curso Ponte
14
Interfaces Persoa Máquina
Grao en Enxeñaría Informática
105
Traballo fin de mestrado. Sistemas de Información
Mestrado Universitario en Enxeñaría de Sistemas Informáticos
5,6
Materia e estudos en que se imparte Horas totais
Deseño Software
Grao en Enxeñaría Informática
40
Interfaces Persoa Máquina
Grao en Enxeñaría Informática
113
Modelado de sistemas distribuídos e concurrentes
Mestrado Universitario en Enxeñaría de Sistemas Informáticos
25
Traballo fin de mestrado. Sistemas de Información
Mestrado Universitario en Enxeñaría de Sistemas Informáticos
12

Traballos fin de grao e mestrado

Dirixidos ou codirixidos polo/a docente desde o ano 2013.

Aplicación web estruturada en salas para a xuntanza ou encontro dun grupo de persoas

Resultados da investigación

Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.

ETHiC. Efficient Thermas Comfort

Entidade financiadora Arce Clima Sistemas y Aplicaciones S.L.
Investigadores principais Laura Milagros Castro Souto y Jorge Novo Buján
Tipo Contrato
Datas Desde 01/03/2016 ata 01/07/2016

Mejoras en los protocolos de USB-IP

Entidade financiadora Qidel Formación y Servicios SL
Investigadores principais David Cabrero Souto
Tipo Contrato
Datas Desde 02/05/2016 ata 02/05/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
Tipo Contrato
Datas Desde 01/01/2014 ata 15/06/2014

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
Tipo Proxecto Programas Autonomicos
Datas Desde 22/10/2014 ata 30/10/2017

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 principais Nieves Rodríguez Brisaboa e Laura M. Castro Souto
Tipo Contrato
Datas Desde 05/04/2013 ata 31/12/2014

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

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

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

Entidade financiadora Casacom Solutions AG
Tipo Contrato
Datas Desde 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
Tipo Contrato
Datas Desde 01/06/2013 ata 01/09/2013

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 principais Bertha Guijarro Berdiñas
Tipo Proxecto Outros Programas
Datas Desde 01/01/2012 ata 31/12/2013

Property- Based Testing of Web Services (PROWESS)

Entidade financiadora Union Europea
Tipo Proxecto UE
Datas Desde 01/10/2012 ata 31/10/2015

Seminario de Introducción a Erlang

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Investigadores principais David Cabrero Souto
Tipo Contrato
Datas Desde 10/05/2012 ata 11/05/2012

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

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Datas Desde 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
Tipo Contrato
Datas Desde 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)
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2011 ata 31/12/2013

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

Entidade financiadora Union Europea
Investigadores principais Laura M. Castro Souto
Tipo Proxecto Internacional
Datas Desde 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 principais Víctor M. Gulías Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 31/12/2005 ata 30/12/2008

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

Entidade financiadora Xunta de Galicia
Investigadores principais Víctor M. Gulías Fernández
Tipo Proxecto Programas Autonomicos
Datas Desde 15/07/2003 ata 15/07/2006

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

Entidade financiadora ACORDAR COMUNICACIÓN EN INTERNET,S .L.
Tipo Contrato
Datas Desde 30/10/2002 ata 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"

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

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

Entidade financiadora Ministerio de Ciencia y Tecnología
Investigadores principais Víctor M. Gulías Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 05/11/2002 ata 05/11/2005

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 principais Miguel Ángel Alonso Pardo
Tipo Proxecto Outros Programas
Datas Desde 17/07/2002 ata 17/07/2003

Analizadores Tabulares para el Lenguaje Natural 2

Tipo Proxecto Outros Programas
Datas Desde 06/05/2002 ata 06/05/2004

Interrogación de bases de datos textuales estructuradas.

Entidade financiadora Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico
Tipo Proxecto Outros Programas
Datas Desde 25/08/1999 ata 25/08/2002

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

Tipo Proxecto Outros Programas

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

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)

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)

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)

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)

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)

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)

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)

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áxinas Desde a 220 ata a 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áxinas Desde 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
Edita Springer-Verlag.
ISBN: 3-540-65751-7
Páxinas Desde a 212 ata a 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 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
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
Internacional

Autores Laura M. Castro Souto, Macías López Iglesias, David Cabrero Souto
Organizador Universidad de Almería (UAL)
Lugar Almería (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 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
Internacional

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
Internacional

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

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

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
Internacional

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

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

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

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

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

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 Coruña, 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)