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
307
Look more..
(4/254)
Export
export all inquiry results
(307)
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
126
journal article EST
/
journal article ENG
Functorial semantics for partial theories
Di Liberti, Ivan
;
Loregian, Fosco
;
Nester, Chad Mitchell
;
Sobocinski, Pawel Maria
Proceedings of the ACM on Programming Languages
2021
/
art. 57, 28 p. : ill
https://doi.org/10.1145/3434338
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
127
book article EST
/
book article ENG
Generating representative executions : extended abstract
Maarand, Hendrik
;
Uustalu, Tarmo
10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 2017
2017
/
p. 39-48 : ill
https://doi.org/10.4204/EPTCS.246.8
Journal metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
128
book article EST
/
book article ENG
Global intelligent governance a collaborative platform
Ganapati, Sukumar
;
Ahn, Michael
;
Chen, Yu-Che
;
Krimmer, Robert Johannes
;
Viale Pereira, Gabriela
;
Pliscoff, Cristian
;
Tseng, Hsien-Lee
;
Wu, Jiannan
DG.O'21: DG.O2021: The 22nd Annual International Conference on Digital Government Research
2021
/
p. 593 - 595
https://doi.org/10.1145/3463677.3463728
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
129
journal article EST
/
journal article ENG
Graphical sequent calculi for modal logics
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Electronic proceedings in theoretical computer science
2017
/
p. 91-103
https://doi.org/10.4204/EPTCS.243.7
Conference proceedings at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
130
journal article EST
/
journal article ENG
Guest editorial: New boundaries for robotics
Kruusmaa, Maarja
;
Tan, Xiaobo
;
Laschi, Cecilia
;
Fioroni, Paolo
;
Madhavan, Raj
Robotics and autonomous systems
2014
/
p. 1-2
https://doi.org/10.1016/j.robot.2012.12.002
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
131
journal article EST
/
journal article ENG
Guest editorial: Smart cities 2.0 : how artificial intelligence and internet of things are transforming urban living
Chai, Zheng-Yi
;
Shah, Syed Attique
;
Draheim, Dirk
;
Hameed, Sufian
;
Rathore, Muhammad Mazhar Ullah
IET Smart Cities
2024
/
p. 129-131
https://doi.org/10.1049/smc2.12091
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
132
journal article EST
/
journal article ENG
Guest editors' foreword
Uustalu, Tarmo
;
Vain, Jüri
Journal of logical and algebraic methods in programming
2016
/
p. 1109
https://doi.org/10.1016/j.jlamp.2016.10.004
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
133
book article EST
/
book article ENG
Guideliner : a tool to improve Web UI development for better usability
Marenkov, Jevgeni
;
Robal, Tarmo
;
Kalja, Ahto
WIMS 2018 : 8th International Conference on Web Intelligence, Mining and Semantics, June 25–27 2018, Novi Sad, Serbia : proceedings
2018
/
art. 17, 9 p. : ill
https://doi.org/10.1145/3227609.3227667
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
134
journal article EST
/
journal article ENG
Gunshot acoustic event identification and shooter localization in a WSN of asynchronous multichannel acoustic ground sensors
Astapov, Sergei
;
Berdnikova, Julia
;
Ehala, Johannes
;
Kaugerand, Jaanus
;
Preden, Jürgo-Sören
Multidimensional systems and signal processing
2018
/
p. 563-595 : ill
https://doi.org/10.1007/s11045-017-0479-7
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
135
journal article EST
/
journal article ENG
Hardware trojan insertion in finalized layouts : from methodology to a silicon demonstration
Perez, Tiago Diadami
;
Pagliarini, Samuel Nascimento
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2023
/
p. 2094-2107
https://doi.org/10.1109/TCAD.2022.3223846
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees
136
journal article EST
/
journal article ENG
Health management for self-aware SoCs based on IEEE 1687 infrastructure
Shibin, Konstantin
;
Devadze, Sergei
;
Jutman, Artur
;
Grabmann, Martin
;
Pricken, Robin
IEEE Design & Test
2017
/
p. 27-35 : ill
https://doi.org/10.1109/MDAT.2017.2750902
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
137
book article EST
/
book article ENG
Heterogeneous Approximation of DNN HW Accelerators based on Channels Vulnerability
Cherezova, Natalia
;
Pappalardo, Salvatore
;
Taheri, Mahdi
;
Ahmadilivani, Mohammad Hasan
;
Deveautour, Bastien
;
Bosio, Alberto
;
Raik, Jaan
;
Jenihhin, Maksim
2024 IFIP/IEEE 32nd International Conference on Very Large Scale Integration (VLSI-SoC)
2024
/
4 p. : ill
https://doi.org//10.1109/VLSI-SoC62099.2024.10767798
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Methods for reliability assessment and enhancement of deep neural networks hardware accelerators = Süvanärvivõrkude riistvara kiirendite töökindluse hindamine ja täiustamine
138
journal article EST
/
journal article ENG
High virucidal potential of novel ceramic-metal composites fabricated via hybrid selective laser melting and spark plasma sintering routes
Rahmani Ahranjani, Ramin
;
Molan, Katja
;
Brojan, Miha
;
Prashanth, Konda Gokuldoss
;
Stopar, David
The international journal of advanced manufacturing technology
2022
/
p. 975-988 : ill
https://doi.org/10.1007/s00170-022-08878-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
139
book article EST
/
book article ENG
Higher-dimensional subdiagram matching
Hadzihasanovic, Amar
;
Kessler, Diana-Maria
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023
2023
/
13 p
https://doi.org/10.1109/LICS56636.2023.10175726
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
140
journal article EST
/
journal article ENG
High-level axioms for graphical linear algebra
Paixao, Joao
;
Rufino, Lucas
;
Sobocinski, Pawel Maria
Science of computer programming
2022
/
art. 102791 ; 26 p
https://doi.org/10.1016/j.scico.2022.102791
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
141
journal article EST
/
journal article ENG
High-performance information processing in distributed computing systems
Sklyarov, Valery
;
Rjabov, Artjom
;
Skliarova, Iouliia
;
Sudnitsõn, Aleksander
International journal of innovative computing, information and control
2016
/
p. 139-160 : ill
https://www.researchgate.net/publication/297047447_High-performance_information_processing_in_distributed_computing_systems
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
142
journal article EST
/
journal article ENG
High-speed SABER key encapsulation mechanism in 65nm CMOS
Imran, Malik
;
Almeida, Felipe
;
Basso, Andrea
;
Roy, Sujoy Sinha
;
Pagliarini, Samuel Nascimento
Journal of cryptographic engineering
2023
/
p. 461-471 : ill
https://doi.org/10.1007/s13389-023-00316-2
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Hardware realization of lattice-based post-quantum cryptography = Võrel põhinev post-kvant-krüptograafia riistvaraline realisatsioon
143
book article EST
/
book article ENG
A historical analysis on interoperability in Estonian data exchange architecture : perspectives from the past and for the future
Jackson, Eric Blake
;
Dreyling III, Richard Michael
;
Pappel, Ingrid
ICEGOV '21: Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance
2021
/
p. 111-116
https://doi.org/10.1145/3494193.3494209
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Cross-border data exchange in the Nordic-Baltic region : data intermediaries, interoperability, and e-services orchestration = Piiriülene andmevahetus Põhja-Balti regioonis : andmevahendajad, koostalitlusvõime ja e-teenuste orkestreerimine
144
journal article EST
/
journal article ENG
How does context influence music preferences : a user-based study of the effects of contextual information on users’ preferred music
Ben Sassi, Imen
;
Ben Yahia, Sadok
Multimedia Systems
2021
/
p. 143–160
https://doi.org/10.1007/s00530-020-00717-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
145
journal article EST
/
journal article ENG
Hybrid protection of digital FIR filters
Aksoy, Levent
;
Nguyen, Quang-Linh
;
Almeida, Felipe
;
Raik, Jaan
;
Flottes, Marie-Lise
;
Dupuis, Sophie
;
Pagliarini, Samuel Nascimento
IEEE transactions on Very Large Scale Integration (VLSI) Systems
2023
/
p. 812-825 : ill
https://doi.org/10.1109/TVLSI.2023.3253641
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Advanced Hardware Protection Mechanisms : A Study on Logic Locking and Circuit Obfuscation Techniques [Võrguteavik] = Täiustatud riistvara kaitsemehhanismid : uuring loogikalukustamise ja hägustamise tehnikate kohta
146
book article EST
/
book article ENG
Identifying design principles for proactive services through systematically understanding the reactivity-proactivity spectrum
Erlenheim, Regina
;
Draheim, Dirk
;
Taveter, Kuldar
Proceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference
2020
/
p. 452–458
https://doi.org/10.1145/3428502.3428572
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
147
book article EST
/
book article ENG
Identifying eGovernment success factors: An analysis of selected national governance models and their experiences in digitising service delivery
Meyerhoff Nielsen, Morten
EGOSE '14: Proceedings of the 2014 Conference on Electronic Governance and Open Society: Challenges in Eurasia, 18-20 November 2014 : proceedings
2014
/
p. 19-25 : ill
https://doi.org/10.1145/2729104.2729111
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
148
journal article EST
/
journal article ENG
Impact of orientation on the bias of SRAM-based PUFs
Abideen, Zain Ul
;
Wang, Rui
;
Perez, Tiago Diadami
;
Schrijen, Geert-Jan
;
Pagliarini, Samuel Nascimento
IEEE design & test
2024
/
p. 14-20
https://doi.org/10.1109/MDAT.2023.3322621
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
149
journal article EST
/
journal article ENG
Impact pressure on mechanical properties of aluminum based composite by ECAP-parallel channel
Pramano, Agus
;
Dhoska, Klodian
;
Markja, Irida
;
Kommel, Lembit
Pollack periodica
2019
/
p. 67–74
https://doi.org/10.1556/606.2019.14.1.7
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
150
journal article EST
/
journal article ENG
Improved PWM-based sinewave generation : example of the impedance measurement
Abdullayev, Anar
;
Annus, Paul
;
Krivošei, Andrei
;
Metshein, Margus
;
Märtens, Olev
;
Rist, Marek
Automatic control and computer sciences
2023
/
p. 449-458
https://doi.org/10.3103/S0146411623050024
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Research and implementation of electrical bioimpedance measurement solutions = Elektrilise bioimpedantsi mõõtmise lahenduste uurimine ja teostus
Number of records 307, displaying
126 - 150
previous
2
3
4
5
6
7
8
9
10
11
next
keyword
244
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.
hardware-software integration in robotics
31.
interoperability and evolution of healthcare models and software systems
32.
invasive software
33.
large software projects
34.
learning software agents
35.
model-based software development
36.
model-driven software engineering
37.
ontology driven software development
38.
ontology-based software engineering
39.
open source software
40.
optimization software
41.
plagiarism software
42.
public domain software
43.
RETScreen software
44.
self learning software
45.
sensor software
46.
simulation software "Delphin"
47.
simulations with software
48.
social software
49.
software
50.
software architecture
51.
software architecture improvement
52.
software based self-test
53.
software companies
54.
software complexity
55.
software containers
56.
software defined networking
57.
software defined networking (SDN)
58.
software defined networks (SDN)
59.
software defined radio
60.
software defined radio (SDR)
61.
software design
62.
software development
63.
software development concepts
64.
software documentation
65.
software engineering
66.
software engineering education
67.
Software engineering methodology evaluation
68.
software engineering practises
69.
software factory
70.
software for measurements
71.
software implementation
72.
software level TMR
73.
software modeling
74.
software outsourcing
75.
Software packages
76.
software project management
77.
software qualification
78.
software quality
79.
software quality attributes
80.
software quality characteristics
81.
software refactoring
82.
software sector
83.
software security
84.
software security level
85.
software security subcharacteristics
86.
software testing
87.
software tools for robot programming
88.
software/hardware partitioning
89.
software/hardware systems
90.
software-based self-test
91.
software-based self-test (SBST)
92.
software-defined network
93.
software-defined networking
94.
software-defined networking (SDN)
95.
software-in-the-loop (SIL) testing
96.
SOLIDWORKS software
97.
SysML modeling software
98.
system-to-software integrity
99.
triptych software engineering
100.
computer
101.
computer aided design
102.
computer aided diagnosis
103.
computer aided diagnostics
104.
computer aided instruction
105.
computer aided language translation
106.
computer aided manufacturing
107.
computer aided methods
108.
computer aided testing
109.
computer algebra
110.
computer algebra system
111.
computer and education
112.
computer anxiety
113.
computer architecture
114.
computer assisted language learning
115.
computer based learning
116.
computer circuits
117.
computer control
118.
Computer crime
119.
computer education
120.
computer engineering
121.
computer engineerng
122.
computer game
123.
computer graphics
124.
computer hardware
125.
computer integrated manufacturing
126.
computer network management
127.
computer network operations
128.
computer networks
129.
computer pipelines
130.
computer programming
131.
computer programming languages
132.
computer programs
133.
computer security
134.
computer simulation
135.
computer simulation environments
136.
computer simulations
137.
computer softwaregraph theory
138.
computer systems
139.
Computer systems organization
140.
computer terminals
141.
computer vision
142.
computer vision-based methods
143.
computer workers
144.
computer-aided anthropometry
145.
computer-aided architectural design (CAAD)
146.
computer‐aided assessment
147.
computer-aided design
148.
computer-aided design (CAD)
149.
computer-aided detection
150.
computer‐aided detection
151.
computer-aided diagnosis
152.
computer-aided drawing (CAD)
153.
computer-aided engineering
154.
computer-aided teaching
155.
Computer-Aided Tuning
156.
computer-aided tuning (CAT)
157.
computer-assisted language learning (CALL)
158.
computer-oriented technologies
159.
computer-supported decision-making
160.
computer-use
161.
computer-workers
162.
control engineering computer applications
163.
distributed computer systems
164.
education in computer engineering
165.
fifth generation computer
166.
gateways (computer networks)
167.
high-performance computer systems
168.
human computer interaction
169.
human computer interaction (HCI)
170.
human-computer interaction
171.
human–computer interaction
172.
Human-Computer Interaction (HCI)
173.
human-computer trust
174.
interactive computer graphics
175.
laptop computer
176.
single board computer
177.
single-board computer
178.
structure computer analysis
179.
ubiquitous computer technology
180.
Web and computer-based learning
181.
applied science
182.
big data science
183.
chemistry and philosophy of science
184.
citizen science
185.
citizen science hub
186.
classical exact science
187.
cognitive science
188.
computational social science
189.
data science
190.
data-science
191.
decision science
192.
design science
193.
design science research
194.
design-science
195.
energy science and technology
196.
engineering pedagogy science
197.
environmental science
198.
ethics of science
199.
exact science
200.
food science
201.
forensic science
202.
logic of science
203.
materials science
204.
NATO. Science for Peace and Security Program
205.
non-classical exact science
206.
philosophy of science
207.
physics and philosophy of science
208.
planetary science
209.
political science
210.
popular science literature
211.
post normal science
212.
post-normal science
213.
Q science
214.
science
215.
science advisors
216.
science and arts
217.
science and technology libraries
218.
science and technology parks
219.
Science Education
220.
science fiction
221.
science gateway
222.
science integration
223.
science mapping
224.
science policy
225.
science technology and innovation
226.
science technology innovation
227.
Science, Technology and Innovation Policy
228.
science-based industries
229.
science-driven models
230.
science-policy-society interface
231.
Security and political science
232.
security science and technology
233.
Social Science
234.
social science methodology
235.
sustainability science
236.
Thomson Reuters Web of Science
237.
transdisciplinary science
238.
values in science
239.
Web of Science
240.
wood science and technology
241.
World Academy of Art and Science (WAAS)
242.
ȹ-science
243.
φ-science
244.
ϕ-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