Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Computer science. Software (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
299
Vaata veel..
(3/240)
Ekspordi
ekspordi kõik päringu tulemused
(299)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
126
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
127
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
128
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
129
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
130
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
131
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
132
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
133
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
134
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
135
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees
136
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
137
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
138
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
139
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
140
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
141
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Hardware realization of lattice-based post-quantum cryptography = Võrel põhinev post-kvant-krüptograafia riistvaraline realisatsioon
142
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
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
143
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
144
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
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
145
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
146
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
147
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Leveraging FPGA Reconfigurability as an Obfuscation Asset = FPGA ümberkonfigureeritavuse rakendamine hägustamise vahendina
148
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
149
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
150
artikkel kogumikus EST
/
artikkel kogumikus ENG
Inductive and coinductive predicate liftings for effectful programs
Veltri, Niccolò
;
Voorneveld, Niels F.W.
Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021
2021
/
p. 260-277
https://doi.org/10.4204/EPTCS.351.16
Conference proceeding at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 299, kuvan
126 - 150
eelmine
2
3
4
5
6
7
8
9
10
11
järgmine
võtmesõna
233
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 refactoring
79.
software sector
80.
software testing
81.
software/hardware partitioning
82.
software/hardware systems
83.
software-based self-test
84.
software-based self-test (SBST)
85.
software-defined network
86.
software-defined networking
87.
software-defined networking (SDN)
88.
software-in-the-loop (SIL) testing
89.
SOLIDWORKS software
90.
SysML modeling software
91.
system-to-software integrity
92.
triptych software engineering
93.
computer
94.
computer aided design
95.
computer aided diagnosis
96.
computer aided diagnostics
97.
computer aided instruction
98.
computer aided language translation
99.
computer aided manufacturing
100.
computer aided methods
101.
computer aided testing
102.
computer algebra
103.
computer algebra system
104.
computer and education
105.
computer anxiety
106.
computer architecture
107.
computer assisted language learning
108.
computer based learning
109.
computer circuits
110.
computer control
111.
Computer crime
112.
computer education
113.
computer engineering
114.
computer engineerng
115.
computer game
116.
computer graphics
117.
computer hardware
118.
computer integrated manufacturing
119.
computer network management
120.
computer network operations
121.
computer networks
122.
computer pipelines
123.
computer programming
124.
computer programming languages
125.
computer programs
126.
computer security
127.
computer simulation
128.
computer simulation environments
129.
computer simulations
130.
computer softwaregraph theory
131.
computer systems
132.
Computer systems organization
133.
computer terminals
134.
computer vision
135.
computer vision-based methods
136.
computer workers
137.
computer-aided anthropometry
138.
computer-aided architectural design (CAAD)
139.
computer‐aided assessment
140.
computer-aided design
141.
computer-aided design (CAD)
142.
computer-aided detection
143.
computer‐aided detection
144.
computer-aided diagnosis
145.
computer-aided drawing (CAD)
146.
computer-aided engineering
147.
computer-aided teaching
148.
Computer-Aided Tuning
149.
computer-aided tuning (CAT)
150.
computer-assisted language learning (CALL)
151.
computer-oriented technologies
152.
computer-supported decision-making
153.
computer-use
154.
computer-workers
155.
control engineering computer applications
156.
distributed computer systems
157.
education in computer engineering
158.
fifth generation computer
159.
gateways (computer networks)
160.
high-performance computer systems
161.
human computer interaction
162.
human computer interaction (HCI)
163.
human-computer interaction
164.
human–computer interaction
165.
Human-Computer Interaction (HCI)
166.
human-computer trust
167.
interactive computer graphics
168.
laptop computer
169.
single board computer
170.
single-board computer
171.
structure computer analysis
172.
ubiquitous computer technology
173.
Web and computer-based learning
174.
applied science
175.
big data science
176.
chemistry and philosophy of science
177.
citizen science
178.
citizen science hub
179.
classical exact science
180.
cognitive science
181.
computational social science
182.
data science
183.
data-science
184.
decision science
185.
design science
186.
design science research
187.
design-science
188.
energy science and technology
189.
engineering pedagogy science
190.
environmental science
191.
ethics of science
192.
exact science
193.
food science
194.
forensic science
195.
logic of science
196.
materials science
197.
NATO. Science for Peace and Security Program
198.
non-classical exact science
199.
philosophy of science
200.
physics and philosophy of science
201.
planetary science
202.
political science
203.
popular science literature
204.
post normal science
205.
post-normal science
206.
Q science
207.
science
208.
science advisors
209.
science and arts
210.
science and technology libraries
211.
science and technology parks
212.
science fiction
213.
science gateway
214.
science integration
215.
science mapping
216.
science policy
217.
science technology and innovation
218.
science technology innovation
219.
Science, Technology and Innovation Policy
220.
science-based industries
221.
science-driven models
222.
science-policy-society interface
223.
Security and political science
224.
Social Science
225.
social science methodology
226.
sustainability science
227.
Thomson Reuters Web of Science
228.
transdisciplinary science
229.
Web of Science
230.
World Academy of Art and Science (WAAS)
231.
ȹ-science
232.
φ-science
233.
ϕ-science
märksõna
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
autor
1
1.
Department of Software Science, Tallinn University of Technology
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT