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
695
Look more..
(4/163)
Export
export all inquiry results
(695)
Save TXT 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
76
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
77
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
78
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
79
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
80
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
81
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
82
journal article EST
/
journal article ENG
Charge Diagnostics and State Estimation of Battery Energy Storage Systems Through Transformer Models
Zequera, Rolando Antonio Gilbert
;
Rassõlkin, Anton
;
Vaimann, Toomas
;
Kallaste, Ants
IEEE Access
2025
/
p. 17733–17744 : ill
https://doi.org//10.1109/ACCESS.2025.3532858
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Artificial Intelligence-Based Predictive Analytics for Battery Energy Storage Systems in Electric Vehicle Applications = Tehisintellektil põhinev ennustav andmeanalüüs akupõhiste energiasalvestussüsteemide jaoks elektrisõidukites
83
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
84
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
85
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
86
journal article EST
/
journal article ENG
Coalgebraic update lenses
Ahman, Danel
;
Uustalu, Tarmo
Electronic notes in theoretical computer science
2014
/
p. 25-48 : ill
https://doi.org/10.1016/j.entcs.2014.10.003
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
87
book article EST
/
book article ENG
A coalgebraic view of bar recursion and bar induction
Capretta, Venanzio
;
Uustalu, Tarmo
Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
2016
/
p. 91-106
https://doi.org/10.1007/978-3-662-49630-5_6
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
88
journal article EST
/
journal article ENG
Codensity lifting of monads and its dual
Katsumata, Shin-ya
;
Sato, Tetsuya
;
Uustalu, Tarmo
Logical methods in computer science
2018
/
p. 1-31
https://doi.org/10.23638/LMCS-14(4:6)2018
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
89
journal article EST
/
journal article ENG
Coends of higher arity
Loregian, Fosco
;
de Oliveira Santos, Theo
Applied categorical structures
2022
/
p. 173-221
https://doi.org/10.1007/s10485-021-09653-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
90
journal article EST
/
journal article ENG
Cogniflow-drop : integrated modular system for automated generation of droplets in microfluidic applications
Jõemaa, Rauno
;
Gyimah, Nafisat
;
Ashraf, Kanwal
;
Pärnamets, Kaiser
;
Zaft, Alexander
;
Scheler, Ott
;
Rang, Toomas
;
Pardy, Tamas
IEEE Access
2023
/
p. 104905-104929
https://doi.org/10.1109/ACCESS.2023.3316726
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
3
Co-design of wireless networked control systems : model-based architecture and joint optimization = Juhtmevabade võrgustatud juhtimissüsteemide koosdisain : mudelipõhine arhitektuur ja ühisoptimeerimine
Development of a transferable microfluidic droplet generator = Ülekantava mikrovedelik-tilkade generaatori arendus
Closed-loop droplet size control in microfluidics = Suletud ahelaga tilkade suuruse juhtimine mikrofluidikas
91
book article EST
/
book article ENG
Coherence via focusing for symmetric skew monoidal categories
Veltri, Niccolo
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings
2021
/
p. 184-200
https://doi.org/10.1007/978-3-030-88853-4_12
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
92
book article EST
/
book article ENG
Collaborative project management framework for partner network initiation in machining domain [Online resource]
Ševtšenko, Eduard
;
Polyantchikov, Igor
;
Mahmood, Kashif
;
Kangilaski, Taivo
;
Norta, Alexander
;
Karaulova, Tatjana
;
Perm, Ardo
Proceedings of the 18th Online World Conference on Soft Computing in Industrial Applications (WSC18)
2018
/
p. 215-233 : ill
https://doi.org/10.1007/978-3-030-00612-9_19
https://link.springer.com/content/pdf/bfm%3A978-3-030-00612-9%2F1.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
93
journal article EST
/
journal article ENG
Combining algebraic effect descriptions using the tensor of complete lattices
Voorneveld, Niels Frits Willem
Electronic notes in theoretical computer science
2020
/
p. 257-281
https://doi.org/10.1016/j.entcs.2020.09.013
Journal metrics at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
94
book article EST
/
book article ENG
Combining fuzzy and probabilistic reasoning for crowd-sourced categorization and tagging
Tammet, Tanel
;
Luberg, Ago
Web Reasoning and Rule Systems : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014 : proceedings
2014
/
p. 247-248
https://link.springer.com/book/10.1007/978-3-319-11113-1
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
95
book article EST
/
book article ENG
Combining semantic parsing frameworks for automated knowledge base construction
Verrev, Martin
AI^3 2022 : 6th Workshop on Advances in Argumentation in Artificial Intelligence
2022
https://ceur-ws.org/Vol-3354/paper1.pdf
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
96
journal article EST
/
journal article ENG
Compact empirical model for droplet generation in a Lab-on-Chip cytometry system
Pärnamets, Kaiser
;
Udal, Andres
;
Koel, Ants
;
Pardy, Tamas
;
Gyimah, Nafisat
;
Rang, Toomas
IEEE Access
2022
/
p. 127708-127717
https://doi.org/10.1109/ACCESS.2022.3226623
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
2
Optical detection methods for droplet microfluidic applications = Optilised tuvastusmeetodid tilkade mikrofluidiliste rakenduste jaoks
Closed-loop droplet size control in microfluidics = Suletud ahelaga tilkade suuruse juhtimine mikrofluidikas
97
journal article EST
/
journal article ENG
Comparative Study of Advanced Heatsink Structures for Improved Thermal Performance in Axial Flux Motors
Sarap, Martin
;
Singh, Shalini
;
Kallaste, Ants
;
Qureshi, Ahmed Jawad
;
Tiismus, Hans
;
Vaimann, Toomas
;
Shams Ghahfarokhi, Payam
IEEE Access
2025
/
p. 100850-100860
https://doi.org/10.1109/ACCESS.2025.3577289
metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Additively manufactured advanced thermal management solutions for electrical machines = Kihtlisandusmeetodil valmistatud täiustatud jahutuslahendused elektrimasinatele
98
journal article EST
/
journal article ENG
Comparison of LPV and nonlinear system theory : a realization problem
Belikov, Juri
;
Kotta, Ülle
;
Tõnso, Maris
Systems & control letters
2014
/
p. 72-78
https://doi.org/10.1016/j.sysconle.2013.10.009
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
99
book article EST
/
book article ENG
Comparison of matrix reordering algorithms based on monotone systems
Lind, Grete
;
Kuusik, Rein, inform.
The Fifteenth International Conference on Concept Lattices and Their Applications : CLA 2020, Tallinn, Estonia, June 29-July 1, 2020
2020
/
p. 281-286
https://www.ester.ee/record=b5353358*est
http://ceur-ws.org/Vol-2668/short2.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
100
journal article EST
/
journal article ENG
Compensation topologies in IPT Systems : standards, requirements, classification, analysis, comparison and application
Shevchenko, Viktor
;
Husev, Oleksandr
;
Strzelecki, Ryszard
IEEE Access
2019
/
art. 2937891, p. 120559–120580 : ill
https://doi.org/10.1109/ACCESS.2019.2937891
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 695, displaying
76 - 100
previous
1
2
3
4
5
6
7
8
9
10
next
keyword
153
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 systems programming
49.
computer terminals
50.
computer vision
51.
computer vision-based methods
52.
computer workers
53.
computer-aided anthropometry
54.
computer-aided architectural design (CAAD)
55.
computer‐aided assessment
56.
computer-aided design
57.
computer-aided design (CAD)
58.
computer-aided detection
59.
computer‐aided detection
60.
computer-aided diagnosis
61.
computer-aided drawing (CAD)
62.
computer-aided engineering
63.
computer-aided teaching
64.
Computer-Aided Tuning
65.
computer-aided tuning (CAT)
66.
computer-assisted language learning (CALL)
67.
computer-oriented technologies
68.
computer-supported decision-making
69.
computer-use
70.
computer-workers
71.
control engineering computer applications
72.
distributed computer systems
73.
education in computer engineering
74.
fifth generation computer
75.
gateways (computer networks)
76.
high-performance computer systems
77.
human computer interaction
78.
human computer interaction (HCI)
79.
human-computer interaction
80.
human–computer interaction
81.
Human-Computer Interaction (HCI)
82.
human-computer trust
83.
interactive computer graphics
84.
laptop computer
85.
single board computer
86.
single-board computer
87.
structure computer analysis
88.
ubiquitous computer technology
89.
Web and computer-based learning
90.
applied science
91.
big data science
92.
chemistry and philosophy of science
93.
citizen science
94.
citizen science hub
95.
classical exact science
96.
cognitive science
97.
computational social science
98.
data science
99.
data-science
100.
decision science
101.
design science
102.
design science research
103.
design-science
104.
energy science and technology
105.
engineering pedagogy science
106.
environmental science
107.
ethics of science
108.
exact science
109.
food science
110.
forensic science
111.
logic of science
112.
materials science
113.
NATO. Science for Peace and Security Program
114.
non-classical exact science
115.
philosophy of science
116.
physics and philosophy of science
117.
planetary science
118.
political science
119.
popular science literature
120.
post normal science
121.
post-normal science
122.
Q science
123.
science
124.
science advisors
125.
science and arts
126.
science and technology libraries
127.
science and technology parks
128.
Science Education
129.
science fiction
130.
science gateway
131.
science integration
132.
science mapping
133.
science policy
134.
science technology and innovation
135.
science technology innovation
136.
Science, Technology and Innovation Policy
137.
science-based industries
138.
science-driven models
139.
science-policy-society interface
140.
Security and political science
141.
security science and technology
142.
Social Science
143.
social science methodology
144.
sustainability science
145.
Thomson Reuters Web of Science
146.
transdisciplinary science
147.
values in science
148.
Web of Science
149.
wood science and technology
150.
World Academy of Art and Science (WAAS)
151.
ȹ-science
152.
φ-science
153.
ϕ-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