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
320
Vaata veel..
(3/256)
Ekspordi
ekspordi kõik päringu tulemused
(320)
Salvesta TXT 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
251
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
SecRef★: Securely Sharing Mutable References betweenVerified and Unverified Code in F★
Andrici, Cezar-Constantin
;
Ahman, Danel
;
Hritcu, Catalin
;
Icleanu, Ruxandra
;
Martinez, Guido
;
Rivas, Exequiel
;
Winterhalter, Theo
Proceedings of the ACM on Programming Languages
2025
/
art 253, p. 510-540
https://doi.org/10.1145/3747522
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
252
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Securing verified IO programs against unverified code in F∗
Andrici, Cezar-Constantin
;
Ciobâca, Stefan
;
Hriţcu, Catalin
;
Martínez, Guido
;
Rivas, Exequiel
;
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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
253
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Leveraging FPGA Reconfigurability as an Obfuscation Asset = FPGA ümberkonfigureeritavuse rakendamine hägustamise vahendina
254
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
255
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
256
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
257
artikkel kogumikus EST
/
artikkel kogumikus ENG
Sensor Fusion Desynchronization Attacks
Finkenzeller, Andreas
;
Roberts, Andrew James
;
Bellone, Mauro
;
Maennel, Olaf Manuel
;
Hamad, Mohammad
;
Steinhorst, Sebastian
37th Euromicro Conference on Real-Time Systems (ECRTS 2025), July 8–11, 2025, Brussels, Belgium
2025
/
art. 6, p. 6:1–6:22 : ill
https://doi.org/10.4230/DARTS.11.1.1
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
258
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
259
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
260
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
261
artikkel kogumikus EST
/
artikkel kogumikus ENG
Slice nondeterminism
Voorneveld, Niels Frits Willem
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
artikkel kogumikus EST
/
artikkel kogumikus ENG
262
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
263
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
264
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
265
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
266
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
267
artikkel kogumikus EST
/
artikkel kogumikus ENG
A software product line approach for semantic specification of block libraries in dataflow languages
Dieumegard, Arnaud
;
Toom, Andres
;
Pantel, Marc
SPLC '14: 18th International Software Product Line Conference, Florence Italy, September 15-19, 2014. Volume 1
2014
/
p. 217-226 : ill
https://doi.org/10.1145/2648511.2648534
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
268
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Sound conflict management and resolution for virtual-enterprise collaborations
Narendra, Nanjangud C.
;
Norta, Alexander
;
Mahunnah, Msury
;
Ma, Lixin
;
Maggi, Fabrizio Maria
Service-oriented computing and applications
2016
/
p. 233-251 : ill
https://doi.org/10.1007/s11761-015-0183-0
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
269
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Span(Graph) : a canonical feedback algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman Garcia, Mario
;
Sabadini, Nicoletta
;
Sobocinski, Pawel Maria
Software and systems modeling
2023
/
p. 495-520 : ill
https://doi.org/10.1007/s10270-023-01092-7
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
270
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Special issue on concept lattices and their applications (CLA 2020)
Valverde-Albacete, Francisco José
;
Trnecka, Martin
;
Ben Yahia, Sadok
International journal of approximate reasoning
2024
/
art. 109079, 3 p.
https://doi.org/10.1016/j.ijar.2023.109079
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
271
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Special Issue on Digital Twin for Future Networks and Emerging IoT Applications (DT4IoT)
Hakiri, Akram
;
Ben Yahia, Sadok
;
Gokhale, Aniruddha S.
;
Mellouli, Nédra
Future generation computer systems
2024
/
p. 81-84
https://doi.org/10.1016/j.future.2024.06.056
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
272
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Split-chip design to prevent IP reverse engineering
Pagliarini, Samuel Nascimento
;
Sweeney, Joseph
;
Mai, Ken
;
Blanton, Shawn
;
Mitra, Subhasish
;
Pileggi, Larry
IEEE Design and Test
2020
/
p. 109-118
https://doi.org/10.1109/MDAT.2020.3033255
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
273
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
SSProve : a foundational framework for modular cryptographic proofs in Coq
Haselwarter, Philipp G.
;
Rivas, Exequiel
;
Van Muylder, Antoine
;
Winterhalter, Théo
;
Abate, Carmine
;
Sidorenco, Nikolaj
;
Hriţcu, Cǎtǎlin
;
Maillard, Kenji
;
Spitters, Bas
ACM Transactions on Programming Languages and Systems
2023
/
art. 15
https://doi.org/10.1145/3594735
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
274
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Stream clustering guided supervised learning for classifying NIDS alerts
Vaarandi, Risto
;
Guerra Manzanares, Alejandro
Future generation computer systems
2024
/
p. 231-244 : ill
https://doi.org/10.1016/j.future.2024.01.032
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
275
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
String diagram rewrite theory I : rewriting with Frobenius structure
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Journal of the ACM
2022
/
art. 14
https://doi.org/10.1145/3502719
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 320, kuvan
251 - 275
eelmine
4
5
6
7
8
9
10
11
12
13
järgmine
võtmesõna
249
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 industry
73.
software level TMR
74.
software modeling
75.
software outsourcing
76.
Software packages
77.
software project management
78.
software qualification
79.
software quality
80.
software quality attributes
81.
software quality characteristics
82.
software refactoring
83.
software sector
84.
software security
85.
software security level
86.
software security subcharacteristics
87.
software testing
88.
software tools for robot programming
89.
software vulnerabilities
90.
software/hardware partitioning
91.
software/hardware systems
92.
software-based self-test
93.
software-based self-test (SBST)
94.
software-defined network
95.
software-defined networking
96.
software-defined networking (SDN)
97.
software-in-the-loop (SIL) testing
98.
SOLIDWORKS software
99.
SysML modeling software
100.
system-to-software integrity
101.
triptych software engineering
102.
computer
103.
computer aided design
104.
computer aided diagnosis
105.
computer aided diagnostics
106.
computer aided instruction
107.
computer aided language translation
108.
computer aided manufacturing
109.
computer aided methods
110.
computer aided testing
111.
computer algebra
112.
computer algebra system
113.
computer and education
114.
computer anxiety
115.
computer architecture
116.
computer assisted language learning
117.
computer based learning
118.
computer circuits
119.
computer control
120.
Computer crime
121.
computer education
122.
computer engineering
123.
computer engineerng
124.
computer game
125.
computer graphics
126.
computer hardware
127.
computer integrated manufacturing
128.
computer network management
129.
computer network operations
130.
computer networks
131.
computer pipelines
132.
computer programming
133.
computer programming languages
134.
computer programs
135.
computer security
136.
computer simulation
137.
computer simulation environments
138.
computer simulations
139.
computer softwaregraph theory
140.
computer systems
141.
Computer systems organization
142.
computer systems programming
143.
computer terminals
144.
computer vision
145.
computer vision-based methods
146.
computer workers
147.
computer-aided anthropometry
148.
computer-aided architectural design (CAAD)
149.
computer‐aided assessment
150.
computer-aided design
151.
computer-aided design (CAD)
152.
computer-aided detection
153.
computer‐aided detection
154.
computer-aided diagnosis
155.
computer-aided drawing (CAD)
156.
computer-aided engineering
157.
computer-aided teaching
158.
Computer-Aided Tuning
159.
computer-aided tuning (CAT)
160.
computer-assisted language learning (CALL)
161.
computer-oriented technologies
162.
computer-supported decision-making
163.
computer-use
164.
computer-workers
165.
control engineering computer applications
166.
distributed computer systems
167.
education in computer engineering
168.
fault tolerant computer systems
169.
fifth generation computer
170.
gateways (computer networks)
171.
high-performance computer systems
172.
human computer interaction
173.
human computer interaction (HCI)
174.
human-computer interaction
175.
human–computer interaction
176.
Human-Computer Interaction (HCI)
177.
human-computer interface
178.
human-computer trust
179.
interactive computer graphics
180.
laptop computer
181.
single board computer
182.
single-board computer
183.
structure computer analysis
184.
ubiquitous computer technology
185.
Web and computer-based learning
186.
applied science
187.
big data science
188.
chemistry and philosophy of science
189.
citizen science
190.
citizen science hub
191.
classical exact science
192.
cognitive science
193.
computational social science
194.
data science
195.
data-science
196.
decision science
197.
design science
198.
design science research
199.
design-science
200.
energy science and technology
201.
engineering pedagogy science
202.
environmental science
203.
ethics of science
204.
exact science
205.
food science
206.
forensic science
207.
logic of science
208.
materials science
209.
NATO. Science for Peace and Security Program
210.
non-classical exact science
211.
philosophy of science
212.
physics and philosophy of science
213.
planetary science
214.
political science
215.
popular science literature
216.
post normal science
217.
post-normal science
218.
Q science
219.
science
220.
science advisors
221.
science and arts
222.
science and technology libraries
223.
science and technology parks
224.
Science Education
225.
science fiction
226.
science gateway
227.
science integration
228.
science mapping
229.
science policy
230.
science technology and innovation
231.
science technology innovation
232.
Science, Technology and Innovation Policy
233.
science-based industries
234.
science-driven models
235.
science-policy-society interface
236.
Security and political science
237.
security science and technology
238.
Social Science
239.
social science methodology
240.
sustainability science
241.
Thomson Reuters Web of Science
242.
transdisciplinary science
243.
values in science
244.
Web of Science
245.
wood science and technology
246.
World Academy of Art and Science (WAAS)
247.
ȹ-science
248.
φ-science
249.
ϕ-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