Searching - TalTech Research Portal

display

sort

1

journal article EST / journal article ENG

Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / 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

book article EST / book article ENG

Algebraic and coalgebraic perspectives on interaction lawsUustalu, Tarmo; Voorneveld, NielsProgramming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings2020 / 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

3

book article EST / book article ENG

Analyzing eID public acceptance and user preferences for current authentication options in EstoniaTsap, Valentyna; Lips, Silvia; Draheim, DirkElectronic Government and the Information Systems Perspective : 9th International Conference, EGOVIS 2020, Bratislava, Slovakia, September 14-17, 2020 : proceedings2020 / 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

Seotud publikatsioonid 2

4

journal article EST / journal article ENG

Analyzing meta-heuristic algorithms for task scheduling in a fog-based IoT applicationRahbari, DadmehrAlgorithms2022 / 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

5

book article EST / book article ENG

Anonymization methods of structured health care data : a literature reviewVovk, Olga; Piho, Gunnar; Ross, PeeterModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / 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

6

book article EST / book article ENG

Art and automation of teaching malware reverse engineeringLepik, Toomas; Maennel, Kaie; Ernits, Margus; Maennel, Olaf ManuelLearning 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 II2018 / 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

7

book article EST / book article ENG

Articulation during voice disguise: a pilot studyTavi, Lauri; Kinnunen, Tomi; Meister, Einar; Gonzalez-Hautamäki, Rosa; Malmi, AntonSpeech and Computer : 23rd International Conference, SPECOM 2021, St. Petersburg, Russia, September 27-30, 2021 : proceedings2021 / 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

8

book article EST / book article ENG

Artificial intelligence in the defence sectorCarlo, AntonioModelling and Simulation for Autonomous Systems : 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers2021 / 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

9

book article EST / book article ENG

Aspect-oriented Model-based testing with UPPAAL timed automataVain, Jüri; Tsiopoulos, Leonidas; Kanter, GertModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / 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

10

book article EST / book article ENG

Aspects of personal data protection from state and citizen perspectives - case of GeorgiaTsulukidze, Mariam; Nyman-Metcalf, Katrin Merike; Tsap, Valentyna; Pappel, Ingrid; Draheim, DirkDigital 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 : proceedings2019 / 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

Seotud publikatsioonid 1

eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõju

11

book article EST / book article ENG

Aspects of using telepresence robot in a higher education STEAM workshopLeoste, Janika; Virkus, Sirje; Kasuk, Tiina; Talisainen, Aleksei; Kangur, Katrin; Tolmos, PiedadInformation Integration and Web Intelligence. iiWAS 20222022 / 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

12

book article EST / book article ENG

Assertive and existential graphs : a comparisonPietarinen, Ahti-Veikko; Chiffi, DanieleDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / 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

13

book article EST / book article ENG

Automatization of cross-border customs declaration : potential and challenges : a case study of the Estonian customs authorityLiutkevičius, Markko; Pappel, Karl Ivory; Butt, Sidra Azmat; Pappel, IngridElectronic Government : 19th IFIP WG 8.5 International Conference, EGOV 2020, Linköping, Sweden, August 31 - September 2, 2020 : proceedings2020 / 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

14

book article EST / book article ENG

Beta assertive graphsBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / 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

15

journal article EST / journal article ENG

Bialgebraic foundations for the operational semantics of string diagramsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioInformation and computation2021 / 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

16

book article EST / book article ENG

Bing-CF-IDF+ : a semantics-driven news recommender systemBrocken, Emma; Hartveld, Aron; Koning, Emma de; Hogenboom, Frederik; Frasincar, Flavius; Robal, TarmoAdvanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings2019 / 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

17

book article EST / book article ENG

Blockchain technology for enabling transparent and traceable government collaboration in public project processes of developing economiesAbodei, Ebizimoh; Norta, Alexander; Azogu, Irene; Udokwu, Chibuzor; Draheim, DirkDigital Transformation for a Sustainable Society in the 21st Century18th IFIP WG 6.11 : Conference on e-Business, e-Services, and e-Society, I3E 2019Trondheim, Norway, September 18–20, 2019 : proceedings2019 / p. 464–475 https://doi.org/10.1007/978-3-030-29374-1_38 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

18

book article EST / book article ENG

Blockchain technology: Intrinsic technological and socio-economic barriers: FDSE'2020 KeynoteBuldas, Ahto; Draheim, Dirk; Nagumo, Takehiko; Vedešin, AntonFuture Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25–27, 2020 : proceedings2020 / p. 3-27 https://doi.org/10.1007/978-3-030-63924-2_1 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

19

book article EST / book article ENG

A blockchain-assisted hash-based signature schemeBuldas, Ahto; Laanoja, Risto; Truu, AhtoSecure IT Systems : 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28–30, 2018 : proceedings2018 / p. 138–153 : ill https://doi.org/10.1007/978-3-030-03638-6_9 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

The BlotPietarinen, Ahti-Veikko; Bellucci, Francesco; Bobrova, Angelina; Haydon, Nathan Joseph; Shafiei, MohammadDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 225-238 : ill https://doi.org/10.1007/978-3-030-54249-8_18 Conference proceedings at Scopus Article at Scopus Article at WOS Conference proceedings at WOS

book article EST / book article ENG

Seotud publikatsioonid 1

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika

21

journal article EST / journal article ENG

Boundary state and output feedbacks for underactuated systems of coupled time-fractional PDEs with different space-dependent diffusivityChen, Juan; Tepljakov, Aleksei; Petlenkov, Eduard; Zhuang, BoInternational journal of systems science2020 / p. 2922-2942 https://doi.org/10.1080/00207721.2020.1803442 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

22

book article EST / book article ENG

Calculational proofs in relational graphical linear algebraPaixao, Joao; Sobocinski, Pawel MariaFormal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings2020 / p. 83-100 https://doi.org/10.1007/978-3-030-63882-5_6 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

23

book article EST / book article ENG

Can I have a Mooc2Go, please? On the viability of mobile vs. stationary learningZhao, Yue; Robal, Tarmo; Lofi, Christoph; Hauff, ClaudiaLifelong Technology-Enhanced Learning : 13th European Conference on Technology Enhanced Learning : EC-TEL 2018, Leeds, UK, September 3-5, 2018 : proceedings2018 / p. 101-115 : ill https://doi.org/10.1007/978-3-319-98572-5_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

24

book article EST / book article ENG

A canonical algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaFormal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings2021 / p. 63-81 https://doi.org/10.1007/978-3-030-90636-8_4 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

25

book article EST / book article ENG

Carroll diagrams : design and manipulationMoktefi, AmiroucheDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 32-35 : ill https://doi.org/10.1007/978-3-319-91376-6_7 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Mathematics. Theoretical computer science (category)

types of item

keyword 19

subject term 1