Etiqueta de registo: 00674cam 2200205 450
001 1056169
003 http://id.bnportugal.gov.pt/bib/catbnp/1056169
005 20011116165600.0
100 ## $a20010516d2000 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aInterconnection of probabilistic systems$bTexto policopiado]$fPaulo Alexandre Carreira Mateus
210 #9 $aLisboa$c[s.n.],$d2000
215 ## $aVI, 129 f.$d29 cm
320 ## $aBibliografia, f. 113-118
328 ## $aTese mest. em Matemática, Univ. Técnica de Lisboa, Instituto Superior Técnico, 2000
675 ## $a519.2(043)$vBN$zpor$3326975
700 #1 $aMateus,$bPaulo Alexandre Carreira$31000296
966 ## $lBN$mFGMON$sS.A. 98263 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1793230
003 http://id.bnportugal.gov.pt/bib/catbnp/1793230
100 ## $a20111027d2010 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aProbabilization of logic systems$fPedro Alexandre Cardoso Baltazar$gorient. Paulo Alexandre Carreira Mateus, Maria Cristina Sales Viana Serôdio Sernada
210 #9 $aLisboa$c[s.n.],$d2010
215 ## $aVII,141 p.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. matemática, Inst. Sup. Téc., Univ. Téc. de Lisboa, 2010
675 ## $a510.6(043)$vBN$zpor$31303923
700 #1 $aBaltazar,$bPedro Alexandre Cardoso$31472746
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
702 #1 $aSernadas,$bMaria Cristina Sales Viana Serôdio$4727$31472745
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 53303 P.$x1
966 ## $lBN$mFGMON$sS.A. 146354 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1951666
003 http://id.bnportugal.gov.pt/bib/catbnp/1951666
100 ## $a20161228d2016 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aFormal reasoning about temporal properties in dynamic stochastic systems$eexact and approximate procedures with applications$fDavid João Barros Henriques$gorient. Paulo Alexandre Carreira Mateus
210 #9 $aLisboa$c[s.n.],$d2016
215 ## $aXVIII, 202 p.$cil.$d30 cm
328 #1 $aTese dout. Information Security, Instituto Superior Técnico, Univ. de Lisboa, 2016
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a510.64(043)$vBN$zpor$31336195
675 ## $a519.24(043)$vBN$zpor$31221038
700 #1 $aHenriques,$bDavid João Barros$31666843
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 46705 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1973923
003 http://id.bnportugal.gov.pt/bib/catbnp/1973923
100 ## $a20171017d2017 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aQuantum oblivious transfer$fJoão Paulo do Amaral de Jesus Rodrigues$gorient. Paulo Alexandre Carreira Mateus, Nicola Paunkovic
210 #9 $aLisboa$c[s.n.],$d2017
215 ## $a124 p.$cil.$d30 cm
328 #1 $aTese dout. Information Security, Instituto Superior Técnico, Universidade de Lisboa, 2017
675 ## $a004.05(043)$vBN$zpor$31239909
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.77(043)$vBN$zpor$31229690
700 #1 $aRodrigues,$bJoão Paulo do Amaral de Jesus$31694408
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
702 #1 $aPaunkoviÂc,$bNicola$4727$31694409
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 48653 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1691591
003 http://id.bnportugal.gov.pt/bib/catbnp/1691591
100 ## $a20080916d2006 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aFormal methods for the analysis of security protocols$bTexto policopiado]$fPedro Miguel dos Santos Alves Madeira Adão$gorient. Paulo Alexandre Carreira Mateus, Andre Scedrov
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXII, 187 p.$d30 cm
320 ## $aBibliography, p. 129-141
328 #0 $bTese dout.$cMatemática$eInstituto Superior Técnico, Univ. Técnica de Lisboa$d2006
675 ## $a519.72(043)$vBN$zpor$31245507
675 ## $a003.26(043)$vBN$zpor$31230724
700 #1 $aAdão,$bPedro Miguel dos Santos Alves Madeira$31345551
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
702 #1 $aScedrov,$bAndre$4727$31345558
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 122823 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2070782
003 http://id.bnportugal.gov.pt/bib/catbnp/2070782
100 ## $a20210526d2020 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aPractical quantum privacy protocols$fPreeti Yadav$gorient. Paulo Alexandre Carreira Mateus, Nikola Paunkovic, André Nuno Carvalho Souto
210 #9 $aLisboa$c[s.n.],$d2020
215 ## $aXXII, 134 p.$cil.$d29 cm
328 #1 $aTese dout. Information Security, Inst. Sup. Técnico, Universidade de Lisboa, 2020
675 ## $a004.7.05(043)$vBN$zpor$31467672
675 ## $a003.26(043)$vBN$zpor$31230724
700 #1 $aYadav,$bPreeti$31809626
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
702 #1 $aPaunkovic,$bNikola$4727$31809632
702 #1 $aSouto,$bAndré Nuno Carvalho$4727$31296581
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 58127 V.
972 ## $d20210816$e1$visantos
973 ## $cmcarvalho $d20210812

