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
Advanced search
My bookmarks
0
Computer science. Software (category)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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
304
Look more..
(4/251)
Export
export all inquiry results
(304)
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
201
journal article EST
/
journal article ENG
Parkinson's disease diagnostics based on the analysis of digital sentence writing test
Netšunajev, Aleksei
;
Nõmm, Sven
;
Toomela, Aaro
;
Medijainen, Kadri
;
Taba, Pille
Vietnam journal of computer science
2021
/
p. 493-512
https://doi.org/10.1142/S2196888821500238
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
202
book article EST
/
book article ENG
Partiality and container monads
Uustalu, Tarmo
;
Veltri, Niccolo
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts
2017
/
p. 99-100
https://types2017.elte.hu/proc.pdf#page=107
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
203
journal article EST
/
journal article ENG
Physics based compressive sensing to enable digital twins of additive manufacturing processes
Lu, Yanglong
;
Ševtšenko, Eduard
;
Wang, Yan
Journal of computing and information science in engineering
2021
/
031009, 30 p
https://doi.org/10.1115/1.4050377
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
204
book article EST
/
book article ENG
Piloting smart city solutions in very small, small and medium-sized municipalities. The Estonian case study
Sarv, Lill
;
Soe, Ralf-Martin
ICEGOV '22 : Proceedings of the 15th International Conference on Theory and Practice of Electronic Governance
2022
/
p. 475-482
https://doi.org/10.1145/3560107.3560179
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
205
journal article EST
/
journal article ENG
Plotkin's call-by-value λ-calculus as a modal calculus
Espírito Santo, José
;
Pinto, Luis
;
Uustalu, Tarmo
Journal of Logical and Algebraic Methods in Programming
2022
/
art. 100775, 17 p
https://doi.org/10.1016/j.jlamp.2022.100775
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
206
book article EST
/
book article ENG
Policy and legal environment analysis for e-Government services migration to the public cloud
Kotka, Taavi
;
Kask, Laura
;
Raudsepp, Karoliina
;
Storch, Tyson
;
Radloff, Rebecca
;
Liiv, Innar
ICEGOV '15-16 : proceedings of the 9th International Conference on Theory and Practice of Electronic Governance : Montevideo, Uruguay, March 1-3, 2016
2016
/
p. 103-108 : ill
https://doi.org/10.1145/2910019.2910056
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
207
book article EST
/
book article ENG
A pragmatic methodology for blind hardware trojan insertion in finalized layouts
Hepp, Alexander
;
Perez, Tiago Diadami
;
Pagliarini, Samuel Nascimento
;
Sigl, Georg
ICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design
2022
/
art. 69, p. 1-9 : ill
https://doi.org/10.1145/3508352.3549452
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees
208
journal article EST
/
journal article ENG
Predicting fuel properties using chemometrics : a review and an extension to temperature dependent physical properties by using infrared spectroscopy to predict density
Baird, Zachariah Steven
;
Oja, Vahur
Chemometrics and intelligent laboratory systems
2016
/
p. 41-47 : ill
https://doi.org/10.1016/j.chemolab.2016.08.004
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
209
journal article EST
/
journal article ENG
Preface
Matthes, Ralph
;
Uustalu, Tarmo
RAIRO - Theoretical Informatics and Applications
2013
/
p. 1-2
https://doi.org/10.1051/ita/2012026
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
210
book article EST
/
book article ENG
A privacy-protecting data-exchange wallet with ownership- and monetization capabilities
Norta, Alexander
;
Hawthorne, Daniel
;
Engel, Serafin L.
2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings
2018
/
p. 4121-4128 : ill
https://doi.org/10.1109/IJCNN.2018.8489551
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
211
book article EST
/
book article ENG
The produoidal algebra of process decomposition
Earnshaw, Matthew David
;
Hefford, James
;
Román, Mario
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
2024
/
art. 25, 19 p. ill
https://doi.org/10.4230/LIPIcs.CSL.2024.25
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
212
book article EST
/
book article ENG
Promonads and string diagrams for effectful categories
Roman Garcia, Mario
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 344−361
https://doi.org/10.4204/EPTCS.380.20
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
213
book article EST
/
book article ENG
Proof theory of partially normal skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 1-17
https://doi.org/10.48550/arXiv.2101.10487
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
214
book article EST
/
book article ENG
Proof theory of skew non-commutative MILL
Uustalu, Tarmo
;
Veltri, Niccolo
;
Wan, Cheng-Syuan
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
2022
/
p. 118-135
https://doi.org/10.4204/EPTCS.358.9
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
215
journal article EST
/
journal article ENG
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
216
journal article EST
/
journal article ENG
Protocol choice and iteration for the free cornering
Nester, Chad Mitchell
;
Voorneveld, Niels
Journal of logical and algebraic methods in programming
2024
/
art. 100942, 30 p
https://doi.org/10.1016/j.jlamp.2023.100942
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
217
book article EST
/
book article ENG
Public acceptance of advanced identity documents
Kalvet, Tarmo
;
Tiits, Marek
;
Laas-Mikko, Katrin
ICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland
2018
/
p. 429-432
https://doi.org/10.1145/3209415.3209456
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
218
journal article EST
/
journal article ENG
Quadratic/linear rational spline histopolation
Hallik, Helle
;
Oja, Peeter
BIT numerical mathematics
2017
/
p. 629-648 : ill
https://doi.org/10.1007/s10543-017-0645-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
219
journal article EST
/
journal article ENG
Radio resource management in NB-IoT systems : empowered by interference prediction and flexible duplexing
Malik, Hassan
;
Alam, Muhammad Mahtab
;
Pervaiz, Haris
;
Le Moullec, Yannick
;
Al-Dulaimi, Anwer
;
Pärand, Sven
;
Reggiani, Luca
IEEE Network
2020
/
Art. nr. 8839971
https://doi.org/10.1109/MNET.001.1900087
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
220
journal article EST
/
journal article ENG
Realization of nonlinear input-output equations in controller canonical form
Kaldmäe, Arvo
;
Kotta, Ülle
Kybernetika
2018
/
p. 736-747
https://doi.org/10.14736/kyb-2018-4-0736
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
221
book article EST
/
book article ENG
Real-time crack detection on concrete using non-destructive approaches based on Yolo series : Review
Bassir, David
;
Chang, Haochen
;
Majak, Jüri
Advances in Machinery, Materials Science and Engineering Application X : Proceedings of the 10th International Conference (MMSE 2024), Paris, France, 27–28 July 2024
2024
/
p. 820-826
https://doi.org/10.3233/ATDE240712
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
222
journal article EST
/
journal article ENG
Real-time demands and calibration of water distribution systems
Vassiljev, Anatoli
;
Koor, Margus
;
Koppel, Tiit
Advances in engineering software
2015
/
p. 108-113 : ill
https://doi.org/10.1016/j.advengsoft.2015.06.012
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
223
book article EST
/
book article ENG
Real-time localization and visualization of a sound source for virtual reality application
Köse, Ahmet
;
Tepljakov, Aleksei
;
Astapov, Sergei
2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) : Split, Croatia, September 21-23, 2017
2017
/
p 219-224 : ill
https://doi.org/10.23919/SOFTCOM.2017.8115577
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
224
book article EST
/
book article ENG
Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward induction
Iqbal, Junaid
;
Truscan, Dragos
;
Vain, Jüri
;
Porres, Ivan
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems
2017
/
10 pages : ill
https://doi.org/10.1145/3123779.3123813
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
225
book article EST
/
book article ENG
Regular monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Leibniz International Proceedings in Informatics, LIPIcs
2022
/
p. 44:1-44:14
https://doi.org/10.4230/LIPIcs.MFCS.2022.44
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Languages of string diagrams = Nöördiagrammide keeled
Number of records 304, displaying
201 - 225
previous
4
5
6
7
8
9
10
11
12
13
next
keyword
241
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.
interoperability and evolution of healthcare models and software systems
31.
invasive software
32.
large software projects
33.
learning software agents
34.
model-based software development
35.
model-driven software engineering
36.
ontology driven software development
37.
ontology-based software engineering
38.
open source software
39.
optimization software
40.
plagiarism software
41.
public domain software
42.
RETScreen software
43.
self learning software
44.
sensor software
45.
simulation software "Delphin"
46.
simulations with software
47.
social software
48.
software
49.
software architecture
50.
software architecture improvement
51.
software based self-test
52.
software companies
53.
software complexity
54.
software containers
55.
software defined networking
56.
software defined networking (SDN)
57.
software defined networks (SDN)
58.
software defined radio
59.
software defined radio (SDR)
60.
software design
61.
software development
62.
software development concepts
63.
software documentation
64.
software engineering
65.
software engineering education
66.
Software engineering methodology evaluation
67.
software engineering practises
68.
software factory
69.
software for measurements
70.
software implementation
71.
software level TMR
72.
software modeling
73.
software outsourcing
74.
Software packages
75.
software project management
76.
software qualification
77.
software quality
78.
software quality attributes
79.
software quality characteristics
80.
software refactoring
81.
software sector
82.
software security
83.
software security level
84.
software security subcharacteristics
85.
software testing
86.
software/hardware partitioning
87.
software/hardware systems
88.
software-based self-test
89.
software-based self-test (SBST)
90.
software-defined network
91.
software-defined networking
92.
software-defined networking (SDN)
93.
software-in-the-loop (SIL) testing
94.
SOLIDWORKS software
95.
SysML modeling software
96.
system-to-software integrity
97.
triptych software engineering
98.
computer
99.
computer aided design
100.
computer aided diagnosis
101.
computer aided diagnostics
102.
computer aided instruction
103.
computer aided language translation
104.
computer aided manufacturing
105.
computer aided methods
106.
computer aided testing
107.
computer algebra
108.
computer algebra system
109.
computer and education
110.
computer anxiety
111.
computer architecture
112.
computer assisted language learning
113.
computer based learning
114.
computer circuits
115.
computer control
116.
Computer crime
117.
computer education
118.
computer engineering
119.
computer engineerng
120.
computer game
121.
computer graphics
122.
computer hardware
123.
computer integrated manufacturing
124.
computer network management
125.
computer network operations
126.
computer networks
127.
computer pipelines
128.
computer programming
129.
computer programming languages
130.
computer programs
131.
computer security
132.
computer simulation
133.
computer simulation environments
134.
computer simulations
135.
computer softwaregraph theory
136.
computer systems
137.
Computer systems organization
138.
computer terminals
139.
computer vision
140.
computer vision-based methods
141.
computer workers
142.
computer-aided anthropometry
143.
computer-aided architectural design (CAAD)
144.
computer‐aided assessment
145.
computer-aided design
146.
computer-aided design (CAD)
147.
computer-aided detection
148.
computer‐aided detection
149.
computer-aided diagnosis
150.
computer-aided drawing (CAD)
151.
computer-aided engineering
152.
computer-aided teaching
153.
Computer-Aided Tuning
154.
computer-aided tuning (CAT)
155.
computer-assisted language learning (CALL)
156.
computer-oriented technologies
157.
computer-supported decision-making
158.
computer-use
159.
computer-workers
160.
control engineering computer applications
161.
distributed computer systems
162.
education in computer engineering
163.
fifth generation computer
164.
gateways (computer networks)
165.
high-performance computer systems
166.
human computer interaction
167.
human computer interaction (HCI)
168.
human-computer interaction
169.
human–computer interaction
170.
Human-Computer Interaction (HCI)
171.
human-computer trust
172.
interactive computer graphics
173.
laptop computer
174.
single board computer
175.
single-board computer
176.
structure computer analysis
177.
ubiquitous computer technology
178.
Web and computer-based learning
179.
applied science
180.
big data science
181.
chemistry and philosophy of science
182.
citizen science
183.
citizen science hub
184.
classical exact science
185.
cognitive science
186.
computational social science
187.
data science
188.
data-science
189.
decision science
190.
design science
191.
design science research
192.
design-science
193.
energy science and technology
194.
engineering pedagogy science
195.
environmental science
196.
ethics of science
197.
exact science
198.
food science
199.
forensic science
200.
logic of science
201.
materials science
202.
NATO. Science for Peace and Security Program
203.
non-classical exact science
204.
philosophy of science
205.
physics and philosophy of science
206.
planetary science
207.
political science
208.
popular science literature
209.
post normal science
210.
post-normal science
211.
Q science
212.
science
213.
science advisors
214.
science and arts
215.
science and technology libraries
216.
science and technology parks
217.
science fiction
218.
science gateway
219.
science integration
220.
science mapping
221.
science policy
222.
science technology and innovation
223.
science technology innovation
224.
Science, Technology and Innovation Policy
225.
science-based industries
226.
science-driven models
227.
science-policy-society interface
228.
Security and political science
229.
security science and technology
230.
Social Science
231.
social science methodology
232.
sustainability science
233.
Thomson Reuters Web of Science
234.
transdisciplinary science
235.
values in science
236.
Web of Science
237.
wood science and technology
238.
World Academy of Art and Science (WAAS)
239.
ȹ-science
240.
φ-science
241.
ϕ-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