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/245)
Export
export all inquiry results
(304)
Save TXT fail
Save PDF 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
251
book article EST
/
book article 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
book article EST
/
book article ENG
252
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
253
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
254
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
255
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
256
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
257
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
258
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
259
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
260
book article EST
/
book article 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
book article EST
/
book article ENG
261
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
1
Languages of string diagrams = Nöördiagrammide keeled
262
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
263
book article EST
/
book article 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
book article EST
/
book article ENG
264
book article EST
/
book article 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
book article EST
/
book article ENG
265
book article EST
/
book article 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
book article EST
/
book article ENG
266
book article EST
/
book article 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
book article EST
/
book article ENG
267
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Related publications
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
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
269
book article EST
/
book article 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
book article EST
/
book article ENG
270
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
271
book article EST
/
book article 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
book article EST
/
book article ENG
272
book article EST
/
book article 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
book article EST
/
book article ENG
273
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
274
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
275
book article EST
/
book article 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
book article EST
/
book article ENG
Number of records 304, displaying
251 - 275
previous
4
5
6
7
8
9
10
11
12
13
next
keyword
235
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.
security science and technology
225.
Social Science
226.
social science methodology
227.
sustainability science
228.
Thomson Reuters Web of Science
229.
transdisciplinary science
230.
Web of Science
231.
wood science and technology
232.
World Academy of Art and Science (WAAS)
233.
ȹ-science
234.
φ-science
235.
ϕ-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