Searching - TalTech Research Portal

display

sort

726

book article EST / book article ENG

PrefaceKrimmer, Robert; Volkamer, MelanieElectronic Voting : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings2020 / p. v https://link.springer.com/content/pdf/bfm:978-3-030-60347-2/1?pdf=chapter%20toc Conference Proceedings metrics at Scopus Article at Scopus

book article EST / book article ENG

727

book article EST / book article ENG

PrefaceBéziau, Jean-Yves; Desclés, Jean-Pierre; Moktefi, Amirouche; Pascu, Anca ChristineLogic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)2022 / p. v-ix https://link.springer.com/content/pdf/bfm:978-3-030-94452-0/1?pdf=chapter%20toc Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

728

book article EST / book article ENG

PrefaceDanaila, Ionut; Kaplanski, Felix; Sazhin, SergeiVortex Ring Models2021 / p. vii https://link.springer.com/content/pdf/bfm:978-3-030-68150-0/1?pdf=chapter%20toc Aricle collection metrics at Scopus Article at Scopus

book article EST / book article ENG

729

book article EST / book article ENG

PrefaceKrimmer, Robert; Prentza, Andriana; Mamrot, SzymonThe once-only principle : The TOOP project2021 / 1 p https://link.springer.com/book/10.1007/978-3-030-79851-2 Article collection metrics at Scopus Article at Scopus Article collection metrics at WOS

book article EST / book article ENG

730

book article EST / book article ENG

PrefaceChapman, Peter; Stapleton, Gem; Moktefi, Amirouche; Chapman, Peter; Stapleton, Gem; Moktefi, AmiroucheDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018 Edinburgh, UK, June 18–22, 2018 Proceedings2018 / p. V - VI https://link.springer.com/content/pdf/bfm:978-3-319-91376-6/1?pdf=chapter%20toc Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

731

book article EST / book article ENG

PrefaceKrimmer, Robert Johannes; Volkamer, Melanie; Cortier, Véronique; Beckert, Bernhard; Küsters, Ralf; Serdült, Uwe; Duenas Cid, DavidElectronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings2019 / p. v https://link.springer.com/book/10.1007/978-3-030-30625-0 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

732

book article EST / book article ENG

PrefaceKrimmer, Robert Johannes; Volkamer, Melanie; Cortier, Véronique; Goré, Rajeev; Hapsara, Manik; Serdült, Uwe; Duenas Cid, DavidElectronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings2018 / p. i-iv https://link.springer.com/book/10.1007/978-3-030-00419-4 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

733

book article EST / book article ENG

PrefaceBellatreche, Ladjel; Chernishev, George; Corral, Antonio; Ouchani, Samir; Vain, JüriAdvances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops : DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. v-vii https://link.springer.com/content/pdf/bfm:978-3-030-87657-9/1?pdf=chapter%20toc Article collection metrics at Scopus Article at Scopus

book article EST / book article ENG

734

book article EST / book article ENG

PrefaceJallouli, Rim; Tobji, Mohamed Anis Bach; Mcheick, Hamid; Piho, GunnarDigital Economy. Emerging Technologies and Business Innovation : 6th International Conference on Digital Economy, ICDEc 2021, Tallinn, Estonia, July 15–17, 2021 : proceedings2021 / p. v–vi https://link.springer.com/content/pdf/bfm:978-3-030-92909-1/1 Collection metrics at Scopus Article at Scopus

book article EST / book article ENG

735

book article EST / book article ENG

PrefaceAttiogbe, Christian; Ben Yahia, SadokModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. v-vi https://doi.org/10.1007/978-3-030-78428-7 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

736

book article EST / book article ENG

PrefaceRobal, Tarmo; Haav, Hele-Mai; Penjam, Jaan; Matulevičius, RaimundasDatabases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 / p. v-vi https://doi.org/10.1007/978-3-030-57672-1 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

737

book article EST / book article ENG

PrefacePietarinen, Ahti-Veikko; Chapman, Peter; Bosveld-de Smet, LeonieDiagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. v - vi https://doi.org/10.1007/978-3-030-54249-8 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

738

book article EST / book article ENG

PrefaceFischer, Bernd; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings2018 / p. V-VI https://link.springer.com/content/pdf/bfm%3A978-3-030-02508-3%2F1.pdf https://www.ester.ee/record=b5174218*est https://doi.org/10.1007/978-3-030-02508-3 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

739

journal article EST / journal article ENG

Preface of the special issue on advances in data-driven engineeringBen Yahia, Sadok; Attiogbé, ChristianInternational Journal of General Systems2023 / p. 203-205 https://doi.org/10.1080/03081079.2023.2204251 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

740

journal article EST / journal article ENG

Pregnancy associated breast cancer gene expressions : new insights on their regulation based on rare correlated patternsBouasker, Souad; Inoubli, Wissem; Ben Yahia, Sadok; Diallo, GayoIEEE/ACM transactions on computational biology and bioinformatics2021 / p. 1035−1048 https://doi.org/10.1109/TCBB.2020.3015236 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

741

journal article EST / journal article ENG

Premature failure of an additively manufactured materialWang, Zhi; Xie, Meishen; Li, Yuanyuan; Zhang, Weiwen; Yang, Chao; Kollo, Lauri; Eckert, Jürgen; Prashanth, Konda GokuldossNpg Asia materials2020 / art. 30, 10 p. : ill https://doi.org/10.1038/s41427-020-0212-0 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

742

book article EST / book article ENG

The present and future of large-scale systems modeling and engineeringDraheim, DirkFuture Data and Security Engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016 : proceedings2016 / p. 355-370 : ill https://doi.org/10.1007/978-3-319-48057-2_25 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

743

book article EST / book article ENG

Preventing data-security breaches and patient-safety risks in cross-blockchain e-healthcare systemsKormiltsõn, Aleksandr; Norta, Alex; Nisar, Sanam; Dwivedi, VimalManagement of Digital EcoSystems : 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5–7, 2023, Revised Selected Papers2024 / p. 41-54 https://doi.org/10.1007/978-3-031-51643-6_4 Conference proceedings at scopus Article at Scopus Article at WOS

book article EST / book article ENG

744

journal article EST / journal article ENG

Process-aware security monitoring in industrial control systems: A systematic review and future directionsRehman, Muaan Ur; Bahsi, HayretdinInternational journal of critical infrastructure protection2024 / art. 100719, 19 p. : ill https://doi.org/10.1016/j.ijcip.2024.100719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

745

journal article EST / journal article ENG

Profunctor optics: a categorical updateClarke, Bryce James; Elkins, Derek; Gibbons, Jeremy; Loregian, Fosco; Milewski, Bartosz; Pillmore, Emily; Roman Garcia, MarioCompositionality2024 / 39 p. : ill https://doi.org/10.32408/compositionality-6-1 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

746

journal article EST / journal article ENG

Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

747

journal article EST / journal article ENG

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

748

journal article EST / journal article ENG

Propagation of bankruptcy risk over scale-free economic networksAndria, Joseph; di Tollo, Giacomo; Kalda, JaanEntropy2022 / art. 1713 https://doi.org/10.3390/e24121713 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

749

journal article EST / journal article ENG

The prospects of strategic imagination in explaining international security challengesMölder, HolgerQuality & Quantity : International Journal of Methodology2023 / p. 55-76 https://doi.org/10.1007/s11135-022-01386-w Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

750

journal article EST / journal article ENG

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, Niels Frits WillemJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

Matemaatika (category)

types of item

subject term 45

TalTech department 4

author 3