Etiqueta de registo: 00000nam 2200025 450
001 1946209
003 http://id.bnportugal.gov.pt/bib/catbnp/1946209
100 ## $a20161027d2016 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aInterplay between probabilistic and temporal reasoning$eapplications to be analysis and synthesis of complex systems$fManuel Biscaia Martins$gorient. Paulo Alexandre Carreira Mateus
210 #9 $aLisboa$c[s.n.],$d2016
215 ## $aXII, 137 p.$cil.$d30 cm
328 #1 $aTese dout. Information Security, Instituto Superior Técnico, Universidade de Lisboa, 2016
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aMartins,$bManuel Biscaia$31660973
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 163536 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1966209
003 http://id.bnportugal.gov.pt/bib/catbnp/1966209
100 ## $a20170627d2017 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aQuantum measures, noise and measurement errors in a quantum bit commitment protocol$fRicardo Simões do Canto de Loura$gorient. Paulo Alexandre Carreira Mateus, Vítor João Rocha Vieira
210 #9 $aLisboa$c[s.n.],$d2017
215 ## $aXIV, 73 p.$cil.$d30 cm
328 #1 $aTese dout. Information Security, Instituto Superior Técnico, Universidade de Lisboa, 2017
675 ## $a539.1(043)$vBN$zpor$3300061
675 ## $a004.7(043)$vBN$zpor$3918097
700 #1 $aLoura,$bRicardo Simões do Canto$31684677
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
702 #1 $aVieira,$bVítor João Rocha$4727$31685261
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 166114 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2011450
003 http://id.bnportugal.gov.pt/bib/catbnp/2011450
100 ## $a20190116d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aQuantum walks in cryptography and finite-temperature topological phase transitions$fChrysoula Vlachou$gsupervisor Paulo Alexandre Carreira Mateus, Nikola PaunkoviÂc
210 #9 $aLisboa$c[s.n.],$d2018
215 ## $aXXII, 145 p.$cil.$d30 cm
328 #1 $aTese dout. Física, Instituto Superior Técnico, Universidade de Lisboa, 2018
675 ## $a531(043)$vBN$zpor$3336809
675 ## $a530.14(043)$vBN$zpor$31259498
700 #1 $aVlachou,$bChrysoula$31738196
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
702 #1 $aPaunkoviÂc,$bNicola$4727$31694409
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 170798 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2070917
003 http://id.bnportugal.gov.pt/bib/catbnp/2070917
100 ## $a20210526d2020 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aOn the efficiency of recovering density operators from direct quantum correlations via jaynes principle$fSerena Di Giorgio$gorient. Paulo Alexandre Carreira Mateus, Bruno Miguel Santos Mera
210 #9 $aLisboa$c[s.n.],$d2020
215 ## $aVI, 109 p.$d30 cm
328 #1 $aTese dout. Physics, Inst. Sup. Técnico, Univ. de Lisboa, 2020
675 ## $a53(043)$vBN$zpor$3297308
700 #1 $aDi Giorgio,$bSerena$31809802
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
702 #1 $aMera,$bBruno Miguel Santos$4727$31718313
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 177166 V.
972 ## $d20210820$e0$visantos
973 ## $csteixeira $d20210817

Etiqueta de registo: 00000nam 2200025 450
001 2120817
003 http://id.bnportugal.gov.pt/bib/catbnp/2120817
100 ## $a20230117d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aAdvances in the security and efficiency of multi-party computation primitives$fManuel João Duarte Serejo Goulão$gsupervisor Paulo Alexandre Carreira Mateus
210 #9 $aLisboa$c[s.n.],$d2022
215 ## $aXIII, 123 p.$d30 cm
328 #1 $aTese dout. Information Security, Instituto Superior Técnico, Univerrsidade de Lisboa, 2022
675 ## $a004.05(043)$vBN$zpor$31239909
700 #1 $aGoulão,$bManuel João Duarte Serejo$31869630
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 62258 V.$x1
971 ## $corlando$d20230117
972 ## $d20230421$e0$vlrevez$z0
973 ## $cmcarvalho$d20230404

