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
226
journal article EST
/
journal article ENG
Regular planar monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Journal of logical and algebraic methods in programming
2024
/
art. 100963, 20 p. : ill
https://doi.org/10.1016/j.jlamp.2024.100963
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Languages of string diagrams = Nöördiagrammide keeled
227
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
228
journal article EST
/
journal article ENG
Requirements elicitation and specification using the agent paradigm : the case study of an aircraft turnaround simulator
Miller, Tim
;
Lu, Bin
;
Sterling, Leon
;
Beydoun, Ghassan
;
Taveter, Kuldar
IEEE transactions on software engineering
2014
/
p. 1007-1024 : ill
https://doi.org/10.1109/TSE.2014.2339827
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
229
book article EST
/
book article ENG
Research gaps on public service delivery
Lopes, Nuno Vasco
;
Sa Soares, Delfina
;
Meyerhoff Nielsen, Morten
;
Tavares, Antonio
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. 465-474 : ill
https://doi.org/10.1145/3047273.3047388
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
230
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
Related publications
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
231
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
232
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
233
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
234
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
235
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
236
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
Related publications
1
SCARF : securing chips with a robust framework against fabrication-time hardware Trojans : preprint
237
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
238
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
Related publications
1
Leveraging FPGA Reconfigurability as an Obfuscation Asset = FPGA ümberkonfigureeritavuse rakendamine hägustamise vahendina
239
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
240
book article EST
/
book article ENG
Semi-Substructural Logics à la Lambek
Wan, Cheng-Syuan
Proceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)
2024
/
p. 195–213
https://doi.org/10.4204/EPTCS.415.18
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
241
book article EST
/
book article ENG
Semi-substructural logics with additives
Veltri, Niccolo
;
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
Related publications
1
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
242
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
243
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
244
book article EST
/
book article ENG
Situated transition systems
Nester, Chad Mitchell
arXiv.org
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
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
245
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
246
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
247
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
248
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
249
journal article EST
/
journal article ENG
Smartgrid-based hybrid digital twins framework for demand side recommendation service provision in distributed power systems
Onile, Abiodun Emmanuel
;
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
250
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
Number of records 304, displaying
226 - 250
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