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
226
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Requirements elicitation and specification using the agent paradigm : the case study of an aircraft turnaround simulator
Miller, Tim
;
Lu, Bin
;
Sterling, Leon
;
Beydoun, Ghassan
;
Taveter, Kuldar
IEEE transactions on software engineering
2014
/
p. 1007-1024 : ill
https://doi.org/10.1109/TSE.2014.2339827
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
227
artikkel kogumikus EST
/
artikkel kogumikus ENG
Research gaps on public service delivery
Lopes, Nuno Vasco
;
Sa Soares, Delfina
;
Meyerhoff Nielsen, Morten
;
Tavares, Antonio
ICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 2017
2017
/
p. 465-474 : ill
https://doi.org/10.1145/3047273.3047388
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
228
artikkel kogumikus EST
/
artikkel kogumikus ENG
Re-shaping the EU digital identity framework
Lips, Silvia
;
Vinogradova, Natalia
;
Krimmer, Robert Johannes
;
Draheim, Dirk
23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings
2022
/
p. 13-21
https://doi.org/10.1145/3543434.3543652
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
229
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A roadside unit deployment framework for enhancing transportation services in Maghrebian cities
Chaabene, Seif Ben
;
Yeferny, Taoufik
;
Ben Yahia, Sadok
Concurrency and Computation: Practice and Experience
2021
/
art. e5611
https://doi.org/10.1002/cpe.5611
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
230
artikkel kogumikus EST
/
artikkel kogumikus ENG
Robust training of vector quantized bottleneck models
Lancucki, Adrian
;
Chorowski, Jan
;
Sanchez, Guillaume
;
Marxer, Ricard
;
Chen, Nanxin
;
Dolfing, Hans J.G.A.
;
Khurana, Sameer
;
Alumäe, Tanel
;
Laurent, Antoine
2020 International Joint Conference onNeural Networks (IJCNN), 19-24 July 2020, Glasgow, UK : proceedings
2020
/
art. 163566 : 7 p
https://doi.org/10.1109/IJCNN48605.2020.9207145
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
231
artikkel kogumikus EST
/
artikkel kogumikus ENG
RoCo-NAS : robust and compact neural architecture search
Geraeinejad, Vahid
;
Sinaei, Sima
;
Modarressi, Mehdi
;
Daneshtalab, Masoud
2021 International Joint Conference on Neural Networks (IJCNN) : proceedings
2021
/
8 l
https://doi.org/10.1109/IJCNN52387.2021.9534460
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
232
artikkel kogumikus EST
/
artikkel kogumikus ENG
The role of linked open statistical data in public service co-creation
McBride, Keegan David Braun
;
Matheus, Ricardo
;
Toots, Maarja
;
Kalvet, Tarmo
;
Krimmer, Robert Johannes
ICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland
2018
/
p. 679-681
https://doi.org/10.1145/3209415.3209446
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
233
artikkel kogumikus EST
/
artikkel kogumikus ENG
Russian Federal remote E-voting scheme of 2021 - protocol description and analysis
Vakarjuk, Jelizaveta
;
Snetkov, Nikita
;
Willemson, Jan
EICC '22: Proceedings of the 2022 European Interdisciplinary Cybersecurity Conference
2022
/
p. 29-35
https://doi.org/10.1145/3528580.3528586
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
234
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
SCARF : securing chips with a robust framework against fabrication-time hardware trojans
Eslami, Mohammad
;
Ghasempouri, Tara
;
Pagliarini, Samuel Nascimento
IEEE Transactions on Computers
2024
/
p. 2761-2775
https://doi.org/10.1109/TC.2024.3449082
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
SCARF : securing chips with a robust framework against fabrication-time hardware Trojans : preprint
235
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 Gadda, Exequiel Matías
;
Tanter, Éric
;
Winterhalter, Théo
Proceedings of the ACM on programming languages
2024
/
art. 74, 34 p. : ill
https://doi.org/10.1145/3632916
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
236
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
237
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
238
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
239
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
240
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
241
artikkel kogumikus EST
/
artikkel kogumikus ENG
Situated transition systems
Nester, Chad Mitchell
arXiv
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
242
artikkel kogumikus EST
/
artikkel kogumikus ENG
Slice nondeterminism
Voorneveld, Niels
4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 2023
2023
/
art. 31, 19 p
https://doi.org/10.4230/LIPIcs.ITP.2023.31
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
243
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
244
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
245
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
246
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
247
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
248
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
249
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
250
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
Kirjeid leitud 299, kuvan
226 - 250
eelmine
3
4
5
6
7
8
9
10
11
12
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