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/219)
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
201
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
202
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
203
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
204
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
205
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
206
journal article EST
/
journal article ENG
SCARF : securing chips with a robust framework against fabrication-time hardware trojans
Eslami, Mohammad
;
Ghasempouri, Tara
;
Pagliarini, Samuel Nascimento
IEEE Transactions on Computers
2024
/
p. 2761-2775
https://doi.org/10.1109/TC.2024.3449082
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
SCARF : securing chips with a robust framework against fabrication-time hardware Trojans : preprint
207
journal article EST
/
journal article ENG
Securing verified IO programs against unverified code in F∗
Andrici, Cezar-Constantin
;
Ciobâca, Stefan
;
Hriţcu, Catalin
;
Martínez, Guido
;
Rivas Gadda, Exequiel Matías
;
Tanter, Éric
;
Winterhalter, Théo
Proceedings of the ACM on programming languages
2024
/
art. 74, 34 p. : ill
https://doi.org/10.1145/3632916
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
208
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
209
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
210
book article EST
/
book article ENG
Semi-substructural logics with additives
Veltri, Niccolò
;
Wan, Cheng-Syuan
Proceedings of the 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 2023
2024
/
p. 63-80
https://doi.org/10.4204/EPTCS.402.8
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
211
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
212
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
213
book article EST
/
book article ENG
Situated transition systems
Nester, Chad Mitchell
arXiv
2022
/
p. 103-115
https://doi.org/10.4204/EPTCS.372.8
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
214
book article EST
/
book article ENG
Slice nondeterminism
Voorneveld, Niels
4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 2023
2023
/
art. 31, 19 p
https://doi.org/10.4230/LIPIcs.ITP.2023.31
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
215
book article EST
/
book article ENG
Smart city collaboration model : A case study of university-city collaboration
Sarv, Lill
;
Kibus, Kristel
;
Soe, Ralf-Martin
Proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference
2020
/
p. 674−677
https://doi.org/10.1145/3428502.3428601
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
216
journal article EST
/
journal article ENG
Smart healthcare : disease prediction using the cuckoo-enabled deep classifier in IoT framework
Kumar, Ashwani
;
Reddy, S. Sai Satyanarayana
;
Mahommad, Gouse Baig
;
Khan, Baseem
;
Sharma, Rahul
Scientific Programming
2022
https://doi.org/10.1155/2022/2090681
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
217
book article EST
/
book article ENG
Smart twin cities via urban operating system
Soe, Ralf-Martin
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. 391-400 : ill
https://doi.org/10.1145/3047273.3047322
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
218
journal article EST
/
journal article ENG
Smartgrid-based hybrid digital twins framework for demand side recommendation service provision in distributed power systems
Onile, Abiodun E.
;
Petlenkov, Eduard
;
Levron, Yoash
;
Belikov, Juri
Future generation computer systems
2024
/
p. 142-156 : ill
https://doi.org/10.1016/j.future.2024.03.018
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
Sociotechnical factors and Industry 4.0 : an integrative perspective for the adoption of smart manufacturing technologies
Marcon, Érico
;
Soliman, Marlon
;
Gerstlberger, Wolfgang Dieter
;
Frank, Alejandro G.
Journal of Manufacturing Technology Management
2022
/
p. 259-289 : ill
https://doi.org/10.1108/JMTM-01-2021-0017
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
Sound conflict management and resolution for virtual-enterprise collaborations
Narendra, Nanjangud C.
;
Norta, Alexander
;
Mahunnah, Msury
;
Ma, Lixin
;
Maggi, Fabrizio Maria
Service-oriented computing and applications
2016
/
p. 233-251 : ill
https://doi.org/10.1007/s11761-015-0183-0
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
221
journal article EST
/
journal article ENG
Span(Graph) : a canonical feedback algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman Garcia, Mario
;
Sabadini, Nicoletta
;
Sobocinski, Pawel Maria
Software and systems modeling
2023
/
p. 495-520 : ill
https://doi.org/10.1007/s10270-023-01092-7
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
222
journal article EST
/
journal article ENG
Special issue on concept lattices and their applications (CLA 2020)
Valverde-Albacete, Francisco José
;
Trnecka, Martin
;
Ben Yahia, Sadok
International journal of approximate reasoning
2024
/
art. 109079, 3 p.
https://doi.org/10.1016/j.ijar.2023.109079
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
223
journal article EST
/
journal article ENG
Split-chip design to prevent IP reverse engineering
Pagliarini, Samuel Nascimento
;
Sweeney, Joseph
;
Mai, Ken
;
Blanton, Shawn
;
Mitra, Subhasish
;
Pileggi, Larry
IEEE Design and Test
2020
/
p. 109-118
https://doi.org/10.1109/MDAT.2020.3033255
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
224
journal article EST
/
journal article ENG
SSProve : a foundational framework for modular cryptographic proofs in Coq
Haselwarter, Philipp G.
;
Rivas, Exequiel
;
Van Muylder, Antoine
;
Winterhalter, Théo
;
Abate, Carmine
;
Sidorenco, Nikolaj
;
Hriţcu, Cǎtǎlin
;
Maillard, Kenji
;
Spitters, Bas
ACM Transactions on Programming Languages and Systems
2023
/
art. 15
https://doi.org/10.1145/3594735
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
225
journal article EST
/
journal article ENG
Stream clustering guided supervised learning for classifying NIDS alerts
Vaarandi, Risto
;
Guerra Manzanares, Alejandro
Future generation computer systems
2024
/
p. 231-244 : ill
https://doi.org/10.1016/j.future.2024.01.032
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
201 - 225
previous
2
3
4
5
6
7
8
9
10
11
next
keyword
212
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 detection
131.
computer‐aided detection
132.
computer-aided diagnosis
133.
computer-aided drawing (CAD)
134.
computer-aided engineering
135.
computer-aided teaching
136.
Computer-Aided Tuning
137.
computer-aided tuning (CAT)
138.
computer-assisted language learning (CALL)
139.
computer-oriented technologies
140.
computer-supported decision-making
141.
computer-use
142.
control engineering computer applications
143.
distributed computer systems
144.
education in computer engineering
145.
fifth generation computer
146.
gateways (computer networks)
147.
high-performance computer systems
148.
human computer interaction
149.
human computer interaction (HCI)
150.
human-computer interaction
151.
Human-Computer Interaction (HCI)
152.
human-computer trust
153.
interactive computer graphics
154.
laptop computer
155.
single board computer
156.
single-board computer
157.
structure computer analysis
158.
ubiquitous computer technology
159.
Web and computer-based learning
160.
applied science
161.
big data science
162.
chemistry and philosophy of science
163.
citizen science
164.
citizen science hub
165.
classical exact science
166.
computational social science
167.
data science
168.
data-science
169.
design science
170.
design science research
171.
design-science
172.
energy science and technology
173.
engineering pedagogy science
174.
environmental science
175.
ethics of science
176.
exact science
177.
food science
178.
materials science
179.
NATO. Science for Peace and Security Program
180.
non-classical exact science
181.
philosophy of science
182.
physics and philosophy of science
183.
planetary science
184.
political science
185.
popular science literature
186.
post normal science
187.
post-normal science
188.
Q science
189.
science
190.
science advisors
191.
science and arts
192.
science and technology libraries
193.
science and technology parks
194.
science fiction
195.
science gateway
196.
science integration
197.
science mapping
198.
science policy
199.
science technology innovation
200.
Science, Technology and Innovation Policy
201.
science-based industries
202.
science-driven models
203.
science-policy-society interface
204.
Social Science
205.
social science methodology
206.
sustainability science
207.
transdisciplinary science
208.
Web of Science
209.
World Academy of Art and Science (WAAS)
210.
ȹ-science
211.
φ-science
212.
ϕ-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