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
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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
264
Look more..
(3/220)
Export
export all inquiry results
(264)
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
251
journal article EST
/
journal article ENG
Understanding multidimensional verification : where functional meets non-functional
Lai, Xinhui
;
Balakrishnan, Aneesh
;
Lange, Thomas
;
Jenihhin, Maksim
;
Ghasempouri, Tara
;
Raik, Jaan
;
Alexandrescu, Dan
Microprocessors and microsystems
2019
/
art. 102867, 13 p. : ill
https://doi.org/10.1016/j.micpro.2019.102867
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
2
A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
252
book article EST
/
book article ENG
A unifying categorical view of nondeterministic iteration and tests
Goncharov, Sergey
;
Uustalu, Tarmo
35th International Conference on Concurrency Theory (CONCUR 2024)
2024
/
art. 25
https://doi.org/10.4230/LIPIcs.CONCUR.2024.25
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
253
book article EST
/
book article ENG
The use of AI in public services : results from a preliminary mapping across the EU
Misuraca, Gianluca
;
Noordt, Colin Pascal van
;
Boukli, Anys
Proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference
2020
/
p. 90-99
https://doi.org/10.1145/3428502.3428513
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
254
book article EST
/
book article ENG
Using blockchain for optimal and transparent resource allocation : a proposed solution for fund allocation : brief overview
Voicu-Dorobantu, Roxana
;
Udokwu, Chibuzor
;
Bocse, Bogdan
ICEEG '21: Proceedings of the 5th International Conference on E-Commerce, E-Business and E-Government
2021
/
p. 35-38
https://doi.org/10.1145/3466029.3466056
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
255
journal article EST
/
journal article ENG
Using reinforcement learning to optimize the acceptance threshold of a credit scoring model
Herasymovych, Mykola
;
Märka, Karl
;
Lukason, Oliver
Applied Soft Computing Journal
2019
/
Art. 105697
https://doi.org/10.1016/j.asoc.2019.105697
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
256
journal article EST
/
journal article ENG
Using spark to ensure system to software integrity : a case study
Näks, Tõnu
;
Aiello, M.A.
;
Taft, S.T.
Ada user journal
2019
/
p. 226-229 : ill
https://www.ada-switzerland.ch/doc/auj/auj-40-4.pdf
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
257
journal article EST
/
journal article ENG
Using STLs for effective in-field test of GPUs
Rodriguez Condia, Josie E.
;
Da Silva, Felipe Augusto
;
Bagbaba, Ahmet Cagrl
;
Guerrero-Balaguera, Juan-David
;
Hamdioui, Said
;
Sauer, Christian
;
Reorda, Matteo Sonza
IEEE Design and Test
2023
/
p. 109-117
https://doi.org/10.1109/MDAT.2022.3188573
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
258
book article EST
/
book article ENG
Validating the usage of occupational classification systems in the process of creating a national virtual competency assistant within the EU labor market
Liutkevičius, Markko
;
Erlenheim, Regina
Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 – 8 October 2021, Athens, Greece
2022
/
p. 254−259
https://doi.org/10.1145/3494193.3494228
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Enhancing public employment services with AI-enabled virtual competence assistant = Avalike tööturuteenuste parendamine tehisintellektil põhineva virtuaalse kompetentsiassistendiga
259
book article EST
/
book article ENG
Variations on Noetherianness
Firsov, Denis
;
Uustalu, Tarmo
;
Veltri, Niccolo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 76-88 : ill
https://doi.org/10.4204/eptcs.207.4
Journal metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
260
book article EST
/
book article ENG
VEDA - moVE DAta to balance the grid : research directions and recommendations for exploiting data centers flexibility within the power system
Ziagham Ahwazi, Amin
;
Bordin, Chiara
;
Mishra, Sambeet
;
Ha, Phuong H.
;
Horsch, Alexander
ICSCC '21: Proceedings of the 2021 6th International Conference on Systems, Control and Communications
2021
/
p. 13-18
https://doi.org/10.1145/3510362.3510365
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
261
journal article EST
/
journal article ENG
Versatile direct and transpose matrix multiplication with chained operations : an optimized architecture using circulant matrices
Iakymchuk, Taras
;
Rosado-Munoz, Alfredo
;
Mompean, Manuel Bataller
;
Villora, Jose Vicente Frances
;
Osimiry, Emmanuel Ovie
IEEE Transactions on Computers
2016
/
p. 3470 - 3479
https://doi.org/10.1109/TC.2016.2538235
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
262
book article EST
/
book article ENG
What makes a strong monad?
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming
2022
/
p. 113-133
https://doi.org/10.4204/EPTCS.360.6
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
263
book article EST
/
book article ENG
Whisker-based tactile navigation algorithm for underground robots
Kossas, Tanel
;
Remmas, Mohamed Walid
;
Gkliva, Roza
;
Ristolainen, Asko
;
Kruusmaa, Maarja
2024 IEEE International Conference on Robotics and Automation (ICRA)
2024
/
p. 13164-13170
https://doi.org/10.1109/ICRA57147.2024.10610762
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
264
journal article EST
/
journal article ENG
A visual-semantic approach for building content-based recommender systems
Bendouch, Mounir M.
;
Frasincar, Flavius
;
Robal, Tarmo
Information systems
2023
/
art. 102243, 12 p. : ill
https://doi.org/10.1016/j.is.2023.102243
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 264, displaying
251 - 264
previous
2
3
4
5
6
7
8
9
10
11
next
keyword
213
1.
computer software
2.
computer science
3.
computer science basics
4.
computer science education
5.
logic in computer science
6.
advanced programming and software
7.
agent software architecture
8.
agent-oriented software engineering
9.
Agile software engineering
10.
AI based CAD software
11.
analysis software
12.
Anonymization software
13.
ARIS software
14.
bernese software
15.
business software
16.
CFD (computational fluid dynamics) software
17.
client-vendor relationship in software development
18.
communicating hardware/software systems
19.
communicating software/hardware systems
20.
COMSOL software
21.
educational software
22.
embedded software
23.
energy simulation software
24.
free software
25.
GIS software
26.
hardware/software co-design
27.
interoperability and evolution of healthcare models and software systems
28.
invasive software
29.
large software projects
30.
learning software agents
31.
model-based software development
32.
ontology driven software development
33.
ontology-based software engineering
34.
open source software
35.
optimization software
36.
plagiarism software
37.
public domain software
38.
RETScreen software
39.
self learning software
40.
sensor software
41.
simulation software "Delphin"
42.
simulations with software
43.
social software
44.
software
45.
software architecture
46.
software based self-test
47.
software companies
48.
software complexity
49.
software containers
50.
software defined networking
51.
software defined networking (SDN)
52.
software defined networks (SDN)
53.
software defined radio
54.
software design
55.
software development
56.
software development concepts
57.
software engineering
58.
software engineering education
59.
Software engineering methodology evaluation
60.
software engineering practises
61.
software factory
62.
software for measurements
63.
software implementation
64.
software level TMR
65.
software modeling
66.
software outsourcing
67.
Software packages
68.
software project management
69.
software qualification
70.
software quality
71.
software sector
72.
software testing
73.
software/hardware partitioning
74.
software/hardware systems
75.
software-based self-test
76.
software-based self-test (SBST)
77.
software-defined network
78.
software-defined networking
79.
software-defined networking (SDN)
80.
software-in-the-loop (SIL) testing
81.
SOLIDWORKS software
82.
SysML modeling software
83.
system-to-software integrity
84.
triptych software engineering
85.
computer
86.
computer aided design
87.
computer aided diagnosis
88.
computer aided diagnostics
89.
computer aided instruction
90.
computer aided language translation
91.
computer aided manufacturing
92.
computer aided testing
93.
computer algebra
94.
computer algebra system
95.
computer and education
96.
computer anxiety
97.
computer architecture
98.
computer assisted language learning
99.
computer based learning
100.
computer circuits
101.
computer control
102.
Computer crime
103.
computer education
104.
computer engineering
105.
computer engineerng
106.
computer game
107.
computer graphics
108.
computer hardware
109.
computer integrated manufacturing
110.
computer network management
111.
computer network operations
112.
computer networks
113.
computer pipelines
114.
computer programming
115.
computer programs
116.
computer security
117.
computer simulation
118.
computer simulation environments
119.
computer simulations
120.
computer softwaregraph theory
121.
computer systems
122.
Computer systems organization
123.
computer terminals
124.
computer vision
125.
computer workers
126.
computer-aided anthropometry
127.
computer-aided architectural design (CAAD)
128.
computer‐aided assessment
129.
computer-aided design
130.
computer-aided design (CAD)
131.
computer-aided detection
132.
computer‐aided detection
133.
computer-aided diagnosis
134.
computer-aided drawing (CAD)
135.
computer-aided engineering
136.
computer-aided teaching
137.
Computer-Aided Tuning
138.
computer-aided tuning (CAT)
139.
computer-assisted language learning (CALL)
140.
computer-oriented technologies
141.
computer-supported decision-making
142.
computer-use
143.
control engineering computer applications
144.
distributed computer systems
145.
education in computer engineering
146.
fifth generation computer
147.
gateways (computer networks)
148.
high-performance computer systems
149.
human computer interaction
150.
human computer interaction (HCI)
151.
human-computer interaction
152.
Human-Computer Interaction (HCI)
153.
human-computer trust
154.
interactive computer graphics
155.
laptop computer
156.
single board computer
157.
single-board computer
158.
structure computer analysis
159.
ubiquitous computer technology
160.
Web and computer-based learning
161.
applied science
162.
big data science
163.
chemistry and philosophy of science
164.
citizen science
165.
citizen science hub
166.
classical exact science
167.
computational social science
168.
data science
169.
data-science
170.
design science
171.
design science research
172.
design-science
173.
energy science and technology
174.
engineering pedagogy science
175.
environmental science
176.
ethics of science
177.
exact science
178.
food science
179.
materials science
180.
NATO. Science for Peace and Security Program
181.
non-classical exact science
182.
philosophy of science
183.
physics and philosophy of science
184.
planetary science
185.
political science
186.
popular science literature
187.
post normal science
188.
post-normal science
189.
Q science
190.
science
191.
science advisors
192.
science and arts
193.
science and technology libraries
194.
science and technology parks
195.
science fiction
196.
science gateway
197.
science integration
198.
science mapping
199.
science policy
200.
science technology innovation
201.
Science, Technology and Innovation Policy
202.
science-based industries
203.
science-driven models
204.
science-policy-society interface
205.
Social Science
206.
social science methodology
207.
sustainability science
208.
transdisciplinary science
209.
Web of Science
210.
World Academy of Art and Science (WAAS)
211.
ȹ-science
212.
φ-science
213.
ϕ-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
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
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT