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
Otsing
Valitud kirjed
0
Matemaatika. Teoreetiline arvutiteadus (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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
319
Vaata veel..
(1/7)
Ekspordi
ekspordi kõik päringu tulemused
(319)
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
251
artikkel kogumikus EST
/
artikkel kogumikus ENG
Server-supported decryption for mobile devices
Kirss, Johanna Maria
;
Laud, Peeter
;
Snetkov, Nikita
;
Vakarjuk, Jelizaveta
Security and Trust Management : 18th International Workshop, STM 2022 Copenhagen, Denmark, September 29, 2022 : proceedings
2023
/
p. 71-81
https://doi.org/10.1007/978-3-031-29504-1_4
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
252
artikkel kogumikus EST
/
artikkel kogumikus ENG
Server-supported RSA signatures for mobile devices
Buldas, Ahto
;
Kalu, Aivo
;
Laud, Peeter
;
Oruaas, Mart
Computer Security - ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11–15, 2017 : proceedings, part I
2017
/
p. 315-333 : ill
https://doi.org/10.1007/978-3-319-66402-6_19
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
253
raamat EST
/
raamat ENG
Service-Oriented Computing - ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015 : revised selected papers
2016
https://doi.org/10.1007/978-3-662-50539-7
Conference Proceedings at Scopus
Article at Scopus
raamat EST
/
raamat ENG
254
artikkel kogumikus EST
/
artikkel kogumikus ENG
Simple infeasibility certificates for attack trees
Buldas, Ahto
;
Lenin, Aleksandr
;
Villemson, Jan
;
Charnamord, Anton
Advances in Information and Computer Security : 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 – September 1, 2017 : proceedings
2017
/
p. 39-55 : ill
https://doi.org/10.1007/978-3-319-64200-0_3
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
255
artikkel kogumikus EST
/
artikkel kogumikus ENG
Situational states influence on team workload demands in cyber defense exercise
Ask, Torvald F.
;
Sütterlin, Stefan
;
Knox, Benjamin James
;
Lugo, Ricardo Gregorio
HCI International 2021 - late breaking papers : cognition, inclusion, learning, and culture : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 : proceedings
2021
/
p. 3-20 : ill
https://doi.org/10.1007/978-3-030-90328-2_1
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
256
artikkel kogumikus EST
/
artikkel kogumikus ENG
Small languages and big models : using ML to generate Norwegian language social media content for training purposes
Aasen, Ole Joachim Arnesen
;
Lugo, Ricardo Gregorio
;
Knox, Benjamin James
Augmented Cognition : 18th International Conference, AC 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29–July 4, 2024, Proceedings, Part II
2024
/
p. 103-121
https://doi.org/10.1007/978-3-031-61572-6_8
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
257
artikkel kogumikus EST
/
artikkel kogumikus ENG
Sniper line-of sight calculations for route planning in asymmetric military environments
Kreison, Ove
;
Ruuben, Toomas
Modelling and Simulation for Autonomous Systems : Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016 : revised selected papers
2016
/
p. 359-370 : ill
https://doi.org/10.1007/978-3-319-47605-6_29
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
258
artikkel kogumikus EST
/
artikkel kogumikus ENG
A Software Prototype for Multidimensional Design of Data Warehouses Using Ontologies
Zekri, Manel
;
Ben Yahia, Sadok
;
Hilali-Jaghdam, Ines
Computational Collective Intelligence : 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019 : proceedings, part II
2019
/
p. 273-284 : ill
https://doi.org/10.1007/978-3-030-28374-2_24
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
259
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Special issue on concept lattices and their applications (CLA 2020)
Valverde-Albacete, Francisco José
;
Trnecka, Martin
;
Ben Yahia, Sadok
International journal of approximate reasoning
2024
/
art. 109079, 3 p.
https://doi.org/10.1016/j.ijar.2023.109079
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
260
artikkel kogumikus EST
/
artikkel kogumikus ENG
Specification and verification of a linear-time temporal logic for graph transformation
Gadducci, Fabio
;
Laretto, Andrea
;
Trotta, Davide
Graph transformation, 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 : Proceedings
2023
/
p. 22-42 : ill
https://doi.org/10.1007/978-3-031-36709-0_2
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
261
artikkel kogumikus EST
/
artikkel kogumikus ENG
Stenmap : framework for evaluating cybersecurity-related skills based on computer simulations
Mäses, Sten
;
Randmann, Liina
;
Maennel, Olaf Manuel
;
Lorenz, Birgy
Learning and Collaboration Technologies : Learning and Teaching : 5th International Conference : LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : Proceedings, Part II
2018
/
p. 492-504
https://doi.org/10.1007/978-3-319-91152-6_38
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
262
artikkel kogumikus EST
/
artikkel kogumikus ENG
Streams of approximations, equivalence of recursive effectful programs
Veltri, Niccolo
;
Voorneveld, Niels
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
2022
/
p. 198-221 : ill
https://doi.org/10.1007/978-3-031-16912-0_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
263
artikkel kogumikus EST
/
artikkel kogumikus ENG
The structure of concurrent process histories
Nester, Chad Mitchell
Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings
2021
/
p. 209−224
https://doi.org/10.1007/978-3-030-78142-2_13
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
264
artikkel kogumikus EST
/
artikkel kogumikus ENG
Success in eVoting - success in eDemocracy? The Estonian paradox
Toots, Maarja
;
Kalvet, Tarmo
;
Krimmer, Robert Johannes
Electronic Participation : 8th IFIP WG 8.5 International Conference, ePart 2016, Guimaraes, Portugal, September 5-8, 2016 : proceedings
2016
/
p. 55-66 : ill
https://doi.org/10.1007/978-3-319-45074-2_5
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
265
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Surjective cellular automata far from the Garden of Eden
Capobianco, Silvio
;
Guillon, Pierre
;
Kari, Jarkko
Discrete mathematics and theoretical computer science
2013
/
p. 41-60 : ill
https://www.researchgate.net/publication/264932675_Surjective_cellular_automata_far_from_the_Garden_of_Eden
https://doi.org/10.46298/dmtcs.618
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
266
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Survey on architectural attacks : a unified classification and attack model
Ghasempouri, Tara
;
Raik, Jaan
;
Reinbrecht, Cezar
;
Hamdioui, Said
;
Hamdioui, Said
ACM Computing Surveys
2023
/
art. 42
https://doi.org/10.1145/3604803
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
267
artikkel kogumikus EST
/
artikkel kogumikus ENG
Sweedler theory of monads
McDermott, Dylan
;
Rivas, Exequiel
;
Uustalu, Tarmo
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
2022
/
p. 428-448
https://doi.org/10.1007/978-3-030-99253-8_22
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
268
artikkel kogumikus EST
/
artikkel kogumikus ENG
Synthesis of implementations for divide-and-conquer specifications
Bortin, Maksym
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings
2022
/
p. 73-88
https://doi.org/10.1007/978-3-031-22476-8_5
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
269
artikkel kogumikus EST
/
artikkel kogumikus ENG
Systematic digital signing in Estonian e-Government processes : influencing factors, technologies, change management
Pappel, Ingrid
;
Pappel, Ingmar
;
Tepandi, Jaak
;
Draheim, Dirk
Transactions on large-scale data- and knowledge-centered systems XXXVI : special issue on data and security engineering
2017
/
p. 31-51 : ill
https://doi.org/10.1007/978-3-662-56266-6_2
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
270
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A systematic literature review on hardware reliability assessment methods for deep neural networks
Ahmadilivani, Mohammad Hasan
;
Taheri, Mahdi
;
Raik, Jaan
;
Daneshtalab, Masoud
;
Jenihhin, Maksim
ACM Computing Surveys
2024
/
art. 141
https://doi.org/10.1145/3638242
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
271
artikkel kogumikus EST
/
artikkel kogumikus ENG
The beauty of graphs
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 9-12
https://doi.org/10.1007/978-3-319-91376-6_2
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
272
artikkel kogumikus EST
/
artikkel kogumikus ENG
The data quality framework for the Estonian public sector and its evaluation : establishing a systematic process-oriented viewpoint on cross-organizational data quality
Tepandi, Jaak
;
Lauk, Mihkel
;
Linros, Janar
;
Raspel, Priit
;
Piho, Gunnar
;
Pappel, Ingrid
;
Draheim, Dirk
Transactions on large-scale data- and knowledge-centered systems XXXV
2017
/
p. 1-26 : ill
https://doi.org/10.1007/978-3-662-56121-8_1
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
273
artikkel kogumikus EST
/
artikkel kogumikus ENG
The digital archiving process in Estonia - assessment and future perspectives
Pappel, Ingrid
;
Oolu, Karin
;
Saarevet, Koit
;
Lauk, Mihkel
;
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. 472-481 : ill
https://doi.org/10.1007/978-3-319-70004-5_34
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
274
artikkel kogumikus EST
/
artikkel kogumikus ENG
The future of the once-only principle in Europe
Krimmer, Robert Johannes
;
Prentza, Andriana
;
Mamrot, Szymon
;
Schmidt, Carsten
;
Cepilovs, Aleksandrs
The once-only principle : The TOOP project
2021
/
p. 225–236
https://doi.org/10.1007/978-3-030-79851-2_12
Article collection metrics at Scopus
Article at Scopus
Article collection metrics at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
275
artikkel kogumikus EST
/
artikkel kogumikus ENG
The potential of the Estonian e-Governance infrastructure in supporting displaced Estonian residents
Thurnay, Lörinc
;
Klasche, Benjamin
;
Nyman-Metcalf, Katrin Merike
;
Pappel, Ingrid
;
Draheim, Dirk
Electronic Government and the Information Systems Perspective : 6th International Conference, EGOVIS 2017, Lyon, France, August 28-31, 2017 : proceedings
2017
/
p. 236-250
https://doi.org/10.1007/978-3-319-64248-2_17
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 319, kuvan
251 - 275
eelmine
4
5
6
7
8
9
10
11
12
13
järgmine
märksõna
7
1.
arvutiteadus
2.
teoreetiline bioloogia
3.
teoreetiline füüsika
4.
teoreetiline geograafia
5.
teoreetiline keemia
6.
teoreetiline mehaanika
7.
teoreetiline mõistus
×
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