Etiqueta de registo: 00230nam 2200025 450
001 1648611
003 http://id.bnportugal.gov.pt/bib/catbnp/1648611
100 ## $a20070529d2005 k y0pory0103 ba
101 0# $aeng $dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aControlling security policies in a distributed environment$bTexto policopiado]$fFrancisco Cipriano da Cunha Martins$gorient. Vasco Manuel Thudichum de Serpa Vasconcelos
210 #9 $aLisboa$c[s.n.],$d2005
215 ## $a[6], VI, 167 p.$cil.$d30 cm$ecurriculum vitae (13 f.)
320 ## $aBibliografia, p. 159-167
328 #0 $bDoutoramento$cInformática$eDep. de Informática, Fac. de Ciências, Univ. de Lisboa$d2005
675 ## $a004.49(043)$vBN$zpor$31221062
675 ## $a004.05(043)$vBN$zpor$31239909
700 #1 $aMartins,$bFrancisco Cipriano da Cunha,$f1972-$31295267
702 #1 $aVasconcelos,$bVasco Manuel Thudichum de Serpa$4727$31295269
712 02 $aUniversidade de Lisboa.$bFaculdade de Ciências.$bDepartamento de Informática$4295$31231437
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 23602 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1903298
003 http://id.bnportugal.gov.pt/bib/catbnp/1903298
100 ## $a20150611d2015 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aPrograming multicores safely$ehandling barrier deadlocks$fTiago Soares Cogumbreiro Garcia$gorient. Francisco Cipriano da Cunha Martins
210 #9 $aLisboa$c[s.n.],$d2015
215 ## $aXIII, [1], 166 p.$cil.$d30 cm$ecurriculum vitae (2 p.)$edeclaração ([1] f.)
320 ## $aBibliografia, p. 157-166
328 #1 $aTese dout. Informática (Ciência da Computação), Fac. de Ciências, Univ. de Lisboa, 2015
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.43Java(043)$vBN$zpor$3971390
700 #1 $aGarcia,$bTiago Soares Cogumbreiro$31611745
702 #1 $aMartins,$bFrancisco Cipriano da Cunha,$f1972-$4727$31295267
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 42313 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2213508
003 http://id.bnportugal.gov.pt/bib/catbnp/2213508
100 ## $a20250506d2024 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSafe and resource-aware verification for programming cyber-physical systems$fCarlos Jorge Velez Mão de Ferro$gorient. Francisco Cipriano da Cunha Martins, António Casimiro Ferreira da Costa
210 #9 $aLisboa$c[s.n.],$d2024
215 ## $aXXIII, 173 p.$cil.$d30 cm$ecurriculum vitae (3 f.)
328 #1 $aTese dout. Informática, Faculdade de Ciências, Universidade de Lisboa, 2024
675 ## $a004.4(43)$vBN$zpor$31954158
700 #1 $aMão de Ferro,$bCarlos Jorge Velez Mão de$31953982
702 #1 $aMartins,$bFrancisco Cipriano da Cunha,$f1972-$4727$31295267
702 #1 $aCosta,$bAntónio Casimiro Ferreira da,$f1968-$4727$3207741
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 69691 V.$x1
971 ## $corlando$d20250506
972 ## $e0$z0$d20250523$viquintas
973 ## $cigoulao$d20250508