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 (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 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
1817
Look more..
(4/158)
Export
export all inquiry results
(1000*)
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
651
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
652
journal article EST
/
journal article ENG
Formalizing CCS and π-calculus in Guarded Cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
Journal of logical and algebraic methods in programming
2023
/
art. 100846
https://doi.org/10.1016/j.jlamp.2022.100846
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
653
journal article EST
/
journal article ENG
Formalizing restriction categories
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Journal of formalized reasoning
2017
/
p. 1-36
https://doi.org/10.6092/issn.1972-5787/6237
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
654
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
Related publications
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
655
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
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
656
journal article EST
/
journal article ENG
Forward and backward shifts of vector fields : towards the dual algebraic framework
Mullari, Tanel
;
Kotta, Ülle
;
Bartosiewicz, Zbigniew
;
Pawluszewicz, Ewa
;
Moog, Claude
IEEE transactions on automatic control
2017
/
p. 3029-3033
https://doi.org/10.1109/TAC.2016.2608718
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
657
journal article EST
/
journal article ENG
Forward and backward walking : multifactorial characterization of gait parameters
Donno, Lucia
;
Monoli, Cecilia
;
Frigo, Carlo Albino
;
Galli, Manuela
Sensors
2023
/
art. 4671
https://doi.org/10.3390/s23104671
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
658
journal article EST
/
journal article ENG
Fractional Fourier transform-based signal separation for ultrasonic guided wave inspection of plates
Peng, Chengxiang
;
Annus, Paul
;
Rist, Marek
;
Land, Raul
;
Ratassepp, Madis
Sensors
2024
/
art. 7564
https://doi.org/10.3390/s24237564
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
659
journal article EST
/
journal article ENG
Fractional order sliding mode controller based on supervised machine learning techniques for speed control of PMSM
Zahraoui, Younes
;
Zaihidee, Fardila M.
;
Kermadi, Mostefa
;
Mekhilef, Saad
;
Mubin, Marizan
;
Tang, Jing Rui
;
Zaihidee, Ezrinda M.
Mathematics
2023
/
art. 1457
https://doi.org/10.3390/math11061457
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
660
journal article EST
/
journal article ENG
Fractional-order modeling and control of ionic polymer-metal composite actuator
Tepljakov, Aleksei
;
Vunder, Veiko
;
Petlenkov, Eduard
;
Nakshatharan, S Sunjai
;
Punning, Andres
;
Kaparin, Vadim
;
Belikov, Juri
;
Aabloo, Alvo
Smart materials and structures
2019
/
12 p. : ill
https://doi.org/10.1088/1361-665X/ab2c75
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
661
journal article EST
/
journal article ENG
A framework for comprehensive impact assessment in the case of an extreme winter scenario, considering integrative aspects of systemic vulnerability and resilience
Molarius, Riitta
;
Tuomaala, Pekka
;
Piira, Kalevi
;
Räikkönen, Minna
;
Aubrecht, Christoph
;
Polese, Maria
;
Zuccaro, Giulio
;
Pilli-Sihvola, Karoliina
;
Rannat, Kalev
CMES - Computer Modeling in Engineering and Sciences
2015
/
p. 131 - 158
https://www.techscience.com/CMES/v109-110n2/27295
https://doi.org/10.3970/cmes.2015.109.131
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
662
book article EST
/
book article ENG
A framework for data-driven public service co-production
Toots, Maarja
;
McBride, Keegan David Braun
;
Kalvet, Tarmo
;
Krimmer, Robert Johannes
Electronic Government : 16th IFIP WG 8.5 International Conference : EGOV 2017, St. Petersburg, Russia, September 4-7, 2017 : proceedings
2017
/
p. 264-275 : ill
https://doi.org/10.1007/978-3-319-64677-0_22
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
663
journal article EST
/
journal article ENG
A framework for developing educational industry 4.0 activities and study materials
Christiansen, Lasse
;
Edvardsen Hvidsten, Tommy
;
Hemdrup Kristensen, Jesper
;
Gebhardt, Jonas
;
Mahmood, Kashif
;
Otto, Tauno
;
Heidemann Lassen, Astrid
;
Ditlev Brunoe, Thomas
;
Schou, Casper
;
Skov Laursen, Esben
Education Sciences
2022
/
art. 659
https://doi.org/10.3390/educsci12100659
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
664
book article EST
/
book article ENG
A framework for improving web application user interfaces through immediate evaluation
Marenkov, Jevgeni
;
Robal, Tarmo
;
Kalja, Ahto
Databases and information systems IX : selected papers from the twelfth International Baltic Conference, DB&IS 2016
2016
/
p. 283-296 : ill
https://doi.org/10.3233/978-1-61499-714-6-283
Article collection metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
665
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
Related publications
1
Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks
666
book article EST
/
book article ENG
A Framework for the adoption of blockchain technology in healthcare information management systems : a case study of Nigeria
Azogu, Irene
;
Norta, Alexander
;
Pappel, Ingrid
;
Longo, Justin
;
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. 310–316 : ill
https://doi.org/10.1145/3326365.3326405
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
667
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
668
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
Related publications
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
669
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
670
journal article EST
/
journal article ENG
Frictional wear and corrosion behavior of AlCoCrFeNi high-entropy alloy coatings synthesized by atmospheric plasma spraying
Mu, Yongkun
;
Zhang, Liangbo
;
Xu, Long
;
Prashanth, Konda Gokuldoss
;
Zhang, Nizhen
;
Ma, Xindi
;
Jia, Yuefei
;
Xu, Yulai
;
Jia, Yandong
;
Wang, Gang
Entropy
2020
/
art. 740
https://doi.org/10.3390/e22070740
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
671
book article EST
/
book article ENG
From agent-oriented models to profile driven military training scenarios
Shvartsman, Inna
;
Taveter, Kuldar
Intelligent Distributed Computing VII : proceedings of the 7th International Symposium on Intelligent Distributed Computing - IDC 2013, Prague, Czech Republic, September 2013
2014
/
p. 317-322
https://doi.org/10.1007/978-3-319-01571-2_37
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
672
journal article EST
/
journal article ENG
From bench to bedside
Arezzo, Alberto
;
Kruusmaa, Maarja
;
Mylonas, George
IEEE Transactions on Medical Robotics and Bionics
2022
/
p. 297 - 299
https://doi.org/10.1109/TMRB.2022.3172013
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
673
journal article EST
/
journal article ENG
From customer-, to actor-, to stakeholder engagement: taking stock, conceptualization, and future directions
Hollebeek, Linda Desiree
;
Kumar, Virender
;
Srivastava, Rajendra K.
Journal of Service Research
2022
/
p. 328-343
https://doi.org/10.1177/1094670520977680
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
674
book article EST
/
book article ENG
From envelope to layout : buildings massing and layout generation for solar access in urban environments
De Luca, Francesco
eCAADe 2017 : ShoCK! : Sharing of Computable Knowledge : proceedings of the 35th International Conference on Education and Research in Computer Aided Architectural Design in Europe : 20th-22nd September 2017, Rome, Italy. Volume 2
2017
/
p. 431-440 : ill
https://doi.org/10.52842/conf.ecaade.2017.2.431
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
675
book article EST
/
book article ENG
From equations to distinctions: Two interpretations of effectful computations
Voorneveld, Niels
Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020
2020
/
p. 1-17
https://doi.org/10.4204/EPTCS.317.1
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Number of records 1817, displaying
651 - 675
previous
23
24
25
26
27
28
29
30
31
32
next
keyword
148
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 language translation
11.
computer aided manufacturing
12.
computer aided methods
13.
computer aided software engineering
14.
computer aided testing
15.
computer algebra
16.
computer algebra system
17.
computer and education
18.
computer anxiety
19.
computer architecture
20.
computer assisted language learning
21.
computer based learning
22.
computer circuits
23.
computer control
24.
Computer crime
25.
computer education
26.
computer engineering
27.
computer engineerng
28.
computer game
29.
computer graphics
30.
computer hardware
31.
computer integrated manufacturing
32.
computer network management
33.
computer network operations
34.
computer networks
35.
computer pipelines
36.
computer programming
37.
computer programming languages
38.
computer programs
39.
computer security
40.
computer simulation
41.
computer simulation environments
42.
computer simulations
43.
computer software
44.
Computer software and hardware
45.
computer softwaregraph theory
46.
computer systems
47.
Computer systems organization
48.
computer terminals
49.
computer vision
50.
computer vision-based methods
51.
computer workers
52.
computer-aided anthropometry
53.
computer-aided architectural design (CAAD)
54.
computer‐aided assessment
55.
computer-aided design
56.
computer-aided design (CAD)
57.
computer-aided detection
58.
computer‐aided detection
59.
computer-aided diagnosis
60.
computer-aided drawing (CAD)
61.
computer-aided engineering
62.
computer-aided teaching
63.
Computer-Aided Tuning
64.
computer-aided tuning (CAT)
65.
computer-assisted language learning (CALL)
66.
computer-oriented technologies
67.
computer-supported decision-making
68.
computer-use
69.
computer-workers
70.
control engineering computer applications
71.
distributed computer systems
72.
education in computer engineering
73.
fifth generation computer
74.
gateways (computer networks)
75.
high-performance computer systems
76.
human computer interaction
77.
human computer interaction (HCI)
78.
human-computer interaction
79.
human–computer interaction
80.
Human-Computer Interaction (HCI)
81.
human-computer trust
82.
interactive computer graphics
83.
laptop computer
84.
single board computer
85.
single-board computer
86.
structure computer analysis
87.
ubiquitous computer technology
88.
Web and computer-based learning
89.
applied science
90.
big data science
91.
chemistry and philosophy of science
92.
citizen science
93.
citizen science hub
94.
classical exact science
95.
cognitive science
96.
computational social science
97.
data science
98.
data-science
99.
decision science
100.
design science
101.
design science research
102.
design-science
103.
energy science and technology
104.
engineering pedagogy science
105.
environmental science
106.
ethics of science
107.
exact science
108.
food science
109.
forensic science
110.
logic of science
111.
materials science
112.
NATO. Science for Peace and Security Program
113.
non-classical exact science
114.
philosophy of science
115.
physics and philosophy of science
116.
planetary science
117.
political science
118.
popular science literature
119.
post normal science
120.
post-normal science
121.
Q science
122.
science
123.
science advisors
124.
science and arts
125.
science and technology libraries
126.
science and technology parks
127.
science fiction
128.
science gateway
129.
science integration
130.
science mapping
131.
science policy
132.
science technology and innovation
133.
science technology innovation
134.
Science, Technology and Innovation Policy
135.
science-based industries
136.
science-driven models
137.
science-policy-society interface
138.
Security and political science
139.
Social Science
140.
social science methodology
141.
sustainability science
142.
Thomson Reuters Web of Science
143.
transdisciplinary science
144.
Web of Science
145.
World Academy of Art and Science (WAAS)
146.
ȹ-science
147.
φ-science
148.
ϕ-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 Computer Systems
2.
Department of Software Science
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