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
Computer science. General 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
649
Look more..
(4/158)
Export
export all inquiry results
(649)
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
51
book article EST
/
book article ENG
Blockchain technology: Intrinsic technological and socio-economic barriers: FDSE'2020 Keynote
Buldas, Ahto
;
Draheim, Dirk
;
Nagumo, Takehiko
;
Vedešin, Anton
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25–27, 2020 : proceedings
2020
/
p. 3-27
https://doi.org/10.1007/978-3-030-63924-2_1
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
52
book article EST
/
book article ENG
A blockchain-assisted hash-based signature scheme
Buldas, Ahto
;
Laanoja, Risto
;
Truu, Ahto
Secure IT Systems : 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28–30, 2018 : proceedings
2018
/
p. 138–153 : ill
https://doi.org/10.1007/978-3-030-03638-6_9
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
53
book article EST
/
book article ENG
The Blot
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
;
Bobrova, Angelina
;
Haydon, Nathan Joseph
;
Shafiei, Mohammad
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 225-238 : ill
https://doi.org/10.1007/978-3-030-54249-8_18
Conference proceedings at Scopus
Article at Scopus
Article at WOS
Conference proceedings at WOS
book article EST
/
book article ENG
Related publications
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
54
journal article EST
/
journal article ENG
Boundary Mittag-Leffler stabilization of coupled time fractional order reaction–advection–diffusion systems with non-constant coefficients
Chen, Juan
;
Tepljakov, Aleksei
;
Petlenkov, Eduard
;
Chen, YangQuan
;
Zhuang, Bo
Systems & control letters
2021
/
art. 104875
https://doi.org/10.1016/j.sysconle.2021.104875
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
55
book article EST
/
book article ENG
Bounded pre-image awareness and the security of hash-tree keyless signatures
Buldas, Ahto
;
Laanoja, Risto
;
Laud, Peeter
;
Truu, Ahto
Provable security : 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014 : proceedings
2014
/
p. 130-145 : ill
https://doi.org/10.1007/978-3-319-12475-9_10
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
56
book article EST
/
book article ENG
Bringing service design thinking into the public sector to create proactive and user-friendly public services
Sirendi, Regina
;
Taveter, Kuldar
HCI in Business, Government, and Organizations : Information Systems : third International Conference, HCIBGO 2016 held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016 : proceedings. Part II
2016
/
p. 221-230 : ill
https://doi.org/10.1007/978-3-319-39399-5_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
57
book article EST
/
book article ENG
Building smart city governance competencies : the CAP4CITY training modules
Temple, Lucy
;
Pereira, Gabriela Viale
;
Schuch de Azambuja, Luiza
Ongoing Research, Practitioners, Posters, Workshops, and Projects of the International Conference EGOV-CeDEM-ePart 2022
2022
/
code 193901
https://ceur-ws.org/Vol-3399/paper26.pdf
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
58
journal article EST
/
journal article ENG
Business archetypes and archetype patterns from the HL7 RIM and openEHR RM perspectives : towards interoperability and evolution of healthcare models and software systems
Piho, Gunnar
;
Tepandi, Jaak
;
Thompson, Douglas
;
Woerner, Andreas
;
Parman, Marko
Procedia computer science
2015
/
p. 553-560 : ill
https://doi.org/10.1016/j.procs.2015.08.384
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
59
book article EST
/
book article ENG
Calculational proofs in relational graphical linear algebra
Paixao, Joao
;
Sobocinski, Pawel Maria
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings
2020
/
p. 83-100
https://doi.org/10.1007/978-3-030-63882-5_6
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
60
book article EST
/
book article ENG
CALL-technolgy based approach to control acquisition of foreign language skills
Nymm, Voldemar
;
Piotrowska, Xenia
;
Nõmm, Sven
;
Ronzhin, Andrey
Proceedings of the III International Conference on Language Engineering and Applied Linguistics (PRLEAL-2019), Saint Petersburg, Russia, November 27, 2019
2020
/
art. 157532, p. 200-210
http://ceur-ws.org/Vol-2552/Paper16.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
61
book article EST
/
book article ENG
Can I have a Mooc2Go, please? On the viability of mobile vs. stationary learning
Zhao, Yue
;
Robal, Tarmo
;
Lofi, Christoph
;
Hauff, Claudia
Lifelong Technology-Enhanced Learning : 13th European Conference on Technology Enhanced Learning : EC-TEL 2018, Leeds, UK, September 3-5, 2018 : proceedings
2018
/
p. 101-115 : ill
https://doi.org/10.1007/978-3-319-98572-5_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
62
book article EST
/
book article ENG
Can K-12 students learn how to program with just two hours?
Umbleja, Kadri
Learning Technology for Education in Cloud : The Changing Face of Education : 5th International Workshop, LTEC 2016, Hagen, Germany, July 25-28, 2016 : proceedings
2016
/
p. 250-264 : ill
https://doi.org/10.1007/978-3-319-42147-6_21
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
63
book article EST
/
book article ENG
A canonical algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman Garcia, Mario
;
Sabadini, Nicoletta
;
Sobocinski, Pawel Maria
Formal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings
2021
/
p. 63-81
https://doi.org/10.1007/978-3-030-90636-8_4
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
64
book article EST
/
book article ENG
Capacity building in government : towards developing a standard for a functional specialist in AI for public services
Labanava, Alena
;
Dreyling III, Richard Michael
;
Mortati, Marzia
;
Liiv, Innar
;
Pappel, Ingrid
Future Data and Security Engineering : Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 9th International Conference, FDSE 2022, Ho Chi Minh City, Vietnam, November 23-25, 2022 : proceedings
2022
/
p. 503-516
https://doi.org/10.1007/978-981-19-8069-5_34
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
65
book article EST
/
book article ENG
Carroll diagrams : design and manipulation
Moktefi, Amirouche
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 32-35 : ill
https://doi.org/10.1007/978-3-319-91376-6_7
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
66
book article EST
/
book article ENG
Case study in experiential learning - from chaos to order: sensemaking with the interactive timeline tool in architecture and civil engineering studies
Nutt, Nele
;
Salmistu, Sirle
;
Meitl, Cassi
;
Karu, Katrin
Educating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 1
2021
/
p. 1300-1311
https://doi.org/10.1007/978-3-030-68198-2_8
Article collection metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
67
book article EST
/
book article ENG
A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device
Bende, Philipp
;
Vovk, Olga
;
Caraveo, David
;
Pechmann, Ludwig
;
Leucker, Martin
HEDA 2022 : Proceedings of the International Health Data Workshop, co-located with 10th International Conference on Petrinets, Petri Nets 2022
2022
/
p. 1-13
https://ceur-ws.org/Vol-3264/HEDA22_paper_3.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
68
book article EST
/
book article ENG
A case study on data protection for a cloud- and AI-based homecare medical device
Bende, Philipp
;
Vovk, Olga
;
Caraveo, David
;
Pechmann, Ludwig
;
Leucker, Martin
Transactions on Petri Nets and Other Models of Concurrency XVII
2024
/
p. 138 - 161
https://doi.org/10.1007/978-3-662-68191-6_6
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
69
book article EST
/
book article ENG
Certified Foata normalization for generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
NASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings
2018
/
p. 299-314
https://doi.org/10.1007/978-3-319-77935-5_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
70
book article EST
/
book article ENG
Certified parsing of regular languages
Firsov, Denis
;
Uustalu, Tarmo
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
2013
/
p. 98 - 113
https://doi.org/10.1007/978-3-319-03545-1_7
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
71
journal article EST
/
journal article ENG
Challenges and perspectives in control of ionic polymer-metal composite (IPMC) actuators : a survey
Aabloo, Alvo
;
Belikov, Juri
;
Kaparin, Vadim
;
Kotta, Ülle
IEEE Access
2021
/
art. 9133056, p. 121059-121073
https://doi.org/10.1109/ACCESS.2020.3007020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
72
book article EST
/
book article ENG
Challenges of teaching programming in StackOverflow era
Pöial, Jaanus
Educating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 1
2021
/
p. 703-710
https://doi.org/10.1007/978-3-030-68198-2_65
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
73
journal article EST
/
journal article ENG
Channel characterization at 2.4 GHz for aerial base station
Sharma, Navuday
;
Magarini, Maurizio
;
Reggiani, Luca
;
Alam, Muhammad Mahtab
Procedia computer science
2019
/
p. 1092-1099
https://doi.org/10.1016/j.procs.2019.04.155
Conference proceeding at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
74
book article EST
/
book article ENG
A Characterization of Amenable Groups by Besicovitch Pseudodistances
Capobianco, Silvio
;
Guillon, Pierre
Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings
2020
/
p. 99-110
https://doi.org/10.1007/978-3-030-61588-8_8
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
75
book article EST
/
book article ENG
Classification of cross-sections for vascular skeleton extraction using convolutional neural networks
Lidayová, Kristína
;
Gupta, Anindya
;
Frimmel, Hans
;
Sintorn, Ida-Maria
;
Bengtsson, Ewert
;
Smedby, Örjan
Medical Image : Understanding and Analysis, 21st Annual Conference, MIUA 2017 Edinburgh, UK, July 11–13, 2017 : Proceedings
2017
/
p. 182-194
https://doi.org/10.1007/978-3-319-60964-5_16
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Number of records 649, displaying
51 - 75
previous
1
2
3
4
5
6
7
8
9
10
next
keyword
148
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
computer
6.
computer aided design
7.
computer aided diagnosis
8.
computer aided diagnostics
9.
computer aided instruction
10.
computer aided language translation
11.
computer aided manufacturing
12.
computer aided methods
13.
computer aided software engineering
14.
computer aided testing
15.
computer algebra
16.
computer algebra system
17.
computer and education
18.
computer anxiety
19.
computer architecture
20.
computer assisted language learning
21.
computer based learning
22.
computer circuits
23.
computer control
24.
Computer crime
25.
computer education
26.
computer engineering
27.
computer engineerng
28.
computer game
29.
computer graphics
30.
computer hardware
31.
computer integrated manufacturing
32.
computer network management
33.
computer network operations
34.
computer networks
35.
computer pipelines
36.
computer programming
37.
computer programming languages
38.
computer programs
39.
computer security
40.
computer simulation
41.
computer simulation environments
42.
computer simulations
43.
computer software
44.
Computer software and hardware
45.
computer softwaregraph theory
46.
computer systems
47.
Computer systems organization
48.
computer terminals
49.
computer vision
50.
computer vision-based methods
51.
computer workers
52.
computer-aided anthropometry
53.
computer-aided architectural design (CAAD)
54.
computer‐aided assessment
55.
computer-aided design
56.
computer-aided design (CAD)
57.
computer-aided detection
58.
computer‐aided detection
59.
computer-aided diagnosis
60.
computer-aided drawing (CAD)
61.
computer-aided engineering
62.
computer-aided teaching
63.
Computer-Aided Tuning
64.
computer-aided tuning (CAT)
65.
computer-assisted language learning (CALL)
66.
computer-oriented technologies
67.
computer-supported decision-making
68.
computer-use
69.
computer-workers
70.
control engineering computer applications
71.
distributed computer systems
72.
education in computer engineering
73.
fifth generation computer
74.
gateways (computer networks)
75.
high-performance computer systems
76.
human computer interaction
77.
human computer interaction (HCI)
78.
human-computer interaction
79.
human–computer interaction
80.
Human-Computer Interaction (HCI)
81.
human-computer trust
82.
interactive computer graphics
83.
laptop computer
84.
single board computer
85.
single-board computer
86.
structure computer analysis
87.
ubiquitous computer technology
88.
Web and computer-based learning
89.
applied science
90.
big data science
91.
chemistry and philosophy of science
92.
citizen science
93.
citizen science hub
94.
classical exact science
95.
cognitive science
96.
computational social science
97.
data science
98.
data-science
99.
decision science
100.
design science
101.
design science research
102.
design-science
103.
energy science and technology
104.
engineering pedagogy science
105.
environmental science
106.
ethics of science
107.
exact science
108.
food science
109.
forensic science
110.
logic of science
111.
materials science
112.
NATO. Science for Peace and Security Program
113.
non-classical exact science
114.
philosophy of science
115.
physics and philosophy of science
116.
planetary science
117.
political science
118.
popular science literature
119.
post normal science
120.
post-normal science
121.
Q science
122.
science
123.
science advisors
124.
science and arts
125.
science and technology libraries
126.
science and technology parks
127.
science fiction
128.
science gateway
129.
science integration
130.
science mapping
131.
science policy
132.
science technology and innovation
133.
science technology innovation
134.
Science, Technology and Innovation Policy
135.
science-based industries
136.
science-driven models
137.
science-policy-society interface
138.
Security and political science
139.
Social Science
140.
social science methodology
141.
sustainability science
142.
Thomson Reuters Web of Science
143.
transdisciplinary science
144.
Web of Science
145.
World Academy of Art and Science (WAAS)
146.
ȹ-science
147.
φ-science
148.
ϕ-science
subject term
6
1.
Estonian Summer School on Computer and Systems Science, 2023
2.
Baltic Computer Systems
3.
National Computer Security Incident Response Teams (N-CSIRTs)
4.
Norwegian University of Science and Technology
5.
The European Federation of Food Science and Technology (EFFoST)
6.
Web of Science
TalTech department
3
1.
Department of Computer Systems
2.
Department of Software Science
3.
School of Science
author
1
1.
Department of Software Science, Tallinn University of Technology
×
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