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
304
Vaata veel..
(3/248)
Ekspordi
ekspordi kõik päringu tulemused
(304)
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 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
252
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
253
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
254
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
255
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
256
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
257
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
258
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
259
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
260
artikkel kogumikus EST
/
artikkel kogumikus ENG
String diagrammatic electrical circuit theory
Boisseau, Guillaume
;
Sobocinski, Pawel Maria
arXiv.org
2022
/
p. 178-191 : ill
https://doi.org/10.4204/EPTCS.372.13
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.13
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
261
artikkel kogumikus EST
/
artikkel kogumikus ENG
String diagrammatic trace theory
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
2023
/
art. 43, 43 p. : ill
https://doi.org/10.4230/LIPIcs.MFCS.2023.43
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
262
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Structured development of implementations for divide-and-conquer specifications
Bortin, Maksym
Science of computer programming
2024
/
art. 103011, 15 p. : ill
https://doi.org/10.1016/j.scico.2023.103011
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
263
artikkel kogumikus EST
/
artikkel kogumikus ENG
Structuring analyses of complex enterprise datasets with adaptive morphogenesis methods
Polis, Einar
ECBS '17: Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems
2017
/
art. a5, 10 p. : ill
https://doi.org/10.1145/3123779.3123808
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
264
artikkel kogumikus EST
/
artikkel kogumikus ENG
Surviving the unforeseen - teaching IT and engineering students during COVID-19 outbreak
Ruberg, Priit
;
Ellervee, Peeter
;
Tammemäe, Kalle
;
Reinsalu, Uljana
;
Rähni, Andres
;
Robal, Tarmo
Proceedings - Frontiers in Education Conference, FIE
2022
/
Code 184790
https://doi.org/10.1109/FIE56618.2022.9962383
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
265
artikkel kogumikus EST
/
artikkel kogumikus ENG
ZED-TTE: Zone embedding and deep neural network based travel time estimation approach
Ounoughi, Chahinez
;
Yeferny, Taoufik
;
Ben Yahia, Sadok
2021 International Joint Conference on Neural Networks (IJCNN) : proceedings
2021
/
10 p
https://doi.org/10.1109/IJCNN52387.2021.9533456
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
266
artikkel kogumikus EST
/
artikkel kogumikus ENG
TalTech-IRIT-LIS speaker and language diarization systems for DISPLACE 2024
Kalda, Joonas
;
Alumäe, Tanel
;
Lebourdais, Martin
;
Bredin, Hervé
;
Baroudi, Séverin
;
Marxer, Ricard
Interspeech 2024, 1-5 September 2024, Kos, Greece
2024
/
p. 1635–1639 : ill
https://doi.org/10.21437/Interspeech.2024-2462
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
267
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
TermX: The semantic interoperability, knowledge management and sharing platform
Bossenko, Igor
;
Piho, Gunnar
;
Ivanova, Marina
;
Ross, Peeter
SoftwareX
2024
/
art. 101839, 7 p. : ill
https://doi.org/10.1016/j.softx.2024.101839
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
A domain-specific framework for supporting semantic interoperability in primary and secondary use of health data on the example of the Estonian National Health Information System = Tervishoiu domeenipõhise semantilise raamistiku loomine terviseandmete esmaseks ja teiseseks kasutamiseks Eesti Tervise infosüsteemi näitel
268
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Test scenario specification language for model-based testing
Halling, Evelin
;
Vain, Jüri
;
Boyarchuk, Artem
;
Illiashenko, Oleg
International Journal of Computing
2019
/
p. 408-421 : ill
http://www.computingonline.net/computing/article/view/1611
https://doi.org/10.47839/ijc.18.4.1611
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
269
artikkel kogumikus EST
/
artikkel kogumikus ENG
The 2016 BBN Georgian telephone speech keyword spotting system
Alumäe, Tanel
;
Karakos, Damianos
;
Hartmann, William
2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA
2017
/
p. 5755-5759 : tab
https://doi.org/10.1109/ICASSP.2017.7953259
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
270
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The essential competencies of software professionals : a unified competence framework
Assyne, Nana
;
Ghanbari, Hadi
;
Pulkkinen, Mirja
Information and software technology
2022
/
art. 107020, 20 p. : ill
https://doi.org/10.1016/j.infsof.2022.107020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
271
artikkel kogumikus EST
/
artikkel kogumikus ENG
The role of demographics in cities
Soe, Ralf-Martin
dg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA
2017
/
p. 446-451 : ill
https://doi.org/10.1145/3085228.3085274
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
272
artikkel kogumikus EST
/
artikkel kogumikus ENG
The smash product of monoidal theories
Hadzihasanovic, Amar
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy, virtual : proceedings
2021
/
art. 9470575, 13 p
https://doi.org/10.1109/LICS52264.2021.9470575
Conference proceeding at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
273
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The state of research on software engineering competencies : a systematic mapping study
Assyne, Nana
;
Ghanbari, Hadi
;
Pulkkinen, Mirja
Journal of systems and software
2022
/
art. 111183, 18 p. : ill
https://doi.org/10.1016/j.jss.2021.111183
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
A theme section on the central role of modeling in designing and explaining data-driven systems and software
Attiogbe, Christian
;
Ben Yahia, Sadok
;
Bellatreche, Ladjel
Software and Systems Modeling
2023
/
p. 1945-1947
https://doi.org/10.1007/s10270-023-01133-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
275
artikkel kogumikus EST
/
artikkel kogumikus ENG
Theory and practice of linked open statistical data
Tambouris, Efthimios
;
Kalampokis, Evangelos
;
Janssen, Marijn
;
Matheus, Ricardo
;
Hermans, Paul
;
Kalvet, Tarmo
dg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 2018
2018
/
Article No. 130, 2 p
https://doi.org/10.1145/3209281.3209341
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 304, kuvan
251 - 275
eelmine
4
5
6
7
8
9
10
11
12
13
järgmine
võtmesõna
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
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