Inicio > BARRIO SOLORZANO, MANUEL

BARRIO SOLORZANO, MANUEL

PROFESORES TITULARES DE UNIVERSIDAD
Informática (Arquitectura y Tecnología de Computadores, Ciencias de la Computación e Inteligencia Artificial, Lenguajes y Sistemas Informáticos)
Técnicas de Gestión de Información
 
mbarrio@infor.uva.es

Índice H en Scopus: 8
 
Enlazar esta página

[][][ PublicacionCapituloLibro ( PublicacionCapituloLibroComun ( Publicacion ( CAP10141 , CAP , null , , 207 , 216 , , , , , El cálculo-[pi] como modelo de concurrencia para sistemas basados en objetos , , Barrio Solorzano, Manuel; Fuente Redondo, Pablo Lucio de la , S ) ) ) ][][][][][][][][][][ Tesis ( TES2145625028 , 100 , 2004-10-22 , SC , 58015811 , Universidad de Valladolid , VERIFICACIÓN AUTOMÁTICA DEL COMPORTAMIENTO ACTIVO DE UML USANDO MÉTODOS FORMALES , S , ) ][][][][][][][][][][ Convenio ( ActivEquipo ( CNV118570 , CNV , , 2017-06-26 , 2017-12-31 , null , 15000 , S , ) ) , Convenio ( ActivEquipo ( CNV117096 , CNV , , 2009-06-08 , 2009-07-31 , null , 12000 , S , ) ) , Convenio ( ActivEquipo ( CNV117099 , CNV , , 2008-12-15 , 2009-01-30 , null , 10000 , S , ) ) , Convenio ( ActivEquipo ( CNV117102 , CNV , , 2007-10-01 , 2007-12-31 , null , 10000 , S , ) ) , Convenio ( ActivEquipo ( CNV117993 , CNV , , 2006-09-14 , 2006-09-22 , null , 3550 , S , ) ) , Convenio ( ActivEquipo ( CNV50826 , CNV , MASTER BIBLIOTECAS DIGITALES , 2006-11-06 , 2007-09-28 , null , 7860 , S , ) ) , Convenio ( ActivEquipo ( CNV50552 , CNV , MÁSTER EN BIBLIOTECAS DIGITALES. , 2005-10-15 , 2006-09-30 , null , 6800.24 , S , ) ) , Convenio ( ActivEquipo ( CNV47620 , CNV , LEX NOVA. S.A. ESTUDIO SOBRE LA MEJORA DE LAS PRES , 1995-04-30 , 1996-05-30 , null , 13176.59 , S , ) ) ][][][ EstanciaInvestigacion ( Actividad: ( ESF59263 , ESF , 2005-07-01 , 2005-09-30 , null , , , , AYUDAS UVA A LA INVESTIGACION: ESTANCIA DE INVESTIGACION: UNIVERSIDAD DE BRISBANE , , S , ) ) ][ EstanciaInvestigacion ( Actividad: ( ESF59263 , ESF , 2005-07-01 , 2005-09-30 , null , , , , AYUDAS UVA A LA INVESTIGACION: ESTANCIA DE INVESTIGACION: UNIVERSIDAD DE BRISBANE , , S , ) ) ][][][][ Proyecto ( ActivEquipo ( PJI47366 , PJI , UV 10/04 , 2005-09-09 , 2006-10-15 , null , 10000 , S , ) ) , Proyecto ( ActivEquipo ( PJI55897 , PJI , TIC2002-11532-E , 2004-06-04 , 2005-11-30 , null , 12000 , S , ) ) , Proyecto ( ActivEquipo ( PJI48490 , PJI , SEJ2004-03704 , 2004-12-13 , 2007-12-12 , 2008-12-31 , 13800 , S , ) ) , Proyecto ( ActivEquipo ( PJI47713 , PJI , UV10/04 , 2004-10-08 , 2004-10-31 , null , 3000 , S , ) ) , Proyecto ( ActivEquipo ( PJI47714 , PJI , UV10/04 , 2004-10-08 , 2004-10-31 , null , 3000 , S , ) ) , Proyecto ( ActivEquipo ( PJI47922 , PJI , VA117/03 , 2003-02-19 , 2005-11-19 , null , 7800 , S , ) ) , Proyecto ( ActivEquipo ( PJI48625 , PJI , TIC2003-09268 , 2003-12-01 , 2006-11-30 , 2007-12-31 , 33120 , S , ) ) , Proyecto ( ActivEquipo ( PJI47330 , PJI , VA36/01 , 2001-04-25 , 2002-11-20 , 2003-12-31 , 6010.12 , S , ) ) , Proyecto ( ActivEquipo ( PJI47122 , PJI , VA61/00B , 2000-01-26 , 2001-12-31 , null , 5819 , S , ) ) , Proyecto ( ActivEquipo ( PJI48479 , PJI , TEL1999-0335-C04-04.- C.203 , 1999-12-31 , 2002-12-31 , 2004-12-31 , 47455.92 , S , ) ) , Proyecto ( ActivEquipo ( PJI50074 , PJI , 1FD1997-2030 TIC , 1999-12-31 , 2001-12-31 , null , 50665.32 , S , ) ) , Proyecto ( ActivEquipo ( PJI53906 , PJI , EV13/98 , 1998-03-04 , 1999-11-30 , null , 13823.28 , S , ) ) , Proyecto ( ActivEquipo ( PJI53781 , PJI , VA10196 , 1997-01-04 , 1999-01-03 , null , 6077.43 , S , ) ) , Proyecto ( ActivEquipo ( PJI49483 , PJI , TEL96-1296 , 1996-07-01 , 1997-06-30 , null , 9586.14 , S , ) ) ][][][][]

