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
Searching
My bookmarks
0
Computer science. Software (category)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
183
Look more..
(3/209)
Export
export all inquiry results
(183)
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
151
book article EST
/
book article 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
book article EST
/
book article ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
152
book article EST
/
book article 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
book article EST
/
book article ENG
153
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
154
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
155
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
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
156
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
157
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
158
book article EST
/
book article ENG
String diagrammatic electrical circuit theory
Boisseau, Guillaume
;
Sobocinski, Pawel Maria
arXiv
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
159
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
160
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
161
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
162
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
163
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
164
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
165
journal article EST
/
journal article ENG
A theme section on the central role of modeling in designing and explaining data-driven systems and software
Attiogbé, 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
166
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
167
journal article EST
/
journal article ENG
3D modelling of non-uniform and turbulent flow in vertical slot fishways
Fuentes-Pérez, Juan Francisco
;
Silva, A.T.
;
Tuhtan, Jeffrey Andrew
;
Garcia-Vega, Ana
;
Carbonell Baeza, Ruth
;
Musall, Mark
;
Kruusmaa, Maarja
Environmental modelling & software
2018
/
p. 156-169 : ill
https://doi.org/10.1016/j.envsoft.2017.09.011
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
168
book article EST
/
book article ENG
Towards a networked modern democracy: thoughts on how ICT could enable new forms for the relationship between citizens and their representatives
Fischer, Dirk-Hinnerk
;
Krimmer, Robert Johannes
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
/
art. 52, 8 p. : ill
https://doi.org/10.1145/3209281.3209284
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
169
book article EST
/
book article ENG
Towards a smart sustainable city roadmap
Pereira, Gabriela Viale
;
Estevez, Elsa
;
Krimmer, Robert
;
Janssen, Marijn
;
Janowski, Tomasz
Proceedings of the 20th Annual International Conference on Digital Government Research : Governance in the Age of Artificial Intelligence, 2019, Dubai 18 June- 20 June 2019
2019
/
p. 527- 528
https://doi.org/10.1145/3325112.3325274
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
170
journal article EST
/
journal article ENG
Towards a smarter directional data aggregation in VANETs
Allani, Sabri
;
Yeferny, Taoufik
;
Chbeir, Richard
;
Ben Yahia, Sadok
World Wide Web
2020
/
p. 2303−2322 : ill
https://doi.org/10.1007/s11280-019-00749-y
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
171
journal article EST
/
journal article ENG
Towards a synesthesia laboratory : real-time localization and Visualization of a sound source for virtual reality applications
Köse, Ahmet
;
Tepljakov, Aleksei
;
Astapov, Sergei
;
Draheim, Dirk
;
Petlenkov, Eduard
;
Vassiljeva, Kristina
Journal of communications software and systems
2018
/
p. 112–120 : ill
https://doi.org/10.24138/jcomss.v14i1.410
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
172
journal article EST
/
journal article ENG
Transnational digital identity as an instrument for Global Digital Citizenship : The case of Estonia’s e-Residency
Tammpuu, Piia
;
Masso, Anu
Information systems frontiers
2019
/
p. 621-634 : ill
https://doi.org/10.1007/s10796-019-09908-y
Professor Anu Masso: e-residentsus taastoodab digitaalset ebavõrdsust
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
173
book article EST
/
book article ENG
Type-theoretic constructions of the final coalgebra of the finite powerset functor
Veltri, Niccolo
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
2021
/
p. 22:1-22:18
https://doi.org/10.4230/LIPIcs.FSCD.2021.22
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
174
book article EST
/
book article ENG
Understanding MPSoCs : exploiting memory microarchitectural vulnerabilities of high performance NoC-based MPSoCs
Sepulveda, Johanna
;
Azad, Siavoosh Payandeh
;
Niazmand, Behrad
;
Jervan, Gert
SAMOS '18 : Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Pythagorion, Greece, July 15-19, 2018
2018
/
p. 162-166
https://doi.org/10.1145/3229631.3239367
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
175
journal article EST
/
journal article ENG
Understanding multidimensional verification : where functional meets non-functional
Lai, Xinhui
;
Balakrishnan, Aneesh
;
Lange, Thomas
;
Jenihhin, Maksim
;
Ghasempouri, Tara
;
Raik, Jaan
;
Alexandrescu, Dan
Microprocessors and microsystems
2019
/
art. 102867, 13 p. : ill
https://doi.org/10.1016/j.micpro.2019.102867
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
2
A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
Number of records 183, displaying
151 - 175
previous
1
2
3
4
5
6
7
8
next
keyword
202
1.
computer software
2.
computer science
3.
computer science basics
4.
computer science education
5.
logic in computer science
6.
advanced programming and software
7.
agent software architecture
8.
agent-oriented software engineering
9.
Agile software engineering
10.
AI based CAD software
11.
analysis software
12.
Anonymization software
13.
bernese software
14.
business software
15.
CFD (computational fluid dynamics) software
16.
client-vendor relationship in software development
17.
communicating hardware/software systems
18.
communicating software/hardware systems
19.
COMSOL software
20.
educational software
21.
embedded software
22.
energy simulation software
23.
free software
24.
GIS software
25.
hardware/software co-design
26.
interoperability and evolution of healthcare models and software systems
27.
invasive software
28.
large software projects
29.
learning software agents
30.
model-based software development
31.
ontology driven software development
32.
ontology-based software engineering
33.
open source software
34.
optimization software
35.
plagiarism software
36.
public domain software
37.
RETScreen software
38.
self learning software
39.
sensor software
40.
simulation software "Delphin"
41.
simulations with software
42.
social software
43.
software
44.
software architecture
45.
software based self-test
46.
software companies
47.
software complexity
48.
software containers
49.
software defined networking
50.
software defined networking (SDN)
51.
software defined radio
52.
software design
53.
software development
54.
software development concepts
55.
software engineering
56.
software engineering education
57.
Software engineering methodology evaluation
58.
software engineering practises
59.
software factory
60.
software for measurements
61.
software implementation
62.
software level TMR
63.
software modeling
64.
software outsourcing
65.
software project management
66.
software qualification
67.
software quality
68.
software sector
69.
software testing
70.
software/hardware partitioning
71.
software/hardware systems
72.
software-based self-test
73.
software-based self-test (SBST)
74.
software-defined network
75.
software-defined networking
76.
software-defined networking (SDN)
77.
software-in-the-loop (SIL) testing
78.
SOLIDWORKS software
79.
SysML modeling software
80.
system-to-software integrity
81.
triptych software engineering
82.
computer
83.
computer aided design
84.
computer aided diagnosis
85.
computer aided diagnostics
86.
computer aided instruction
87.
computer aided manufacturing
88.
computer aided testing
89.
computer algebra
90.
computer algebra system
91.
computer and education
92.
computer anxiety
93.
computer architecture
94.
computer assisted language learning
95.
computer based learning
96.
computer circuits
97.
computer control
98.
computer education
99.
computer engineering
100.
computer engineerng
101.
computer game
102.
computer graphics
103.
computer hardware
104.
computer integrated manufacturing
105.
computer network management
106.
computer network operations
107.
computer networks
108.
computer pipelines
109.
computer programming
110.
computer programs
111.
computer security
112.
computer simulation
113.
computer simulation environments
114.
computer simulations
115.
computer softwaregraph theory
116.
computer systems
117.
computer terminals
118.
computer vision
119.
computer workers
120.
computer-aided anthropometry
121.
computer-aided architectural design (CAAD)
122.
computer‐aided assessment
123.
computer-aided design
124.
computer-aided detection
125.
computer‐aided detection
126.
computer-aided diagnosis
127.
computer-aided drawing (CAD)
128.
computer-aided engineering
129.
computer-aided teaching
130.
Computer-Aided Tuning
131.
computer-aided tuning (CAT)
132.
computer-assisted language learning (CALL)
133.
computer-oriented technologies
134.
computer-supported decision-making
135.
computer-use
136.
control engineering computer applications
137.
distributed computer systems
138.
education in computer engineering
139.
fifth generation computer
140.
gateways (computer networks)
141.
high-performance computer systems
142.
human computer interaction
143.
human computer interaction (HCI)
144.
human-computer interaction
145.
Human-Computer Interaction (HCI)
146.
interactive computer graphics
147.
laptop computer
148.
single board computer
149.
single-board computer
150.
structure computer analysis
151.
ubiquitous computer technology
152.
Web and computer-based learning
153.
applied science
154.
chemistry and philosophy of science
155.
citizen science
156.
classical exact science
157.
computational social science
158.
data science
159.
data-science
160.
design science
161.
design science research
162.
design-science
163.
energy science and technology
164.
engineering pedagogy science
165.
environmental science
166.
ethics of science
167.
exact science
168.
food science
169.
materials science
170.
NATO. Science for Peace and Security Program
171.
non-classical exact science
172.
philosophy of science
173.
physics and philosophy of science
174.
planetary science
175.
political science
176.
popular science literature
177.
post normal science
178.
post-normal science
179.
Q science
180.
science
181.
science advisors
182.
science and arts
183.
science and technology libraries
184.
science and technology parks
185.
science fiction
186.
science gateway
187.
science integration
188.
science mapping
189.
science policy
190.
science technology innovation
191.
Science, Technology and Innovation Policy
192.
science-based industries
193.
science-policy-society interface
194.
Social Science
195.
social science methodology
196.
sustainability science
197.
transdisciplinary science
198.
Web of Science
199.
World Academy of Art and Science (WAAS)
200.
ȹ-science
201.
φ-science
202.
ϕ-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
author
1
1.
Department of Software Science, Tallinn University of Technology
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT