Searching - TalTech Research Portal

display

sort

126

book article EST / book article ENG

Formal verification of COLREG-Based Navigation of maritime autonomous systemsShokri-Manninen, Fatima; Vain, Jüri; Walden, MarinaSoftware Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings2020 / p. 41-59 https://doi.org/10.1007/978-3-030-58768-0_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

127

journal article EST / journal article ENG

Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

128

book article EST / book article ENG

Forward Proof Search for Intuitionistic Multimodal K LogicsVoorneveld, Niels Frits WillemAutomated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2025 : Reykjavik, Iceland, September 27–29, 2025 : proceedings2025 / p. 335–353 https://doi.org/10.1007/978-3-032-06085-3_18 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

129

book article EST / book article ENG

A framework for data-driven public service co-productionToots, Maarja; McBride, Keegan David Braun; Kalvet, Tarmo; Krimmer, Robert JohannesElectronic Government : 16th IFIP WG 8.5 International Conference : EGOV 2017, St. Petersburg, Russia, September 4-7, 2017 : proceedings2017 / p. 264-275 : ill https://doi.org/10.1007/978-3-319-64677-0_22 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

130

book article EST / book article ENG

Framework for peer-to-peer data sharing over Web browsersPattanaik, Vishwajeet; Sharvadze, Ioane; Draheim, DirkFuture Data and Security Engineering : 6th International Conference, FDSE 2019Nha Trang City, Vietnam, November 27–29, 2019 : proceedings2019 / p. 207-225 : ill https://doi.org/10.1007/978-3-030-35653-8_14 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

Related publications 1

Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks

131

book article EST / book article ENG

A framework for the adoption of blockchain-based e-procurement systems in the public sector : A case study of NigeriaAkaba, Temofe Isaac; Norta, Alexander; Udokwu, Chibuzor; Draheim, DirkResponsible Design, Implementation and Use of Information and Communication Technology : 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020 : Proceedings, Part I2020 https://doi.org/10.1007/978-3-030-44999-5_1 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

132

journal article EST / journal article ENG

Frameworks for collective intelligence : a systematic literature reviewSuran, Shweta; Pattanaik, Vishwajeet; Draheim, DirkACM computing surveys2020 / art. 14, p. 1−36 https://doi.org/10.1145/3368986 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 2

133

book article EST / book article ENG

Freely combining partial knowledge in multiple dimensions (extended abstract)Draheim, DirkFuture Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings2018 / p. 3-11 https://doi.org/10.1007/978-3-030-03192-3_1 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

134

book article EST / book article ENG

From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applicationsDraheim, Dirk; Tammet, TanelDatabase and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I2020 / p. 3-19 https://doi.org/10.1007/978-3-030-59003-1_1 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

135

book article EST / book article ENG

Future opportunities for systematic AI support in healthcareBertl, Markus; Piho, Gunnar; Draheim, Dirk; Ross, Peeter; Pechmann, Ludwig; Bucciarelli, Nicholas; Sharma, RahulBridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers2024 / p. 203 - 224 https://doi.org/10.1007/978-3-031-73741-1_13 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

136

book article EST / book article ENG

Generalization of the double-reversal method of finding a canonical residual finite state automatonTamm, HellisDescriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings2015 / p. 268 - 279 https://doi.org/10.1007/978-3-319-19225-3_23 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

137

book article EST / book article ENG

Genetic approximations for the failure-free security gamesLenin, Aleksandr; Willemson, Jan; Charnamord, AntonDecision and game theory for security : 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015 : proceedings2015 / p. 311-321 : ill https://doi.org/10.1007/978-3-319-25594-1_17 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

138

book article EST / book article ENG

GK : Implementing full first order default logic for commonsense reasoning (system description)Tammet, Tanel; Draheim, Dirk; Järv, PriitAutomated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings2022 / p. 300-309 https://doi.org/10.1007/978-3-031-10769-6_18 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

139

book article EST / book article ENG