Etiqueta de registo: 00254nam 2200025 450
001 2109164
003 http://id.bnportugal.gov.pt/bib/catbnp/2109164
100 ## $a20220905d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aNonlocality and contextuality$econcepts and applications in quantum information$fRicardo André Faleiro Miguel$gsupervisor Paulo Alexandre Carreira Mateus, Nikola Paunkovic
210 #9 $aLisboa$c[s.n.],$d2022
215 ## $aXV, 149 p.$cil.$d30 cm
328 #1 $aTese dout. Physics, Inst. Superior Técnico, Univ. de Lisboa, 2022
675 ## $a539.1(043)$vBN$zpor$3300061
675 ## $a530.14(043)$vBN$zpor$31259498
700 #1 $aMiguel,$bRicardo André Faleiro$31857471
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
702 #1 $aPaunkovic,$bNikola$4727$31809632
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 183275 V.$x1
971 ## $cfatima$d20220905
972 ## $e0$z0$d20220907$vasantos
973 ## $cigoulao$d20230125

Etiqueta de registo: 00000nam 2200025 450
001 2109412
003 http://id.bnportugal.gov.pt/bib/catbnp/2109412
100 ## $a20220907d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aAsymmetric quantum cryptography and multipartite correlations$fMariano José Lemus Hernández$gorient. Paulo Alexandre Carreira Mateus, Nikola Paunkovic
210 #9 $aLisboa$c[s.n.],$d2022
215 ## $aXXII, 154 p.$d30 cm
328 #1 $aTese dout. Physics, Instituto Superior Técnico, Univ. de Lisboa, 2022
675 ## $a530.14(043)$vBN$zpor$31259498
700 #0 $aLemus Hernández,$bMariano José$31857797
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
702 #1 $aPaunkovic,$bNikola$4727$31809632
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 183347 V.$x1
971 ## $corlando$d20220907
972 ## $e0$z0$d20220912$viquintas
973 ## $cigoulao$d20230202
975 ## $e0$d20220913$visabelm

Etiqueta de registo: 00000nam 2200025 450
001 2125740
003 http://id.bnportugal.gov.pt/bib/catbnp/2125740
100 ## $a20230308d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSistemas de comunicação quânticos baseados em qubits codificados na polarização$dQuantum communication system based on polarization encoded qubits$fMariana Ferreira Ramos$gorient. Armando Nolasco Pinto, Nuno Alexandre Peixoto Silva, Paulo Alexandre Carreira Mateus$zeng
210 #9 $aAveiro$c[s.n.],$d2022
215 ## $a[5] f., X, 104 p.$cil.$d30 cm
328 #1 $aTese dout. Engenharia Eletrotécnica, Universidade de Aveiro, 2022
510 1# $aQuantum communication system based on polarization encoded Qubits$zeng
675 ## $a621.39(043)$vBN$zpor$3297878
700 #1 $aRamos,$bMariana Ferreira$31875410
702 #1 $aPinto,$bArmando Nolasco$4727$3963279
702 #1 $aSilva,$bNuno Alexandre Peixoto,$f1981-$4727$31429459
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 184624 V.$x1
971 ## $carosa$d20230308
972 ## $e0$z0$d20230607$viquintas
973 ## $cmcarvalho$d20230529

Etiqueta de registo: 00000nam 2200025 450
001 2120798
003 http://id.bnportugal.gov.pt/bib/catbnp/2120798
100 ## $a20230117d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aReducing the communication in secure computation$fPedro de Melo Branco$gorient. Paulo Alexandre Carreira Mateus, Nico Marcel Döttling
210 #9 $aLisboa$c[s.n.],$d2022
215 ## $aXVI, 174 p.$d30 cm
328 #1 $aTese dout. Information Security, Instituto Superior Técnico, Universidade de Lisboa, 2022
675 ## $a004.5(043)$vBN$zpor$31215225
700 #1 $aBranco,$bPedro de Melo$31869600
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
702 #1 $aDöttling,$bNico Marcel,$f1982-$4727$31869605
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 62272 V.$x1
971 ## $cmsebas$d20230117
972 ## $d20230503$e0$vlrevez$z0
973 ## $cmcarvalho$d20230412