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. General computer science (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
423
Look more..
(3/131)
Export
export all inquiry results
(423)
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
Flexibly graded monads and graded algebras
McDermott, Dylan
;
Uustalu, Tarmo
Mathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings
2022
/
p. 102-128 : ill
https://doi.org/10.1007/978-3-031-16912-0_4
Conference Proceeding at Scopus
Article at Scopus
Article at WOS
Conference proceeding at WOS
book article EST
/
book article ENG
152
book article EST
/
book article ENG
Floor selection proposal for automated travel with smart elevator
Reinsalu, Uljana
;
Robal, Tarmo
;
Leier, Mairo
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings
2020
https://doi.org/10.1007/978-3-030-57672-1_4
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
153
journal article EST
/
journal article ENG
A formal specification smart-contract language for legally binding decentralized autonomous organizations
Dwivedi, Vimal Kumar
;
Norta, Alexander
;
Wulf, Alexander
;
Leiding, Benjamin
;
Saxena, Sandeep
;
Udokwu, Chibuzor
IEEE Access
2021
/
p. 76069−76082 : ill
https://doi.org/10.1109/ACCESS.2021.3081926
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
154
book article EST
/
book article ENG
Formal verification of COLREG-Based Navigation of maritime autonomous systems
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings
2020
/
p. 41-59
https://doi.org/10.1007/978-3-030-58768-0_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
155
book article EST
/
book article ENG
Formal-verification of smart-contract languages : a survey
Dwivedi, Vimal Kumar
;
Deval, Vipin
;
Dixit, Abhishek
;
Norta, Alexander
Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II
2019
/
p. 738-747
https://doi.org/10.1007/978-981-13-9942-8_68
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
156
book article EST
/
book article ENG
Forward and backward compatibility design techniques applying the HL7 FHIR standard
Bossenko, Igor
;
Piho, Gunnar
;
Ross, Peeter
HEDA 2022 : Proceedings of the International Health Data Workshop, co-located with 10th International Conference on Petrinets, Petri Nets 2022
2022
/
p. 1-14
https://ceur-ws.org/Vol-3264/HEDA22_paper_14.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
157
book article EST
/
book article ENG
Framework for peer-to-peer data sharing over Web browsers
Pattanaik, Vishwajeet
;
Sharvadze, Ioane
;
Draheim, Dirk
Future Data and Security Engineering : 6th International Conference, FDSE 2019Nha Trang City, Vietnam, November 27–29, 2019 : proceedings
2019
/
p. 207-225 : ill
https://doi.org/10.1007/978-3-030-35653-8_14
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
158
book article EST
/
book article ENG
A framework for the adoption of blockchain-based e-procurement systems in the public sector : A case study of Nigeria
Akaba, Temofe Isaac
;
Norta, Alexander
;
Udokwu, Chibuzor
;
Draheim, Dirk
Responsible Design, Implementation and Use of Information and Communication Technology : 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020 : Proceedings, Part I
2020
https://doi.org/10.1007/978-3-030-44999-5_1
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
159
journal article EST
/
journal article ENG
Frameworks for collective intelligence : a systematic literature review
Suran, Shweta
;
Pattanaik, Vishwajeet
;
Draheim, Dirk
ACM computing surveys
2020
/
art. 14, p. 1−36
https://doi.org/10.1145/3368986
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
2
A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
160
book article EST
/
book article ENG
Freely combining partial knowledge in multiple dimensions (extended abstract)
Draheim, Dirk
Future Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings
2018
/
p. 3-11
https://doi.org/10.1007/978-3-030-03192-3_1
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
161
book article EST
/
book article ENG
From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applications
Draheim, Dirk
;
Tammet, Tanel
Database and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I
2020
/
p. 3-19
https://doi.org/10.1007/978-3-030-59003-1_1
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
162
book article EST
/
book article ENG
Future of governance for digital platform ecosystems
Kitsing, Meelis
;
Vallistu, Johanna
Proceedings of Fifth International Congress on Information and Communication Technology : ICICT 2020, London ; 2
2021
/
p. 334-341
https://doi.org/10.1007/978-981-15-5859-7_33
Article collection metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
163
book article EST
/
book article ENG
Gamification model for developing e-learning in Libyan higher education
Al Ghawail, Entisar Alhadi
;
Ben Yahia, Sadok
;
Alrzini, Joma Rajab
Smart education and e-learning 2021
2022
/
p. 97-110 : ill
https://doi.org/10.1007/978-981-16-2834-4_9
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
164
journal article EST
/
journal article ENG
GC and other methods for full and partial context coverage
Raun, Kristo
;
Torim, Ants
;
Ben Yahia, Sadok
Procedia computer science
2021
/
p. 746−755
https://doi.org/10.1016/j.procs.2021.08.077
Conference proceeding at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
165
book article EST
/
book article ENG
GK : Implementing full first order default logic for commonsense reasoning (system description)
Tammet, Tanel
;
Draheim, Dirk
;
Järv, Priit
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings
2022
/
p. 300-309
https://doi.org/10.1007/978-3-031-10769-6_18
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
166
book article EST
/
book article ENG
GKC: A reasoning system for large knowledge bases
Tammet, Tanel
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings
2019
/
p. 538-549
https://doi.org/10.1007/978-3-030-29436-6_32
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
167
book article EST
/
book article ENG
Grand reports : a tool for generalizing association rule mining to numeric target values
Arakkal Peious, Sijo
;
Sharma, Rahul
;
Kaushik, Minakshi
;
Shah, Syed Attique
;
Ben Yahia, Sadok
Big Data Analytics and Knowledge Discovery : 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020 : Proceedings
2020
/
p. 28-37
https://doi.org/10.1007/978-3-030-59065-9_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
168
journal article EST
/
journal article ENG
Grid-connected solar PV power plants optimization: a review
Zidane, Tekai Eddine Khalil
;
Aziz, Ali Saleh
;
Zahraoui, Younes
;
Kotb, Hossam
;
Aboras, Kareem M.
;
Kitmo
;
Jember, Yosef Berhan
IEEE Access
2023
/
p. 79588-79608
https://doi.org/10.1109/ACCESS.2023.3299815
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
169
book article EST
/
book article ENG
Handling software icebergs
Henno, Jaak
;
Jaakkola, Hannu
;
Mäkelä, Jukka
SQAMIA 2022 : Proceedings of the 9th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications
2022
/
9 p. : ill
https://urn.fi/URN:NBN:fi:tuni-202212299811
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
170
book article EST
/
book article ENG
Health and safety management at workplaces through interactive tools
Kontus, Sigrid
;
Reinhold, Karin
Human Interaction, Emerging Technologies and Future Applications IV :Proceedings of the 4th International Conference on Human Interaction and Emerging Technologies: Future Applications (IHIET – AI 2021), April 28-30, 2021, Strasbourg, France
2021
/
p. 686−693
https://doi.org/10.1007/978-3-030-74009-2_87
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
171
journal article EST
/
journal article ENG
High-performance buck-boost partial power quasi-Z-source series resonance converter
Abdel-Rahim, Omar
;
Chub, Andrii
;
Mashinchi Maheri, Hamed
;
Blinov, Andrei
;
Vinnikov, Dmitri
IEEE Access
2022
/
p. 13017-130189
https://doi.org/10.1109/ACCESS.2022.3225751
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
172
book article EST
/
book article ENG
Historio-Graphy
Moktefi, Amirouche
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 511-514
https://doi.org/10.1007/978-3-030-54249-8_46
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
173
journal article EST
/
journal article ENG
Home energy management systems: A review of the concept, architecture, and scheduling strategies
Han, Binghui
;
Zahraoui, Younes
;
Mubin, Marizan
;
Mekhilef, Saad
;
Seyedmahmoudian, Mehdi
;
Stojcevski, Alex
IEEE Access
2023
/
p. 19999-20025
https://doi.org/10.1109/ACCESS.2023.3248502
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
174
book article EST
/
book article ENG
How domain engineering can help to raise adoption rates of artificial intelligence in healthcare
Bertl, Markus
;
Klementi, Toomas
;
Piho, Gunnar
;
Ross, Peeter
;
Draheim, Dirk
Information Integration and Web Intelligence, 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4–6, 2023 : proceedings
2023
/
p. 490-504
https://doi.org/10.1007/978-3-031-48316-5_1
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
175
book article EST
/
book article ENG
How much does an e-Vote cost? Cost comparison per vote in multichannel elections in Estonia
Krimmer, Robert Johannes
;
Duenas Cid, David
;
Krivonosova, Iuliia
;
Vinkel, Priit
;
Koitmäe, Arne
Electronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2–5, 2018 : proceedings
2018
/
p. 117-131
https://doi.org/10.1007/978-3-030-00419-4_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 423, displaying
151 - 175
previous
3
4
5
6
7
8
9
10
11
12
next
keyword
124
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
computer
6.
computer aided design
7.
computer aided diagnosis
8.
computer aided diagnostics
9.
computer aided instruction
10.
computer aided manufacturing
11.
computer aided testing
12.
computer algebra
13.
computer algebra system
14.
computer and education
15.
computer anxiety
16.
computer architecture
17.
computer assisted language learning
18.
computer based learning
19.
computer circuits
20.
computer control
21.
computer education
22.
computer engineering
23.
computer engineerng
24.
computer game
25.
computer graphics
26.
computer hardware
27.
computer integrated manufacturing
28.
computer network management
29.
computer network operations
30.
computer networks
31.
computer pipelines
32.
computer programming
33.
computer programs
34.
computer security
35.
computer simulation
36.
computer simulation environments
37.
computer simulations
38.
computer software
39.
computer softwaregraph theory
40.
computer systems
41.
computer terminals
42.
computer vision
43.
computer workers
44.
computer-aided anthropometry
45.
computer-aided architectural design (CAAD)
46.
computer‐aided assessment
47.
computer-aided design
48.
computer-aided detection
49.
computer‐aided detection
50.
computer-aided diagnosis
51.
computer-aided drawing (CAD)
52.
computer-aided engineering
53.
computer-aided teaching
54.
Computer-Aided Tuning
55.
computer-aided tuning (CAT)
56.
computer-assisted language learning (CALL)
57.
computer-oriented technologies
58.
computer-supported decision-making
59.
computer-use
60.
control engineering computer applications
61.
distributed computer systems
62.
education in computer engineering
63.
fifth generation computer
64.
gateways (computer networks)
65.
high-performance computer systems
66.
human computer interaction
67.
human computer interaction (HCI)
68.
human-computer interaction
69.
Human-Computer Interaction (HCI)
70.
interactive computer graphics
71.
laptop computer
72.
single board computer
73.
structure computer analysis
74.
ubiquitous computer technology
75.
Web and computer-based learning
76.
applied science
77.
chemistry and philosophy of science
78.
citizen science
79.
classical exact science
80.
computational social science
81.
data science
82.
data-science
83.
design science
84.
design science research
85.
design-science
86.
energy science and technology
87.
engineering pedagogy science
88.
environmental science
89.
ethics of science
90.
exact science
91.
food science
92.
materials science
93.
NATO. Science for Peace and Security Program
94.
non-classical exact science
95.
philosophy of science
96.
physics and philosophy of science
97.
planetary science
98.
political science
99.
popular science literature
100.
post normal science
101.
post-normal science
102.
Q science
103.
science
104.
science advisors
105.
science and arts
106.
science and technology libraries
107.
science fiction
108.
science gateway
109.
science integration
110.
science mapping
111.
science policy
112.
science technology innovation
113.
Science, Technology and Innovation Policy
114.
science-based industries
115.
science-policy-society interface
116.
Social Science
117.
social science methodology
118.
sustainability science
119.
transdisciplinary science
120.
Web of Science
121.
World Academy of Art and Science (WAAS)
122.
ȹ-science
123.
φ-science
124.
ϕ-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