GKC: A reasoning system for large knowledge basesTammet, TanelAutomated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings2019 / p. 538-549 https://doi.org/10.1007/978-3-030-29436-6_32 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

140

book article EST / book article ENG

Grand reports : a tool for generalizing association rule mining to numeric target valuesArakkal Peious, Sijo; Sharma, Rahul; Kaushik, Minakshi; Shah, Syed Attique; Ben Yahia, SadokBig Data Analytics and Knowledge Discovery : 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020 : proceedings2020 / p. 28-37 https://doi.org/10.1007/978-3-030-59065-9_3 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Related publications 1

Measures of Impact and Confounding – An Analysis and Experimental Comparison of Novel and Established Measures = Mõju ja segajate mõõdikud – uute ja väljakujunenud meetmete analüüs ja eksperimentaalne võrdlus

141

journal article EST / journal article ENG

A graphical method to determine robust stabilizing region of FOPID controllers for stable/unstable fractional-order plants with interval uncertainties of a fractional order and model coefficientsGhorbani, Majid; Alagoz, Baris Baykant; Tepljakov, Aleksei; Petlenkov, EduardInternational Journal of General Systems2025 / 20 p. : ill https://doi.org/10.1080/03081079.2024.2375442 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Robust Stability Analysis of Fractional-Order Control Systems = Murrulistel tuletistel põhinevate juhtimissüsteemide robustse stabiilsuse analüüs

142

journal article EST / journal article ENG

Guest editorial : implementation issues in system-on-chipEllervee, Peeter; Nurmi, JariJournal of signal processing systems2017 / p. 269-270 https://doi.org/10.1007/s11265-017-1242-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

143

journal article EST / journal article ENG

Guest editors' forewordUustalu, Tarmo; Vain, JüriJournal of logical and algebraic methods in programming2016 / p. 1109 https://doi.org/10.1016/j.jlamp.2016.10.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

144

journal article EST / journal article ENG

High-performance information processing in distributed computing systemsSklyarov, Valery; Rjabov, Artjom; Skliarova, Iouliia; Sudnitsõn, AleksanderInternational journal of innovative computing, information and control2016 / p. 139-160 : ill https://www.researchgate.net/publication/297047447_High-performance_information_processing_in_distributed_computing_systems Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

145

book article EST / book article ENG

Historio-GraphyMoktefi, AmiroucheDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 511-514 https://doi.org/10.1007/978-3-030-54249-8_46 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

146

journal article EST / journal article ENG

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 https://doi.org/10.2168/LMCS-11(1:1)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

147

book article EST / book article ENG

The how and why to Internet voting an attempt to explain E-StoniaVinkel, Priit; Krimmer, Robert JohannesElectronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016 : proceedings2017 / p. 178-191 : ill https://doi.org/10.1007/978-3-319-52240-1_11 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

148

book article EST / book article ENG

How could Snowden attack an election?Wikström, Douglas; Barrat, Jordi; Heiberg, Sven; Krimmer, Robert Johannes; Schürmann, CarstenElectronic Voting : Second International Joint Conference, E-Vote-ID 2017 : Bregenz, Austria, October 24-27, 2017 : proceedings2017 / p. 280-291 https://doi.org/10.1007/978-3-319-68687-5_17 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

149

book article EST / book article ENG

How domain engineering can help to raise adoption rates of artificial intelligence in healthcareBertl, Markus; Klementi, Toomas; Piho, Gunnar; Ross, Peeter; Draheim, DirkInformation Integration and Web Intelligence, 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4–6, 2023 : proceedings2023 / p. 490-504 https://doi.org/10.1007/978-3-031-48316-5_1 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

150

book article EST / book article ENG

How much does an e-Vote cost? Cost comparison per vote in multichannel elections in EstoniaKrimmer, Robert Johannes; Duenas Cid, David; Krivonosova, Iuliia; Vinkel, Priit; Koitmäe, ArneElectronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2–5, 2018 : proceedings2018 / p. 117-131 https://doi.org/10.1007/978-3-030-00419-4_8 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 24

subject term 1