Searching - TalTech Research Portal

display

sort

701

book article EST / book article ENG

PrefaceKupferman, Orna; Sobocinski, Pawel MariaFoundations of Software Science and Computation Structures, 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferenceson Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings2023 / p. vii https://doi.org/10.1007/978-3-031-30829-1 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

702

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

703

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

704

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

705

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

706

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

707

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

708

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

709

book article EST / book article ENG

PrefaceKrimmer, Robert; Volkamer, Melanie; Barrat, Jordi; Benaloh, Josh; Goodman, Nicole; Teague, VanessaElectronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016 : proceedings2017 / 1 p https://link.springer.com/book/10.1007/978-3-319-52240-1 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

710

book article EST / book article ENG

PrefaceIoannides, Marinos; Magnenat-Thalmann, Nadia; Fink, Eleanor; Žarnić, Roko; Yen, Alex-Yianing; Quak, EwaldDigital Heritage : Progress in Cultural Heritage: Documentation, Preservation,and Protection : 5th International Conference, EuroMed 2014, Limassol, Cyprus, November 3-8, 2014, Proceedings2014 / p. V-VII https://doi.org/10.1007/978-3-319-13695-0 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

711

journal article EST / journal article ENG

PrefaceMatthes, Ralph; Uustalu, TarmoRAIRO - Theoretical Informatics and Applications2013 / p. 1-2 https://doi.org/10.1051/ita/2012026 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

712

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

713

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

714

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

715

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

716

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

717

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

718

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

719

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

720

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

721

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

722

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

723

journal article EST / journal article ENG

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal 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

724

book article EST / book article ENG

A public, blockchain-based distributed smart-contract platform enabling mobile lite wallets using a proof-of-stake consensus algorithmNorta, Alexander; Dai, Patrick; Mahi, Neil; Earls, JordanBusiness Information Systems Workshops : BIS 2018 : International Workshops, Berlin, Germany, July 18–20, 2018 : Revised Papers2019 / p. 368-380 https://doi.org/10.1007/978-3-030-04849-5_33 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

725

book article EST / book article ENG

Purely functional incremental computingFirsov, Denis; Jeltsch, WolfgangProgramming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings2016 / p. 62-77 : ill https://doi.org/10.1007/978-3-319-45279-1_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Matemaatika (category)

types of item

subject term 45

TalTech department 4

author 3