ADVANCED GENIUS ENERGY MANAGER FOR RETAIL SHOPS
| Funding entity | Digital Innovation Hub Industrial de Galicia (DIHGIGAL) |
| Main researches | Laura Milagros Castro Souto; José Luis Calvo Rolle |
| Type | Contrato |
| Dates | From 10/08/2022 to 10/06/2023 |
| Address | David Cabrero Souto Derpartamento de Computación Facultad de Informática Campus de Elviña A Coruña 15071 cabrero@udc.es |
| Phone | 981167000 ext. 1267 |
| Fax | 981167160 |
| Website | http://www.madsgroup.org |
| Research lines |
Métodos formales Ingeniería del software y patrones de diseño Sistemas distribuidos y en cluster Sistemas tiempo real Evaluación del rendimiento Streaming y sistemas multimedia Software libre Aplicaciones: Comercio electrónico y gestión de riesgos Programación funcional Accesibilidad a los Sistemas de Información Distribución de contenidos P2P |
| Keywords | Métodos formales, especificación formal, model checking, verificación formal, probador teoremas; Ingeniería del software, patrones diseño, UML, diseño sistemas de información, orientación a objetos; Sistema distribuido, cluster, beowulf, Erlang; Tiempo real; Evaluación rendimiento, modelización, teoría de colas, modelos analíticos; streaming, servidor de vídeo, VoDKA, DVB; Software libre, GNU, Linux, accesibilidad; Comercio electrónico, gestión de riesgos, ARMISTICE; Programación funcional, Erlang, Haskel |
| Services offered |
Despliegue de infraestructura relacionada con el vídeo bajo demanda (VoDKA). Desarrollo de aplicaciones distribuidas y de tiempo real utilizando el paradigma funcional distribuido. Aplicación de técnicas formales al desarrollo de software. Desarrollo de sistemas de información utilizando orientación a objetos. Administración de sistemas Linux. Kernel hacking. Configuración, despliegue y administración de clusters |
| Infraestructure resources | - Diversa infraestructura relacionada con el vídeo bajo demanda (set-top boxes, equipamiento de vídeo digital, recursos autovisuales, 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, doble switch Fast Ethernet - Cluster Matrix(2001): 15*IBM eServer XSeries 200, 15*512MB, 15*18GB+2*100GB, switch Gigabit Ethernet |
| Transferable results | - Patente "Método y Sistema de almacenamiento distribuido de contenidos multimedia orientado a streaming". Presentada el 02/03/2003 y pendiente - Creación de la spinoff de base tecnológica LambdaStream, para la explotación y comercialización del servidor de vídeo bajo demanda VoDKA - Despliegues reales del servidor de vídeo bajo demanda VoDKA en diferentes escenarios - Diseño, implementación y despliegue del sistema de gestión de riesgos ARMISTICE en la multinacional del sector textil Inditex |
You can browse the catalog by selecting a merit type and year.
ADVANCED GENIUS ENERGY MANAGER FOR RETAIL SHOPS
| Funding entity | Digital Innovation Hub Industrial de Galicia (DIHGIGAL) |
| Main researches | Laura Milagros Castro Souto; José Luis Calvo Rolle |
| Type | Contrato |
| Dates | From 10/08/2022 to 10/06/2023 |
IDENTIFICACION Y CARACTERIZACION DEL EDEMA MACULAR DIABETICO MEDIANTE ANALISIS AUTOMATICO DE TOMOGRAFIAS DE COHERENCIA OPTICA Y TECNICAS DE APRENDIZAJE MAQUINA
| Funding entity | Ministerio de Economía y Competitividad |
| Main researches | Manuel González Penedo; Noelia Barreira |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/01/2016 to 31/12/2019 |
Mejoras en los protocolos de USB-IP
| Funding entity | Qidel Formación y Servicios SL |
| Main researches | David Cabrero Souto |
| Type | Contrato |
| Dates | From 02/05/2016 to 02/05/2017 |
ETHiC. Efficient Thermas Comfort
| Funding entity | Arce Clima Sistemas y Aplicaciones S.L. |
| Main researches | Laura Milagros Castro Souto y Jorge Novo Buján |
| Type | Contrato |
| Dates | From 01/03/2016 to 01/07/2016 |
Axuda de consolidación e estruturación de unidades de investigación competitivas. Modalidade :Grupos de Referencia Competitiva.
| Funding entity | Consellería de Educación e Ordenación Universitaria |
| Type | Proyecto Programas Autonomicos |
| Dates | From 22/10/2014 to 30/10/2017 |
Contrato Art. 83 para el desarrollo de aplicaciones y servicios para la Televisión Digital Interactiva v5.0
| Funding entity | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Type | Contrato |
| Dates | From 01/01/2014 to 15/06/2014 |
Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v4.0 (Contrato Art.83)
| Funding entity | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Type | Contrato |
| Dates | From 31/10/2013 to 31/10/2014 |
Development of POF DSR-Digital Services Router for in-home Polymer Optical Fiber networks (Contrato Art. 83)
| Funding entity | Casacom Solutions AG |
| Type | Contrato |
| Dates | From 01/06/2013 to 01/09/2013 |
IP Camera support for the HENSON home networking platform (Contrato Art. 83)
| Funding entity | Casacom Solutions AG |
| Type | Contrato |
| Dates | From 01/06/2013 to 01/09/2013 |
Contrato entre Indra Software Labs y CITIC en el marco del proyecto Feder Innterconecta, convocatoria 2013 Galicia, "GOAL"
| Funding entity | INDRA SOFTWARE LABS S.L.U. |
| Main researches | Nieves Rodríguez Brisaboa e Laura M. Castro Souto |
| Type | Contrato |
| Dates | From 05/04/2013 to 31/12/2014 |
Property- Based Testing of Web Services (PROWESS)
| Funding entity | Union Europea |
| Main researches | Laura Milagros Castro Souto |
| Type | Proyecto UE |
| Dates | From 02/10/2012 to 01/11/2015 |
Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)
| Funding entity | Xunta de Galicia |
| Main researches | Ricardo Cao Abad |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2012 to 31/12/2013 |
Seminario de Introducción a Erlang
| Funding entity | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Main researches | David Cabrero Souto |
| Type | Contrato |
| Dates | From 10/05/2012 to 11/05/2012 |
Arquitectura Distribuida altamente escalable en el marco del proyecto Platino (Contrato Art. 83)
| Funding entity | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Main researches | David Cabrero Souto |
| Type | Contrato |
| Dates | From 16/04/2012 to 15/04/2014 |
Iniciativa para la implementación e integración de sistemas correctos y eficientes no triviales basado en modelos (AMBITIIONS)
| Funding entity | Ministerio de Economía y Competitividad (MINECO) |
| Main researches | David Cabrero Souto |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/01/2011 to 31/12/2013 |
Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v3.0 (Contrato Art.83)
| Funding entity | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Type | Contrato |
| Dates | From 30/11/2011 to 30/11/2012 |
IDISPO: Dispositivos de Internet de Usuario
| Funding entity | Ministerio de Industria, Turismo y Comercio |
| Main researches | Gulías Fernández, Víctor Manuel |
| Type | Proyecto Programas Nacionales |
| Dates | From 10/06/2010 to 31/12/2011 |
Optiband- Optimization of Bandwidth for IPTV video streaming (FP7-ICT-2009-4)
| Funding entity | Union Europea |
| Main researches | Laura M. Castro Souto |
| Type | Proyecto Internacional |
| Dates | From 01/01/2010 to 30/12/2012 |
PIMUS: desarrollo de un poste informativo con pantalla táctil para atención a ciudadanos y turistas
| Funding entity | AYUNTAMIENTO DE A CORUÑA |
| Main researches | Carlos J. Escudero Cascón |
| Type | Contrato |
| Dates | From 14/04/2010 to 29/11/2010 |
Recursos funcionales para la construcción de sistemas distribuidos complejos de alta disponibilidad
| Funding entity | MINISTERIO DE EDUCACIÓN Y CIENCIA |
| Main researches | Víctor M. Gulías Fernández |
| Type | Proyecto Programas Nacionales |
| Dates | From 15/10/2005 to 14/10/2008 |
Recuperación de información para la búsqueda de respuestas en textos económicos. (SUBPROYECTO)
| Funding entity | Plan Nacional de I+D |
| Main researches | Miguel Ángel Alonso Pardo |
| Type | Proyecto Otros Programas |
| Dates | From 13/12/2004 to 13/12/2007 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER) (Incentivo)
| Funding entity | Xunta de Galicia |
| Main researches | Víctor M. Gulías Fernández |
| Type | Proyecto Programas Autonomicos |
| Dates | From 15/07/2003 to 15/07/2006 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)
| Funding entity | Ministerio de Ciencia y Tecnología |
| Main researches | Víctor M. Gulías Fernández |
| Type | Proyecto Programas Nacionales |
| Dates | From 05/11/2002 to 05/11/2005 |
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
| Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Type | Proyecto Otros Programas |
| Dates | From 28/09/2002 to 27/09/2004 |
Extracción de información de noticias bursátiles para la evaluación del sentimiento de mercado
| Funding entity | Universidade da Coruña (UDC) |
| Main researches | Miguel Ángel Alonso Pardo |
| Type | Proyecto Otros Programas |
| Dates | From 17/07/2002 to 17/07/2003 |
Analizadores Tabulares para el Lenguaje Natural 2
| Type | Proyecto Otros Programas |
| Dates | From 06/05/2002 to 06/05/2004 |
CONTRATO ART. 83 LOU ENTRE EL COLEGIO OFICIAL DE APAREJADORES Y ARQUITECTOS TÉCNICOS DE A CORUÑA (COAATAC) PARA PROYECTO "REINGENIERÍA DE SERVICIOS TELEMÁTICOS PARA GESTIÓN COMPETITIVA DE INFORMACIÓN DOCUMENTAL"
| Funding entity | COLEGIO OFICIAL DE APAREJADORES Y ARQUITECTOS TÉCNICOS DE A CORUÑA |
| Type | Contrato |
| Dates | From 01/11/2002 to 01/03/2003 |
CONTRATO DE COLABORACIÓN ENTRE ACORDAR COMUNICACIÓN EN INTERNET, S.L. Y LA UDC
| Funding entity | ACORDAR COMUNICACIÓN EN INTERNET,S .L. |
| Type | Contrato |
| Dates | From 30/10/2002 to 30/10/2003 |
CONTRATO ART. 83 ENTRE R CABLE Y FUDC PARA PROYECTO DENOMINADO "PILOTO DE SERVIDOR DE STREAMING ON DEMAND JERÁRQUICO UTILIZANDO TECNOLOGÍA FUNCIONAL DISTRIBUIDA"
| Funding entity | R, CABLE Y TELECOMUNICACIONES |
| Type | Contrato |
| Dates | From 01/02/2002 to 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"
| Funding entity | R, CABLE Y TELECOMUNICACIONES |
| Type | Contrato |
| Dates | From 01/01/2002 to 01/01/2003 |
e-MINDER. Electronic commerce leveraging network for developing European regions
| Funding entity | Union Europea |
| Type | Proyecto Otros Programas |
| Dates | From 29/08/2001 to 29/08/2003 |
Arquitectura de nodos de proceso paralelo para servicio de vídeo bajo demanda
| Funding entity | Comisión Interministerial de Ciencia y Tecnología (CICYT) |
| Type | Proyecto Otros Programas |
| Dates | From 30/12/1999 to 31/12/2001 |
Modelización y evaluación de un sistema de almacenamiento distribuido a bajo coste para aplicaciones multimedia
| Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Type | Proyecto Otros Programas |
| Dates | From 01/12/1999 to 01/12/2001 |
Interrogación de bases de datos textuales estructuradas.
| Funding entity | Secretaria Xeral de Investigación e Desenvolvemento Tecnolóxico |
| Type | Proyecto Otros Programas |
| Dates | From 25/08/1999 to 25/08/2002 |
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
| Funding entity | Desconocido |
| Type | Contrato |
| Dates | From 27/07/1999 to 01/01/2000 |
Análisis de LIGs y TAGs en programación dinámica
| Funding entity | Dirección Xeral de Universidades |
| Type | Proyecto Otros Programas |
| Dates | From 24/10/1996 to 24/10/1999 |
Sócrates (Sistema objetual y cooperativo para la racionalización de la actividad y la tecnología de la empresa )
| Funding entity | Dirección Xeral de Universidades |
| Type | Proyecto Otros Programas |
| Dates | From 24/10/1996 to 24/10/1998 |
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
| Funding entity | Consellería de Educación e Ordenación Universitaria |
| Type | Contrato |
| Dates | From 01/01/1996 to 31/12/1997 |
Sistema de cálculo simbólico con arquitectura cliente/servidor y núcleo funcional
| Funding entity | Dirección Xeral de Universidades |
| Main researches | José Luis Freire Nistal |
| Type | Proyecto Otros Programas |
| Dates | From 01/01/1994 to 31/12/1995 |
Aplicaciones de la Ingeniería lingüística a los sistemas colaborativos y desktop publishing.
| Type | Proyecto Otros Programas |
Fútbol Vídeo Report
| Type | Software Registrado |
| Entity | Universidade da Coruña (UDC) |
| Authors | Víctor Manuel Gulias Fernández, David Cabrero Souto, Ángel Vales Vázquez, Alberto Areces Gayo |
| Application date | 05/12/2007 |
| Approval date | 05/12/2007 |
Body Composition Changes After Very-Low-Calorie Ketogenic Diet in Obesity Evaluated by 3 Standardized Methods
| Authors | 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 |
| Journal | THE JOURNAL OF CLINICAL ENDOCRINOLOGY AND METABOLISM Vol. 102 Num. 2 |
| DOI | https://doi.org/10.1210/jc.2016-2385 |
Anthropometric measures of central abdominal fat and discriminant capacity for metabolic syndrome in a Spanish population
| Authors | 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, Becerra, Antonio, Ballesteros, María |
| Journal | CLÍNICA E INVESTIGACIÓN EN ARTERIOESCLEROSIS Vol. 25 Num. 3 (pages 105 to 109) |
| DOI | https://doi.org/10.1016/j.arteri.2013.05.007 |
Feasibily of property-based testing for time-dependent systems
| Authors | Macías López, Laura M. Castro, David Cabrero |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8112 (pages 527 to 535) |
Rendimiento académico de los estudios de Informática en algunos centros españoles
| Authors | 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 |
| Journal | NOVÁTICA Num. 204 (pages 55 to 61) |
Certifying properties of an efficient functional program for computing Gröbner bases
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal |
| Journal | JOURNAL OF SYMBOLIC COMPUTATION Vol. 44 Num. 5 (pages 571 to 582) |
The fold Operator as a Coequalizer Using Coq
| Authors | Antonio Ángel Blanco Ferro, José Enrique Freire Brañas, José Luis Freire Nistal, Javier Paris Fernandez |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (pages 167 to 176) |
A Distributed System for Massive Generation of Synthetic Video Using GPUs
| Authors | Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (pages 239 to 246) |
Managing the Risks of Risk Management
| Authors | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, José Santiago Jorge Castro |
| Journal | JOURNAL OF DECISION SYSTEMS Vol. 17 Num. 4 (pages 501 to 521) |
Environment- Independence Methodology for Accesing External Data Sources
| Authors | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez |
| Journal | WSEAS Transactions on Information Science & Applications Vol. 5 Num. 9 (pages 1355 to 1364) |
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5144 (pages 296 to 299) |
Verification of program properties using different theorem provers: a case study
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 233 to 240) |
Model checking a video-on-demand server using Mcerlang
| Authors | Lars-Ake Fredlund, Juan José Sánchez Penas |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 539 to 546) |
On the representation of imperative programs in a logical framework
| Authors | José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro, David Cabrero Souto |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 202 to 209) |
A Distributed Filesystem for Spare Storage
| Authors | Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Santiago Jorge Castro |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 Num. 1 (pages 249 to 256) |
Towards a Certified and Efficient Computing of Gröbner Bases
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (pages 111 to 120) |
CheapTB: A Low Cost of Operation Distributed Filesystem
| Authors | Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3643 (pages 121 to 130) |
COLE Experiments at QA@CLEF 2004 Spanish Monolingual Track
| Authors | Enrique Méndez Díaz, Jesús Vilares, David Cabrero Souto |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 3491 (pages 544 to 551) |
Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel
| Authors | 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 |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (pages 220 to 230) |
Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel
| Authors | 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 |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2809 (pages 220 to 230) |
Lambda Goes to Hollywood
| Authors | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Juan José Sánchez Penas |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2562 (pages 391 to 407) |
Análisis Eficaz de Gramáticas de Cláusulas Definidas
| Authors | David Cabrero Souto |
| Journal | Procesamiento del Lenguaje Natural (número 69) Vol. 30 (pages 121 to 122) |
Programación dinámica y análisis parcial
| Authors | David Cabrero Souto, Jesús Vilares, Manuel Vilares |
| Journal | Procesamiento del Lenguaje Natural (número 69) Vol. 29 Num. - (pages 89 to 96) |
Generación automática de familias morfológicas mediante morfología derivativa productiva
| Authors | David Cabrero Souto, Miguel Ángel Alonso Pardo |
| Journal | Procesamiento del Lenguaje Natural (número 69) Vol. 27 Num. - (pages 181 to 188) |
Applying Productive Derivational Morphology to Term Indexing of Spanish Texts
| Authors | David Cabrero Souto, Miguel Ángel Alonso Pardo |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 2004 Num. - (pages 336 to 348) |
The Tertiary Level in a Function al Cluster-Based Hierarchical VoD Server
| Authors | Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Juan José Sánchez Penas, José Santiago Jorge Castro |
| Journal | COMPUTER AIDED SYSTEMS THEORY, LECTURE IN COMPUTER SCIENCE Vol. 2178 Num. - (pages 540 to 554) |
Effects of Some Isoxazolpyrimidine Derivatives on Nitric Oxide and Eicosanoid Biosynthesis
| Authors | Juan José Quintela Carreira, Carlos Peinador Veira, Mª Jesús Moreira Rama, A. Vidal, M.L. Ferrándiz, Amalia Ubeda |
| Journal | LIFE SCIENCES Vol. 66 Num. - (pages 125 to 131) |
Performance evaluation of a multithreaded RTS using a synchronous reactive model
| Authors | Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Javier Mosquera, José Santiago Jorge Castro |
| Journal | CONTROL ENGINEERING PRACTICE Vol. 12 Num. 7 (pages 1533 to 1539) |
Distributed Functional Computing and its Instrumentation
| Authors | Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Luis Freire Nistal |
| Journal | PARALLEL AND DISTRIBUTED SYSTEM: THEORY AND APPLICATIONS Num. - (pages 0 to 0) |
Un supresor de ambigüedades léxicas mediante métodos estadísticos
| Authors | Javier Andrade Garda, María Concepción Álvarez Lebredo, Alberto Valderruten Vidal, Susana Sotelo Docío |
| Journal | Procesamiento del Lenguaje Natural (número 69) Vol. 20 (pages 1 to 12) |
From sequential to distributed formal proofs.
| Authors | Víctor Manuel Gulias Fernández, José Santiago Jorge Castro, Juan José Quintela Carreira, José Luis Freire Nistal |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 1333 Num. - (pages 501 to 513) |
An experience on Natural Language Parsing.
| Authors | Miguel Ángel Alonso Pardo, David Cabrero Souto |
| Journal | LENGUAJESNATURALES Y LENGUAJES FORMALES XII Vol. - Num. - (pages 555 to 562) |
Evaluation Lazy avec Caml Light.
| Authors | Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Alberto Valderruten Vidal |
| Journal | COLLECTION DIDACTIQUE, INRIA Vol. - Num. 15 (pages 77 to 94) |
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
| Authors | Manuel Vilares, Jorge Graña Gil, Alberto Valderruten Vidal |
| Publishing | Universidade da Coruña, Coruña, A (España) |
| ISBN | 84-89694-11-7 |
Programación Lógica (Segunda Edición)
| Authors | Manuel Vilares, Miguel Ángel Alonso Pardo, Alberto Valderruten Vidal |
| Publishing | Universidad de A Coruña, Coruña, A (España) |
| ISBN | 84-89641-18-8 |
Certifying properties of program using theorem provers
| Authors | José Santiago Jorge Castro,Víctor Manuel Gulias Fernández,David Cabrero Souto |
| Book |
Verification, Validation and Testing in Software Engineering Vol. - Publishing: Idea Group Publishing. ISBN: 1-59140-852-0 |
| Pages | From 220 to 267 |
Generalized LR parsing for extensions of context-free grammars
| Authors | Miguel Ángel Alonso Pardo,Manuel Vilares,David Cabrero Souto |
| Book |
Recent advances in natural language processing II Vol. - Publishing: John Benjamins. ISBN: 90-272-3695-X |
| Pages | From 81 to 92 |
An Operational Model for Parsing Definite Clause Grammars with Infinite Terms
| Authors | Manuel Vilares,Miguel Ángel Alonso Pardo,David Cabrero Souto |
| Book |
Logical Aspects of Computional Linguistics Vol. - Publishing: Springer-Verlag. ISBN: 3-540-65751-7 |
| Pages | From 212 to 230 |
Concurrent programming with traces in haskell
| Authors | Víctor Manuel Gulias Fernández,Juan José Quintela Carreira,José Luis Freire Nistal |
| Book |
Functional and logic programming Vol. - Publishing: Wordl Scientific. ISBN: 981-02-2923-2 |
| Pages | From 176 to 191 |
Supervivencia del cancer gástrico y factores que modifican el pronóstico
| Author | Emilio Casariego Vales |
| Director/s | José Santiago Jorge Castro;Salvador Pita Fernández |
| Scope | Medicina |
| Qualification | Sobresaliente Cum Laude |
Using Property-Based Testing in Time-Dependent Systems: a case study
International Conference On Computer Aided Systems Theory. Eurocast 2013
International
| Authors | Macías López Iglesias, Laura M. Castro Souto, David Cabrero Souto |
| Organization | Universidad de Las Palmas de Gran Canaria (ULPGC) |
| Place | Palmas de Gran Canaria, Las (España) |
Failover and Takeover Contingency Mechanisms for Network Partition and Node Failure
ERLANG USER CONFERENCE 2012
International
| Authors | David Cabrero Souto, Macías López Iglesias, Laura M. Castro Souto |
| Organization | ACM |
| Place | Copenhague (Dinamarca) |
Declarative Distributed Advertisement System for IDTV: an Industrial Experience
Principles and Practice of Declarative Programming PPDP'12 - ACM SIGPLAN
International
| Authors | Laura M. Castro Souto, David Cabrero Souto, Macías López Iglesias |
| Organization | ACM |
| Place | Leuven (Bélgica) |
Sistema funcional distribuido de publicidad para IDTV
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE - PROLE 2012
National
| Authors | Laura M. Castro Souto, Macías López Iglesias, David Cabrero Souto |
| Organization | Universidad de Almería (UAL) |
| Place | Almería (España) |
Directional Gaze Analysis in Webcam Video Sequences
International Conference on Image Analysis and Recognition (ICIAR)
International
| Authors | Verónica Vivero García, Noelia Barreira Rodríguez, M G Penedo, David Cabrero Souto, Beatriz Remeseiro López |
| Place | Póvoa de Varzim (Portugal) |
Automatic Testing of TCP/IP Implementations Using Quickcheck
ERLANG¿09
International
| Authors | Javier Paris Fernandez, Thomas Arts |
| Place | 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)
National
| Authors | 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 |
| Place | Barcelona (España) |
Database Access and Patterns in Erlang/0TP
AIC¿08 - 8th WSEAS International Conference on APPLIED INFORMATICS and COMMUNICATIONS
International
| Authors | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez |
| Place | Rhodes (Grecia) |
Fundamentos para la edición de informes técnicos. Una aplicación en el fútbol.
1º Congresso Internacional de Jogos Desportivos
International
| Authors | Alberto Areces Gayo, Angel Vales Vázquez, Víctor Manuel Gulias Fernández, David Cabrero Souto, Iván Arcos |
| Place | Oporto (Portugal) |
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
International
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Place | España |
A comparative performance evaluation of different implementations of the SOAP protocol
5th IEEE European Conference on Web Services (ECOWS 2007)
International
| Authors | José Antonio García Varela, Antonio Ángel Blanco Ferro, Roi Blanco González, Javier Paris Fernandez |
| Place | Halle (Saale) (Alemania) |
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
National
| Authors | José Santiago Jorge Castro, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Place | Zamora (España) |
Earlang/OTP framework for complex management applications development
WEBIST 2007, 3rd International Conference on Web Information Systems and Technologies
International
| Authors | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto, Carlos Varela Paz, José Santiago Jorge Castro |
| Place | Barcelona (España) |
A Distributed Filesystem for Spare Storage
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International
| Authors | Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, José Santiago Jorge Castro |
| Place | 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
International
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Place | Lima (Perú) |
On the representation of imperative program in a logical framework
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International
| Authors | José Luis Freire Nistal, José Enrique Freire Brañas, Antonio Ángel Blanco Ferro, David Cabrero Souto |
| Place | España |
Brewing VoDKA for Six Years: The Develoment of a Distributed Functional Video-on-Demand Server
PROLE¿06. VI Jornadas de Programación y Lenguajes 2006
National
| Authors | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, David Cabrero Souto, Miguel Barreiro |
| Place | Sitges (España) |
Transparent Connection Migration for TCP Services
WCIT 2006. The 2006 IFIP WG 6.9 Workshop on Wireless Communications and Information Technology in Developing Countries
International
| Authors | Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal |
| Place | Santiago (Chile) |
Un programa funcional certificado y eficiente para el cálculo de Bases de Gröbner
EACA 2006 - X Encuentro de Álgebra Computacional y Aplicaciones
International
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal |
| Place | Sevilla (España) |
Evolución de la selección dinámica de métodos en Java
CLEI 2005. XXXI Conferencia Latinoamericana de Informática
International
| Authors | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, David Cabrero Souto, Alberto Valderruten Vidal |
| Place | Cali (Colombia) |
Prueba de propiedades en la caché de un servidor funcional de vídeo bajo demanda
CLEI 2005. XXXI Conferencia Latinoamericana de Informática
International
| Authors | José Santiago Jorge Castro, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, David Cabrero Souto |
| Place | Cali (Colombia) |
Developing a Functional Tcp/Ip Stack Oriented towards Tcp Connection Replication
LANC 2005. 3rd IFIP/ACM Latin America Networking Conference
International
| Authors | Javier Paris Fernandez, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández |
| Place | Cali (Colombia) |
CheapTB: A Low Cost of Operation Distributed File System
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International
| Authors | Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro |
| Place | España |
A High Performance Erlang Tcp/Ip Stack
ERLANG 2005. ACM SIGPLAN 2005 Erlang Workshop
International
| Authors | Javier Paris Fernandez, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal |
| Place | Tallinn (Estonia) |
Reasoning about a Functional Program for computing Gröbner Basis
EUROCAST 2005. Tenth International Conference on Computer Aided Systems Theory
International
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, José Luis Freire Nistal, Juan José Sánchez Penas |
| Place | España |
COLE at CLEF 2004: rapid prototyping of a QA system for Spanish
CLEF 2004 Workshop - Cross Language System Evaluation Campaign
International
| Authors | Enrique Méndez Díaz, Jesús Vilares, David Cabrero Souto |
| Place | Bath (Reino Unido) |
Accesibilidad en los sistemas de información
Gira Estándares W3C 2004
National
| Authors | David Cabrero Souto |
| Place | Coruña, A (España) |
Phrase similarity through approximate tree matching
PROLE 2004 - Jornadas de Programación y Lenguajes
National
| Authors | Francisco J. Ribadas, Miguel Ángel Alonso Pardo, David Cabrero Souto |
| Place | Málaga (España) |
Sistema de gestión para un servidor de video bajo demanda
XXX Conferencia Latinoamericana en Informática (CLEI2004)
International
| Authors | Carlos Varela Paz, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, Carlos Abalde Ramiro |
| Place | 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)
International
| Authors | Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas |
| Place | Hamilton, Ontario (Canadá) |
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)
International
| Authors | José R. Gulías Fernández, Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, Carlos Abalde Ramiro |
| Place | Arequipa (Perú) |
Armistice : An Experience Developing Management Software with Erlang
2nd ACM SIGPLAN Erlang Workshop
International
| Authors | David Cabrero Souto, Carlos Abalde Ramiro, Laura Milagros Castro Souto, Carlos Varela Paz |
| Place | Uppsala (Suecia) |
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
International
| Authors | 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 |
| Place | España |
ARMISTICE : Una experiencia desarrollando software de gestión con Erlang
III Jornadas de Programación y Lenguajes. PROLE 2003
National
| Authors | Laura Castro Souto, Víctor Manuel Gulias Fernández, David Cabrero Souto, Carlos Abalde Ramiro, Carlos Varela Paz |
| Organization | Universidad de Alicante |
| Place | España |
Extending the VoDKA architecture to improve resource modelling
2nd ACM SIGPLAN Erlang Workshop (PLI 2003)
International
| Authors | Juan José Sánchez Penas, Carlos Abalde Ramiro |
| Place | Uppsala (Suecia) |
Building Functional Patterns for Implementing Distributed Applications
IFIP/ACM Latin America Networking Conference 2003 (LANC2003)
International
| Authors | Víctor Manuel Gulias Fernández, Alberto Valderrúten Vidal, Carlos Abalde Ramiro |
| Place | La Paz (Bolivia) |
Una aplicación de RI basada en PLN: el proyecto ERIAL
I Jornadas de Tratamiento y Recuperación de Información (JOTRI 2002)
National
| Authors | Eva María Dominguez Costas, Miguel Ángel Alonso Pardo, Jorge Graña Gil, David Cabrero Souto, Fco.Mario Barcala Rodríguez, Jesús Vilares, Guillermo Rojo, M. Paula Santalla, Susana Sotelo Docío, Manuel Vilares |
| Organization | Universidad Politécnica de Valencia |
| Place | Valencia (España) |
El sistema ERIAL: LEIRA, un entorno de RI basado en PLN
I Jornadas de Tratamiento y Recuperación de Información (JOTRI 2002)
National
| Authors | Eva María Dominguez Costas, Miguel Ángel Alonso Pardo, David Cabrero Souto, Jorge Graña Gil, Fco.Mario Barcala Rodríguez, Jesús Vilares, Guillermo Rojo, M. Paula Santalla, Susana Sotelo Docío |
| Organization | Universidad Politécnica de Valencia |
| Place | Valencia (España) |
Un sistema de comercio electrónico sobre un cluster de computadores.
XXVIII Conferencia Latinoamericana de Informática
International
| Authors | Víctor Manuel Gulias Fernández, Alberto Valderrúten Vidal, José R. Gulías Fernández |
| Place | Montevideo (Uruguay) |
Applying Productive Dervational Morphology to Term Indexing of Spanish Texts
International Conference on Intelligent Text Processing and Computational Linguistics (CICLING 2001)
International
| Authors | David Cabrero Souto, Miguel Ángel Alonso Pardo |
| Place | Ciudad de México (México) |
Implementación de un modelo de monitorización para un servidor de Vídeo bajo demanda en Erlang
27 Conferencia Latinoamericana de Informática
International
| Authors | Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Javier Mosquera Blanco, Juan José Sánchez Penas, José Luis Freire Nistal |
| Place | Mérida (Venezuela) |
Prove and Then Execute
7 Encuentro de Álgebra Computacional y Aplicaciones (EACA¿2001)
International
| Authors | José Santiago Jorge Castro, José Luis Freire Nistal |
| Place | España |
Dynamic Programming of Partial Parses
EuroConference on Recent Advances in Natural Language Processing (RANLP 20001)
International
| Authors | Manuel Vilares, David Cabrero Souto |
| Place | Tzigov Chark (Bulgaria) |
Dynamic Programming of Partial Parses
Jornadas sobre Programación y Lenguajes (PROLE 2001)
National
| Authors | David Cabrero Souto, Manuel Vilares |
| Organization | Universidad de Castilla-La Mancha |
| Place | Almagro (España) |
The Tertiary Level in a Functional Cluster-based Hierarchinal VoD System
Formal Methods and Tools for Computer Science (EUROCAST-2001)
International
| Authors | Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Juan José Sánchez Penas, José Santiago Jorge Castro |
| Place | España |
On non-termination in DCGs
International conference on Implementations and Applications of Automata (CIAA 2001)
International
| Authors | Manuel Vilares, David Cabrero Souto, Miguel Ángel Alonso Pardo |
| Place | Pretoria (Sudáfrica) |
Generación automática de familias morfológicas mediante morfología derivativa productiva
17 Congreso de la Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN 2001)
National
| Authors | David Cabrero Souto, Miguel Ángel Alonso Pardo |
| Place | Jaén (España) |
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)
International
| Authors | Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Antonio Ángel Blanco Ferro, Juan José Sánchez Penas, Javier Mosquera Blanco |
| Place | Ourense (España) |
On integration of Parsing and Tree Matching Schemes
International Conference on Intelligent Text Processing and Computational Linguistics( CICLing-2000)
International
| Authors | Manuel Vilares, David Cabrero Souto, Francisco J. Ribadas Pena |
| Place | Mexico D.F. (México) |
Virtual Memory and Advanced Filesystems
Libre Software Meeting 2000
International
| Authors | Juan José Quintela Carreira |
| Place | Bordeaux (Francia) |
Computing the editing distance in shared forest
Sixth International Workshop on Parsing Technologies( WPT-2000)
International
| Authors | Manuel Vilares, David Cabrero Souto, Francisco J. Ribadas Pena |
| Place | Trento (Italia) |
State of the Art and Design of VOD Systems
World Multiconference on Systemics, Cybernetics and Informatics
International
| Authors | Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal, Javier Mosquera Blanco, Juan José Sánchez Penas |
| Place | Orlando (Estados Unidos) |
On non-termination in DCGs
International Conference on Intelligent Text Processing and Computational Linguistics( CICLing-2000)
International
| Authors | Manuel Vilares, Miguel Ángel Alonso Pardo, David Cabrero Souto |
| Place | Mexico D.F. (México) |
Tabular algorithms for TAG parsing
EACL' 99. Ninth Conference of the European Chapter of the Association for Computational Linguistics
International
| Authors | Miguel Ángel Alonso Pardo, David Cabrero Souto, Eric De la Clergerie, Manuel Vilares |
| Place | Bergen (Noruega) |
Dealing with non- termination in DCG's
CACIC' 99. V Congreso Argentino de Ciencias de la Computación
International
| Authors | Manuel Vilares, Miguel Ángel Alonso Pardo, David Cabrero Souto |
| Place | Tandil (Argentina) |
Experiencias con un Cluster Beowulf
Simposio Español de Informática Distribuída (SEID'99)
International
| Authors | Miguel Barreiro Paz, Víctor Manuel Gulias Fernández, Antonio Ángel Blanco Ferro, Juan José Quintela Carreira, José Luis Freire Nistal |
| Place | Santiago de Compostela (España) |
Some questions about non- termination in DCGs
Joint Conference on Declarative Programming( APPIA- GULP- PRODE' 99)
International
| Authors | Manuel Vilares, Miguel Ángel Alonso Pardo, David Cabrero Souto |
| Place | L'Aquila (Italia) |
Tabulation of automata for tree adjoining languages
6th Meeting on Mathematics of Language( MOL 6)
International
| Authors | Miguel Ángel Alonso Pardo, Eric De la Clergerie, David Cabrero Souto |
| Place | Orlando (Florida) (Estados Unidos) |
Pattern matching in shared forest
Sixth International Workshop on Natural Language Understanding and Logic Programming( NLULP' 99)
International
| Authors | Manuel Vilares, David Cabrero Souto, Francisco J. Riabadas Pena |
| Place | Las Cruces, NM (Estados Unidos) |
Performance Evaluation of a Multithreaded Runtime System using a Synchronous Reactive Model
23rd IFAC/IFIP Workshop on Real Time Programming WRTP'98
International
| Authors | Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, José Santiago Jorge Castro, Javier Mosquera |
| Place | Shantou (China) |
A Tabular Interpretation of Botton-up Automata for TAG
Fourth International Workshop on Tree-Adjoining Grammars and Related Frameworks. TAG+4
International
| Authors | Eric De la Clergerie, Miguel Ángel Alonso Pardo, David Cabrero Souto |
| Place | Philadelphia (Estados Unidos) |
A Comparison for Unification-Based Parsers
APPIA-GULP-PRODE 1998 Joint Conference on Declarative Programming (AGP'98)
International
| Authors | Manuel Vilares, David Cabrero Souto, Miguel Ángel Alonso Pardo |
| Place | Coruña, A (España) |
Web-Surfing the Lexicon
Workshop on Distributing and Accesing Linguistic Resources
International
| Authors | David Cabrero Souto, Manuel Vilares, Luís Docampo Gutierrez, Susana Sotelo Docío |
| Place | Granada (España) |
Efficient Persistent Haskell
IFL `98/ Implementation of Functional Languages
International
| Authors | Juan José Quintela Carreira, Tony Kevin Hammond |
| Place | Londres (Reino Unido) |
Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study
10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation
International
| Authors | Alberto Valderruten Vidal, Javier Mosquera, Víctor Manuel Gulias Fernández |
| Place | España |
Exploring Parsing Efficiency in Computational Linguistics
Utrecht Congress on Storage and Computation in Linguistics
International
| Authors | Manuel Vilares, David Cabrero Souto, Miguel Ángel Alonso Pardo |
| Place | Utrecht (Países Bajos) |
A Tagger Environment for Galician
First International Conference on Language Resources and Evaluation.
International
| Authors | Manuel Vilares, Jorge Graña Gil, T. Araujo, David Cabrero Souto, Inés Diz |
| Place | Granada (España) |
GALENA:Tabular DCG parsing for Natural Languages
Tabulation in Parsing and Deduction (TAPD'98)
International
| Authors | Manuel Vilares, Miguel Ángel Alonso Pardo, David Cabrero Souto, Jorge Graña Gil |
| Place | París (Francia) |
Dynamic Programming as Frame for Efficient Parsing
XVIII International Conference of the Chilean Computer Science Society
International
| Authors | Manuel Vilares, David Cabrero Souto, Miguel Ángel Alonso Pardo |
| Place | Antofagasta (Chile) |
An operational model for parsing fixed-mode DCGs
Logical Aspects of Computational Linguistics (LACL'97)
International
| Authors | Miguel Ángel Alonso Pardo, David Cabrero Souto |
| Place | Nancy (Francia) |
Instrumentation strategies in distributed functional computing
World Multiconference on Systemics, Cybernetics and Informatics, Focus Symposium: Architectures, Tools and Algorithms for Parallel and Distributed Systems
National
| Authors | Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, José Luis Freire Nistal |
| Place | Palma (España) |
An approach to infinite term traversal in DCGs
APPIA-GULP-PRODE 1997 Joint Conference on Declarative Programming
International
| Authors | Miguel Ángel Alonso Pardo, David Cabrero Souto |
| Place | Grado (Italia) |
Construction of efficient generalized LR parsers
2 International Workshop on Implementing Automata (WIA'97)
International
| Authors | Miguel Ángel Alonso Pardo, David Cabrero Souto |
| Place | London, Ontario (Canadá) |
Efficient parsing of fixed-mode DCGs0D0A
Formal Grammar 1997
International
| Authors | Miguel Ángel Alonso Pardo, David Cabrero Souto |
| Place | Aix-en-Provence (Francia) |
A new approach to the construction of generalized LR parsing algorithms
Recent Advances in Natural Language Processing (RANLP'97)
International
| Authors | Miguel Ángel Alonso Pardo, David Cabrero Souto |
| Place | Tzigov Chark (Bulgaria) |
Transport primitives for functional agents
APPIA-GULP-PRODE 1997 Joint Conference on Declarative Programming
International
| Authors | Víctor Manuel Gulias Fernández, Juan José Quintela Carreira, José Luis Freire Nistal |
| Place | Grado (Italia) |
Towards higher-order distribution in functional languages
APPIA-GULP-PRODE'96 Joint Conference on Declarative Programming
International
| Authors | Juan José Quintela Carreira, José Luis Freire Nistal, Víctor Manuel Gulias Fernández |
| Place | España |
Distributed computing using objective caml.
8th International Workshop on Implementationof Functional Languages
International
| Authors | José Luis Freire Nistal, Víctor Manuel Gulias Fernández, Juan José Quintela Carreira |
| Place | Bonn (Alemania) |
Concurrent Programming Using Traces in HASKELL
Second International Workshop on Functional and Logic programming
International
| Authors | Víctor Manuel Gulias Fernández, Juan José Quintela Carreira, José Luis Freire Nistal |
| Place | Kanagawa (Japón) |
An information model for performance engineering. ISAS'96
International Conference on Information Systems Analysis
International
| Authors | Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández |
| Place | Orlando (México) |
Une approache formelle pour les analyseurs de langages naturels
Proc. of TALN'95, Tratement automatique du langage naturel
International
| Authors | Manuel Vilares, Alberto Valderruten Vidal, Jorge Graña Gil, Miguel Ángel Alonso Pardo |
| Place | Francia |
Une interface graphique distribuée pour le lambda-calcul supportée par des Serveurs Fonctionnels
Journées Francophones des langages applicatifs, JFLA'95
International
| Authors | Víctor Manuel Gulias Fernández, Alberto Valderruten Vidal |
| Place | Jura (Francia) |
Instrumentation of synchronous reactive models for performance engineering
5th European Software Engineering Conference. Lecture Notes in Computer Science 989: Software Engineering - ESEC'95
International
| Authors | Alberto Valderruten Vidal, Manuel Vilares, Jorge Graña Gil |
| Place | España |