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 (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
1825
Look more..
(4/160)
Export
export all inquiry results
(1000*)
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
176
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
177
journal article EST
/
journal article ENG
Certified normalization of generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
Innovations in Systems and Software Engineering
2019
/
p. 253–265
https://doi.org/10.1007/s11334-019-00347-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
178
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
179
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
180
journal article EST
/
journal article ENG
Challenges and perspectives of nature-based wastewater treatment and reuse in rural areas of Central and Eastern Europe
Istenič, Darja
;
Bodík, Igor
;
Merisaar, Maret
;
Gajewska, Magdalena
;
Šereš, Michal
;
Griessler Bulc, Tjaša
Sustainability (Switzerland)
2023
/
art. 8145
https://doi.org/10.3390/su15108145
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
181
journal article EST
/
journal article ENG
Challenges and strategies for bio-based and biodegradable plastic waste management in Europe
Stasiškienė, Žaneta
;
Barbir, Jelena
;
Draudvilienė, Lina
;
Chong, Zhi Kai
;
Kuchta, Kerstin
;
Voronova, Viktoria
;
Leal Filho, Walter
Sustainability (Switzerland)
2022
/
art. 16476
https://doi.org/10.3390/su142416476
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
182
journal article EST
/
journal article ENG
Challenges of active learning in a view of integrated engineering education
Vodovozov, Valery
;
Raud, Zoja
;
Petlenkov, Eduard
Education Sciences
2021
/
art. 43
https://doi.org/10.3390/educsci11020043
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
183
journal article EST
/
journal article ENG
Challenges of applying e-learning in the libyan higher education system
Ghawail, Entisar Alhadi Al
;
Ben Yahia, Sadok
;
Alrshah, Mohamed A.
International journal of advanced trends in computer science and engineering
2019
/
p. 38-43 : ill
https://doi.org/10.30534/ijatcse/2019/0681.42019
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
184
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
185
journal article EST
/
journal article ENG
A chameleon algorithm for solving economic dispatch problem in microgrid system
Zahraoui, Younes
;
Alhamrouni, Ibrahim
;
Mekhilef, Saad
;
Korõtko, Tarmo
;
Jusoh, Awang
;
Sutikno, Tole
Bulletin of electrical engineering and informatics
2023
/
p. 1982-1992 : ill
https://doi.org/10.11591/eei.v12i4.4700
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
186
book article EST
/
book article ENG
Changes in EEG measures of a recipient of the mRNA COVID-19 vaccine - a case study
Uudeberg, Tuuli
;
Hinrikus, Hiie
;
Päeske, Laura
;
Lass, Jaanus
;
Bachmann, Maie
2022 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC)
2022
/
p. 3702-3705
https://doi.org/10.1109/EMBC48229.2022.9871524
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
187
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
188
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
189
journal article EST
/
journal article ENG
Characterization of the optical spectrum as a service
Kaeval, Kaida
;
Jansen, Sander Lars
;
Spinty, Florian
;
Grobe, Klaus
;
Griesser, Helmut
;
Fehenberger, Tobias
;
Tikas, Marko
;
Jervan, Gert
Journal of Optical Communications and Networking
2022
/
p. 398-410
https://doi.org/10.1364/JOCN.454158
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Optical spectrum services in Open Disaggregated Transport Networks = Optilise spektri teenused avatud lainepikkustihendus võrkudes
190
journal article EST
/
journal article ENG
Chiral auxiliaries and chirogenesis ii
Symmetry
2021
/
art. 1157
https://doi.org/10.3390/sym13071157
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
191
journal article EST
/
journal article ENG
Chiral heterocycle-based receptors for enantioselective recognition
Khose, Vaibhav N.
;
John, Marina E.
;
Pandey, Anita D.
;
Borovkov, Victor
;
Karnik, Anil V.
Symmetry
2018
/
75 p : ill
https://doi.org/10.3390/sym10020034
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
192
journal article EST
/
journal article ENG
Ciberseguridad y ciberdiplomacia de la UE
Kasper, Agnes
;
Osula, Anna-Maria
;
Molnar, Anna
IDP Revista de Internet Derecho y Política
2021
/
p. 1-15
https://doi.org/10.7238/idp.v0i34.387469
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
193
book article EST
/
book article ENG
Citizen-oriented digital transformation in the public sector
Mergel, Ines
;
Kattel, Rainer
;
Lember, Veiko
;
McBride, Keegan David Braun
dg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 2018
2018
/
art. 122, 3 p
https://doi.org/10.1145/3209281.3209294
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
194
book article EST
/
book article ENG
Citizens' readiness for proactive public services : a case study from Azerbaijan
Khasmammadli, Gasim
;
Erlenheim, Regina
ICEGOV '22 : proceedings of the 15th International Conference on Theory and Practice of Electronic Governance
2022
/
p. 408-415 : ill
https://doi.org/10.1145/3560107.3560170
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
195
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
196
journal article EST
/
journal article ENG
Clean cruise shipping : experience from the BSR
Olaniyi, Eunice Omolola
;
Prause, Gunnar Klaus
;
Gerasimova, Vera
;
Inkinen, Tommi
Sustainability
2022
/
art. 5002, 17 p
https://doi.org/10.3390/su14095002
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
197
book article EST
/
book article ENG
Clearing the existing fog over the smart sustainable city concept: highlighting the importance of governance
Schuch de Azambuja, Luiza
;
Pereira, Gabriela Viale
;
Krimmer, Robert Johannes
Proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference
2020
/
p. 628–637
https://doi.org/10.1145/3428502.3428595
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Exploring the journey towards smarter sustainable cities : capacity development for evolving governance practices = Teel targemate jätkusuutlike linnade poole : arenevate valitsemisstruktuuride suutlikkuse kasvatamine
198
journal article EST
/
journal article ENG
CLFT : camera-LiDAR fusion transformer for semantic segmentation in autonomous driving
Gu, Junyi
;
Bellone, Mauro
;
Pivonka, Tomas
;
Sell, Raivo
IEEE Transactions on Intelligent Vehicles
2024
/
12 p
https://doi.org/10.1109/TIV.2024.3454971
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
Related publications
1
Advancement in perception capabilities for autonomous vehicles : from dataset collection to scene interpretation = Autonoomsete sõidukite tajuvõimekuse täiustamine : andmekogumisest stseeni tõlgendamiseni
199
journal article EST
/
journal article ENG
Clustering-based penalty signal design for flexibility utilization
Rosin, Argo
;
Ahmadiahangar, Roya
;
Azizi, Elnaz
;
Sahoo, Subham
;
Vinnikov, Dmitri
;
Blaabjerg, Frede
;
Dragicevic, Tomislav
;
Bolouki, Sadegh
IEEE Access
2020
/
p. 208850-208860
https://doi.org/10.1109/ACCESS.2020.3038822
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
200
book article EST
/
book article ENG
CNN based analysis of the Luria’s alternating series test for Parkinson’s disease diagnostics
Zarembo, Sergei
;
Nõmm, Sven
;
Medijainen, Kadri
;
Taba, Pille
;
Toomela, Aaro
Recent Challenges in Intelligent Information and Database Systems : 13th Asian Conference, ACIIDS 2021, Phuket, Thailand, April 7–10, 2021 : proceedings
2021
/
p. 3-13
https://doi.org/10.1007/978-981-16-1685-3_1
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 1825, displaying
176 - 200
previous
4
5
6
7
8
9
10
11
12
13
next
keyword
150
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.
security science and technology
140.
Social Science
141.
social science methodology
142.
sustainability science
143.
Thomson Reuters Web of Science
144.
transdisciplinary science
145.
Web of Science
146.
wood science and technology
147.
World Academy of Art and Science (WAAS)
148.
ȹ-science
149.
φ-science
150.
ϕ-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