PUBLICACIONES

AYUDA A LA INVESTIGACIÓN

PUBLICACIONES

Capítulos de libros (1)

Barrio Solorzano, Manuel; Fuente Redondo, Pablo Lucio de la. El cálculo-[pi] como modelo de concurrencia para sistemas basados en objetos. En: III Jornadas de Informática, El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]: actas. 1997. p. 207-216.
Enlace a la publicación

Ver Todos
 

AYUDA A LA INVESTIGACIÓN

Proyectos (14)

RICE-CYL: RED INTERUNIVERSITARIA DE INFORMÁTICA PARA LA CONVERGENCIA EUROPEA EN CASTILLA Y LEÓN. CARDEÑOSO PAYO, VALENTIN (IP). UV 10/04. AGENCIA CALIDAD SISTEMA UNIVERSITARIO C Y LEÓN 2005-2006
AYUDA PARA LA CONTINUACIÓN DE UNA RED DE INVESTIGACIÓN EN BIBLIOTECAS DIGITALES Y RECUPERACIÓN DE INFORMACIÓN EN TEXTOS.. FUENTE REDONDO, PABLO LUCIO DE LA (IP). TIC2002-11532-E. MICINN. DIRECCIÓN GENERAL DE INVESTIGACIÓN 2004-2005
PROBLEMATICA JURÍDICA DE LOS MEDIOS ELECTRÓNICOS DE PAGO. COMERCIO ELECTRÓNICO Y TUTELA PENAL DEL CONSUMIDOR Y DEL EMPRESARIO.. MATA MARTIN, RICARDO MANUEL (IP). SEJ2004-03704. MEC SECRETARÍA DE ESTADO DE UNIVERSIDADES E INVESTIG. 2004-2008
RICE-CYL. PROYECTO PILOTO PARA EL ESTABLECIMIENTO DE UNA RED TEMÁTICA INTERUNIVERSITARIA SOBRE LA ADECUACIÓN DE LOS ESTUDIOS UNIVERSITARIOS DE INFORMÁTICA DE LAS UNIVERSIDADES PÚBLICAS DE CASTILLA Y LEÓN AL ESPACIO EUROPEO DE EDUCACIÓN SUPERIOR.. CARDEÑOSO PAYO, VALENTIN (IP). UV10/04. AGENCIA CALIDAD SISTEMA UNIVERSITARIO C Y LEÓN 2004-2004
RICE-CYL: PROYECTO PILOTO PARA EL ESTABLECIMIENTO DE UNA RED TEMÁTICA INTERUNIVERSITARIA SOBRE LA ADECUACIÓN DE LOS ESTUDIOS UNIVERSITARIOS DE INFORMÁTICA DE LAS UNIVERSIDADES PÚBLICAS DE CASTILLA Y LEÓN AL ESPACIO EUROPEO DE EDUCACIÓN SUPERIOR.. CARDEÑOSO PAYO, VALENTIN (IP). UV10/04. JCYL CONSEJERÍA DE EDUCACIÓN 2004-2004
Ver Todos

Convenios (8)

SIMU: DESARROLLO DE SISTEMAS DE SOPORTE INFORMÁTICO A LA MOVILIDAD URBANA.. LLANOS FERRARIS, DIEGO RAFAEL . RDNEST SL RDNEST SL 2017
NUEVO MATERIAL CURSOS DE FORMACIÓN ALTAMIRA EN EL MARCO DEL PROYECTO SERVICIOS DE APOYO AL NEGOCIOAL. FUENTE REDONDO, PABLO LUCIO DE LA . TELEFONICA I+D SA TELEFONICA I+D SA 2009
DESARROLLOS EN C+ DE EXTENSIONES DE NAVEGADORES WEB EN EL MARCO DEL PORYECTO INTEGRACIÓN DENUEVOS S. FUENTE REDONDO, PABLO LUCIO DE LA . TELEFONICA I+D SA TELEFONICA I+D SA 2008
COLABORACIÓN EN EL DESARROLLO DEL PROTOTIPO KOS EN EL MARCO DEL PROYECTO PI TLF 07: COLON EVOLUCIÓND. FUENTE REDONDO, PABLO LUCIO DE LA . TELEFONICA I+D SA TELEFONICA I+D SA 2007
ANÁLISIS Y DISEÑO DE APLICACIONES EN UML CON HERRAMIENTAS CASEMANUEL BARRIO SOLÓRZANO. BARRIO SOLORZANO, MANUEL . ESCUELA REGIONAL INFORMATICA S ESCUELA REGIONAL INFORMATICA S 2006
Ver Todos
 

OTROS

Tesis doctorales (1)

BEATO GUTIERREZ, MARIA ENCARNACION VERIFICACIÓN AUTOMÁTICA DEL COMPORTAMIENTO ACTIVO DE UML USANDO MÉTODOS FORMALES. UNIVERSIDAD DE VALLADOLID; 2004.
 
Ver Todos

Estancias de investigación (1)

AYUDAS UVA A LA INVESTIGACION: ESTANCIA DE INVESTIGACION: UNIVERSIDAD DE BRISBANE. 01/07/2005 - 30/09/2005
     UNIVERSIDAD DE BRISBANE. ( AUSTRALIA )
Ver Todos
Cargando información ...
Universidad de Valladolid - Copyright Universidad de Valladolid - Todos los derechos reservados