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
Matemaatika. Teoreetiline arvutiteadus (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
328
Vaata veel..
(1/7)
Ekspordi
ekspordi kõik päringu tulemused
(328)
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
Self assessment tool to bridge the gap between XR Technology, SMEs, and HEIs
Köse, Ahmet
;
Tepljakov, Aleksei
;
Alsaleh, Saleh Ragheb Saleh
;
Petlenkov, Eduard
Extended Reality : First International Conference, XR Salento 2022, Lecce, Italy, July 6-8, 2022, Proceedings, Part I
2022
/
p. 296–311 : ill
https://doi.org/10.1007/978-3-031-15546-8_25
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
252
artikkel kogumikus EST
/
artikkel kogumikus ENG
Semi-automated generation of DSL meta models from formal domain ontologies
Ojamaa, Andres
;
Haav, Hele-Mai
;
Penjam, Jaan
Model and Data Engineering : 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
2015
/
p. 3-15
https://doi.org/10.1007/978-3-319-23781-7_1
Conference Proceedings at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
253
artikkel kogumikus EST
/
artikkel kogumikus ENG
Semi-parametric approach to random forests for high-dimensional bayesian optimisation
Kuzmanovski, Vladimir
;
Hollmén, Jaakko
Discovery Science : 25th International Conference, DS 2022, Montpellier, France, October 10–12, 2022, Proceedings
2022
/
p. 418 - 428
https://doi.org/10.1007/978-3-031-18840-4_30
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
254
artikkel kogumikus EST
/
artikkel kogumikus ENG
Sentence writing test for Parkinson disease modeling: comparing predictive ability of classifiers
Netšunajev, Aleksei
;
Nõmm, Sven
;
Toomela, Aaro
;
Medijainen, Kadri
;
Taba, Pille
Intelligent Information and Database Systems : 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020 : proceedings, Part I
2020
/
p. 345-357
https://doi.org/10.1007/978-3-030-41964-6_30
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
255
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Sentiment analysis for hotel reviews : a systematic literature review
Ameur, Asma
;
Hamdi, Sana
;
Ben Yahia, Sadok
ACM Computing Survey
2023
/
art. 51
https://doi.org/10.1145/3605152
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
256
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The sequent calculus of skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Electronic notes in theoretical computer science
2018
/
p. 345-370
https://doi.org/10.1016/j.entcs.2018.11.017
Journal metrics at Scopus
Article at Scopus
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
257
artikkel kogumikus EST
/
artikkel kogumikus ENG
A server-assisted hash-based signature scheme
Buldas, Ahto
;
Laanoja, Risto
;
Truu, Ahto
Secure IT Systems : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8-10, 2017 : proceedings
2017
/
p. 3-17 : ill
https://doi.org/10.1007/978-3-319-70290-2_1
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
258
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
259
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
260
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
261
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
262
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
263
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
264
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
265
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
266
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
267
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
268
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Stateful runners of effectful computations
Uustalu, Tarmo
Electronic notes in theoretical computer science
2015
/
p. 403-421
https://doi.org/10.1016/j.entcs.2015.12.024
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
269
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
270
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
271
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
272
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
273
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
274
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
275
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
Kirjeid leitud 328, kuvan
251 - 275
eelmine
5
6
7
8
9
10
11
12
13
14
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