Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Mathematics. Theoretical computer science (category)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
331
Look more..
(2/25)
Export
export all inquiry results
(331)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
151
book article EST
/
book article ENG
Introduction to the Proceedings of the Workshop on Intelligent Service Clouds (ISC) 2015
Vaculin, Roman
;
Norta, Alexander
;
Eshuis, Rik
Service-Oriented Computing - ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015 : revised selected papers
2016
/
p. XXII-XXIII
https://doi.org/10.1007/978-3-662-50539-7_3
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
152
book article EST
/
book article ENG
Introduction to the proceedings of the workshop on Pervasive Analytical Service Clouds for the Enterprise and Beyond (PASCEB) 2013
Norta, Alexander
;
Zhang, Weishan
;
Chituc, C.M.
;
Vaculin, Roman
Service-Oriented Computing–ICSOC 2013, Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium Berlin, Germany, December 2-5, 2013, Revised Selected Papers
2014
/
p. 379-380
https://doi.org/10.1007/978-3-319-06859-6_33
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
153
journal article EST
/
journal article ENG
Inverse problems for a generalized fractional diffusion equation with unknown history
Janno, Jaan
Inverse problems
2024
/
art. 125015
https://doi.org/10.1088/1361-6420/ad92a3
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
154
book article EST
/
book article ENG
Jin Yuelin’s Simplification of Venn Diagrams
Liu, Xinwen
;
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings
2021
/
p. 260-263
https://doi.org/10.1007/978-3-030-86062-2_26
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
155
book article EST
/
book article 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
book article EST
/
book article ENG
156
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
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
157
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
1
eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõju
158
book article EST
/
book article ENG
Keyless signatures' infrastructure: How to build global distributed hash-trees
Buldas, Ahto
;
Kroonmaa, Andres
;
Laanoja, Risto
Secure IT Systems : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings
2013
/
p. 313 - 320
https://doi.org/10.1007/978-3-642-41488-6_21
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
159
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
160
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
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
161
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Related publications
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
162
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
163
book article EST
/
book article ENG
Limiting adversarial budget in quantitative security assessment
Lenin, Aleksandr
;
Buldas, Ahto
Decision and Game Theory for Security : 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014 : proceedings
2014
/
p. 155-174 : ill
https://doi.org/10.1007/978-3-319-12601-2_9
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
164
book article EST
/
book article 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
book article EST
/
book article ENG
165
book article EST
/
book article 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
book article EST
/
book article ENG
166
book article EST
/
book article 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
book article EST
/
book article ENG
167
book article EST
/
book article 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
book article EST
/
book article ENG
168
book article EST
/
book article 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
book article EST
/
book article ENG
169
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
170
book article EST
/
book article 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
book article EST
/
book article ENG
171
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
172
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Related publications
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
173
book article EST
/
book article ENG
Mapping brains on grids of features for schizophrenia analysis
Perina, Alessandro
;
Peruzzo, Denis
;
Kesa, Maria
;
Jojic, Nebojsa
;
Murino, Vittorio
;
Bellani, Mellani
;
Brambilla, Paolo
;
Castellani, Umberto
Medical Image Computing and Computer-Assisted Intervention –MICCAI 2014,17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part II
2014
/
p. 805-812 : ill
https://doi.org/10.1007/978-3-319-10470-6_100
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
174
book article EST
/
book article 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
book article EST
/
book article ENG
175
book article EST
/
book article 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
book article EST
/
book article ENG
Number of records 331, displaying
151 - 175
previous
3
4
5
6
7
8
9
10
11
12
next
keyword
24
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
applied mathematics
6.
Cognitive Mathematics
7.
computational mathematics
8.
foundations of mathematics
9.
history of mathematics
10.
Husserl and Peirce and the goals of mathematics
11.
mathematics
12.
mathematics and computing
13.
mathematics education
14.
mathematics students learning habits
15.
matrix (mathematics)
16.
non-linear mathematics
17.
philosophy of mathematics
18.
skills assessment of programming and mathematics
19.
univalent mathematics
20.
theoretical analysis
21.
theoretical framework
22.
theoretical models
23.
theoretical perspectives
24.
theoretical rigor
subject term
1
1.
Estonian Summer School on Computer and Systems Science, 2023
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT