Etiqueta de registo: 00230nam 2200025 450
001 1803662
003 http://id.bnportugal.gov.pt/bib/catbnp/1803662
100 ## $a20120215d2010 k y0pory0103 ba
101 0# $aeng$apor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aByzantine fault-tolerant agreement protocols for wireless ad hoc networks$fHenrique Lícias Senra Moniz$gorient. Nuno Fuentecilla Maia Ferreira Neves, Miguel Nuno Dias Alves Pupo Correia
210 #9 $aLisboa$c[s.n.],$d2010
215 ## $aXXI, 183 p.$cil.$d30 cm$ecurriculum vitae (5 p.)
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Informática (Ciência da Computação), Fac. de Ciências, Univ. de Lisboa, 2010
675 ## $a004.7(043)$vBN$zpor$3918097
700 #1 $aMoniz,$bHenrique Lícias Senra,$f1980-$31375177
702 #1 $aNeves,$bNuno,$f1969-$4727$3212736
702 #1 $aCorreia,$bMiguel Nuno Dias Alves Pupo,$f1968-$4727$3205361
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 19389 P.$x1
966 ## $lBN$mFGMON$sP. 34410 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1802483
003 http://id.bnportugal.gov.pt/bib/catbnp/1802483
100 ## $a20120203d2010 k y0pory0103 ba
101 0# $aen $dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aIntrusion tolerance in large scale networks$fGiuliana Teixeira dos Santos Veronese$gorient. Miguel Nuno Dias Alves Pupo Correia, Lau Cheuk Lung
210 #9 $aLisboa$c[s.n.],$d2010
215 ## $a[12], VIII, 192 p.$cil.$d30 cm$ecurriculum vitae (5 f.)
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 179-191
328 #1 $aTese dout. Informática (Engenharia Informática), Fac. de Ciências, Univ. de Lisboa, 2010
675 ## $a004.7(043)$vBN$zpor$3918097
700 #1 $aVeronese,$bGiuliana Teixeira dos Santos,$f1976-$31482832
702 #1 $aCorreia,$bMiguel Nuno Dias Alves Pupo,$f1968-$4727$3205361
702 #1 $aLau,$bCheuk Lung$4727$31482834
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 19506 P.$x1
966 ## $lBN$mFGMON$sP. 34810 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2017732
003 http://id.bnportugal.gov.pt/bib/catbnp/2017732
100 ## $a20190321d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aMobile device security with ARM trustzone$fSileshi Demesie Yalem$gsupervisor Miguel Nuno Dias Alves Pupo Correia, Seif Haridi
210 #9 $aLisboa$c[s.n.],$d2018
215 ## $a[12], XII, 134 p.$cil.$d30 cm
328 #1 $aTese dout. Information Systems and Computer Engineering, Instituto Superior Técnico, Universidade de Lisboa, KTH Royal Institute of Technology School of Electrical Engineering and Computer Science, 2018
675 ## $a004.9(043)$vBN$zpor$3788403
700 #1 $aYalem,$bSileshi Demesie$31746552
702 #1 $aCorreia,$bMiguel Nuno Dias Alves Pupo,$f1968-$4727$3205361
702 #1 $aHaridi,$bSeif$4727$31746567
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 53305 V.$x1

Etiqueta de registo: 00844cam 2200241 450
001 586200
003 http://id.bnportugal.gov.pt/bib/catbnp/586200
005 19990104000000.0
095 ## $aPTBN00795480
100 ## $a19960209d1995 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aSincronização multimédia intrínseca em sistemas distribuídos$bTexto policopiado]$fMiguel Nuno Dias Alves Pupo Correia
210 #9 $aLisboa$c[s.n.],$d1995
215 ## $aXIII, [1], 115 p.$cil.$d31 cm
320 ## $aBibliografia, p. 111-115
328 ## $aTese mestr. Eng. Electrotécnica e de Computadores, Univ. Técnica Lisboa, 1995
675 ## $a621.3(043)$vBN$zpor$3297328
700 #1 $aCorreia,$bMiguel Nuno Dias Alves Pupo,$f1968-$3205361
801 #0 $aPT$bBN$gRPC
966 ## $c2$lBN$mFGMON$nDupl. f. soltas$sS.A. 7043 A.$x1
966 ## $c2$lBN$mFGMON$nDupl. f. soltas$sS.A. 7043 A.$x1

