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
Mathematics. Theoretical 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
316
Look more..
(2/23)
Export
export all inquiry results
(316)
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
1
journal article EST
/
journal article ENG
Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
p. 1177-1200 : ill
https://doi.org/10.1016/j.jlamp.2016.07.001
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
Acyclicity conditions on pasting diagrams
Hadzihasanovic, Amar
;
Kessler, Diana
Applied Categorical Structures
2024
/
art. 31
https://doi.org/10.1007/s10485-024-09784-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
3
journal article EST
/
journal article ENG
Adaptability, interpretability and rule weights in fuzzy rule-based systems
Riid, Andri
;
Rüstern, Ennu
Information sciences
2014
/
p. 301-312 : ill
https://doi.org/10.1016/j.ins.2012.12.048
Journal metrics at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
4
book article EST
/
book article ENG
Agile software engineering methodology for information systems' integration projects
Taveter, Kuldar
;
Norta, Alexander
Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017 : proceedings
2017
/
p. 215-230 : ill
https://doi.org/10.1007/978-3-319-70004-5_15
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
5
book article EST
/
book article ENG
Algebraic and coalgebraic perspectives on interaction laws
Uustalu, Tarmo
;
Voorneveld, Niels
Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings
2020
/
p. 186-205
https://doi.org/10.1007/978-3-030-64437-6_10
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
6
book article EST
/
book article ENG
An "almost dual" to Gottschalk's conjecture
Capobianco, Silvio
;
Kari, Jarkko
;
Taati, Siamak
Cellular Automata and Discrete Complex Systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings
2016
/
p. 77-89 : ill
https://doi.org/10.1007/978-3-319-39300-1_7
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
7
book article EST
/
book article ENG
Analyzing eID public acceptance and user preferences for current authentication options in Estonia
Tsap, Valentyna
;
Lips, Silvia
;
Draheim, Dirk
Electronic Government and the Information Systems Perspective : 9th International Conference, EGOVIS 2020, Bratislava, Slovakia, September 14-17, 2020 : proceedings
2020
/
p. 159-173
https://doi.org/10.1007/978-3-030-58957-8_12
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Related publications
2
eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõju
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
8
journal article EST
/
journal article ENG
Analyzing meta-heuristic algorithms for task scheduling in a fog-based IoT application
Rahbari, Dadmehr
Algorithms
2022
/
art. 397
https://doi.org/10.3390/a15110397
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
9
book article EST
/
book article ENG
Anonymization methods of structured health care data : a literature review
Vovk, Olga
;
Piho, Gunnar
;
Ross, Peeter
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. 175-189
https://doi.org/10.1007/978-3-030-78428-7_14
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
10
book article EST
/
book article ENG
Are the current system engineering practices sufficient to meet cyber crime?
Buldas, Ahto
;
Saarepera, Märt
Human Aspects of Information Security, Privacy and Trust : 5th International Conference, HAS 2017 : held as part of HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017 : proceedings
2017
/
p. 451-463
https://doi.org/10.1007/978-3-319-58460-7_31
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
11
book article EST
/
book article ENG
Art and automation of teaching malware reverse engineering
Lepik, Toomas
;
Maennel, Kaie
;
Ernits, Margus
;
Maennel, Olaf Manuel
Learning and Collaboration Technologies : Learning and Teaching : 5th International Conference : LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : Proceedings, Part II
2018
/
p. 461-472
https://doi.org/10.1007/978-3-319-91152-6_35
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
12
book article EST
/
book article ENG
Articulation during voice disguise: a pilot study
Tavi, Lauri
;
Kinnunen, Tomi
;
Meister, Einar
;
Gonzalez-Hautamäki, Rosa
;
Malmi, Anton
Speech and Computer : 23rd International Conference, SPECOM 2021, St. Petersburg, Russia, September 27-30, 2021 : proceedings
2021
/
p. 680-691
https://doi.org/10.1007/978-3-030-87802-3_61
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
13
book article EST
/
book article ENG
Artificial intelligence in the defence sector
Carlo, Antonio
Modelling and Simulation for Autonomous Systems : 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers
2021
/
p. 269-278
https://doi.org/10.1007/978-3-030-70740-8_17
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
14
book article EST
/
book article ENG
Aspect-oriented Model-based testing with UPPAAL timed automata
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kanter, Gert
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. 117-124
https://doi.org/10.1007/978-3-030-78428-7_10
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
15
book article EST
/
book article ENG
Aspects of personal data protection from state and citizen perspectives - case of Georgia
Tsulukidze, Mariam
;
Nyman-Metcalf, Katrin Merike
;
Tsap, Valentyna
;
Pappel, Ingrid
;
Draheim, Dirk
Digital Transformation for a Sustainable Society in the 21st Century 18th IFIP WG 6.11 : Conference on e-Business, e-Services, and e-Society, I3E 2019 Trondheim, Norway, September 18–20, 2019 : proceedings
2019
/
p. 476-488
https://doi.org/10.1007/978-3-030-29374-1_39
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
Related publications
1
eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõju
16
book article EST
/
book article ENG
Aspects of using telepresence robot in a higher education STEAM workshop
Leoste, Janika
;
Virkus, Sirje
;
Kasuk, Tiina
;
Talisainen, Aleksei
;
Kangur, Katrin
;
Tolmos, Piedad
Information Integration and Web Intelligence. iiWAS 2022
2022
/
p. 18-28
https://doi.org/10.1007/978-3-031-21047-1_2
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
17
book article EST
/
book article ENG
Assertive and existential graphs : a comparison
Pietarinen, Ahti-Veikko
;
Chiffi, Daniele
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 565-581
https://doi.org/10.1007/978-3-319-91376-6_51
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
18
book article EST
/
book article ENG
Assessment of aviation security risk management for airline turnaround processes
Matulevičius, Raimundas
;
Norta, Alexander
;
Udokwu, Chibuzor
;
Nõukas, Rein
Transactions on large-scale data- and knowledge-centered systems XXXVI : special issue on data and security engineering
2017
/
p. 109-141 : ill
https://doi.org/10.1007/978-3-662-56266-6_6
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
19
book article EST
/
book article ENG
Assessment of the eID ecosystem as a part of the state’s critical infrastructure : the case of Estonia
Bejussova, Karolina
;
Lips, Silvia
;
Ahmed, Rozha Kamal
;
Draheim, Dirk
Electronic Government and the Information Systems Perspective : 13th International Conference, EGOVIS 2024, Naples, Italy, August 26–28, 2024, Proceedings
2024
/
p. 88 - 102
https://doi.org/10.1007/978-3-031-68211-7_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
20
book article EST
/
book article ENG
Attacker profiling in quantitative security assessment based on attack trees
Lenin, Aleksandr
;
Willemson, Jan
;
Sari, Dyan Permata
Secure IT Systems : 19th Nordic Conference, NordSec 2014, Tromsø, Norway, October 15–17, 2014, Proceedings
2014
https://doi.org/10.1007/978-3-319-11599-3_12
Article collection metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
21
book article EST
/
book article ENG
Automata and coalgebras in sategories of Species
Loregian, Fosco
Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings
2024
/
p. 65-92
https://doi.org/10.1007/978-3-031-66438-0_4
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
22
book article EST
/
book article ENG
Automatization of cross-border customs declaration : potential and challenges : a case study of the Estonian customs authority
Liutkevičius, Markko
;
Pappel, Karl Ivory
;
Butt, Sidra Azmat
;
Pappel, Ingrid
Electronic Government : 19th IFIP WG 8.5 International Conference, EGOV 2020, Linköping, Sweden, August 31 - September 2, 2020 : proceedings
2020
/
p. 96-109
https://doi.org/10.1007/978-3-030-57599-1_8
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
23
book article EST
/
book article ENG
Beta assertive graphs
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 525-529
https://doi.org/10.1007/978-3-030-54249-8_49
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
24
journal article EST
/
journal article ENG
Bialgebraic foundations for the operational semantics of string diagrams
Bonchi, Filippo
;
Piedeleu, Robin
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Information and computation
2021
/
art. 104767, 22 p
https://doi.org/10.1016/j.ic.2021.104767
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
25
book article EST
/
book article ENG
Bing-CF-IDF+ : a semantics-driven news recommender system
Brocken, Emma
;
Hartveld, Aron
;
Koning, Emma de
;
Hogenboom, Frederik
;
Frasincar, Flavius
;
Robal, Tarmo
Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings
2019
/
p. 32-47
https://doi.org/10.1007/978-3-030-21290-2_3
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
Number of records 316, displaying
1 - 25
previous
1
2
3
4
5
6
7
8
9
10
next
keyword
22
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
applied mathematics
6.
Cognitive Mathematics
7.
computational mathematics
8.
foundations of mathematics
9.
history of mathematics
10.
Husserl and Peirce and the goals of mathematics
11.
mathematics
12.
mathematics and computing
13.
mathematics students learning habits
14.
matrix (mathematics)
15.
non-linear mathematics
16.
philosophy of mathematics
17.
univalent mathematics
18.
theoretical analysis
19.
theoretical framework
20.
theoretical models
21.
theoretical perspectives
22.
theoretical rigor
subject term
1
1.
Estonian Summer School on Computer and Systems Science, 2023
×
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