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 |
| Department | Computer Science and Information Technology |
| Knowledgment area | Computational Science and Artificial Intelligence |
| Research | Research group Models and Applications of Distributed Systems |
| Research lines | No data available from Curriculum Management System at UDC. (SUXI). |
| Contacto | UDC directory |
This section shows the teaching given in degrees, masters and other officers studies in last 6 years.
| Subject and involved studies | Type | Total hours |
|---|---|---|
| Algorithms | Compulsory | 284 |
| Subject and involved studies | Type | Total hours |
|---|---|---|
|
Algorithms
Degree in Computer Engineering
|
Compulsory | 284 |
| Subject and involved studies | Type | Total hours |
|---|---|---|
|
Algorithms
Degree in Computer Engineering
|
Compulsory | 284 |
| Subject and involved studies | Type | Total hours |
|---|---|---|
|
Algorithms
Degree in Computer Engineering
|
Compulsory | 280 |
| Subject and involved studies | Type | Total hours |
|---|---|---|
|
Algorithms
Degree in Computer Engineering
|
Compulsory | 284 |
| Subject and involved studies | Type | Total hours |
|---|---|---|
|
Algorithms
Degree in Computer Engineering
|
Compulsory | 240 |
Defined tutoring by teacher for 2019/2020 academic course.
| Quarter | Day | Site |
|---|---|---|
| 1st quarter |
Tuesday
09:30 a 13:30 |
Despacho 418 |
| 2nd quarter |
Monday
11:15 a 13:15 |
Despacho 418 |
| 2nd quarter |
Wednesday
11:15 a 13:15 |
Despacho 418 |
| 2nd chance |
Monday
11:15 a 13:15 |
Despacho 418 |
No available EOG works or final master thesis directed by current teacher since 2013 year.
Select merit type and year to query research merits.
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 |
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 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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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) |
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) |
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) |
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) |
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) |
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) |
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) |
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) |
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) |
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 |
Supervivencia del cancer gástrico y factores que modifican el pronóstico
| Autor | Emilio Casariego Vales |
| Director/s | José Santiago Jorge Castro;Salvador Pita Fernández |
| Scope | Medicina |
| Qualification | Sobresaliente Cum Laude |
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 |
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) |
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ú) |
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 |
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) |
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) |
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 |
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 |
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 |
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) |