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 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
279
Look more..
(4/231)
Export
export all inquiry results
(279)
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
1
journal article EST
/
journal article ENG
Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
p. 1177-1200 : ill
https://doi.org/10.1016/j.jlamp.2016.07.001
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
Achieving of Magnus effect with Agros Suite
Lukin, Aleksandr
;
Demidova, Galina
;
Rassõlkin, Anton
Periodica polytechnica electrical engineering and computer science
2021
/
p. 131-137 : ill
https://doi.org/10.3311/PPee.17743
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
3
book article EST
/
book article ENG
AdAM: adaptive fault-tolerant approximate multiplier for edge DNN accelerators
Taheri, Mahdi
;
Cherezova, Natalia
;
Nazari, Samira
;
Rafiq, Ahsan
;
Azarpeyvand, Ali
;
Ghasempouri, Tara
;
Daneshtalab, Masoud
;
Raik, Jaan
;
Jenihhin, Maksim
2024 IEEE European Test Symposium (ETS): ETS 2024 : May 20-24, 2024, The Hague, Netherlands : proceedings
2024
https://doi.org/10.1109/ETS61313.2024.10567161
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
4
journal article EST
/
journal article ENG
Adaptability, interpretability and rule weights in fuzzy rule-based systems
Riid, Andri
;
Rüstern, Ennu
Information sciences
2014
/
p. 301-312 : ill
https://doi.org/10.1016/j.ins.2012.12.048
Journal metrics at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
5
book article EST
/
book article ENG
Addressing scalability issues in semantics-driven recommender systems
Bendouch, Mounir M.
;
Frasincar, Flavius
;
Robal, Tarmo
WI-IAT '21: IEEE/WIC/ACM International Conference on Web Intelligence
2021
/
p. 56-63
https://doi.org/10.1145/3486622.3493963
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
6
book article EST
/
book article ENG
Administrative burden reduction over time : literature review, trends and gap analysis
Meyerhoff Nielsen, Morten
;
Goncalves Veiga, Linda
;
Carvalho, Nuno Ramos
;
Barbosa, Luis Soares
ICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 2017
2017
/
p. 140-148
https://doi.org/10.1145/3047273.3047334
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
7
book article EST
/
book article ENG
Analysis of keyword spotting performance across IARPA Babel languages
Hartmann, William
;
Karakos, Damianos
;
Hsiao, Roger
;
Zhang, Le
;
Alumäe, Tanel
;
Tsakalidis, Stavros
;
Schwartz, Richard
2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA
2017
/
p. 5765-5769 : ill
https://doi.org/10.1109/ICASSP.2017.7953261
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
8
journal article EST
/
journal article ENG
Anomaly detection, classification and identification Tool (ADCIT)
Asefi, Sajjad
;
Mitrovic, Mile
;
Cetenovic, Dragan
;
Levi, Victor
;
Gryazina, Elena
;
Terzija, Vladimir
Software impacts
2023
/
art. 100465, 3 p. : ill
https://doi.org/10.1016/j.simpa.2023.100465
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
9
journal article EST
/
journal article ENG
Anti-money laundering powered by graph machine learning: 'Show me your friends and I will tell you who you are'
Astrova, Irina
Intelligent decision technologies
2023
/
p. 243-261
https://doi.org/10.3233/IDT-220193
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
10
book article EST
/
book article ENG
Application of genetic algorithms to neural networks based control of a liquid level tank system
Vassiljeva, Kristina
;
Belikov, Juri
;
Petlenkov, Eduard
2014 International Joint Conference on Neural Networks (IJCNN) : July 6-11, 2014, Beijing, China
2014
/
p. 2525-2530 : ill
https://doi.org/10.1109/IJCNN.2014.6889912
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
11
journal article EST
/
journal article ENG
Audiovisual emotion recognition in wild
Avots, Egils
;
Sapinski, Tomasz
;
Bachmann, Maie
;
Kaminska, Dorota
Machine Vision and Applications
2019
/
p. 975–985 : ill
https://doi.org/10.1007/s00138-018-0960-9
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
12
journal article EST
/
journal article ENG
Augmented reality based on Apollo lunar imagery : searching for stars and adding virtual objects
Pustõnski, Vladislav-Venjamin
Presence : virtual and augmented reality
2022
/
p. 203-227
https://doi.org/10.1162/pres_a_00393
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
13
journal article EST
/
journal article ENG
Automated design error debug using high-level decision diagrams and mutation operators
Raik, Jaan
;
Repinski, Urmas
;
Tšepurov, Anton
;
Hantson, Hanno
;
Ubar, Raimund-Johannes
;
Jenihhin, Maksim
Microprocessors and microsystems
2013
/
p. 505-513 : ill
https://doi.org/10.1016/j.micpro.2012.11.004
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
14
journal article EST
/
journal article ENG
Automated design error localization in RTL designs
Jenihhin, Maksim
;
Tšepurov, Anton
;
Tihhomirov, Valentin
;
Raik, Jaan
;
Hantson, Hanno
;
Ubar, Raimund-Johannes
;
Bartsch, Günter
;
Meza Escobar, Jorge Hernan
;
Wuttke, Heinz-Dietrich
IEEE design & test of computers
2014
/
p. 83-92 : ill
https://doi.org/10.1109/MDAT.2013.2271420
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
15
journal article EST
/
journal article ENG
An automated method for mining high-quality assertion sets
Heidari Iman, Mohammad Reza
;
Raik, Jaan
;
Jenihhin, Maksim
;
Jervan, Gert
;
Ghasempouri, Tara
Microprocessors and microsystems
2023
/
art. 104773
https://doi.org/10.1016/j.micpro.2023.104773
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
16
journal article EST
/
journal article ENG
Automatic calibration toolbox for SWMM5
Vassiljev, Anatoli
;
Suits, Kristjan
;
Kaur, Katrin
;
Kändler, Nils
;
Truu, Murel
;
Annus, Ivar
Advances in engineering software
2023
/
art. 103528
https://doi.org/10.1016/j.advengsoft.2023.103528
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
17
journal article EST
/
journal article ENG
Backstepping-based output feedback boundary control for coupled fractional reaction-diffusion systems
Zhuang, Bo
;
Cui, Bao-Tong
;
Lou, Xu-Yang
;
Chen, Juan
Zidonghua Xuebao/Acta Automatica Sinica
2022
/
p. 2729 - 2743
https://doi.org/10.16383/j.aas.c190389
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
18
book article EST
/
book article ENG
Bicategories of automata, automata in bicategories
Boccali, Guido
;
Laretto, Andrea
;
Loregian, Fosco
;
Luneia, Stefano
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 1-19
https://doi.org/10.4204/EPTCS.397.1
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
19
book article EST
/
book article ENG
Big data analytics in association rule mining : a systematic literature review
Shahin, Mahtab
;
Arakkal Peious, Sijo
;
Sharma, Rahul
;
Kaushik, Minakshi
;
Ben Yahia, Sadok
;
Shah, Syed Attique
;
Draheim, Dirk
BDET 2021: 2021 the 3rd International Conference on Big Data Engineering and Technology (BDET) : proceedings
2021
/
p. 40-49
https://doi.org/10.1145/3474944.3474951
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Efficient and effective association rule mining on big data and cloud technology : a multifaceted analysis = Tõhus ja efektiivne assotsiatsioonireeglite kaevandamine suurandmetel ja pilvetehnoloogial : mitmekülgne analüüs
20
book article EST
/
book article ENG
Boolean automata and atoms of regular languages
Tamm, Hellis
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia : proceedings
2021
/
art. 86, p. 86:1–86:13
https://doi.org/10.4230/LIPIcs.MFCS.2021.86
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
21
book article EST
/
book article ENG
Bringing innovation towards efficient policy-making in ICT-enabled service provision for senior citizens
Liutkevicius, Merilin
;
Gelashvili, Teona
;
Pappel, Ingrid
Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 - 8 October 2021, Athens, Greece
2022
/
p. 97-103
https://doi.org/10.1145/3494193.3494207
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
22
journal article EST
/
journal article ENG
Building global societies on collective intelligence : challenges and opportunities
Suran, Shweta
;
Pattanaik, Vishwajeet
;
Kurvers, Ralf
;
Hallin, Carina Antonia
;
De Liddo, Anna
;
Krimmer, Robert Johannes
;
Draheim, Dirk
Digital government : research and practice
2022
/
art. 31, p. 1-6
https://doi.org/10.1145/3568169
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
23
journal article EST
/
journal article ENG
A cache-based approach toward improved scheduling in fog computing
Khan, Osama Amir
;
Malik, Saif Ur Rehman
;
Baig, Faizan M.
;
Islam, Saif Ul
;
Pervaiz, Haris
;
Malik, Hassan
;
Ahmed, Syed Hassan
Software - Practice and Experience
2021
/
p. 2360 - 2372
https://doi.org/10.1002/spe.2824
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
24
journal article EST
/
journal article ENG
Calculation of probabilistic testability measures for digital circuits with Structurally Synthesized BDDs
Jürimägi, Lembit
;
Ubar, Raimund-Johannes
;
Jenihhin, Maksim
;
Raik, Jaan
Microprocessors and microsystems
2020
/
art. 103117, 12 p
https://doi.org/10.1016/j.micpro.2020.103117
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
25
book article EST
/
book article ENG
Canonical gradings of monads
Breuvart, Flavien
;
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 1-21
https://doi.org/10.4204/eptcs.380.1
https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Number of records 279, displaying
1 - 25
previous
1
2
3
4
5
6
7
8
9
10
next
keyword
221
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.
Automated Synthesis of Software-based Self-test
15.
bernese software
16.
business software
17.
CFD (computational fluid dynamics) software
18.
client-vendor relationship in software development
19.
communicating hardware/software systems
20.
communicating software/hardware systems
21.
COMSOL software
22.
educational software
23.
embedded software
24.
energy simulation software
25.
free software
26.
GIS software
27.
hardware/software co-design
28.
interoperability and evolution of healthcare models and software systems
29.
invasive software
30.
large software projects
31.
learning software agents
32.
model-based software development
33.
model-driven software engineering
34.
ontology driven software development
35.
ontology-based software engineering
36.
open source software
37.
optimization software
38.
plagiarism software
39.
public domain software
40.
RETScreen software
41.
self learning software
42.
sensor software
43.
simulation software "Delphin"
44.
simulations with software
45.
social software
46.
software
47.
software architecture
48.
software architecture improvement
49.
software based self-test
50.
software companies
51.
software complexity
52.
software containers
53.
software defined networking
54.
software defined networking (SDN)
55.
software defined networks (SDN)
56.
software defined radio
57.
software defined radio (SDR)
58.
software design
59.
software development
60.
software development concepts
61.
software engineering
62.
software engineering education
63.
Software engineering methodology evaluation
64.
software engineering practises
65.
software factory
66.
software for measurements
67.
software implementation
68.
software level TMR
69.
software modeling
70.
software outsourcing
71.
Software packages
72.
software project management
73.
software qualification
74.
software quality
75.
software refactoring
76.
software sector
77.
software testing
78.
software/hardware partitioning
79.
software/hardware systems
80.
software-based self-test
81.
software-based self-test (SBST)
82.
software-defined network
83.
software-defined networking
84.
software-defined networking (SDN)
85.
software-in-the-loop (SIL) testing
86.
SOLIDWORKS software
87.
SysML modeling software
88.
system-to-software integrity
89.
triptych software engineering
90.
computer
91.
computer aided design
92.
computer aided diagnosis
93.
computer aided diagnostics
94.
computer aided instruction
95.
computer aided language translation
96.
computer aided manufacturing
97.
computer aided testing
98.
computer algebra
99.
computer algebra system
100.
computer and education
101.
computer anxiety
102.
computer architecture
103.
computer assisted language learning
104.
computer based learning
105.
computer circuits
106.
computer control
107.
Computer crime
108.
computer education
109.
computer engineering
110.
computer engineerng
111.
computer game
112.
computer graphics
113.
computer hardware
114.
computer integrated manufacturing
115.
computer network management
116.
computer network operations
117.
computer networks
118.
computer pipelines
119.
computer programming
120.
computer programming languages
121.
computer programs
122.
computer security
123.
computer simulation
124.
computer simulation environments
125.
computer simulations
126.
computer softwaregraph theory
127.
computer systems
128.
Computer systems organization
129.
computer terminals
130.
computer vision
131.
computer workers
132.
computer-aided anthropometry
133.
computer-aided architectural design (CAAD)
134.
computer‐aided assessment
135.
computer-aided design
136.
computer-aided design (CAD)
137.
computer-aided detection
138.
computer‐aided detection
139.
computer-aided diagnosis
140.
computer-aided drawing (CAD)
141.
computer-aided engineering
142.
computer-aided teaching
143.
Computer-Aided Tuning
144.
computer-aided tuning (CAT)
145.
computer-assisted language learning (CALL)
146.
computer-oriented technologies
147.
computer-supported decision-making
148.
computer-use
149.
control engineering computer applications
150.
distributed computer systems
151.
education in computer engineering
152.
fifth generation computer
153.
gateways (computer networks)
154.
high-performance computer systems
155.
human computer interaction
156.
human computer interaction (HCI)
157.
human-computer interaction
158.
Human-Computer Interaction (HCI)
159.
human-computer trust
160.
interactive computer graphics
161.
laptop computer
162.
single board computer
163.
single-board computer
164.
structure computer analysis
165.
ubiquitous computer technology
166.
Web and computer-based learning
167.
applied science
168.
big data science
169.
chemistry and philosophy of science
170.
citizen science
171.
citizen science hub
172.
classical exact science
173.
computational social science
174.
data science
175.
data-science
176.
design science
177.
design science research
178.
design-science
179.
energy science and technology
180.
engineering pedagogy science
181.
environmental science
182.
ethics of science
183.
exact science
184.
food science
185.
forensic science
186.
materials science
187.
NATO. Science for Peace and Security Program
188.
non-classical exact science
189.
philosophy of science
190.
physics and philosophy of science
191.
planetary science
192.
political science
193.
popular science literature
194.
post normal science
195.
post-normal science
196.
Q science
197.
science
198.
science advisors
199.
science and arts
200.
science and technology libraries
201.
science and technology parks
202.
science fiction
203.
science gateway
204.
science integration
205.
science mapping
206.
science policy
207.
science technology innovation
208.
Science, Technology and Innovation Policy
209.
science-based industries
210.
science-driven models
211.
science-policy-society interface
212.
Social Science
213.
social science methodology
214.
sustainability science
215.
Thomson Reuters Web of Science
216.
transdisciplinary science
217.
Web of Science
218.
World Academy of Art and Science (WAAS)
219.
ȹ-science
220.
φ-science
221.
ϕ-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