Etiqueta de registo: 01136nam 2200277 450
001 1287916
003 http://id.bnportugal.gov.pt/bib/catbnp/1287916
100 ## $a20040720d2003 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aIntrusion tolerance based on architectural hybridization$bTexto policopiado]$fMiguel Nuno Dias Alves Pupo Correia
210 #9 $aLisboa$c[s.n.],$d2003
215 ## $a[12], X, 195 p.$cil.$d30 cm$ecurriculum vitae (2 f.)
320 ## $aBibliografia, p. 179-195
328 ## $aTese dout. Informática. Univ. de Lisboa, 2003
675 ## $a004.75(043.2)$vBN$zpor$vBN$zpor$3939645
675 ## $a004.49(043)$vBN$zpor$vBN$zpor$31221062
700 #1 $aCorreia,$bMiguel Nuno Dias Alves Pupo,$f1968-$3205361
856 40 $uhttps://purl.pt/5464
856 41 $uhttps://purl.pt/5464/service/media/cover/low
958 ## $aBND$bLivre$cDigitalizado$d1$ehttps://purl.pt/5464/service/media/cover/max
966 ## $lBN$mBND$nDigitalização do original: P. 19927 V.$sPURL 5464/0
966 ## $lBN$mBND$nDigitalização do original: P. 19927 V.$sPURL 5464/1
966 ## $lBN$mFGMON$sP. 19927 V.$x1

