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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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 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
183
Look more..
(3/209)
Export
export all inquiry results
(183)
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
126
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
127
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
128
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
129
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
Seotud publikatsioonid
1
Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees
130
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
131
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
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
132
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
133
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
134
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
135
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
136
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
;
Moullec, Yannick Le
;
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
137
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
138
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
139
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
140
book article EST
/
book article ENG
Reordering derivatives of trace closures of regular languages [Online resource]
Maarand, Hendrik
;
Uustalu, Tarmo
30th International Conference on Concurrency Theory : (CONCUR 2019)
2019
/
art. 40 ; 40:1–40:16
https://doi.org/10.4230/LIPIcs.CONCUR.2019.40
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
141
book article EST
/
book article ENG
Re-shaping the EU digital identity framework
Lips, Silvia
;
Vinogradova, Natalia
;
Krimmer, Robert Johannes
;
Draheim, Dirk
23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings
2022
/
p. 13-21
https://doi.org/10.1145/3543434.3543652
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Seotud publikatsioonid
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
142
journal article EST
/
journal article ENG
A roadside unit deployment framework for enhancing transportation services in Maghrebian cities
Chaabene, Seif Ben
;
Yeferny, Taoufik
;
Ben Yahia, Sadok
Concurrency and Computation: Practice and Experience
2021
/
art. e5611
https://doi.org/10.1002/cpe.5611
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
143
book article EST
/
book article ENG
Robust training of vector quantized bottleneck models
Lancucki, Adrian
;
Chorowski, Jan
;
Sanchez, Guillaume
;
Marxer, Ricard
;
Chen, Nanxin
;
Dolfing, Hans J.G.A.
;
Khurana, Sameer
;
Alumäe, Tanel
;
Laurent, Antoine
2020 International Joint Conference onNeural Networks (IJCNN), 19-24 July 2020, Glasgow, UK : proceedings
2020
/
art. 163566 : 7 p
https://doi.org/10.1109/IJCNN48605.2020.9207145
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
144
book article EST
/
book article ENG
RoCo-NAS : robust and compact neural architecture search
Geraeinejad, Vahid
;
Sinaei, Sima
;
Modarressi, Mehdi
;
Daneshtalab, Masoud
2021 International Joint Conference on Neural Networks (IJCNN) : proceedings
2021
/
8 l
https://doi.org/10.1109/IJCNN52387.2021.9534460
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
145
book article EST
/
book article ENG
The role of linked open statistical data in public service co-creation
McBride, Keegan David Braun
;
Matheus, Ricardo
;
Toots, Maarja
;
Kalvet, Tarmo
;
Krimmer, Robert Johannes
ICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland
2018
/
p. 679-681
https://doi.org/10.1145/3209415.3209446
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
146
book article EST
/
book article ENG
Russian Federal remote E-voting scheme of 2021 - protocol description and analysis
Vakarjuk, Jelizaveta
;
Snetkov, Nikita
;
Willemson, Jan
EICC '22: Proceedings of the 2022 European Interdisciplinary Cybersecurity Conference
2022
/
p. 29-35
https://doi.org/10.1145/3528580.3528586
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
147
journal article EST
/
journal article ENG
A security-aware and LUT-based CAD flow for the physical synthesis of hASICs
Abideen, Zain Ul
;
Perez, Tiago Diadami
;
Martins, Mayler
;
Pagliarini, Samuel Nascimento
IEEE transactions on computer-aided design of integrated circuits and systems
2023
/
p. 3157-3170 : ill
https://doi.org/10.1109/TCAD.2023.3244879
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Leveraging FPGA Reconfigurability as an Obfuscation Asset = FPGA ümberkonfigureeritavuse rakendamine hägustamise vahendina
148
book article EST
/
book article ENG
Self-aware smart contracts with legal relevance
Norta, Alexander
2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings
2018
/
p. 4113-4120 : ill
https://doi.org/10.1109/IJCNN.2018.8489235
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
149
journal article EST
/
journal article ENG
Serverless, FaaS and why organizations need them
Astrova, Irina
;
Koschel, Arne
;
Schaaf, Marc
;
Klassen, Samuel
;
Jdiya, Kerim
Intelligent decision technologies
2021
/
p. 825-838
https://doi.org/10.3233/IDT-210194
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
150
book article EST
/
book article ENG
Sights, titles and tags: mining a worldwide photo database for sightseeing
Luberg, Ago
;
Pindis, Jakob
;
Tammet, Tanel
10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings
2020
/
p. 149-158 : ill
https://doi.org/10.1145/3405962.3405987
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 183, displaying
126 - 150
previous
1
2
3
4
5
6
7
8
next
keyword
202
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.
bernese software
14.
business software
15.
CFD (computational fluid dynamics) software
16.
client-vendor relationship in software development
17.
communicating hardware/software systems
18.
communicating software/hardware systems
19.
COMSOL software
20.
educational software
21.
embedded software
22.
energy simulation software
23.
free software
24.
GIS software
25.
hardware/software co-design
26.
interoperability and evolution of healthcare models and software systems
27.
invasive software
28.
large software projects
29.
learning software agents
30.
model-based software development
31.
ontology driven software development
32.
ontology-based software engineering
33.
open source software
34.
optimization software
35.
plagiarism software
36.
public domain software
37.
RETScreen software
38.
self learning software
39.
sensor software
40.
simulation software "Delphin"
41.
simulations with software
42.
social software
43.
software
44.
software architecture
45.
software based self-test
46.
software companies
47.
software complexity
48.
software containers
49.
software defined networking
50.
software defined networking (SDN)
51.
software defined radio
52.
software design
53.
software development
54.
software development concepts
55.
software engineering
56.
software engineering education
57.
Software engineering methodology evaluation
58.
software engineering practises
59.
software factory
60.
software for measurements
61.
software implementation
62.
software level TMR
63.
software modeling
64.
software outsourcing
65.
software project management
66.
software qualification
67.
software quality
68.
software sector
69.
software testing
70.
software/hardware partitioning
71.
software/hardware systems
72.
software-based self-test
73.
software-based self-test (SBST)
74.
software-defined network
75.
software-defined networking
76.
software-defined networking (SDN)
77.
software-in-the-loop (SIL) testing
78.
SOLIDWORKS software
79.
SysML modeling software
80.
system-to-software integrity
81.
triptych software engineering
82.
computer
83.
computer aided design
84.
computer aided diagnosis
85.
computer aided diagnostics
86.
computer aided instruction
87.
computer aided manufacturing
88.
computer aided testing
89.
computer algebra
90.
computer algebra system
91.
computer and education
92.
computer anxiety
93.
computer architecture
94.
computer assisted language learning
95.
computer based learning
96.
computer circuits
97.
computer control
98.
computer education
99.
computer engineering
100.
computer engineerng
101.
computer game
102.
computer graphics
103.
computer hardware
104.
computer integrated manufacturing
105.
computer network management
106.
computer network operations
107.
computer networks
108.
computer pipelines
109.
computer programming
110.
computer programs
111.
computer security
112.
computer simulation
113.
computer simulation environments
114.
computer simulations
115.
computer softwaregraph theory
116.
computer systems
117.
computer terminals
118.
computer vision
119.
computer workers
120.
computer-aided anthropometry
121.
computer-aided architectural design (CAAD)
122.
computer‐aided assessment
123.
computer-aided design
124.
computer-aided detection
125.
computer‐aided detection
126.
computer-aided diagnosis
127.
computer-aided drawing (CAD)
128.
computer-aided engineering
129.
computer-aided teaching
130.
Computer-Aided Tuning
131.
computer-aided tuning (CAT)
132.
computer-assisted language learning (CALL)
133.
computer-oriented technologies
134.
computer-supported decision-making
135.
computer-use
136.
control engineering computer applications
137.
distributed computer systems
138.
education in computer engineering
139.
fifth generation computer
140.
gateways (computer networks)
141.
high-performance computer systems
142.
human computer interaction
143.
human computer interaction (HCI)
144.
human-computer interaction
145.
Human-Computer Interaction (HCI)
146.
interactive computer graphics
147.
laptop computer
148.
single board computer
149.
single-board computer
150.
structure computer analysis
151.
ubiquitous computer technology
152.
Web and computer-based learning
153.
applied science
154.
chemistry and philosophy of science
155.
citizen science
156.
classical exact science
157.
computational social science
158.
data science
159.
data-science
160.
design science
161.
design science research
162.
design-science
163.
energy science and technology
164.
engineering pedagogy science
165.
environmental science
166.
ethics of science
167.
exact science
168.
food science
169.
materials science
170.
NATO. Science for Peace and Security Program
171.
non-classical exact science
172.
philosophy of science
173.
physics and philosophy of science
174.
planetary science
175.
political science
176.
popular science literature
177.
post normal science
178.
post-normal science
179.
Q science
180.
science
181.
science advisors
182.
science and arts
183.
science and technology libraries
184.
science and technology parks
185.
science fiction
186.
science gateway
187.
science integration
188.
science mapping
189.
science policy
190.
science technology innovation
191.
Science, Technology and Innovation Policy
192.
science-based industries
193.
science-policy-society interface
194.
Social Science
195.
social science methodology
196.
sustainability science
197.
transdisciplinary science
198.
Web of Science
199.
World Academy of Art and Science (WAAS)
200.
ȹ-science
201.
φ-science
202.
ϕ-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
×
vaste
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