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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 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
313
Look more..
(4/258)
Export
export all inquiry results
(313)
Save TXT 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
176
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
177
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
178
book article EST
/
book article ENG
Monoid structures on indexed containers
De Pascalis, Michele
;
Uustalu, Tarmo
;
Veltri, Niccolo
Proceedings of the 20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025, Brasília, Brazil, 6-11 October 2025
2025
/
p. 37-54
https://doi.org/10.4204/EPTCS.430.4
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
179
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
180
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
181
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
182
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
183
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
184
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
185
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
186
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
187
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
188
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
189
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
190
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
191
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
192
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
193
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
194
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
195
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
196
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
197
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
198
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
199
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
200
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
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
Number of records 313, displaying
176 - 200
previous
4
5
6
7
8
9
10
11
12
13
next
keyword
248
1.
computer aided software engineering
2.
computer software
3.
Computer software and hardware
4.
computer science
5.
computer science basics
6.
computer science education
7.
logic in computer science
8.
advanced programming and software
9.
agent software architecture
10.
agent-oriented software engineering
11.
Agile software engineering
12.
AI based CAD software
13.
analysis software
14.
Anonymization software
15.
ARIS software
16.
Automated Synthesis of Software-based Self-test
17.
bernese software
18.
business software
19.
CFD (computational fluid dynamics) software
20.
client-vendor relationship in software development
21.
communicating hardware/software systems
22.
communicating software/hardware systems
23.
COMSOL software
24.
educational software
25.
embedded software
26.
energy simulation software
27.
free software
28.
GIS software
29.
hardware/software co-design
30.
hardware-software integration in robotics
31.
interoperability and evolution of healthcare models and software systems
32.
invasive software
33.
large software projects
34.
learning software agents
35.
model-based software development
36.
model-driven software engineering
37.
ontology driven software development
38.
ontology-based software engineering
39.
open source software
40.
optimization software
41.
plagiarism software
42.
public domain software
43.
RETScreen software
44.
self learning software
45.
sensor software
46.
simulation software "Delphin"
47.
simulations with software
48.
social software
49.
software
50.
software architecture
51.
software architecture improvement
52.
software based self-test
53.
software companies
54.
software complexity
55.
software containers
56.
software defined networking
57.
software defined networking (SDN)
58.
software defined networks (SDN)
59.
software defined radio
60.
software defined radio (SDR)
61.
software design
62.
software development
63.
software development concepts
64.
software documentation
65.
software engineering
66.
software engineering education
67.
Software engineering methodology evaluation
68.
software engineering practises
69.
software factory
70.
software for measurements
71.
software implementation
72.
software industry
73.
software level TMR
74.
software modeling
75.
software outsourcing
76.
Software packages
77.
software project management
78.
software qualification
79.
software quality
80.
software quality attributes
81.
software quality characteristics
82.
software refactoring
83.
software sector
84.
software security
85.
software security level
86.
software security subcharacteristics
87.
software testing
88.
software tools for robot programming
89.
software vulnerabilities
90.
software/hardware partitioning
91.
software/hardware systems
92.
software-based self-test
93.
software-based self-test (SBST)
94.
software-defined network
95.
software-defined networking
96.
software-defined networking (SDN)
97.
software-in-the-loop (SIL) testing
98.
SOLIDWORKS software
99.
SysML modeling software
100.
system-to-software integrity
101.
triptych software engineering
102.
computer
103.
computer aided design
104.
computer aided diagnosis
105.
computer aided diagnostics
106.
computer aided instruction
107.
computer aided language translation
108.
computer aided manufacturing
109.
computer aided methods
110.
computer aided testing
111.
computer algebra
112.
computer algebra system
113.
computer and education
114.
computer anxiety
115.
computer architecture
116.
computer assisted language learning
117.
computer based learning
118.
computer circuits
119.
computer control
120.
Computer crime
121.
computer education
122.
computer engineering
123.
computer engineerng
124.
computer game
125.
computer graphics
126.
computer hardware
127.
computer integrated manufacturing
128.
computer network management
129.
computer network operations
130.
computer networks
131.
computer pipelines
132.
computer programming
133.
computer programming languages
134.
computer programs
135.
computer security
136.
computer simulation
137.
computer simulation environments
138.
computer simulations
139.
computer softwaregraph theory
140.
computer systems
141.
Computer systems organization
142.
computer systems programming
143.
computer terminals
144.
computer vision
145.
computer vision-based methods
146.
computer workers
147.
computer-aided anthropometry
148.
computer-aided architectural design (CAAD)
149.
computer‐aided assessment
150.
computer-aided design
151.
computer-aided design (CAD)
152.
computer-aided detection
153.
computer‐aided detection
154.
computer-aided diagnosis
155.
computer-aided drawing (CAD)
156.
computer-aided engineering
157.
computer-aided teaching
158.
Computer-Aided Tuning
159.
computer-aided tuning (CAT)
160.
computer-assisted language learning (CALL)
161.
computer-oriented technologies
162.
computer-supported decision-making
163.
computer-use
164.
computer-workers
165.
control engineering computer applications
166.
distributed computer systems
167.
education in computer engineering
168.
fifth generation computer
169.
gateways (computer networks)
170.
high-performance computer systems
171.
human computer interaction
172.
human computer interaction (HCI)
173.
human-computer interaction
174.
human–computer interaction
175.
Human-Computer Interaction (HCI)
176.
human-computer interface
177.
human-computer trust
178.
interactive computer graphics
179.
laptop computer
180.
single board computer
181.
single-board computer
182.
structure computer analysis
183.
ubiquitous computer technology
184.
Web and computer-based learning
185.
applied science
186.
big data science
187.
chemistry and philosophy of science
188.
citizen science
189.
citizen science hub
190.
classical exact science
191.
cognitive science
192.
computational social science
193.
data science
194.
data-science
195.
decision science
196.
design science
197.
design science research
198.
design-science
199.
energy science and technology
200.
engineering pedagogy science
201.
environmental science
202.
ethics of science
203.
exact science
204.
food science
205.
forensic science
206.
logic of science
207.
materials science
208.
NATO. Science for Peace and Security Program
209.
non-classical exact science
210.
philosophy of science
211.
physics and philosophy of science
212.
planetary science
213.
political science
214.
popular science literature
215.
post normal science
216.
post-normal science
217.
Q science
218.
science
219.
science advisors
220.
science and arts
221.
science and technology libraries
222.
science and technology parks
223.
Science Education
224.
science fiction
225.
science gateway
226.
science integration
227.
science mapping
228.
science policy
229.
science technology and innovation
230.
science technology innovation
231.
Science, Technology and Innovation Policy
232.
science-based industries
233.
science-driven models
234.
science-policy-society interface
235.
Security and political science
236.
security science and technology
237.
Social Science
238.
social science methodology
239.
sustainability science
240.
Thomson Reuters Web of Science
241.
transdisciplinary science
242.
values in science
243.
Web of Science
244.
wood science and technology
245.
World Academy of Art and Science (WAAS)
246.
ȹ-science
247.
φ-science
248.
ϕ-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