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. Software (category)
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
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
338
Look more..
(4/259)
Export
export all inquiry results
(338)
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
126
journal article EST
/
journal article ENG
Finiteness and rational sequences, constructively
Uustalu, Tarmo
;
Veltri, Niccolo
Journal of functional programming
2017
/
art. e13, p. 1-20
https://doi.org/10.1017/S0956796817000041
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
127
book article EST
/
book article ENG
Finiteness of Symbolic Derivatives in Lean
Zhuchko, Ekaterina
;
Maarand, Hendrik
;
Veanes, Margus
;
Ebner, Gabriel
16th International Conference on Interactive Theorem Proving (ITP 2025)
2025
/
p. 16:1-16:19
https://doi.org//10.4230/LIPIcs.ITP.2025.16
Journal metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
128
journal article EST
/
journal article ENG
A flexible enhanced throughput and reduced overhead (FETRO) MAC protocol for ETSI SmartBAN
Khan, Rida
;
Alam, Muhammad Mahtab
;
Guizani, Mohsen
IEEE Transactions on Mobile Computing
2022
/
p. 2671-2686 : ill
https://doi.org/10.1109/TMC.2020.3047596
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
129
journal article EST
/
journal article ENG
Flexible presentations of graded monads
Katsumata, Shin-ya
;
McDermott, Dylan
;
Uustalu, Tarmo
;
Wu, Nicolas
Proceedings of the ACM on Programming Languages
2022
/
art. 123, 28 p
https://doi.org/10.1145/3547654
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
130
book article EST
/
book article ENG
Flow aided path following of an underwater robot
Jung, David S.
;
Pott, Peter P.
;
Salumäe, Taavi
;
Kruusmaa, Maarja
2013 IEEE International Conference on Robotics and Automation (ICRA) : Karlsruhe, Germany, May 6-10, 2013
2013
/
p. 4602-4607 : ill
https://doi.org/10.1109/ICRA.2013.6631231
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
131
book article EST
/
book article ENG
Flow feature extraction for underwater robot localization : preliminary results
Muhammad, Naveed
;
Strokina, Nataliya
;
Toming, Gert
;
Tuhtan, Jeffrey Andrew
;
Kämäräinen, Joni-Kristian
;
Kruusmaa, Maarja
2015 IEEE International Conference on Robotics and Automation (ICRA) : Washington State Convention Center, Seattle, Washington, May 26-30, 2015
2015
/
p. 1125-1130 : ill
https://doi.org/10.1109/ICRA.2015.7139317
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
132
book article EST
/
book article ENG
Foreword
Uustalu, Tarmo
ICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming
2013
/
p. iii
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
133
journal article EST
/
journal article ENG
Formalizing CCS and π-calculus in Guarded Cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
Journal of logical and algebraic methods in programming
2023
/
art. 100846
https://doi.org/10.1016/j.jlamp.2022.100846
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
134
journal article EST
/
journal article ENG
FORTALESA: Fault-tolerant reconfigurable systolic array for DNN inference
Cherezova, Natalia
;
Jutman, Artur
;
Jenihhin, Maksim
Microprocessors and Microsystems
2025
/
art. 105222
https://doi.org/10.1016/j.micpro.2025.105222
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
135
journal article EST
/
journal article ENG
A framework for comprehensive impact assessment in the case of an extreme winter scenario, considering integrative aspects of systemic vulnerability and resilience
Molarius, Riitta
;
Tuomaala, Pekka
;
Piira, Kalevi
;
Räikkönen, Minna
;
Aubrecht, Christoph
;
Polese, Maria
;
Zuccaro, Giulio
;
Pilli-Sihvola, Karoliina
;
Rannat, Kalev
CMES - Computer Modeling in Engineering and Sciences
2015
/
p. 131 - 158
https://www.techscience.com/CMES/v109-110n2/27295
https://doi.org/10.3970/cmes.2015.109.131
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
136
book article EST
/
book article ENG
A Framework for the adoption of blockchain technology in healthcare information management systems : a case study of Nigeria
Azogu, Irene
;
Norta, Alexander
;
Pappel, Ingrid
;
Longo, Justin
;
Draheim, Dirk
Proceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 2019
2019
/
p. 310–316 : ill
https://doi.org/10.1145/3326365.3326405
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
137
book article EST
/
book article ENG
From equations to distinctions: Two interpretations of effectful computations
Voorneveld, Niels Frits Willem
Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020
2020
/
p. 1-17
https://doi.org/10.4204/EPTCS.317.1
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
138
book article EST
/
book article ENG
From structured labs to agile teams : A curriculum-based approach to active learning in first-year computer engineering
Ruberg, Priit
;
Ellervee, Peeter
;
Heinsar, Risto
;
Selg, Hardi
;
Eek, Andres
2025 IEEE Frontiers in Education Conference (FIE)
2025
/
9 p
https://doi.org/10.1109/FIE63693.2025.11328686
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
139
book article EST
/
book article ENG
FROST-EMA: Finnish and Russian Oral Speech Dataset of Electromagnetic Articulography Measurements with L1, L2 and Imitated L2 Accents
Hopponen, Satu
;
Kinnunen, Tomi
;
Nikolaev, Alexandre
;
Gonzalez Hautamäki, Rosa
;
Tavi, Lauri
;
Meister, Einar
Interspeech 2025, Rotterdam, The Netherlands, 17-21 August 2025
2025
/
p. 364-368 : ill
https://www.isca-archive.org/interspeech_2025/hopponen25_interspeech.html#
https://doi.org/10.21437/Interspeech.2025-1853
Journal metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
140
journal article EST
/
journal article ENG
Functional self-test of high-performance pipe-lined signal processing architectures
Gorev, Maksim
;
Ubar, Raimund-Johannes
;
Ellervee, Peeter
;
Devadze, Sergei
;
Raik, Jaan
;
Min, Mart
Microprocessors and microsystems
2015
/
p. 909-918 : ill
https://doi.org/10.1016/j.micpro.2014.11.002
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
141
book article EST
/
book article ENG
Functorial language games for question answering
Felice, Giovanni de
;
Di Lavore, Elena
;
Roman Garcia, Mario
;
Toumi, Alexis
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 311–321
https://doi.org/10.4204/EPTCS.333.21
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
142
journal article EST
/
journal article ENG
Functorial semantics for partial theories
Di Liberti, Ivan
;
Loregian, Fosco
;
Nester, Chad Mitchell
;
Sobocinski, Pawel Maria
Proceedings of the ACM on Programming Languages
2021
/
art. 57, 28 p. : ill
https://doi.org/10.1145/3434338
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
143
book article EST
/
book article ENG
Generating representative executions : extended abstract
Maarand, Hendrik
;
Uustalu, Tarmo
10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 2017
2017
/
p. 39-48 : ill
https://doi.org/10.4204/EPTCS.246.8
Journal metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
144
book article EST
/
book article ENG
Global intelligent governance a collaborative platform
Ganapati, Sukumar
;
Ahn, Michael
;
Chen, Yu-Che
;
Krimmer, Robert Johannes
;
Viale Pereira, Gabriela
;
Pliscoff, Cristian
;
Tseng, Hsien-Lee
;
Wu, Jiannan
DG.O'21: DG.O2021: The 22nd Annual International Conference on Digital Government Research
2021
/
p. 593 - 595
https://doi.org/10.1145/3463677.3463728
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
145
journal article EST
/
journal article ENG
Graphical sequent calculi for modal logics
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Electronic proceedings in theoretical computer science
2017
/
p. 91-103
https://doi.org/10.4204/EPTCS.243.7
Conference proceedings at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
146
journal article EST
/
journal article ENG
Guest editorial: New boundaries for robotics
Kruusmaa, Maarja
;
Tan, Xiaobo
;
Laschi, Cecilia
;
Fioroni, Paolo
;
Madhavan, Raj
Robotics and autonomous systems
2014
/
p. 1-2
https://doi.org/10.1016/j.robot.2012.12.002
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
147
journal article EST
/
journal article ENG
Guest editorial: Smart cities 2.0 : how artificial intelligence and internet of things are transforming urban living
Chai, Zheng-Yi
;
Shah, Syed Attique
;
Draheim, Dirk
;
Hameed, Sufian
;
Rathore, Muhammad Mazhar Ullah
IET Smart Cities
2024
/
p. 129-131
https://doi.org/10.1049/smc2.12091
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
148
journal article EST
/
journal article ENG
Guest editors' foreword
Uustalu, Tarmo
;
Vain, Jüri
Journal of logical and algebraic methods in programming
2016
/
p. 1109
https://doi.org/10.1016/j.jlamp.2016.10.004
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
149
book article EST
/
book article ENG
Guideliner : a tool to improve Web UI development for better usability
Marenkov, Jevgeni
;
Robal, Tarmo
;
Kalja, Ahto
WIMS 2018 : 8th International Conference on Web Intelligence, Mining and Semantics, June 25–27 2018, Novi Sad, Serbia : proceedings
2018
/
art. 17, 9 p. : ill
https://doi.org/10.1145/3227609.3227667
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
150
journal article EST
/
journal article ENG
Gunshot acoustic event identification and shooter localization in a WSN of asynchronous multichannel acoustic ground sensors
Astapov, Sergei
;
Berdnikova, Julia
;
Ehala, Johannes
;
Kaugerand, Jaanus
;
Preden, Jürgo-Sören
Multidimensional systems and signal processing
2018
/
p. 563-595 : ill
https://doi.org/10.1007/s11045-017-0479-7
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 338, displaying
126 - 150
previous
2
3
4
5
6
7
8
9
10
11
next
keyword
249
1.
computer aided software engineering
2.
computer software
3.
Computer software and hardware
4.
computer science
5.
computer science basics
6.
computer science education
7.
logic in computer science
8.
advanced programming and software
9.
agent software architecture
10.
agent-oriented software engineering
11.
Agile software engineering
12.
AI based CAD software
13.
analysis software
14.
Anonymization software
15.
ARIS software
16.
Automated Synthesis of Software-based Self-test
17.
bernese software
18.
business software
19.
CFD (computational fluid dynamics) software
20.
client-vendor relationship in software development
21.
communicating hardware/software systems
22.
communicating software/hardware systems
23.
COMSOL software
24.
educational software
25.
embedded software
26.
energy simulation software
27.
free software
28.
GIS software
29.
hardware/software co-design
30.
hardware-software integration in robotics
31.
interoperability and evolution of healthcare models and software systems
32.
invasive software
33.
large software projects
34.
learning software agents
35.
model-based software development
36.
model-driven software engineering
37.
ontology driven software development
38.
ontology-based software engineering
39.
open source software
40.
optimization software
41.
plagiarism software
42.
public domain software
43.
RETScreen software
44.
self learning software
45.
sensor software
46.
simulation software "Delphin"
47.
simulations with software
48.
social software
49.
software
50.
software architecture
51.
software architecture improvement
52.
software based self-test
53.
software companies
54.
software complexity
55.
software containers
56.
software defined networking
57.
software defined networking (SDN)
58.
software defined networks (SDN)
59.
software defined radio
60.
software defined radio (SDR)
61.
software design
62.
software development
63.
software development concepts
64.
software documentation
65.
software engineering
66.
software engineering education
67.
Software engineering methodology evaluation
68.
software engineering practises
69.
software factory
70.
software for measurements
71.
software implementation
72.
software industry
73.
software level TMR
74.
software modeling
75.
software outsourcing
76.
Software packages
77.
software project management
78.
software qualification
79.
software quality
80.
software quality attributes
81.
software quality characteristics
82.
software refactoring
83.
software sector
84.
software security
85.
software security level
86.
software security subcharacteristics
87.
software testing
88.
software tools for robot programming
89.
software vulnerabilities
90.
software/hardware partitioning
91.
software/hardware systems
92.
software-based self-test
93.
software-based self-test (SBST)
94.
software-defined network
95.
software-defined networking
96.
software-defined networking (SDN)
97.
software-in-the-loop (SIL) testing
98.
SOLIDWORKS software
99.
SysML modeling software
100.
system-to-software integrity
101.
triptych software engineering
102.
computer
103.
computer aided design
104.
computer aided diagnosis
105.
computer aided diagnostics
106.
computer aided instruction
107.
computer aided language translation
108.
computer aided manufacturing
109.
computer aided methods
110.
computer aided testing
111.
computer algebra
112.
computer algebra system
113.
computer and education
114.
computer anxiety
115.
computer architecture
116.
computer assisted language learning
117.
computer based learning
118.
computer circuits
119.
computer control
120.
Computer crime
121.
computer education
122.
computer engineering
123.
computer engineerng
124.
computer game
125.
computer graphics
126.
computer hardware
127.
computer integrated manufacturing
128.
computer network management
129.
computer network operations
130.
computer networks
131.
computer pipelines
132.
computer programming
133.
computer programming languages
134.
computer programs
135.
computer security
136.
computer simulation
137.
computer simulation environments
138.
computer simulations
139.
computer softwaregraph theory
140.
computer systems
141.
Computer systems organization
142.
computer systems programming
143.
computer terminals
144.
computer vision
145.
computer vision-based methods
146.
computer workers
147.
computer-aided anthropometry
148.
computer-aided architectural design (CAAD)
149.
computer‐aided assessment
150.
computer-aided design
151.
computer-aided design (CAD)
152.
computer-aided detection
153.
computer‐aided detection
154.
computer-aided diagnosis
155.
computer-aided drawing (CAD)
156.
computer-aided engineering
157.
computer-aided teaching
158.
Computer-Aided Tuning
159.
computer-aided tuning (CAT)
160.
computer-assisted language learning (CALL)
161.
computer-oriented technologies
162.
computer-supported decision-making
163.
computer-use
164.
computer-workers
165.
control engineering computer applications
166.
distributed computer systems
167.
education in computer engineering
168.
fault tolerant computer systems
169.
fifth generation computer
170.
gateways (computer networks)
171.
high-performance computer systems
172.
human computer interaction
173.
human computer interaction (HCI)
174.
human-computer interaction
175.
human–computer interaction
176.
Human-Computer Interaction (HCI)
177.
human-computer interface
178.
human-computer trust
179.
interactive computer graphics
180.
laptop computer
181.
single board computer
182.
single-board computer
183.
structure computer analysis
184.
ubiquitous computer technology
185.
Web and computer-based learning
186.
applied science
187.
big data science
188.
chemistry and philosophy of science
189.
citizen science
190.
citizen science hub
191.
classical exact science
192.
cognitive science
193.
computational social science
194.
data science
195.
data-science
196.
decision science
197.
design science
198.
design science research
199.
design-science
200.
energy science and technology
201.
engineering pedagogy science
202.
environmental science
203.
ethics of science
204.
exact science
205.
food science
206.
forensic science
207.
logic of science
208.
materials science
209.
NATO. Science for Peace and Security Program
210.
non-classical exact science
211.
philosophy of science
212.
physics and philosophy of science
213.
planetary science
214.
political science
215.
popular science literature
216.
post normal science
217.
post-normal science
218.
Q science
219.
science
220.
science advisors
221.
science and arts
222.
science and technology libraries
223.
science and technology parks
224.
Science Education
225.
science fiction
226.
science gateway
227.
science integration
228.
science mapping
229.
science policy
230.
science technology and innovation
231.
science technology innovation
232.
Science, Technology and Innovation Policy
233.
science-based industries
234.
science-driven models
235.
science-policy-society interface
236.
Security and political science
237.
security science and technology
238.
Social Science
239.
social science methodology
240.
sustainability science
241.
Thomson Reuters Web of Science
242.
transdisciplinary science
243.
values in science
244.
Web of Science
245.
wood science and technology
246.
World Academy of Art and Science (WAAS)
247.
ȹ-science
248.
φ-science
249.
ϕ-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 Software Science
2.
Department of Computer Systems
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