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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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
TTÜ subject term
TTÜ 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 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
173
Look more..
(3/207)
Export
export all inquiry results
(173)
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
101
book article EST
/
book article ENG
Nonlinear orientation controller for a compliant robotic fish based on asymmetric actuation
Meurer, Christian
;
Simha, Ashutosh
;
Kotta, Ülle
;
Kruusmaa, Maarja
2019 International Conference on Robotics and Automation : ICRA 2019, Palais des Congres de Montreal, Canada, 20-24 May, 2019
2019
/
Art. 8793892 ; p. 4688-4694
https://doi.org/10.1109/ICRA.2019.8793892
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
102
book article EST
/
book article ENG
Normalization by evaluation for the Lambek calculus
Veltri, Niccolo
10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 2022
2022
/
p. 102-117
https://doi.org/10.4204/eptcs.358.8
https://arxiv.org/abs/2204.06719v1
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
103
journal article EST
/
journal article ENG
A novel efficient and lightweight authentication scheme for secure smart grid communication systems
Hammami, Hamza
;
Ben Yahia, Sadok
;
Obaidat, Mohammad S.
The Journal of Supercomputing
2023
/
p. 7360 - 7376
https://doi.org/10.1007/s11227-022-04944-z
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
104
journal article EST
/
journal article ENG
A novel imbalanced data classification approach for suicidal ideation detection on social media
Ben Hassine, Mohamed Ali
;
Abdellatif, Safa
;
Ben Yahia, Sadok
Computing
2022
/
p. 741-765 : ill
https://doi.org/10.1007/s00607-021-00984-0
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
105
book article EST
/
book article ENG
On architecture of e-government ecosystems: from e-services to e-participation [iiWAS'2020 Keynote]
Draheim, Dirk
iiWAS2020 : The 22st International Conference on Information Integration and Web-based Applications & Services, November 30 - December 2, 2020, Chiang Mai, Thailand : [Proceedings]
2020
/
p. 3−10
https://doi.org/10.1145/3428757.3429972
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
106
book article EST
/
book article ENG
On doctrines and Cartesian bicategories
Bonchi, Filippo
;
Santamaria, Alessio
;
Seeber, Jens
;
Sobocinski, Pawel Maria
CALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings
2021
/
p. 10:1−10:7
https://doi.org/10.4230/LIPIcs.CALCO.2021.10
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
107
book article EST
/
book article ENG
On existing trends towards creation of a holistic sociotechnical approach to e-Governance
Kosenkov, Oleksandr
;
Pappel, Ingrid
;
Draheim, Dirk
Proceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 2019
2019
/
p. 492–493 : ill
https://doi.org/10.1145/3326365.3326437
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
108
journal article EST
/
journal article ENG
On the application of active learning for efficient and effective Iot botnet detection
Guerra Manzanares, Alejandro
;
Bahsi, Hayretdin
Future Generation Computer Systems
2023
/
p. 40-53 : ill
https://doi.org/10.1016/j.future.2022.10.024
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Machine learning-based detection and characterization of evolving threats in mobile and IoT Systems = Masinõppepõhine arenevate ohtude tuvastamine ning kirjeldamine mobiilseadmete ja värkvõrkude jaoks
109
book article EST
/
book article ENG
On the systematic exploitation of the Estonian data exchange layer X-road for strengthening public-private partnerships
Paide, Karoline
;
Pappel, Ingrid
;
Vainsalu, Heiko
;
Draheim, Dirk
ICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland
2018
/
p. 34-41
https://doi.org/10.1145/3209415.3209441
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
110
journal article EST
/
journal article ENG
Ontology integration : approaches and challenging issues
Osman, Ines
;
Ben Yahia, Sadok
;
Diallo, Gayo
Information Fusion
2021
/
p. 38-63 : ill
https://doi.org/10.1016/j.inffus.2021.01.007
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
111
book article EST
/
book article ENG
Open diagrams via Coend calculus
Roman Garcia, Mario
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 65-78 : ill
https://doi.org/10.4204/EPTCS.333.5
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
112
journal article EST
/
journal article ENG
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2021
/
art. 100677, 27 p
https://doi.org/10.1016/j.jlamp.2021.100677
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
113
book article EST
/
book article ENG
Optics for premonoidal categories
Hefford, James
;
Roman Garcia, Mario
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 152-171 : ill
https://doi.org/10.4204/EPTCS.397.10
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
114
journal article EST
/
journal article ENG
Optimal control of automatic manipulator for elimination of galvanic line load oscillation
Autsou, Siarhei
;
Rassõlkin, Anton
;
Vaimann, Toomas
;
Demidova, Galina
;
Saroka, Viktor
;
Karpovich, Dzmitry
;
Kallaste, Ants
Periodica polytechnica electrical engineering and computer science
2021
/
15 p. : ill
https://doi.org/10.3311/PPee.15893
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
115
journal article EST
/
journal article ENG
Optimized vibro-acoustic design of suspended glass panels
Aiello, Robert
;
Auriemma, Fabio
Structural and multidisciplinary optimization
2018
/
p. 2253–2268 : ill
https://doi.org/10.1007/s00158-018-2014-3
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
116
book article EST
/
book article ENG
Overcoming challenges in the silver economy by connecting services in the Silver Hub : the tool to provide the basis for the innovative solutions
Kangilaski, Taivo
;
Butt, Sidra Azmat
;
Pappel, Ingrid
;
Kangilaski, Erik
Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 - 8 October 2021, Athens, Greece
2021
/
p. 231-237 : ill
https://doi.org/10.1145/3494193.3494225
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
A Digital collaborative platform to facilitate innovative solutions for the silver economy = Digitaalne koostööplatvorm hõlbustamaks uuenduslikke lahendusi hõbemajanduses
117
journal article EST
/
journal article ENG
Parkinson's disease diagnostics based on the analysis of digital sentence writing test
Netšunajev, Aleksei
;
Nõmm, Sven
;
Toomela, Aaro
;
Medijainen, Kadri
;
Taba, Pille
Vietnam journal of computer science
2021
/
p. 493-512
https://doi.org/10.1142/S2196888821500238
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
118
journal article EST
/
journal article ENG
Physics based compressive sensing to enable digital twins of additive manufacturing processes
Lu, Yanglong
;
Ševtšenko, Eduard
;
Wang, Yan
Journal of computing and information science in engineering
2021
/
031009, 30 p
https://doi.org/10.1115/1.4050377
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
119
book article EST
/
book article ENG
Piloting smart city solutions in very small, small and medium-sized municipalities. The Estonian case study
Sarv, Lill
;
Soe, Ralf-Martin
ICEGOV '22 : Proceedings of the 15th International Conference on Theory and Practice of Electronic Governance
2022
/
p. 475-482
https://doi.org/10.1145/3560107.3560179
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
120
journal article EST
/
journal article ENG
Plotkin's call-by-value λ-calculus as a modal calculus
Espírito Santo, José
;
Pinto, Luis
;
Uustalu, Tarmo
Journal of Logical and Algebraic Methods in Programming
2022
/
art. 100775, 17 p
https://doi.org/10.1016/j.jlamp.2022.100775
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
121
book article EST
/
book article ENG
A pragmatic methodology for blind hardware trojan insertion in finalized layouts
Hepp, Alexander
;
Perez, Tiago Diadami
;
Pagliarini, Samuel Nascimento
;
Sigl, Georg
ICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design
2022
/
art. 69, p. 1-9 : ill
https://doi.org/10.1145/3508352.3549452
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees
122
book article EST
/
book article ENG
A privacy-protecting data-exchange wallet with ownership- and monetization capabilities
Norta, Alexander
;
Hawthorne, Daniel
;
Engel, Serafin L.
2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings
2018
/
p. 4121-4128 : ill
https://doi.org/10.1109/IJCNN.2018.8489551
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
123
book article EST
/
book article ENG
Promonads and string diagrams for effectful categories
Roman Garcia, Mario
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 344−361
https://doi.org/10.4204/EPTCS.380.20
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
124
book article EST
/
book article ENG
Proof theory of partially normal skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 1-17
https://doi.org/10.48550/arXiv.2101.10487
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
125
book article EST
/
book article ENG
Proof theory of skew non-commutative MILL
Uustalu, Tarmo
;
Veltri, Niccolo
;
Wan, Cheng-Syuan
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
2022
/
p. 118-135
https://doi.org/10.4204/EPTCS.358.9
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Number of records 173, displaying
101 - 125
previous
1
2
3
4
5
6
7
next
keyword
200
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.
structure computer analysis
150.
ubiquitous computer technology
151.
Web and computer-based learning
152.
applied science
153.
chemistry and philosophy of science
154.
citizen science
155.
classical exact science
156.
computational social science
157.
data science
158.
data-science
159.
design science
160.
design science research
161.
design-science
162.
energy science and technology
163.
engineering pedagogy science
164.
environmental science
165.
ethics of science
166.
exact science
167.
food science
168.
materials science
169.
NATO. Science for Peace and Security Program
170.
non-classical exact science
171.
philosophy of science
172.
physics and philosophy of science
173.
planetary science
174.
political science
175.
popular science literature
176.
post normal science
177.
post-normal science
178.
Q science
179.
science
180.
science advisors
181.
science and arts
182.
science and technology libraries
183.
science fiction
184.
science gateway
185.
science integration
186.
science mapping
187.
science policy
188.
science technology innovation
189.
Science, Technology and Innovation Policy
190.
science-based industries
191.
science-policy-society interface
192.
Social Science
193.
social science methodology
194.
sustainability science
195.
transdisciplinary science
196.
Web of Science
197.
World Academy of Art and Science (WAAS)
198.
ȹ-science
199.
φ-science
200.
ϕ-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