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
279
Look more..
(4/233)
Export
export all inquiry results
(279)
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
Middleware for exchange and validation of context data and information
Preden, Jürgo-Sören
;
Llinas, James
;
Mõtus, Leo
Context-enhanced information fusion : boosting real-world performance with domain knowledge
2016
/
p. 205-230 : ill
https://doi.org/10.1007/978-3-319-28971-7_9
Article collection metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
152
book article EST
/
book article ENG
Modal embeddings and calling paradigms
Espirito Santo, Jose
;
Pinto, Luis
;
Uustalu, Tarmo
4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019
2019
/
art. 18 ; 20 p. : ill
https://doi.org/10.4230/LIPIcs.FSCD.2019.18
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
153
journal article EST
/
journal article ENG
A model-based approach for design and verification of Industrial Internet of Things
Muthukumar, Natarajan
;
Srinivasan, Seshadhri
;
Ramkumar, Kannan
;
Pal, Deepak
;
Vain, Jüri
;
Ramaswamy, Srini
Future generation computer systems
2019
/
p. 354-363 : ill
https://doi.org/10.1016/j.future.2018.12.012
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
Modeling and simulation of circuits with shared structurally synthesized BDDs
Ubar, Raimund-Johannes
;
Jürimägi, Lembit
;
Raik, Jaan
;
Viies, Vladimir
Microprocessors and microsystems
2017
/
p. 56-61 : ill
https://doi.org/10.1016/j.micpro.2016.09.006
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
Modelling of nitrogen leaching from watersheds with large drained peat areas
Vassiljev, Anatoli
;
Kaur, Katrin
;
Annus, Ivar
Advances in engineering software
2018
/
p. 94-100 : ill
https://doi.org/10.1016/j.advengsoft.2018.03.007
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
156
book article EST
/
book article ENG
Monoidal streams for dataflow programming
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 2022
2022
/
art. 3533365, p. 1-14 : ill
https://doi.org/10.1145/3531130.3533365
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
157
book article EST
/
book article ENG
Monoidal width : capturing rank width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Proceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 2022
2023
/
p. 268-283 : ill
https://doi.org/10.4204/EPTCS.380.16
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Monoidal width = Monoidiline laius
158
book article EST
/
book article ENG
Motion control architecture of a 4-fin U-CAT AUV using DOF prioritization
Salumäe, Taavi
;
Chemori, Ahmed
;
Kruusmaa, Maarja
IROS 2016 : 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems : October 9-14, 2016, Daejeon Convention Center, Daejeon, Korea
2016
/
p. 1321-1327 : ill
https://doi.org/10.1109/IROS.2016.7759218
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
159
journal article EST
/
journal article ENG
Network IDS alert classification with active learning techniques
Vaarandi, Risto
;
Guerra-Manzanares, Alejandro
Journal of Information Security and Applications
2024
/
art. 103687
https://doi.org/10.1016/j.jisa.2023.103687
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
160
journal article EST
/
journal article ENG
Network-on-Chip with equality-of-service : a local fair runtime arbitration method for global fair bandwidth share
Samman, Faizal
;
Hollstein, Thomas
International journal of innovative computing, information and control
2019
/
p. 1821−1834
http://www.ijicic.net/servlet/Download?contentID=CONT34590d01977b424ea4f1cdfbb4c8c264
https://doi.org/10.24507/ijicic.15.05.1821
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
161
book article EST
/
book article ENG
New interpretation and generalization of the Kameda-Weiner method
Tamm, Hellis
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)
2016
/
p. 116:1-116:12
http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.116
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
162
journal article EST
/
journal article ENG
A new low-complexity patch-based image super-resolution
Rasti, Pejman
;
Nasrollahi, Kamal
;
Orlova, Olga
;
Tamberg, Gert
;
Ozcinar, Cagri
;
Moeslund, Thomas B.
;
Anbarjafari, Gholamreza
IET computer vision
2017
/
p. 567-576 : ill
https://doi.org/10.1049/iet-cvi.2016.0463
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
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
164
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
165
book article EST
/
book article ENG
Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized types
Abel, Andreas
;
Chapman, James
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
2014
/
p. 51-67
https://doi.org/10.4204/EPTCS.153.4
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
166
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
167
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
168
book article EST
/
book article ENG
Obstructions to compositionality
Puca, Caterina
;
Hadzihasanovic, Amar
;
Genovese, Fabrizio
;
Coecke, Bob
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 226-245
https://doi.org/10.4204/EPTCS.397.14
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
169
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
170
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
171
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
172
journal article EST
/
journal article ENG
On stable cones of polynomials via reduced Routh parameters
Nurges, Ülo
;
Belikov, Juri
;
Artemtšuk, Igor
Kybernetika
2016
/
p. 461-477
https://doi.org/10.14736/kyb-2016-3-0461
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
173
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
Related publications
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
174
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
175
book article EST
/
book article ENG
Once only principle : benefits, barriers and next steps
Wimmer, Maria A.
;
Tambouris, Efthimios
;
Krimmer, Robert Johannes
;
Gil-Garcia, J. Ramon
;
Chatfield, Akemi Takeoka
dg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA
2017
/
p. 602-603 : ill
https://doi.org/10.1145/3085228.3085296
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Number of records 279, displaying
151 - 175
previous
3
4
5
6
7
8
9
10
11
12
next
keyword
223
1.
computer aided software engineering
2.
computer software
3.
computer science
4.
computer science basics
5.
computer science education
6.
logic in computer science
7.
advanced programming and software
8.
agent software architecture
9.
agent-oriented software engineering
10.
Agile software engineering
11.
AI based CAD software
12.
analysis software
13.
Anonymization software
14.
ARIS software
15.
Automated Synthesis of Software-based Self-test
16.
bernese software
17.
business software
18.
CFD (computational fluid dynamics) software
19.
client-vendor relationship in software development
20.
communicating hardware/software systems
21.
communicating software/hardware systems
22.
COMSOL software
23.
educational software
24.
embedded software
25.
energy simulation software
26.
free software
27.
GIS software
28.
hardware/software co-design
29.
interoperability and evolution of healthcare models and software systems
30.
invasive software
31.
large software projects
32.
learning software agents
33.
model-based software development
34.
model-driven software engineering
35.
ontology driven software development
36.
ontology-based software engineering
37.
open source software
38.
optimization software
39.
plagiarism software
40.
public domain software
41.
RETScreen software
42.
self learning software
43.
sensor software
44.
simulation software "Delphin"
45.
simulations with software
46.
social software
47.
software
48.
software architecture
49.
software architecture improvement
50.
software based self-test
51.
software companies
52.
software complexity
53.
software containers
54.
software defined networking
55.
software defined networking (SDN)
56.
software defined networks (SDN)
57.
software defined radio
58.
software defined radio (SDR)
59.
software design
60.
software development
61.
software development concepts
62.
software engineering
63.
software engineering education
64.
Software engineering methodology evaluation
65.
software engineering practises
66.
software factory
67.
software for measurements
68.
software implementation
69.
software level TMR
70.
software modeling
71.
software outsourcing
72.
Software packages
73.
software project management
74.
software qualification
75.
software quality
76.
software refactoring
77.
software sector
78.
software testing
79.
software/hardware partitioning
80.
software/hardware systems
81.
software-based self-test
82.
software-based self-test (SBST)
83.
software-defined network
84.
software-defined networking
85.
software-defined networking (SDN)
86.
software-in-the-loop (SIL) testing
87.
SOLIDWORKS software
88.
SysML modeling software
89.
system-to-software integrity
90.
triptych software engineering
91.
computer
92.
computer aided design
93.
computer aided diagnosis
94.
computer aided diagnostics
95.
computer aided instruction
96.
computer aided language translation
97.
computer aided manufacturing
98.
computer aided methods
99.
computer aided testing
100.
computer algebra
101.
computer algebra system
102.
computer and education
103.
computer anxiety
104.
computer architecture
105.
computer assisted language learning
106.
computer based learning
107.
computer circuits
108.
computer control
109.
Computer crime
110.
computer education
111.
computer engineering
112.
computer engineerng
113.
computer game
114.
computer graphics
115.
computer hardware
116.
computer integrated manufacturing
117.
computer network management
118.
computer network operations
119.
computer networks
120.
computer pipelines
121.
computer programming
122.
computer programming languages
123.
computer programs
124.
computer security
125.
computer simulation
126.
computer simulation environments
127.
computer simulations
128.
computer softwaregraph theory
129.
computer systems
130.
Computer systems organization
131.
computer terminals
132.
computer vision
133.
computer workers
134.
computer-aided anthropometry
135.
computer-aided architectural design (CAAD)
136.
computer‐aided assessment
137.
computer-aided design
138.
computer-aided design (CAD)
139.
computer-aided detection
140.
computer‐aided detection
141.
computer-aided diagnosis
142.
computer-aided drawing (CAD)
143.
computer-aided engineering
144.
computer-aided teaching
145.
Computer-Aided Tuning
146.
computer-aided tuning (CAT)
147.
computer-assisted language learning (CALL)
148.
computer-oriented technologies
149.
computer-supported decision-making
150.
computer-use
151.
control engineering computer applications
152.
distributed computer systems
153.
education in computer engineering
154.
fifth generation computer
155.
gateways (computer networks)
156.
high-performance computer systems
157.
human computer interaction
158.
human computer interaction (HCI)
159.
human-computer interaction
160.
Human-Computer Interaction (HCI)
161.
human-computer trust
162.
interactive computer graphics
163.
laptop computer
164.
single board computer
165.
single-board computer
166.
structure computer analysis
167.
ubiquitous computer technology
168.
Web and computer-based learning
169.
applied science
170.
big data science
171.
chemistry and philosophy of science
172.
citizen science
173.
citizen science hub
174.
classical exact science
175.
computational social science
176.
data science
177.
data-science
178.
design science
179.
design science research
180.
design-science
181.
energy science and technology
182.
engineering pedagogy science
183.
environmental science
184.
ethics of science
185.
exact science
186.
food science
187.
forensic science
188.
materials science
189.
NATO. Science for Peace and Security Program
190.
non-classical exact science
191.
philosophy of science
192.
physics and philosophy of science
193.
planetary science
194.
political science
195.
popular science literature
196.
post normal science
197.
post-normal science
198.
Q science
199.
science
200.
science advisors
201.
science and arts
202.
science and technology libraries
203.
science and technology parks
204.
science fiction
205.
science gateway
206.
science integration
207.
science mapping
208.
science policy
209.
science technology innovation
210.
Science, Technology and Innovation Policy
211.
science-based industries
212.
science-driven models
213.
science-policy-society interface
214.
Social Science
215.
social science methodology
216.
sustainability science
217.
Thomson Reuters Web of Science
218.
transdisciplinary science
219.
Web of Science
220.
World Academy of Art and Science (WAAS)
221.
ȹ-science
222.
φ-science
223.
ϕ-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