| Enderezo | 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 |
| Liñas de investigación |
Métodos formais Enxeñaría do software e patróns de deseño Sistemas distribuídos e en cluster Sistemas tempo real Avaliación do rendemento Streaming e sistemas multimedia Software libre Aplicacións: comercio electrónico e xestión de riscos Programación funcional Accesibilidad a los Sistemas de Información Distribución de contenidos P2P |
| Palabras chave | Métodos formais, especificación formal, model checking, verificación formal, probador teoremas; Enxeñaría do software, patróns deseño, UML, deseño sistemas de información, orientación a obxectos; Sistema distribuído, cluster, beowulf, Erlang; Tempo real; Avaliación rendemento, modelización, teoría de colas, modelos analíticos; streaming, servidor de vídeo, VoDKA, DVB; Software libre, GNU, Linux, accesibilidade; Comercio electrónico, xestión de riscos, ARMISTICE; Programación funcional, Erlang, Haskel; Accesibilidad, estándares; P2P, tablas distribuidas |
| Servizos ofertados |
Desdobramento de infraestrutura relacionada co vídeo baixo demanda (VoDKA). Desenvolvemento de aplicacións distribuídas e de tempo real utilizando o paradigma funcional distribuído. Aplicación de técnicas formais ao desenvolvemento de software. Desenvolvemento de sistemas de información utilizando orientación a obxectos. Administración de sistemas Linux. Kernel hacking. Configuración, desdobre e administración de clusters |
| Recursos de equipamento | - Diversa infraestrutura que se relaciona co vídeo baixo demanda (set-top boxes, equipamento de vídeo dixital, recursos autovisuais 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, dobre switch Fast Ethernet - Cluster Matrix(2001): 15*IBM eServer XSeries 200, 15*512MB, 15*18GB+2*100GB, switch Gigabit Ethernet |
| Resultados transferíbeis | - Patente "Método y Sistema de almacenamiento distribuido de contenidos multimedia orientado a streaming". Foi presentada o 02/03/2003 e está pendente - Creación da spinoff de base tecnolóxica LambdaStream, para a explotación e a comercialización do servidor de vídeo baixo demanda VoDKA - Desdobramentos reais do servidor de vídeo baixo demanda VoDKA en diferentes escenarios - Deseño, implementación e desdobramento do sistema de xestión de riscos ARMISTICE na multinacional do sector téxtil Inditex |
Pode consultar o catálogo seleccionando un tipo de mérito e o ano.
IDENTIFICACION Y CARACTERIZACION DEL EDEMA MACULAR DIABETICO MEDIANTE ANALISIS AUTOMATICO DE TOMOGRAFIAS DE COHERENCIA OPTICA Y TECNICAS DE APRENDIZAJE MAQUINA
| Entidade financiadora | Ministerio de Economía y Competitividad |
| Investigadores principáis | Manuel González Penedo; Noelia Barreira |
| Tipo | Proxecto Programas Nacionales |
| Datas | Dende 01/01/2016 ata 31/12/2019 |
Mejoras en los protocolos de USB-IP
| Entidade financiadora | Qidel Formación y Servicios SL |
| Investigadores principáis | David Cabrero Souto |
| Tipo | Contrato |
| Datas | Dende 02/05/2016 ata 02/05/2017 |
ETHiC. Efficient Thermas Comfort
| Entidade financiadora | Arce Clima Sistemas y Aplicaciones S.L. |
| Investigadores principáis | Laura Milagros Castro Souto y Jorge Novo Buján |
| Tipo | Contrato |
| Datas | Dende 01/03/2016 ata 01/07/2016 |
Contrato Art. 83 de arquitectura modular para la codificación en tiempo real de contenidos en ultra-alta definición (4k) basados en MPEG, H.264 Y H.265
| Entidade financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Investigadores principáis | Fco. Javier Taibo Pena |
| Tipo | Contrato |
| Datas | Dende 13/11/2015 ata 30/06/2016 |
Generación y codificación en tiempo real de contenidos 3D interactivos personalizados para entornos de TV digital
| Entidade financiadora | Syntheractive, S.L. |
| Investigadores principáis | Fco. Javier Taibo Pena |
| Tipo | Contrato |
| Datas | Dende 01/01/2015 ata 30/06/2015 |
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 | Dende 22/10/2014 ata 30/10/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 | Dende 01/01/2014 ata 15/06/2014 |
Consultoría para el desarrollo de tecnología de generación y codificación en tiempo real de servicios de TV Digital Interactiva (Contrato Art. 83)
| Entidade financiadora | Empresa Syntheractive, S.L.(B-70315171) |
| Tipo | Contrato |
| Datas | Dende 18/12/2013 ata 18/06/2014 |
Consultoría para el desarrollo de software embebido en equipos de media en red (Contrato Art. 83)
| Entidade financiadora | Empresa Syntheractive, S.L.(B-70315171) |
| Tipo | Contrato |
| Datas | Dende 18/12/2013 ata 09/09/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 | Dende 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 | Dende 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 | Dende 01/06/2013 ata 01/09/2013 |
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 principáis | Nieves Rodríguez Brisaboa e Laura M. Castro Souto |
| Tipo | Contrato |
| Datas | Dende 05/04/2013 ata 31/12/2014 |
Property- Based Testing of Web Services (PROWESS)
| Entidade financiadora | Union Europea |
| Investigadores principáis | Laura Milagros Castro Souto |
| Tipo | Proxecto UE |
| Datas | Dende 02/10/2012 ata 01/11/2015 |
Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)
| Entidade financiadora | Xunta de Galicia |
| Investigadores principáis | Ricardo Cao Abad |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Dende 01/01/2012 ata 31/12/2013 |
Consultoría para el desarrollo de tecnología de generación y codificación en tiempo real de servicios de TV Digital Interactiva (Contrato Art. 83)
| Entidade financiadora | Empresa Syntheractive, S.L.(B-70315171) |
| Tipo | Contrato |
| Datas | Dende 28/12/2012 ata 28/12/2013 |
Seminario de Introducción a Erlang
| Entidade financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Investigadores principáis | David Cabrero Souto |
| Tipo | Contrato |
| Datas | Dende 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 |
| Investigadores principáis | David Cabrero Souto |
| Tipo | Contrato |
| Datas | Dende 16/04/2012 ata 15/04/2014 |
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) |
| Investigadores principáis | David Cabrero Souto |
| Tipo | Proxecto Programas Nacionales |
| Datas | Dende 01/01/2011 ata 31/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 | Dende 30/11/2011 ata 30/11/2012 |
IDISPO: Dispositivos de Internet de Usuario
| Entidade financiadora | Ministerio de Industria, Turismo y Comercio |
| Investigadores principáis | Gulías Fernández, Víctor Manuel |
| Tipo | Proxecto Programas Nacionales |
| Datas | Dende 10/06/2010 ata 31/12/2011 |
PIMUS: desarrollo de un poste informativo con pantalla táctil para atención a ciudadanos y turistas
| Entidade financiadora | AYUNTAMIENTO DE A CORUÑA |
| Investigadores principáis | Carlos J. Escudero Cascón |
| Tipo | Contrato |
| Datas | Dende 14/04/2010 ata 29/11/2010 |
Recursos funcionales para la construcción de sistemas distribuidos complejos de alta disponibilidad
| Entidade financiadora | MINISTERIO DE EDUCACIÓN Y CIENCIA |
| Investigadores principáis | Víctor M. Gulías Fernández |
| Tipo | Proxecto Programas Nacionales |
| Datas | Dende 15/10/2005 ata 14/10/2008 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER) (Incentivo)
| Entidade financiadora | Xunta de Galicia |
| Investigadores principáis | Víctor M. Gulías Fernández |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Dende 15/07/2003 ata 15/07/2006 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)
| Entidade financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principáis | Víctor M. Gulías Fernández |
| Tipo | Proxecto Programas Nacionales |
| Datas | Dende 05/11/2002 ata 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
| Entidade financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proxecto Outros Programas |
| Datas | Dende 28/09/2002 ata 27/09/2004 |
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 principáis | Miguel Ángel Alonso Pardo |
| Tipo | Proxecto Outros Programas |
| Datas | Dende 17/07/2002 ata 17/07/2003 |
Analizadores Tabulares para el Lenguaje Natural 2
| Tipo | Proxecto Outros Programas |
| Datas | Dende 06/05/2002 ata 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"
| Entidade financiadora | COLEGIO OFICIAL DE APAREJADORES Y ARQUITECTOS TÉCNICOS DE A CORUÑA |
| Tipo | Contrato |
| Datas | Dende 01/11/2002 ata 01/03/2003 |
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 | Dende 30/10/2002 ata 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"
| Entidade financiadora | R, CABLE Y TELECOMUNICACIONES |
| Tipo | Contrato |
| Datas | Dende 01/02/2002 ata 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"
| Entidade financiadora | R, CABLE Y TELECOMUNICACIONES |
| Tipo | Contrato |
| Datas | Dende 01/01/2002 ata 01/01/2003 |
e-MINDER. Electronic commerce leveraging network for developing European regions
| Entidade financiadora | Union Europea |
| Tipo | Proxecto Outros Programas |
| Datas | Dende 29/08/2001 ata 29/08/2003 |
Arquitectura de nodos de proceso paralelo para servicio de vídeo bajo demanda
| Entidade financiadora | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Tipo | Proxecto Outros Programas |
| Datas | Dende 30/12/1999 ata 31/12/2001 |
Modelización y evaluación de un sistema de almacenamiento distribuido a bajo coste para aplicaciones multimedia
| Entidade financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proxecto Outros Programas |
| Datas | Dende 01/12/1999 ata 01/12/2001 |
Interrogación de bases de datos textuales estructuradas.
| Entidade financiadora | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Tipo | Proxecto Outros Programas |
| Datas | Dende 25/08/1999 ata 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
| Entidade financiadora | Desconocido |
| Tipo | Contrato |
| Datas | Dende 27/07/1999 ata 01/01/2000 |
Sócrates (Sistema objetual y cooperativo para la racionalización de la actividad y la tecnología de la empresa )
| Entidade financiadora | Dirección Xeral de Universidades |
| Tipo | Proxecto Outros Programas |
| Datas | Dende 24/10/1996 ata 24/10/1998 |
Análisis de LIGs y TAGs en programación dinámica
| Entidade financiadora | Dirección Xeral de Universidades |
| Tipo | Proxecto Outros Programas |
| Datas | Dende 24/10/1996 ata 24/10/1999 |
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
| Entidade financiadora | Consellería de Educación e Ordenación Universitaria |
| Tipo | Contrato |
| Datas | Dende 01/01/1996 ata 31/12/1997 |
Sistema de cálculo simbólico con arquitectura cliente/servidor y núcleo funcional
| Entidade financiadora | Dirección Xeral de Universidades |
| Investigadores principáis | José Luis Freire Nistal |
| Tipo | Proxecto Outros Programas |
| Datas | Dende 01/01/1994 ata 31/12/1995 |
Aplicaciones de la Ingeniería lingüística a los sistemas colaborativos y desktop publishing.
| Tipo | Proxecto Outros Programas |
Sistema de generación de canales sintéticos de televisión digital
| Tipo | Patente |
| Entidade | Universidade da Coruña (UDC) |
| Autores/as | Víctor Manuel Gulias Fernández, Francisco Javier Taibo Pena, Miguel Barreiro Paz, Pablo Montero-Manso |
| Data de solicitude | 02/02/2012 |
Dispositivo y sistema escalable para la sobreimpresión de flujos de vídeo
| Tipo | Patente |
| Entidade | |
| Autores/as | Francisco Javier Taibo Pena |
| Data de solicitude | 14/12/2011 |
| Data de concesión | 29/01/2015 |
Fútbol Vídeo Report
| Tipo | Software Rexistrado |
| Entidade | Universidade da Coruña (UDC) |
| Autores/as | 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 |
Advanced RMIS Server: Tracking of Insurances, Claims and Exposures (ARMISTICE Server)
| Tipo | Software Rexistrado |
| Entidade | Universidade da Coruña (UDC) |
| Autores/as | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto |
| Data de solicitude | 17/08/2007 |
| Data de concesión | 17/08/2007 |
Advaced RMIS Management Desktop: Tracking of Insurances, Claims and Exposures (ARMISTICE Desktop)
| Tipo | Software Rexistrado |
| Entidade | Universidade da Coruña (UDC) |
| Autores/as | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto |
| Data de solicitude | 17/08/2007 |
| Data de concesión | 17/08/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 |
Making Property-based Testing Easier to Read Humans (JCR)
| Autores/as | Laura Milagros Castro Souto, Pablo Lamela, Simon Thompson |
| Revista | COMPUTING AND INFORMATICS Vol. 35 Núm. 4 (páxs. 890 ata 913) |
Sitting Property-Based Testing at the Desktop
| Autores/as | Laura M. Castro |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9520 (páxs. 236 ata 243) |
| DOI | https://doi.org/10.1007/978-3-319-27340-2_30 |
Advanced Management of Data Integrity: Property-based Testing for Business Rules
| Autores/as | Laura M. Castro |
| Revista | JOURNAL OF INTELLIGENT INFORMATION SYSTEMS Vol. 44 Núm. 3 (páxs. 355 ata 380) |
Repeating history: Execution replay for parallel Haskell programs
| Autores/as | Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 7829 (páxs. 231 ata 246) |
Assesing the effects of introducing a new software development process: a methodological description
| Autores/as | Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts |
| Revista | International Journal on Software Tools for technology Transfer Vol. 17 Núm. 1 (páxs. 1 ata 16) |
| DOI | https://doi.org/10.1007/s10009-013-0275-0 |
A language-independent approach to black-box testing using Erlang as Test Specification language
| Autores/as | Laura M. Castro, Miguel A. Francisco |
| Revista | JOURNAL OF SYSTEMS AND SOFTWARE Vol. 86 Núm. 12 (páxs. 3109 ata 3122) |
| DOI | https://doi.org/10.1016/j.jss.2013.07.021 |
Automatic Generation of Test Models for Web Services using WSDL and OCL
| Autores/as | Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8274 (páxs. 483 ata 490) |
| DOI | https://doi.org/10.1007/978-3-642-45005-1_37 |
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, Jose Antonio Becerra Permuy, Ballesteros, María |
| Revista | CLÍNICA E INVESTIGACIÓN EN ARTERIOESCLEROSIS Vol. 25 Núm. 3 (páxs. 105 ata 109) |
| DOI | https://doi.org/10.1016/j.arteri.2013.05.007 |
Business Operation improvement through integrated infrastructure management
| Autores/as | Alberto Casanova, Laura M. Castro, Antonio Blanco-Ferro |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8111 (páxs. 158 ata 165) |
| DOI | https://doi.org/10.1007/978-3-642-53856-8_20 |
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áxs. 527 ata 535) |
Optimising Lossless Stages in a GPU-based MPEG Encoder
| Autores/as | Samuel Rivas, Fco. Javier Taibo, Víctor M. Gulías |
| Revista | MULTIMEDIA TOOLS AND APPLICATIONS Vol. 65 (páxs. 495 ata 520) |
Building Web Applications with Erlang
| Autores/as | LAURA CASTRO |
| Revista | JOURNAL OF FUNCTIONAL PROGRAMMING Vol. 23 Núm. 2 (páxs. 225 ata 227) |
| DOI | https://doi.org/10.1017/s0956796812000342 |
subjective Quality Assessment of the Impact of Buffer size in fine-Grain Parallel Video Encoding (JCR)
| Autores/as | Pablo Montero-Manso, L. Polak, T. Kratochvil |
| Revista | Radioengineering Vol. 21 Núm. 4 (páxs. 1226 ata 1235) |
Self-tuning of disk input-output in operating systems. IF:1.135 (Q2)
| Autores/as | Antonino Santos Del Riego, Juan Jesús Romero Cardalda, Francisco Javier Taibo Pena, Carlos Rodriguez, Adrian Carballal Mato |
| Revista | JOURNAL OF SYSTEMS AND SOFTWARE Vol. 85 Núm. 1 (páxs. 77 ata 86) |
| DOI | https://doi.org/10.1016/j.jss.2011.07.030 |
La Percepción del Espacio en la Visualización de Arquitectura mediante Realidad Virtual Inmersiva. EGA
| Autores/as | Luis Antonio Hernández Ibáñez, Fco. Javier Taibo, Antonio Jose Seoane Nolasco, Alberto Jaspe |
| Revista | EGA: REVISTA DE EXPRESIÓN GRÁFICA ARQUITECTÓNICA Vol. 16 Núm. 18 (páxs. 252 ata 261) |
| DOI | https://doi.org/10.4995/ega.2011.1110 |
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áxs. 55 ata 61) |
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áxs. 167 ata 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áxs. 239 ata 246) |
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áxs. 571 ata 582) |
Dynamic Virtual Textures
| Autores/as | Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Luis Antonio Hernández Ibáñez |
| Revista | JOURNAL OF WSCG Vol. 17 Núm. 1 (páxs. 25 ata 32) |
A Practical Methodology for Integration Testing
| Autores/as | Laura Milagros Castro Souto, Miguel A. Francisco Fernández, Víctor Manuel Gulias Fernández |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (páxs. 881 ata 888) |
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áxs. 296 ata 299) |
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áxs. 1355 ata 1364) |
Interfaces naturales para contenidos digitales interactivos en museos. La experiencia de Galicia dixital.
| Autores/as | Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Alberto Jaspe Villanueva, M. Rocio López Mihura |
| Revista | REVISTA DEL CENTRO E INVESTIGACIÓN.UNIVERSIDAD LA SALLE Vol. 8 Núm. 29 (páxs. 37 ata 42) |
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áxs. 501 ata 521) |
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áxs. 539 ata 546) |
Physically Walking in Digital Spaces - A Virtual Reality Installlation for Exploration of Historical Heritage.
| Autores/as | Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Juan David Blanco Miguez, Antonio Jose Seoane Nolasco, M. Rocio López Mihura, Alberto Jaspe Villanueva, José A. Iglesias |
| Revista | INTERNATIONAL JOURNAL OF ARCHITECTURAL COMPUTING Vol. 5 Núm. 3 (páxs. 487 ata 506) |
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áxs. 233 ata 240) |
Towards a decentralized and structured network of P2P public information screens
| Autores/as | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (páxs. 217 ata 224) |
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áxs. 249 ata 256) |
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áxs. 202 ata 209) |
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áxs. 111 ata 120) |
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áxs. 544 ata 551) |
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áxs. 121 ata 130) |
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áxs. 220 ata 230) |
Análisis Eficaz de Gramáticas de Cláusulas Definidas
| Autores/as | David Cabrero Souto |
| Revista | Procesamiento del Lenguaje Natural Vol. 30 (páxs. 121 ata 122) |
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áxs. 220 ata 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áxs. 391 ata 407) |
Programación dinámica y análisis parcial
| Autores/as | David Cabrero Souto, Jesús Vilares, Manuel Vilares |
| 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/as | 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/as | David Cabrero Souto, Miguel Ángel Alonso Pardo |
| Revista | Procesamiento del Lenguaje Natural Vol. 27 Núm. - (páxs. 181 ata 188) |
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áxs. 540 ata 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áxs. 125 ata 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áxs. 1533 ata 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áxs. 0 ata 0) |
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áxs. 501 ata 513) |
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 Vol. 20 (páxs. 1 ata 12) |
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áxs. 77 ata 94) |
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áxs. 555 ata 562) |
Desenvolvemento dun sistema de Distribución de Contidos en Erlang: Un enfoque descentralizado.
| Autores/as | Henrique Ferreiro García |
| Editorial | Editorial Académica Española , Coruña, A (España) |
| ISBN | 978-8473-6598-3 |
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 |
Managing data integrity: property-based testing for business rules
| Autores/as | Laura Milagros Castro Souto |
| Libro |
Managing data integrity: property-based testing for business rules Edita Tech Science Press. ISBN: 980-953-307-209-3 |
| Páxinas | Dende a 1 ata a 1 |
Mapping Large Textures for Outodoor Terrain Rendering.
| Autores/as | Antonio Jose Seoane Nolasco,Francisco Javier Taibo Pena,Luis Antonio Hernández Ibáñez,Alberto Jaspe Villanueva |
| Libro |
Game Programming Gems 7. Vol. - Edita Charles River Media/Coruse Technology. ISBN: 978-1-58450-527-3 |
| Páxinas | Dende a 435 ata a 446 |
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áxinas | Dende a 220 ata a 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áxinas | Dende a 81 ata a 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áxinas | Dende a 212 ata a 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áxinas | Dende a 176 ata a 191 |
Profiling of parallel programs in a non-strict functional language
| Autor/a | Henrique Ferreiro García |
| Director/es | Laura Milagros Castro Souto; Kevin Hammond |
| Ámbito | Computación |
| Cualificación | Sobresainte |
Aplicación de técnicas de pruebas automáticas basadas en propiedades a los diferentes niveles de prueba del software
| Autor/a | Miguel Ángel Francisco Fernández |
| Director/es | Laura M. Castro Souto |
| Ámbito | Facultad de Informática |
| Cualificación | Sobresaliente Cum laude |
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 |
| Cualificación | Sobresaliente Cum laude |
Automatic Generation of UML Sequence Diagrams from Test Cointerexamples
ERLANG USER CONFERENCE 2016
Internacional
| Autores/as | Laura Milagros Castro Souto, Daniel Carballa |
| Organizador | Erlang Solutions |
| Lugar | Nara (Japón) |
| DOI | https://doi.org/10.1145/2975969.2975971 |
Making everybody comfortable with Erlang: A SCADA System for Thermal Control
ERLANG USER CONFERENCE 2016
Internacional
| Autores/as | Laura Milagros Castro Souto, J. Daniel Fernández, José Carlos López Pampín |
| Organizador | Erlang Solutions |
| Lugar | Nara (Japón) |
| DOI | https://doi.org/10.1145/2975969.2975971 |
O software libre como vehículo de introdución á perspectiva de xénero
XUGeX. IV Jornada Universitaria Gallega en Género: Perspectiva de género en la docencia universitaria
Nacional
| Autores/as | Laura Milagros Castro Souto |
| Organizador | Oficinas de Igualdad de Género de la UDC, USC y UVIGO. |
| Lugar | Santiago de Compostela (España) |
Kindergarten Cop: Dynamic Nursery Resizing for GHC
25th International Conference on Compiler Construction (CC'16)
Internacional
| Autores/as | Laura Milagros Castro Souto, Henrique Ferreiro García, Vladimir Janjic, Kevin Hammond |
| Lugar | Barcelona (España) |
Testing FreeDesktop applications for free with D-Bus and QuickCheck
Computer Aided Systems Theory - EUROCAST 2015
Internacional
| Autores/as | Laura Milagros Castro Souto |
| Lugar | Palmas de Gran Canaria, Las (España) |
Using property-based testing to automate test case generation and diagnosis in web-based graphical user interfaces
INTUITEST 2015
Internacional
| Autores/as | Henrique Ferreiro García, Miguel A. Francisco Fernández, Clara Benac Earle, Laura Milagros Castro Souto, Macías López Iglesias |
| Lugar | Sophia (Francia) |
Cuantificación da perda das novas xeracións de mulleres técnicas. O caso da UDC.
II Xornada Universitaria Galega en Xénero
Autonómico
| Autores/as | Laura M. Castro Souto |
| Organizador | Universidade da Coruña (UDC) |
| Lugar | Ferrol (España) |
Property-Based testing for Non-functional Requirements- Erlang as Supporting Technology for reaching Software Architecture
Erlang User Conference 2014
Internacional
| Autores/as | Macías López Iglesias, Laura M. Castro Souto, Thomas Arts |
| Lugar | Estocolmo (Suecia) |
Practical Line rasterization for multi-resolution textures
Smart Tools and Apps for Graphics
Internacional
| Autores/as | Fco. Javier Taibo, Alberto Jaspe, Antonio Jose Seoane Nolasco, Luis Antonio Hernández Ibáñez, Marco Agus |
| Organizador | EUROGRAPHICS |
| Lugar | Cagliari (Italia) |
A Backpack to go the Extra-Functional Mile (a hitchet hike by the Prowess Proyect)
Erlang Factory 2014
Internacional
| Autores/as | Laura M. Castro Souto |
| Lugar | San Francisco (Estados Unidos) |
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) |
Kindergarten Cop: Dynamic Nursery Resizing for GHC
25th Symposium on Implementation and Application of Functional Languages - ILF 2013
Internacional
| Autores/as | Henrique Ferreiro García, Laura M. Castro Souto, Vladimir Janjic, Tony Kevin Hammond |
| Organizador | ACM |
| Lugar | Nijmegen (Países Bajos) |
Tuning web services descriptions into QuickCheck models for automatic Testing
ERLANG 2013
Internacional
| Autores/as | Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García, Miguel A. Francisco |
| Organizador | ACM |
| Lugar | Boston, Massachusetts (Estados Unidos) |
Uso de propiedades y modelos para las pruebas de sistemas distribuidos basados en la integración de componetnes heterogéneos
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE- PROLE
Nacional
| Autores/as | Laura M. Castro Souto, Miguel A. Francisco |
| Organizador | UNIVERSIDAD POLITÉCNICA DE MADRID |
| Lugar | Madrid (España) |
Integrated Infrastructure Management System
International Conference On Computer Aided Systems Theory. Eurocast 2013
Internacional
| Autores/as | Laura M. Castro Souto, Antonio Ángel Blanco Ferro, Alberto Casanova |
| Organizador | Universidad de Las Palmas de Gran Canaria (ULPGC) |
| Lugar | Palmas de Gran Canaria, Las (España) |
A DSL for Web Services Automatic Test Data Generation
25th Symposium on Implementation and Application of Functional Languages - ILF 2013
Internacional
| Autores/as | Macías López Iglesias, Henrique Ferreiro García, Laura M. Castro Souto, Thomas Arts |
| Organizador | ACM |
| Lugar | Nijmegen (Países Bajos) |
Automatización de Pruebas para Servicios Web: Generación de Propiedades y Modelos
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE- PROLE
Nacional
| Autores/as | Macías López Iglesias, Laura M. Castro Souto, Henrique Ferreiro García, Miguel A. Francisco |
| Organizador | UNIVERSIDAD POLITÉCNICA DE MADRID |
| Lugar | Madrid (España) |
Automatic generation of test models for Web Services using WSDL and OCL
11th International Conference on Service Oriented Computing (ICSOC 2013)
Internacional
| Autores/as | Miguel A. Francisco, Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García |
| Organizador | IBM RESEARCH |
| Lugar | Berlín (Alemania) |
Fast GPU approximation of EPZS Motion Estimation Using Branching
15th Interantional Workshop on Multimedia Signal Processing 2013
Internacional
| Autores/as | Pablo Montero-Manso, Francisco Javier Taibo Pena |
| Organizador | IEEE Signal Processing |
| Lugar | Pula, Cerdeña (Italia) |
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) |
Automatic generation of test models and properties from UML models with OCL constraints
OCL 2012
Internacional
| Autores/as | Laura M. Castro Souto, Miguel A. Francisco |
| Organizador | ACM |
| Lugar | Innsbruck (Austria) |
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) |
Tecnología funcional en aplicaciones de televisión interactiva
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE - PROLE 2012
Nacional
| Autores/as | David Duque, Laura M. Castro Souto |
| Organizador | Universidad de Almería (UAL) |
| Lugar | Almería (España) |
Testing Data Consistency of Data-Intensive Applications using QuickCheck
PROLE 2010
Nacional
| Autores/as | Laura Milagros Castro Souto, Thomas Arts |
| Organizador | Universidad Politécnica de Valencia |
| Lugar | Valencia (España) |
Parallel Zigzag Scanning and Huffman Coding for a GPU-Based MPEG-2 Encoder
IEEE International Symposium on Multimedia (ISM2010)
Nacional
| Autores/as | Pablo Montero Manso, Francisco Javier Taibo Pena, Víctor Manuel Gulias Fernández, Samuel Rivas González |
| Lugar | Taichung (Taiwán) |
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) |
Desarrollo de un Sistema para la Definición, Generación Automática y Gestión de Protocolos para Vías Clínicas
INFORSALUD 2010. XIII Congreso Nacional de Informática de la Salud
Nacional
| Autores/as | Yago Méndez Vidal, Lino Carrajo García, Antonio Ángel Blanco Ferro, Laura Milagros Castro Souto, Fátima Rodríguez Calvo, Daniel Llamas Gómez, Guillermo Vázquez González |
| Organizador | Sociedad Española de Informática de la Salud (SEIS) |
| Lugar | Madrid (España) |
Automatic Testing of TCP/IP Implementations Using Quickcheck
ERLANG¿09
Internacional
| Autores/as | Javier Paris Fernandez, Thomas Arts |
| Lugar | Edimburgo (Reino Unido) |
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) |
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) |
Empleo de residuos de construcción y demolición en mezclas bituminosas.
VIII Congreso de Ingeniería del Transporte.
Nacional
| Autores/as | Ignacio Pérez Pérez, Mar Toledano Prados, Francisco Javier Taibo Pena, Juan Gallego Medina |
| Lugar | Coruña, A (España) |
Aplicación de técnicas de iluminación para obtención de cuencas visuales en estudios de impacto ambiental.
14 Convención Científica de Ingeniería y Arquitectura - XII Congreso Iberoamericano de la Sociedad Iberoamericana de Gráfica Digital (SiGraDi 2008).
Internacional
| Autores/as | Luis Antonio Hernández Ibáñez, Antonio Jose Seoane Nolasco, Alberto Jaspe Villanueva, Francisco Javier Taibo Pena |
| Lugar | La Habana (Cuba) |
VideaLAB: experiencias en diseño de instalaciones de Realidad Virtual en museos.
Segundas Jornadas sobre Realidad Virtual y Entornos Virtuales.
Nacional
| Autores/as | Luis Antonio Hernández Ibáñez, Antonio Jose Seoane Nolasco, Francisco Javier Taibo Pena, Alberto Jaspe Villanueva |
| Lugar | Albacete (España) |
Análisis y utilización de la información meteorológica en un centro de gestión de tráfico mediante sistemas integrados de información geográfica (SIG) y sistemas de navegación 3D
VIII Congreso de Ingeniería del Transporte.
Nacional
| Autores/as | Francisco Alberto Varela García, Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Ramiro Martínez Rodríguez, Alberto Jaspe Villanueva, Juan Ignacio Varela García |
| Lugar | Coruña, A (España) |
Efficient Discovery of Widely Distributed And Non-Volatile Resources on DHTs
ICIW 2008 - The Third International conference on Internet and Web Applications and Services
Internacional
| Autores/as | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | Atenas (Grecia) |
Testing erlang data types with quviq quickcheck
7th ACM SIGPLAN Erlang Workshop, Erlang ¿08
Internacional
| Autores/as | Thomas Arts, Laura Milagros Castro Souto, John Hughes |
| Lugar | Victoria-British Columbia (Canadá) |
Applications integration: a testing experience
Servicewave 2008
Internacional
| Autores/as | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Miguel A. Francisco Fernández |
| Lugar | Madrid (España) |
El museo Vacío y el Camino de Santiago. Una instalación de Realidad Virtual para la exploración del patrimonio cultural
I Simposium de Informática Gráfica y Patrimonio Histórico
Nacional
| Autores/as | Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Juan David Blanco Miguez, Antonio Jose Seoane Nolasco, M. Rocio López Mihura, Alberto Jaspe Villanueva |
| Lugar | Coruña, A (España) |
Hardware-Independent Clipmapping
The 15th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2007 (WSCG 2007)
Internacional
| Autores/as | Antonio Jose Seoane Nolasco, Francisco Javier Taibo Pena, Luis Antonio Hernández Ibáñez, Rubén López Gómez, Alberto Jaspe Villanueva |
| Lugar | Plzen (República Checa) |
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 |
Extending the VoDKA Architecture with P2P Aggregated Content Management
12th IEEE Symposium on Computers and Communications (ISCC 2007)
Internacional
| Autores/as | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | Aveiro (Portugal) |
Digital Watermarking of MPEG Videos: Empirical Studies and Open Source Tools
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
Internacional
| Autores/as | Laura Milagros Castro Souto, Cheng-Fang Yang, Natasha Simon, Ernst L. Leiss |
| Lugar | San José (Costa Rica) |
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) |
Deploying VoDKA in a Network of Peer-to-Peer Public Information Screems
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
Internacional
| Autores/as | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | España |
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) |
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 |
Videalab. Grupo de Visualización Avanzada en Arquitectua, Ingeniería Civil y Urbanismo
I Simposium de Informática Gráfica y Patrimonio Histórico
Nacional
| Autores/as | Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Juan David Blanco Miguez, Antonio Jose Seoane Nolasco, M. Rocio López Mihura, Alberto Jaspe Villanueva, Manuel Meijide Ferreiro, Juan Nieto Boga, Natalia Carregal |
| Lugar | Coruña, A (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ú) |
Ampliación de las capacidades de visualización de un SIG libre mediante la comunicación con un navegad or 3D
I Jormadas de SIG Libre
Nacional
| Autores/as | Francisco Alberto Varela García, Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Juan Ignacio Varela García |
| Lugar | Girona (España) |
Interfaces naturales para contenidos digitales interactivos en museos. La experiencia de Galicia Dixital
SIGRADI 07. Congreso de la Sociedad Iberoamericana de Gráfica Digital
Internacional
| Autores/as | Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Antonio Jose Seoane Nolasco, Alberto Jaspe Villanueva, M. Rocio López Mihura |
| Lugar | México D.F. (México) |
The Empty Museum. Walking inside the virtual exhibit
Museums and the Web 2007
Internacional
| Autores/as | Juan David Blanco Miguez, Luis Antonio Hernández Ibáñez, M. Rocio López Mihura, Antonio Jose Seoane Nolasco, Francisco Javier Taibo Pena |
| Lugar | San Francisco (Estados Unidos) |
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 |
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) |
Formalisation of a Functional Risk Management System
ICEIS¿06. 8th International Conference on Enterprise Information Systems
Internacional
| Autores/as | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto, Carlos Varela Paz |
| Lugar | Paphos (Chipre) |
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) |
Evaluación de la calidad en las oficinas técnicas de cooperación al desarrollo de las universidades. La experiencia de la Universidade da Coruña
III Congreso Universidad y Cooperación al Desarrollo
Nacional
| Autores/as | Vanessa Míguez Martín, Lorena Rilo Pérez, Enrique Peña González, Francisco Javier Taibo Pena |
| Lugar | Madrid (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) |
El Museo Vacío. Uso de una instalación transitable de Realidad Virtual para la experimentación espacial de una unidad habitacional en un asentamiento prerromano.
SIGRADI 2006 X congreso Iberoamericano de Gráfica Digital
Internacional
| Autores/as | Luis Antonio Hernández Ibáñez, Juan David Blanco Miguez, José A. Iglesias Guitian, Francisco Javier Taibo Pena, Antonio Seoane Nolasco, Alberto Jaspe Villanueva, M. Rocio López Mihura |
| Lugar | Santiago de Chile (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) |
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) |
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) |
The Creativity Space. An Immersive VR Framework for 3D Creation
Digital Engineering Workshop. 5th Japan-Korea CAD/CAM Workshop
Internacional
| Autores/as | Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Juan David Blanco Miguez, M. Rocio López Mihura, Antonio Seoane Nolasco, Alberto Jaspe Villanueva |
| Lugar | Tokio (Japón) |
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 |
Real-time visualization of geospatial features through integration of GID with a realistic 3D terrain dynamic visualization system.
ICC 2005 XII Internacional Cartographic Conference
Internacional
| Autores/as | Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Francisco Alberto Varela García |
| Lugar | Coruña, A (España) |
La gestión de tráfico mediante la integración de un GIS con un sistema de navegación realistaen 3D sobre el territorio
V Congreso Español y I Congreso Iberoamericano de Sistemas Inteligentes de Transporte
Internacional
| Autores/as | Francisco Alberto Varela García, Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Rubén López Gómez, Antonio Seoane Nolasco, Alberto Jaspe Villanueva |
| Lugar | Málaga (España) |
A New Risk Management Approach Deployed over a Client/Server
ICSENG 2005. 18th International Conference on Systems Engineering
Internacional
| Autores/as | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto, Carlos Varela Paz |
| Lugar | Las Vegas (Estados Unidos) |
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) |
Accesibilidad en los sistemas de información
Gira Estándares W3C 2004
Nacional
| Autores/as | David Cabrero Souto |
| Lugar | Coruña, A (España) |
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ú) |
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ú) |
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á) |
The experience of the Empty Museum. Displaying cultural contents on an immersive, walkable VR room
Computer Graphics International CGI 2004
Internacional
| Autores/as | Luis Antonio Hernández Ibáñez, Francisco Javier Taibo Pena, Antonio Seoane Nolasco, Rubén López Gómez, M. Rocio López Mihura |
| Lugar | Heraklion (Grecia) |
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) |
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) |
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) |
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 |
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) |
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) |
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) |
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) |
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) |
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 |
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) |
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 |
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) |
Virtual Memory and Advanced Filesystems
Libre Software Meeting 2000
Internacional
| Autores/as | Juan José Quintela Carreira |
| Lugar | Bordeaux (Francia) |
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) |
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) |
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) |
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) |
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) |
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) |
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) |
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) |
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) |
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) |
Efficient Persistent Haskell
IFL `98/ Implementation of Functional Languages
Internacional
| Autores/as | Juan José Quintela Carreira, Tony Kevin Hammond |
| Lugar | Londres (Reino Unido) |
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) |
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 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) |
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 |
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) |
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) |
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 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) |
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) |
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) |
Efficient parsing of fixed-mode DCGs0D0A
Formal Grammar 1997
Internacional
| Autores/as | Miguel Ángel Alonso Pardo, David Cabrero Souto |
| Lugar | Aix-en-Provence (Francia) |
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á) |
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) |
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) |
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) |
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) |
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) |
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) |
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 |
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 |
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 |