| Departamento | Ciencias de la Computación y Tecnologías de la Información |
| Área | Ciencia de la computación e inteligencia artificial |
| Investigación | Grupo de investigación Models and Applications of Distributed Systems |
| 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 |
| Orcid id0000-0002-9432-8343 ResearcherIDM-2237-2014 Scopus36099890000 | |
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 | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Arquitectura del Software
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 78 |
| Interfaces Persona Máquina | Obligatorio | 0 | 150 |
| Trabajo Fin de Grado. Mención en Computación | Obligatorio | 0 | 12 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | 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
|
Optativo | 0 | 63 |
|
Interfaces Persona Máquina
Grado en Ingeniería Informática
|
Obligatorio | 0 | 137 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 13,6666666666667 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 8 |
|
Trabajo Fin de Grado. Mención en Tecnologías de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 8 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | 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
|
Optativo | 0 | 77 |
|
Interfaces Persona Máquina
Grado en Ingeniería Informática
|
Obligatorio | 0 | 170 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 4 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | 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
Máster Universitario en Ingeniería Informática
|
Optativo | 0 | 84 |
|
Interfaces Persona Máquina
Grado en Ingeniería Informática
|
Obligatorio | 0 | 174 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | 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
|
Optativo | 0 | 63 |
|
Interfaces Persona Máquina
Grado en Ingeniería Informática
|
Obligatorio | 0 | 154 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 8 |
|
Trabajo Fin de Grado. Mención en Tecnologías de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 8 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | 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
|
Optativo | 0 | 42 |
|
Interfaces Persona Máquina
Grado en Ingeniería Informática
|
Obligatorio | 0 | 154 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 8 |
Dirigidos o codirigidos por el/la docente desde el año 2013.
| Aplicación web para la evaluación de la calidad docente del profesorado de la UDC |
| Aplicación Web Tablero Kanban Compartido |
| Aplicación web para fact-checking y lucha contra la desinformación |
| Comparativa de herramientas de pruebas basadas en propiedades para el lenguaje Python |
| Herramienta de monitorización de prescripciones en centros de asistencia para mayores |
| Sistema de entrenamiento para la resolución de rompecabezas |
| Sistema de gestión de ventanilla única |
Puede consultar los méritos de investigación seleccionando un tipo de mérito y el 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 | Desde 10/08/2022 a 10/06/2023 |
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 |
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 | Desde 01/01/2012 a 31/12/2013 |
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 | Desde 16/04/2012 a 15/04/2014 |
Property- Based Testing of Web Services (PROWESS)
| Entidad financiadora | Union Europea |
| Investigadores principales | Laura Milagros Castro Souto |
| Tipo | Proyecto UE |
| Fechas | Desde 02/10/2012 a 01/11/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 |
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) |
| Investigadores principales | David Cabrero Souto |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/01/2011 a 31/12/2013 |
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 | Desde 14/04/2010 a 29/11/2010 |
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 | Desde 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 | 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 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 | Desde 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 | 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, 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 (número 69) Vol. 30 (págs. 121 a 122) |
Programación dinámica y análisis parcial
| Autores | 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) |
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 (número 69) 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 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 | 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 | 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 |
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
Nacional
| Autores | Laura M. Castro Souto, Macías López Iglesias, David Cabrero Souto |
| Organizador | Universidad de Almería (UAL) |
| Lugar | Almería (España) |
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
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, 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 | Coruña, 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 | 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 |
| 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, 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, 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 | Jaén (España) |
Dynamic Programming of Partial Parses
Jornadas sobre Programación y Lenguajes (PROLE 2001)
Nacional
| Autores | David Cabrero Souto, Manuel Vilares |
| 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, 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, 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, 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 |
| Lugar | Bergen (Noruega) |
Pattern matching in shared forest
Sixth International Workshop on Natural Language Understanding and Logic Programming( NLULP' 99)
Internacional
| Autores | Manuel Vilares, 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, 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, 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, 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, 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, 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, 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, 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, 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) |
Cargos académicos o de gestión para el/la docente.