Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
Mathematics. Theoretical computer science (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
276
Vaata veel..
(2/20)
Ekspordi
ekspordi kõik päringu tulemused
(276)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
126
artikkel kogumikus EST
/
artikkel kogumikus ENG
John Cook Wilson's Hanging Plants : a contribution to the History of Early Logic Trees
Beisecker, Dave
;
Moktefi, Amirouche
Diagrammatic Representation and Inference : 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : proceedings
2022
/
p. 338-346
https://doi.org/10.1007/978-3-031-15146-0_29
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
127
artikkel kogumikus EST
/
artikkel kogumikus ENG
Key factors in coping with large-scale security vulnerabilities in the eID field
Lips, Silvia
;
Pappel, Ingrid
;
Tsap, Valentyna
;
Draheim, Dirk
Electronic Government and the Information Systems Perspective :7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3–5, 2018 : proceedings
2018
/
p. 60-70
https://doi.org/10.1007/978-3-319-98349-3_5
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
2
eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõju
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
128
artikkel kogumikus EST
/
artikkel kogumikus ENG
Key success factors in introducing national e-identification systems
Tsap, Valentyna
;
Pappel, Ingrid
;
Draheim, Dirk
Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings
2017
/
p. 455-471 : ill
https://doi.org/10.1007/978-3-319-70004-5_33
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõju
129
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Knowledge retention in oil and gas industry - the case of contract workforce
Sumbal, Muhammad Saleem Ullah Khan
;
Irfan, Irfan
;
Durst, Susanne
;
Sahibzada, Umar Farooq
;
Waseem, Muhammad Adnan
;
Tsui, Eric
Kybernetes
2023
/
p. 1552-1571
https://doi.org/10.1108/K-06-2021-0458
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
130
artikkel kogumikus EST
/
artikkel kogumikus ENG
A legal framework for digital transformation : a proposal based on a comparative case study
Ahmed, Rozha Kamal
;
Muhammed, Khder H.
;
Qadir, Awat O.
;
Arif, Soran I.
;
Lips, Silvia
;
Nyman-Metcalf, Katrin Merike
;
Pappel, Ingrid
;
Draheim, Dirk
Electronic Government and the Information Systems Perspective : 10th International Conference, EGOVIS 2021, Virtual Event, September 27–30, 2021 : proceedings
2021
/
p. 115–128
https://doi.org/10.1007/978-3-030-86611-2_9
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
2
Digital transformation of court processes : driving forces, success factors, regulations and technology acceptance = Kohtuprotsesside digitaalne ümberkujundamine : liikumapanevad jõud, edu tegurid, regulatsioonid ja tehnoloogia vastuvõtmine
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
131
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Legally enforceable smart-contract languages : a systematic literature review
Dwivedi, Vimal Kumar
;
Pattanaik, Vishwajeet
;
Deval, Vipin
;
Dixit, Abhishek
;
Norta, Alexander
;
Draheim, Dirk
ACM computing surveys
2022
/
art. 3453475, p. 1–34
https://doi.org/10.1145/3453475
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
132
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A lightweight anonymous authentication scheme for secure cloud computing services
Hammami, Hamza
;
Ben Yahia, Sadok
;
Obaidat, Mohammad S.
The Journal of Supercomputing
2021
/
p. 1693-1713
https://doi.org/10.1007/s11227-020-03313-y
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
133
artikkel kogumikus EST
/
artikkel kogumikus ENG
Live enrolment for identity documents in Europe
Kalvet, Tarmo
;
Karlzén, Henrik
;
Hunstad, Amund
;
Tiits, Marek
Electronic Government : 17th IFIP WG 8.5 International Conference : EGOV 2018, Krems, Austria, September 3–5, 2018 : proceedings
2018
/
p. 29-39 : ill
https://doi.org/10.1007/978-3-319-98690-6_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
134
artikkel kogumikus EST
/
artikkel kogumikus ENG
A live virtual simulator for teaching cybersecurity to information technology students
Ernits, Margus
;
Kikkas, Kaido
Learning and Collaboration Technologies : Third International Conference, LCT 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings
2016
/
p. 474-486 : ill
https://doi.org/10.1007/978-3-319-39483-1_43
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
135
artikkel kogumikus EST
/
artikkel kogumikus ENG
Long-term secure commitments via extractable-binding commitments
Buldas, Ahto
;
Geihs, Matthias
;
Buchmann, Johannes
Information Security and Privacy : 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017 : Proceedings, Part I
2017
/
p. 65-81
https://doi.org/10.1007/978-3-319-60055-0_4
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
136
artikkel kogumikus EST
/
artikkel kogumikus ENG
Long-term secure time-stamping using preimage-aware hash functions : (short version)
Buldas, Ahto
;
Geihs, Matthias
;
Buchmann, Johannes
Provable Security : 11th International Conference, ProvSec 2017, Xi'an, China, October 23–25, 2017 : proceedings
2017
/
p. 251-260 : ill
http://doi.org/10.1007/978-3-319-68637-0_15
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
137
artikkel kogumikus EST
/
artikkel kogumikus ENG
Lower bound methods for the size of nondeterministic finite automata revisited
Tamm, Hellis
;
Merwe, Brink van der
Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017 : proceedings
2017
/
p. 261-272
https://doi.org/10.1007/978-3-319-53733-7_19
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
138
artikkel kogumikus EST
/
artikkel kogumikus ENG
Making e-government work : learning from the Netherlands and Estonia
Bharosa, Nitesh
;
Lips, Silvia
;
Draheim, Dirk
Electronic Participation : 12th IFIP WG 8.5 International Conference, ePart 2020, Linköping, Sweden, August 31 – September 2, 2020 : proceedings
2020
/
p. 41-53
https://doi.org/10.1007/978-3-030-58141-1_4
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
139
artikkel kogumikus EST
/
artikkel kogumikus ENG
Making sense of Schopenhauer's diagram of Good and Evil
Lemanski, Jens
;
Moktefi, Amirouche
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 721-724 : ill
https://doi.org/10.1007/978-3-319-91376-6_67
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
140
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Malicious accounts detection from online social networks : a systematic review of literature
Ben Sassi, Imen
;
Ben Yahia, Sadok
International Journal of General Systems
2021
/
p. 741−814
https://doi.org/10.1080/03081079.2021.1976773
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
141
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Management of national eID infrastructure as a state-critical asset and public-private partnership : learning from the case of Estonia
Lips, Silvia
;
Tsap, Valentyna
;
Bharosa, Nitesh
;
Krimmer, Robert Johannes
;
Tammet, Tanel
;
Draheim, Dirk
Information Systems Frontiers
2023
/
p.2439-2456
https://doi.org/10.1007/s10796-022-10363-5
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
142
artikkel kogumikus EST
/
artikkel kogumikus ENG
Mapping requirements specifications into a formalized blockchain-enabled authentication protocol for secured personal identity assurance
Leiding, Benjamin
;
Norta, Alexander
Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings
2017
/
p. 181-196 : ill
https://doi.org/10.1007/978-3-319-70004-5_13
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
143
artikkel kogumikus EST
/
artikkel kogumikus ENG
Maximally multi-focused proofs for skew non-commutative MILL
Veltri, Niccolò
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings
2023
/
p. 377-393
https://doi.org/10.1007/978-3-031-39784-4_24
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
144
artikkel kogumikus EST
/
artikkel kogumikus ENG
Mental model mapping method for cybersecurity
Kullman, Kaur
;
Buchanan, Laurin
;
Komlodi, Anita
;
Engel, Don
HCI for Cybersecurity, Privacy and Trust : Second International Conference, HCI-CPT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020 : Proceedings
2020
/
p. 458-470
https://doi.org/10.1007/978-3-030-50309-3_30
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Interactive stereoscopically perceivable multidimensional data visualizations for cybersecurity = Interaktiivsed, ruumiliselt tajutavad, mitmemõõtelised andmekuvad küberturbele
145
artikkel kogumikus EST
/
artikkel kogumikus ENG
Metacognitive processes involved in human robot interaction in the school learning environment
Mishra, Deepti
;
Lugo, Ricardo Gregorio
;
Parish, Karen
;
Tilden, Solveig
Human-Computer Interaction : Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023 :proceedings, Part II
2023
/
p. 85-100 : ill
https://doi.org/10.1007/978-3-031-35599-8_6
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
146
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Methods and tools for healthcare data anonymization : a literature review
Vovk, Olga
;
Piho, Gunnar
;
Ross, Peeter
International Journal of General Systems
2023
/
p. 326-342 : ill
https://doi.org/10.1080/03081079.2023.2173749
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
147
artikkel kogumikus EST
/
artikkel kogumikus ENG
Modelling the impact of space situational awareness disruption on the European and Arctic security landscape
Carlo, Antonio
;
Boschetti, Nicolo
Modelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20–21, 2022 : Revised Selected Papers
2023
/
p. 299-311
https://doi.org/10.1007/978-3-031-31268-7_18
Journal metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
148
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Monads need not be endofunctors
Altenkirch, Thorsten
;
Chapman, James
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
p. 1-40
https://doi.org/10.2168/LMCS-11(1:3)2015
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
149
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Monoidal width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Logical methods in computer science
2023
/
p. 15:1–15:46 : ill
https://doi.org/10.46298/LMCS-19(3:15)2023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
150
artikkel kogumikus EST
/
artikkel kogumikus ENG
Multi-Agent systems and Blockchain: results from a systematic literature review
Calvares, Davide
;
Dubovitskaya, Alevtina
;
Calbimonte, Jean Paul
;
Taveter, Kuldar
;
Schumacher, Michael
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection : 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018 : proceedings
2018
/
p. 110-126
https://doi.org/10.1007/978-3-319-94580-4_9
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 276, kuvan
126 - 150
eelmine
2
3
4
5
6
7
8
9
10
11
järgmine
võtmesõna
19
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
Cognitive Mathematics
6.
computational mathematics
7.
foundations of mathematics
8.
Husserl and Peirce and the goals of mathematics
9.
mathematics
10.
mathematics and computing
11.
mathematics students learning habits
12.
matrix (mathematics)
13.
philosophy of mathematics
14.
univalent mathematics
15.
theoretical analysis
16.
theoretical framework
17.
theoretical models
18.
theoretical perspectives
19.
theoretical rigor
märksõna
1
1.
Estonian Summer School on Computer and Systems Science, 2023
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT