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
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 304, displaying
126 - 150
previous
2
3
4
5
6
7
8
9
10
11
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