Etiqueta de registo: 00715cam 2200217 450
001 1157172
003 http://id.bnportugal.gov.pt/bib/catbnp/1157172
010 ## $a972-753-096-6
021 ## $aPT$b183213/02
100 ## $a20030623d2002 me y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $ay z 001yy
106 ## $ar
200 1# $a O direito à vida$ftextos do Papa João Paulo II no Jubileu do ano 2000 para o século XXI$gcoligidospor Nuno Serras Pereira, Miguel Pupo Correia
210 #9 $aLisboa$cRei dos Livros,$d2002
215 ## $a137 p.$d17 cm
225 2# $aCadernos prumo$v38
675 ## $a262.3$3290074
702 #1 $aPereira,$bNuno Serras,$f1953-$4220$3253925
702 #1 $aCorreia,$bMiguel Nuno Dias Alves Pupo,$f1968-$4220$3205361
710 02 $aIgreja Católica.$bPapa,$c1978-2005 (João Paulo II)$326872
900 ## $aBIBNAC$d20130602
966 ## $lBN$mFGMON$sR. 40905 P.$x1
966 ## $lBN$mFGMON$sR. 40905 P.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1954658
003 http://id.bnportugal.gov.pt/bib/catbnp/1954658
100 ## $a20170126d2016 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aDetection of vulnerabilities and automatic protection for web applications$fIbéria Vitória de Sousa Medeiros$gorient. Miguel Nuno Dias Alves Pipo Correia, Nuno Fuentecilla Maia Ferreira Neves
210 #9 $aLisboa$c[s.n.],$d2016
215 ## $aXXX, 187 p.$cil.$d30 cm$ecurriculum vitae (4 f.)
328 #1 $aTese dout. Informática (Ciências da Computação), Faculdade de Ciências, Universidade de Lisboa, 2016
675 ## $a004.45(043)$vBN$zpor$3946412
675 ## $a004.73(043)$vBN$zpor$3813506
700 #1 $aMedeiros,$bIbéria Vitória de Sousa,$f1971-$31428961
702 #1 $aCorreia,$bMiguel Nuno Dias Alves Pupo,$f1968-$4727$3205361
702 #1 $aNeves,$bNuno,$f1969-$4727$3212736
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 46899 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1976816
003 http://id.bnportugal.gov.pt/bib/catbnp/1976816
100 ## $a20171121d2017 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aEfficient and secure routing in wireless ad hoc networks$fNaercio David Pedro Magaia$gorient. Paulo Rogério Barreiros d'Almeida Pereira, Miguel Nuno Dias Alves Pupo Correia
210 #9 $aLisboa$c[s.n.],$d2017
215 ## $aXXIV, 164 p.$cil.$d30 cm
328 #1 $aTese dout., Electrical and Computer Engineering, Instituto Superior Técnico, Univ. de Lisboa, 2017
675 ## $a621.39(043)$vBN$zpor$3297878
675 ## $a004.73(043)$vBN$zpor$3813506
700 #1 $aMagaia,$bNaercio David Pedro$31697508
702 #1 $aPereira,$bPaulo Rogério$4727$3163181
702 #1 $aCorreia,$bMiguel Nuno Dias Alves Pupo,$f1968-$4727$3205361
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 167303 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1989728
003 http://id.bnportugal.gov.pt/bib/catbnp/1989728
100 ## $a20180509d2017 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aDependable mapreduce in a cloud-of-clouds$fPedro Alexandre Reis Sá da Costa$gorient. Fernando Manuel Valente Ramos, Miguel Nuno Dias Alves Pupo Correia
210 #9 $aLisboa$c[s.n.],$d2017
215 ## $aXXIII, 142 p.$cil.$d30 cm$ecurriculum vitae ([8] p.)
328 #1 $aTese dout. Informática (Engenharia Informática), Faculdade de Ciências, Universidade de Lisboa, 2017
675 ## $a004.6(043)$vBN$zpor$3788451
675 ## $a004.73(043)$vBN$zpor$3813506
675 ## $a004.77(043)$vBN$zpor$31229690
700 #1 $aCosta,$bPedro Alexandre Reis Sá da,$f1978-$31713360
702 #1 $aRamos,$bFernando M. V.$4727$31592224
702 #1 $aCorreia,$bMiguel Nuno Dias Alves Pupo,$f1968-$4727$3205361
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 50490 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2031127
003 http://id.bnportugal.gov.pt/bib/catbnp/2031127
100 ## $a20191014d2019 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aIntrusion recovery in cloud computing$fDavid Rogério Póvoa de Matos$gorient. Miguel Nuno Dias Alves Pupo Correia, Miguel Filipe Leitão Pardal
210 #9 $aLisboa$c[s.n.],$d2019
215 ## $aXXVIII, 142 p.$cil.$d30 cm
328 #1 $aTese dout. Information Systems and Computer Engineering, Instituto Superior Técnico, Univ. de Lisboa, 2019
675 ## $a004.73.05(043)$vBN$zpor$31467525
675 ## $a004.6(043)$vBN$zpor$3788451
700 #1 $aMatos,$bDavid Rogério Póvoa de$31765403
702 #1 $aCorreia,$bMiguel Nuno Dias Alves Pupo,$f1968-$4727$3205361
702 #1 $aPardal,$bMiguel Filipe Leitão$4727$31333106
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 54453 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2079505
003 http://id.bnportugal.gov.pt/bib/catbnp/2079505
100 ## $a20210908d2021 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aLeveraging machine learning strategies for network intrusion detection$fArnaldo Luís de Gouveia$gorient. Miguel Nuno Dias Alves Pupo Correia
210 #9 $aLisboa$c[s.n.],$d2021
215 ## $aXVI, 159 p.$cil.$d30 cm
328 ## $aTese dout. Information Security, Univ. de Lisboa, 2021
675 ## $a004.7(043)$vBN$zpor$3918097
700 #1 $aGouveia,$bArnaldo L.$3239582
702 #1 $aCorreia,$bMiguel Nuno Dias Alves Pupo,$f1968-$4727$3205361
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 59161 V.
971 ## $cjbeatriz$d20210908
972 ## $e0$d20211227$vasantos
973 ## $ccristinat$d20211220
975 ## $e0$d20211229$visabelm

Etiqueta de registo: 00000nam 2200025 450
001 2112225
003 http://id.bnportugal.gov.pt/bib/catbnp/2112225
100 ## $a20221012d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aIntrusion detection using clustering and outlier detection$fLuís Filipe Xavier Cavaco de Mendonça Dias$gorient. Miguel Nuno Dias Alves Pupo Correia
210 #9 $aLisboa$c[s.n.],$d2022
215 ## $aXXVI, 116 p.$cil.$d30 cm
328 ## $aTese dout. Information Security, Instituto Superior Técnico, Univ. de Lisboa, 2022
675 ## $a004.49(043)$vBN$zpor$31221062
700 #1 $aDias,$bLuís Filipe Xavier Cavaco de Mendonça$31427291
702 #1 $aCorreia,$bMiguel Nuno Dias Alves Pupo,$f1968-$4727$3205361
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 61785 V.$x1
971 ## $carosa$d20221012
972 ## $e0$z0$d20230213$viquintas
973 ## $cigoulao$d20230207