Hyppää hakukenttään
Hyppää sivun pääsisältöön
Hyppää saavutettavuusselosteeseen
Tiedejatutkimus.fi
Valikko
Suomeksi
På svenska
In English
Etusivu
Haku
Tiede- ja innovaatiopolitiikka
Tiede- ja tutkimusuutiset
Oma profiili
Suomeksi
- 47 hakutulosta
Julkaisut
47
Rahoitushaut
0
Myönnetty rahoitus
13
Tutkijat
0
Aineistot
0
Infrastruktuurit
0
Organisaatiot
0
Hankkeet
0
Julkaisut -
47
hakutulosta
Hyppää hakutuloksiin
Näytä kuvana
Rajaa hakua
Näytetään tulokset 1 - 10 / 47
10
50
100
tulosta / sivu
Mitä
julkaisu
tietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
Local Verification of Global
Proofs
Vertaisarvioitu
Avoin saatavuus
DOI
10.4230/LIPIcs.DISC.2018.25
Feuilloley, Laurent; Hirvonen, Juho
Leibniz International Proceedings in Informatics (LIPIcs)
2018
CryptoZoo : A Viewer for Reduction
Proofs
Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-031-54770-6_1
Brzuska, Chris; Egger, Christoph; Puniamurthy, Kirthivaasan
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...
2024
Locally checkable
proofs
Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/1993806.1993829
Göös, Mika; Suomela, Jukka
-
2011
Zero knowledge
proofs
based authenticated key agreement protocol for sustainable healthcare
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scs.2022.103766
Gaba, Gurjot Singh; Hedabou, Mustapha; Kumar, Pardeep; Braeken, An; Liyanage, Madhusanka; Alazab, Ma...
Sustainable cities and society
2022
Redundancy in distributed
proofs
Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/s00446-020-00386-z
Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho; Paz, Ami; Perry, Mor
DISTRIBUTED COMPUTING
2020
Redundancy in Distributed
Proofs
Vertaisarvioitu
Avoin saatavuus
DOI
10.4230/LIPIcs.DISC.2018.24
Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho; Paz, Ami; Perry, Mor
Leibniz International Proceedings in Informatics (LIPIcs)
2018
State-Separating
Proofs
and Their Applications
Avoin saatavuus
Kohbrok, Konrad
Aalto University
2023
Locally checkable
proofs
in distributed computing
Vertaisarvioitu
Avoin saatavuus
DOI
10.4086/toc.2016.v012a019
Göös, Mika; Suomela, Jukka
THEORY OF COMPUTING
2016
Meaning in use
Vertaisarvioitu
Negri, Sara; von Plato, Jan
Springer
2015
stoRNA: Stateless Transparent
Proofs
of Storage-time
Vertaisarvioitu
DOI
10.1007/978-3-031-51479-1_20
Rabaninejad, Reyhaneh; Abdolmaleki, Behzad; Malavolta, Giulio; Michalas, Antonis; Nabizadeh, Amir;
Lecture Notes in Computer Science
2024
Local Verification of Global
Proofs
Vertaisarvioitu
Avoin saatavuus
DOI
10.4230/LIPIcs.DISC.2018.25
2018
CryptoZoo : A Viewer for Reduction
Proofs
Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-031-54770-6_1
2024
Locally checkable
proofs
Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/1993806.1993829
2011
Zero knowledge
proofs
based authenticated key agreement protocol for sustainable healthcare
Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.scs.2022.103766
2022
Redundancy in distributed
proofs
Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/s00446-020-00386-z
2020
Redundancy in Distributed
Proofs
Vertaisarvioitu
Avoin saatavuus
DOI
10.4230/LIPIcs.DISC.2018.24
2018
State-Separating
Proofs
and Their Applications
Avoin saatavuus
2023
Locally checkable
proofs
in distributed computing
Vertaisarvioitu
Avoin saatavuus
DOI
10.4086/toc.2016.v012a019
2016
Meaning in use
Vertaisarvioitu
2015
stoRNA: Stateless Transparent
Proofs
of Storage-time
Vertaisarvioitu
DOI
10.1007/978-3-031-51479-1_20
2024
Edellinen
1
2
3
4
5
Seuraava
Näytetään tulokset 1 - 10 / 47
Sivu 1
Sort
