Searching - TalTech Research Portal

display

sort

176

book article EST / book article ENG

Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward inductionIqbal, Junaid; Truscan, Dragos; Vain, Jüri; Porres, IvanProceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / 10 pages : ill https://doi.org/10.1145/3123779.3123813 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

177

book article EST / book article ENG

Regular monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaLeibniz International Proceedings in Informatics, LIPIcs2022 / p. 44:1-44:14 https://doi.org/10.4230/LIPIcs.MFCS.2022.44 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

178

book article EST / book article ENG

Reordering derivatives of trace closures of regular languages [Online resource]Maarand, Hendrik; Uustalu, Tarmo30th International Conference on Concurrency Theory : (CONCUR 2019)2019 / art. 40 ; 40:1–40:16 https://doi.org/10.4230/LIPIcs.CONCUR.2019.40 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

179

book article EST / book article ENG

Research gaps on public service deliveryLopes, Nuno Vasco; Sa Soares, Delfina; Meyerhoff Nielsen, Morten; Tavares, AntonioICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 20172017 / p. 465-474 : ill https://doi.org/10.1145/3047273.3047388 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

180

book article EST / book article ENG

Re-shaping the EU digital identity frameworkLips, Silvia; Vinogradova, Natalia; Krimmer, Robert Johannes; Draheim, Dirk23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings2022 / p. 13-21 https://doi.org/10.1145/3543434.3543652 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Seotud publikatsioonid 1

A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik

181

journal article EST / journal article ENG

A roadside unit deployment framework for enhancing transportation services in Maghrebian citiesChaabene, Seif Ben; Yeferny, Taoufik; Ben Yahia, SadokConcurrency and Computation: Practice and Experience2021 / art. e5611 https://doi.org/10.1002/cpe.5611 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

182

book article EST / book article ENG

Robust training of vector quantized bottleneck modelsLancucki, Adrian; Chorowski, Jan; Sanchez, Guillaume; Marxer, Ricard; Chen, Nanxin; Dolfing, Hans J.G.A.; Khurana, Sameer; Alumäe, Tanel; Laurent, Antoine2020 International Joint Conference onNeural Networks (IJCNN), 19-24 July 2020, Glasgow, UK : proceedings2020 / art. 163566 : 7 p https://doi.org/10.1109/IJCNN48605.2020.9207145 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

183

book article EST / book article ENG

RoCo-NAS : robust and compact neural architecture searchGeraeinejad, Vahid; Sinaei, Sima; Modarressi, Mehdi; Daneshtalab, Masoud2021 International Joint Conference on Neural Networks (IJCNN) : proceedings2021 / 8 l https://doi.org/10.1109/IJCNN52387.2021.9534460 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

184

book article EST / book article ENG

The role of linked open statistical data in public service co-creationMcBride, Keegan David Braun; Matheus, Ricardo; Toots, Maarja; Kalvet, Tarmo; Krimmer, Robert JohannesICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 679-681 https://doi.org/10.1145/3209415.3209446 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

185

book article EST / book article ENG

Russian Federal remote E-voting scheme of 2021 - protocol description and analysisVakarjuk, Jelizaveta; Snetkov, Nikita; Willemson, JanEICC '22: Proceedings of the 2022 European Interdisciplinary Cybersecurity Conference2022 / p. 29-35 https://doi.org/10.1145/3528580.3528586 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

186

journal article EST / journal article ENG

A security-aware and LUT-based CAD flow for the physical synthesis of hASICsAbideen, Zain Ul; Perez, Tiago Diadami; Martins, Mayler; Pagliarini, Samuel NascimentoIEEE transactions on computer-aided design of integrated circuits and systems2023 / p. 3157-3170 : ill https://doi.org/10.1109/TCAD.2023.3244879 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Leveraging FPGA Reconfigurability as an Obfuscation Asset = FPGA ümberkonfigureeritavuse rakendamine hägustamise vahendina

187

book article EST / book article ENG

Self-aware smart contracts with legal relevanceNorta, Alexander2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4113-4120 : ill https://doi.org/10.1109/IJCNN.2018.8489235 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

188

journal article EST / journal article ENG

Serverless, FaaS and why organizations need themAstrova, Irina; Koschel, Arne; Schaaf, Marc; Klassen, Samuel; Jdiya, KerimIntelligent decision technologies2021 / p. 825-838 https://doi.org/10.3233/IDT-210194 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

189

book article EST / book article ENG

Sights, titles and tags: mining a worldwide photo database for sightseeingLuberg, Ago; Pindis, Jakob; Tammet, Tanel10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings2020 / p. 149-158 : ill https://doi.org/10.1145/3405962.3405987 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

190

book article EST / book article ENG

Situated transition systemsNester, Chad MitchellarXiv2022 / p. 103-115 https://doi.org/10.4204/EPTCS.372.8 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

191

book article EST / book article ENG

Slice nondeterminismVoorneveld, Niels4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / art. 31, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.31 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

192

book article EST / book article ENG

Smart city collaboration model : A case study of university-city collaborationSarv, Lill; Kibus, Kristel; Soe, Ralf-MartinProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 674−677 https://doi.org/10.1145/3428502.3428601 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

193

journal article EST / journal article ENG

Smart healthcare : disease prediction using the cuckoo-enabled deep classifier in IoT frameworkKumar, Ashwani; Reddy, S. Sai Satyanarayana; Mahommad, Gouse Baig; Khan, Baseem; Sharma, RahulScientific Programming2022 https://doi.org/10.1155/2022/2090681 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

194

book article EST / book article ENG

Smart twin cities via urban operating systemSoe, Ralf-MartinICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 20172017 / p. 391-400 : ill https://doi.org/10.1145/3047273.3047322 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

195

journal article EST / journal article ENG

Sociotechnical factors and Industry 4.0 : an integrative perspective for the adoption of smart manufacturing technologiesMarcon, Érico; Soliman, Marlon; Gerstlberger, Wolfgang Dieter; Frank, Alejandro G.Journal of Manufacturing Technology Management2022 / p. 259-289 : ill https://doi.org/10.1108/JMTM-01-2021-0017 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

Sound conflict management and resolution for virtual-enterprise collaborationsNarendra, Nanjangud C.; Norta, Alexander; Mahunnah, Msury; Ma, Lixin; Maggi, Fabrizio MariaService-oriented computing and applications2016 / p. 233-251 : ill https://doi.org/10.1007/s11761-015-0183-0 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

197

journal article EST / journal article ENG

Span(Graph) : a canonical feedback algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaSoftware and systems modeling2023 / p. 495-520 : ill https://doi.org/10.1007/s10270-023-01092-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

198

journal article EST / journal article ENG

Split-chip design to prevent IP reverse engineeringPagliarini, Samuel Nascimento; Sweeney, Joseph; Mai, Ken; Blanton, Shawn; Mitra, Subhasish; Pileggi, LarryIEEE Design and Test2020 / p. 109-118 https://doi.org/10.1109/MDAT.2020.3033255 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

199

journal article EST / journal article ENG

SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

200

journal article EST / journal article ENG

String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Arvutiteadus. Tarkvara (category)

types of item

subject term 92

keyword 1