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 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
270
Look more..
(4/229)
Export
export all inquiry results
(270)
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
51
book article EST
/
book article ENG
Decomposing comonad morphisms
Ahman, Danel
;
Uustalu, Tarmo
8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 2019
2019
/
art. 14 ; 20 p
https://doi.org/10.4230/LIPIcs.CALCO.2019.14
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
52
book article EST
/
book article ENG
Deductive systems and coherence for skew prounital closed categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 1-19
https://doi.org/10.48550/arXiv.2101.03809
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
53
journal article EST
/
journal article ENG
Deep Reinforcement Learning for energy-aware task offloading in join SDN-Blockchain 5G massive IoT edge network
Sellami, Bassem
;
Hakiri, Akram
;
Ben Yahia, Sadok
Future generation computer systems
2022
/
p. 363-379
https://doi.org/10.1016/j.future.2022.07.024
Journal metrics at Scopus
Article at Scopus
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
54
book article EST
/
book article ENG
Degrading lists
McDermott, Dylan
;
Pirog, Maciej
;
Uustalu, Tarmo
Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), Part of BOPL 2020 : The Bologna Federated Conference on Programming Languages, 8-10 September 2020
2020
/
art. 6, 14 p
https://doi.org/10.1145/3414080.3414084
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
55
book article EST
/
book article ENG
Depth control of the biomimetic U-CAT turtle-like AUV with experiments in real operating conditions
Chemori, Ahmed
;
Kuusmik, Keijo
;
Salumäe, Taavi
;
Kruusmaa, Maarja
2016 IEEE International Conference on Robotics and Automation : Stockholm, Sweden, May 16th-21st
2016
/
p. 4750-4755 : ill
https://doi.org/10.1109/ICRA.2016.7487677
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
56
journal article EST
/
journal article ENG
Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
Balasubramaniyan, Sreram
;
Srinivasan, Seshadhri
;
Buonopane, Furio
;
Balasubramanian, Subathra
;
Vain, Jüri
;
Ramaswamy, Srini
Microprocessors and microsystems
2016
/
p. 37-48 : ill
https://doi.org/10.1016/j.micpro.2015.12.006
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
57
journal article EST
/
journal article ENG
Design concept and microarchitecture of network-on-chip with best-effort and guaranteed-throughput services
Samman, Faizal
;
Hollstein, Thomas
International journal of innovative computing, informationand control
2019
/
p. 305–319 : ill
https://doi.org/10.24507/ijicic.15.01.305
http://www.ijicic.net/
http://www.ijicic.net/servlet/Download?contentID=CONT5b67c7cbc23142feade914ceeabbdf4d
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
58
journal article EST
/
journal article ENG
Design of Cyber Bio-analytical Physical Systems : formal methods, architectures, and multi-system interaction strategies
Ashraf, Kanwal
;
Le Moullec, Yannick
;
Pardy, Tamas
;
Rang, Toomas
Microprocessors and microsystems
2023
/
art. 104780, 14 p. : ill
https://doi.org/10.1016/j.micpro.2023.104780
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Co-design of wireless networked control systems : model-based architecture and joint optimization = Juhtmevabade võrgustatud juhtimissüsteemide koosdisain : mudelipõhine arhitektuur ja ühisoptimeerimine
59
journal article EST
/
journal article ENG
Design optimization of permanent magnet clutch with Ārtap framework
Andriushchenko, Ekaterina
;
Kaska, Jan
;
Kallaste, Ants
;
Belahcen, Anouar
;
Vaimann, Toomas
;
Rassõlkin, Anton
Periodica polytechnica electrical engineering and computer science
2021
/
p. 106-112
https://doi.org/10.3311/PPee.17007
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
Related publications
1
Design optimization methods of additively manufactured Switched Reluctance Motor = Kihtlisandustehnoloogia abil toodetud samm-mootori optimeerimise meetodid
60
book article EST
/
book article ENG
Designing a collaborative construction-project platform on blockchain technology for transparency, traceability, and information symmetry
Udokwu, Chibuzor
;
Norta, Alexander
;
Wenna, Christoph
ASSE'21 : 2021 2nd Asia Service Sciences and Software Engineering Conference, Macau, Macao, February 24-26, 2021
2021
/
13 p. : ill
https://doi.org/10.1145/3456126.3456134
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
61
book article EST
/
book article ENG
Designing a crisis management mobile application solution in Nigeria
Lips, Silvia
;
Amola, Oladele
;
Draheim, Dirk
The 23rd International Conference on Information Integration and Web Intelligence, Linz, Austria, November 29 - December 01 2021 : virtual
2021
/
p. 571–579
https://doi.org/10.1145/3487664.3487807
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
62
journal article EST
/
journal article ENG
Detection of pulmonary micronodules in computed tomography images and false positive reduction using 3D convolutional neural networks
Gupta, Anindya
;
Saar, Tõnis
;
Märtens, Olev
;
Le Moullec, Yannick
;
Sintorn, Ida-Maria
International Journal of Imaging Systems and Technology
2019
/
p. 327-339 : ill
https://doi.org/10.1002/ima.22373
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
63
journal article EST
/
journal article ENG
Development of a wireless communication network for monitoring and controlling of autonomous robots
Vu, Trieu Minh
;
Tamre, Mart
;
Musalimov, Victor
;
Kovalenko, Pavel
;
Monahov, Juri
International journal of robotics and automation
2018
/
16 p
https://doi.org/10.2316/Journal.206.2018.3.206-4759
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
64
book article EST
/
book article ENG
Diagrammatic polyhedral algebra
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Sobocinski, Pawel Maria
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
2021
/
p. 40:1-40:18
https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
65
book article EST
/
book article ENG
Differential 2-rigs
Loregian, Fosco
;
Trimble, Todd
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 159-182 : ill
https://doi.org/10.4204/EPTCS.380.10
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
66
journal article EST
/
journal article ENG
A digital collaborative platform for the silver economy : functionalities required by stakeholders in a multinational Baltic Sea Region project
Butt, Sidra Azmat
;
Suran, Shweta
;
Pappel, Ingrid
;
Smaerup, Michael
;
Krimmer, Robert Johannes
;
Draheim, Dirk
Digital government : research and practice
2023
/
art. 8, 20 p. : ill
https://doi.org/10.1145/3592618
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
Related publications
1
A Digital collaborative platform to facilitate innovative solutions for the silver economy = Digitaalne koostööplatvorm hõlbustamaks uuenduslikke lahendusi hõbemajanduses
67
book article EST
/
book article ENG
Digital sovereignty and participation in an autocratic state : designing an e-petition system for developing countries
Lips, Silvia
;
Ahmed, Rozha Kamal
;
Zulfigarzada, Khayyam
;
Krimmer, Robert Johannes
;
Draheim, Dirk
The Proceedings of the 22nd Annual International Conference on Digital Government Research (DGO2021) : Digital Innovations for Public Values: Inclusive Collaboration and Community, June 9-11, 2021
2021
/
p. 123–131
https://doi.org/10.1145/3463677.3463706
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
68
book article EST
/
book article ENG
Digitising a small island state : a lesson in Faroese
Meyerhoff Nielsen, Morten
ICEGOV '15-16 : proceedings of the 9th International Conference on Theory and Practice of Electronic Governance : Montevideo, Uruguay, March 1-3, 2016
2016
/
p. 54-59
https://doi.org/10.1145/2910019.2910042
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
69
book article EST
/
book article ENG
A direct version of Veldman's proof of open induction on cantor space via delimited control operators
Ilik, Danko
;
Nakata, Keiko
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France
2014
/
p. 188-201
https://doi.org/10.4230/LIPIcs.TYPES.2013.188
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
70
book article EST
/
book article ENG
Directed containers as categories
Ahman, Danel
;
Uustalu, Tarmo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 89-98
https://doi.org/10.4204/eptcs.207.5
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
71
book article EST
/
book article ENG
Distributed largest eigenvalue detection
Ainomäe, Ahti
;
Trump, Tõnu
;
Bengtsson, Mats
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. 3519-3523 : ill
https://doi.org/10.1109/ICASSP.2017.7952811
Confernce proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
72
journal article EST
/
journal article ENG
A divertimento on MonadPlus and nondeterminism
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2016
/
p. 1086-1094 : ill
https://doi.org/10.1016/j.jlamp.2016.06.004
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
73
book article EST
/
book article ENG
Drivers and barriers for the development of smart sustainable cities : a systematic literature review
Schuch de Azambuja, Luiza
ICEGOV '21: Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance
2021
/
p. 422 - 428
https://doi.org/10.1145/3494193.3494250
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Exploring the journey towards smarter sustainable cities : capacity development for evolving governance practices = Teel targemate jätkusuutlike linnade poole : arenevate valitsemisstruktuuride suutlikkuse kasvatamine
74
book article EST
/
book article ENG
Duality of lattices associated to left and right quotients
Bell, Jason
;
Smertnig, Daniel
;
Tamm, Hellis
16th International Conference on Automata and Formal Languages, AFL 2023, Eger, 5 September - 7 September 2023
2023
/
p. 35-50
https://doi.org/10.4204/EPTCS.386.5
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
75
journal article EST
/
journal article ENG
EcoLight+ : a novel multi-modal data fusion for enhanced eco-friendly traffic signal control driven by urban traffic noise prediction
Ounoughi, Chahinez
;
Ounoughi, Doua
;
Ben Yahia, Sadok
Knowledge and information systems
2023
/
p. 5309–5329
https://doi.org/10.1007/s10115-023-01938-y
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Urban traffic : data fusion and vehicle flow prediction in smart cities = Linnaliiklus : andmete ühtesulamine ja sõidukite voo prognoosimine nutikates linnades
Number of records 270, displaying
51 - 75
previous
1
2
3
4
5
6
7
8
9
10
next
keyword
219
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.
ARIS software
14.
Automated Synthesis of Software-based Self-test
15.
bernese software
16.
business software
17.
CFD (computational fluid dynamics) software
18.
client-vendor relationship in software development
19.
communicating hardware/software systems
20.
communicating software/hardware systems
21.
COMSOL software
22.
educational software
23.
embedded software
24.
energy simulation software
25.
free software
26.
GIS software
27.
hardware/software co-design
28.
interoperability and evolution of healthcare models and software systems
29.
invasive software
30.
large software projects
31.
learning software agents
32.
model-based software development
33.
model-driven software engineering
34.
ontology driven software development
35.
ontology-based software engineering
36.
open source software
37.
optimization software
38.
plagiarism software
39.
public domain software
40.
RETScreen software
41.
self learning software
42.
sensor software
43.
simulation software "Delphin"
44.
simulations with software
45.
social software
46.
software
47.
software architecture
48.
software based self-test
49.
software companies
50.
software complexity
51.
software containers
52.
software defined networking
53.
software defined networking (SDN)
54.
software defined networks (SDN)
55.
software defined radio
56.
software defined radio (SDR)
57.
software design
58.
software development
59.
software development concepts
60.
software engineering
61.
software engineering education
62.
Software engineering methodology evaluation
63.
software engineering practises
64.
software factory
65.
software for measurements
66.
software implementation
67.
software level TMR
68.
software modeling
69.
software outsourcing
70.
Software packages
71.
software project management
72.
software qualification
73.
software quality
74.
software sector
75.
software testing
76.
software/hardware partitioning
77.
software/hardware systems
78.
software-based self-test
79.
software-based self-test (SBST)
80.
software-defined network
81.
software-defined networking
82.
software-defined networking (SDN)
83.
software-in-the-loop (SIL) testing
84.
SOLIDWORKS software
85.
SysML modeling software
86.
system-to-software integrity
87.
triptych software engineering
88.
computer
89.
computer aided design
90.
computer aided diagnosis
91.
computer aided diagnostics
92.
computer aided instruction
93.
computer aided language translation
94.
computer aided manufacturing
95.
computer aided testing
96.
computer algebra
97.
computer algebra system
98.
computer and education
99.
computer anxiety
100.
computer architecture
101.
computer assisted language learning
102.
computer based learning
103.
computer circuits
104.
computer control
105.
Computer crime
106.
computer education
107.
computer engineering
108.
computer engineerng
109.
computer game
110.
computer graphics
111.
computer hardware
112.
computer integrated manufacturing
113.
computer network management
114.
computer network operations
115.
computer networks
116.
computer pipelines
117.
computer programming
118.
computer programming languages
119.
computer programs
120.
computer security
121.
computer simulation
122.
computer simulation environments
123.
computer simulations
124.
computer softwaregraph theory
125.
computer systems
126.
Computer systems organization
127.
computer terminals
128.
computer vision
129.
computer workers
130.
computer-aided anthropometry
131.
computer-aided architectural design (CAAD)
132.
computer‐aided assessment
133.
computer-aided design
134.
computer-aided design (CAD)
135.
computer-aided detection
136.
computer‐aided detection
137.
computer-aided diagnosis
138.
computer-aided drawing (CAD)
139.
computer-aided engineering
140.
computer-aided teaching
141.
Computer-Aided Tuning
142.
computer-aided tuning (CAT)
143.
computer-assisted language learning (CALL)
144.
computer-oriented technologies
145.
computer-supported decision-making
146.
computer-use
147.
control engineering computer applications
148.
distributed computer systems
149.
education in computer engineering
150.
fifth generation computer
151.
gateways (computer networks)
152.
high-performance computer systems
153.
human computer interaction
154.
human computer interaction (HCI)
155.
human-computer interaction
156.
Human-Computer Interaction (HCI)
157.
human-computer trust
158.
interactive computer graphics
159.
laptop computer
160.
single board computer
161.
single-board computer
162.
structure computer analysis
163.
ubiquitous computer technology
164.
Web and computer-based learning
165.
applied science
166.
big data science
167.
chemistry and philosophy of science
168.
citizen science
169.
citizen science hub
170.
classical exact science
171.
computational social science
172.
data science
173.
data-science
174.
design science
175.
design science research
176.
design-science
177.
energy science and technology
178.
engineering pedagogy science
179.
environmental science
180.
ethics of science
181.
exact science
182.
food science
183.
forensic science
184.
materials science
185.
NATO. Science for Peace and Security Program
186.
non-classical exact science
187.
philosophy of science
188.
physics and philosophy of science
189.
planetary science
190.
political science
191.
popular science literature
192.
post normal science
193.
post-normal science
194.
Q science
195.
science
196.
science advisors
197.
science and arts
198.
science and technology libraries
199.
science and technology parks
200.
science fiction
201.
science gateway
202.
science integration
203.
science mapping
204.
science policy
205.
science technology innovation
206.
Science, Technology and Innovation Policy
207.
science-based industries
208.
science-driven models
209.
science-policy-society interface
210.
Social Science
211.
social science methodology
212.
sustainability science
213.
Thomson Reuters Web of Science
214.
transdisciplinary science
215.
Web of Science
216.
World Academy of Art and Science (WAAS)
217.
ȹ-science
218.
φ-science
219.
ϕ-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