• A tool-supported approach for introducing aspects in UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, Martin; Iqbal, JunaidSoftware technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers2015 / p. 349-364 https://doi.org/10.1007/978-3-319-25579-8_20
• Accessing extraterritorially located data : options for states [Online resource]Osula, Anna-Maria2015 https://ccdcoe.org/sites/default/files/multimedia/pdf/Accessing%20extraterritorially%20located%20data%20options%20for%20States_Anna-Maria_Osula.pdf
• Acyclic attribute evaluation in a dependently typed settingFirsov, Denis; Uustalu, TarmoProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 124-126 : ill http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf
• Advances in Databases and Information Systems : proceedings of the 9th East-European Conference, ADBIS 2005 : Tallinn, September 12-15, 20052005 https://www.ester.ee/record=b2068111*est
• An alternative approach to distinguish movements of Parkinson disease patientsNõmm, Sven; Toomela, Aaro; Vaske, Martti; Uvarov, Dan; Taba, PilleIFAC-PapersOnLine2016 / p. 272-276 : ill https://doi.org/10.1016/j.ifacol.2016.10.546 https://www.scopus.com/sourceid/21100456158 https://www.scopus.com/record/display.uri?eid=2-s2.0-84994879764&origin=inward&txGid=fe7915b0a832a5af87c3ce559b90002a https://www.webofscience.com/wos/woscc/full-record/WOS:000401244300048
• An expectation-based approach to policy-based security of the Border Gateway ProtocolLi, Jun; Stein, Josh; Zhang, Mingwei; Maennel, Olaf Manuel2016 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) : GI 2016 : IEEE Global Internet Symposium : April 10-14, 2016, San Francisco, CA, USA2016 / p. 340-345 : ill https://doi.org/10.1109/INFCOMW.2016.7562098 https://www.scopus.com/sourceid/18204 https://www.scopus.com/record/display.uri?eid=2-s2.0-84988851027&origin=inward&txGid=6fad250da0a5c87c69bda2ee5d0cea8b https://www.webofscience.com/wos/woscc/full-record/WOS:000389210700063
• Application of neural networks based SANARX model for identification and control liquid level tank systemBelikov, Juri; Nõmm, Sven; Petlenkov, Eduard; Vassiljeva, Kristina2013 12th International Conference on Machine Learning and Applications : ICMLA 2013 : 4-7 December 2013, Miami, Florida, USA : proceedings. Vol. 12013 / p. 246-251 : ill
• Arvutiteadlased: USA kiibipiirang lööb Eesti digiarengul hinge kinninovaator.err.ee2025 https://novaator.err.ee/1609577818/arvutiteadlased-usa-kiibipiirang-loob-eesti-digiarengul-hinge-kinni
• Aspect-oriented testing of a rehabilitation systemSarna, Külli; Vain, JüriVALID 2014 : the Sixth International Conference on Advances in System Testing and Validation Lifecycle : October 12-16, 2014, Nice, France2014 / p. 73-78 : ill
• Attacker profiling in quantitative security assessment based on attack treesLenin, Aleksandr; Willemson, Jan; Sari, Dyan PermataSecure IT Systems : 19th Nordic Conference, NordSec 2014, Tromsø, Norway, October 15–17, 2014, Proceedings2014 https://doi.org/10.1007/978-3-319-11599-3_12 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84910045330&origin=inward&txGid=3d1414578a64d0fd80bb52dd53b7eb53
• Automated fault diagnosis for an autonomous underwater vehicleDearden, Richard; Ernits, Juhan-PeepIEEE journal of oceanic engineering2013 / p. 484-499 : ill https://doi.org/10.1109/JOE.2012.2227540 https://www.scopus.com/sourceid/17277 https://www.scopus.com/record/display.uri?eid=2-s2.0-84880569717&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1109%2FJOE.2012.2227540%29&sessionSearchId=c42962733a94ae09ac921c72c691ac9c&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20J%20OCEANIC%20ENG&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000321925500008
• Automating component dependency analysis for enterprise business intelligenceTomingas, Kalle; Tammet, Tanel; Kliimask, Margus; Järv, Priit2014 International Conference on Information Systems (ICIS 2014) : Auckland, New Zealand, December 14-17, 20142014 / p. 1-15 : ill
• Biorobootik Maarja Kruusmaa paneb robotid kalade kombel ujumaLinnard, Henry; Kruusmaa, MaarjaÕhtuleht2017 / lk. 22-23 https://www.ohtuleht.ee/loodus/807381/biorobootik-maarja-kruusmaa-paneb-robotid-kalade-kombel-ujuma
• A coalgebraic view of bar recursion and bar inductionCapretta, Venanzio; Uustalu, TarmoFoundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings2016 / p. 91-106 https://doi.org/10.1007/978-3-662-49630-5_6 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84961761094&origin=inward&txGid=42e9522f3c334dab6fc1a70b570a546e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000401936500006
• Combining aspect-orientation and UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, MartinICSOFT-PT 2014 : proceedings of the 9th International Conference on Software Paradigm Trends, Vienna, Austria, 29-31 August, 20142014 / p. 159-164 : ill
• Combining effects and coeffects via gradingGaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Breuvart, Flavien; Uustalu, TarmoICFP 2016 : proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-24, 20162016 / p. 476-489 https://doi.org/10.1145/2951913.2951939
• Combining fuzzy and probabilistic reasoning for crowd-sourced categorization and taggingTammet, Tanel; Luberg, AgoWeb Reasoning and Rule Systems : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014 : proceedings2014 / p. 247-248 https://link.springer.com/book/10.1007/978-3-319-11113-1 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030861382&origin=inward&txGid=287f1a1488910cabfb21b8e4092601e7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000348927200025
• Compact smart home systems : design and verification of cost effective hardware solutionsKuusik, Alar2001 http://www.ester.ee/record=b1578112*est
• Computational intelligence methods based design of closed-loop systemBelikov, Juri; Petlenkov, Eduard; Vassiljeva, Kristina; Nõmm, SvenNeural information processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013 : proceedings. Part I2013 / p. 215-224 : ill https://doi.org/10.1007/978-3-642-42054-2_28 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84893351469&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-42054-2_28%29
• Computer scientists: Estonia's digital development held back by US chip limitnews.err.ee2025 https://news.err.ee/1609579378/computer-scientists-estonia-s-digital-development-held-back-by-us-chip-limit
• A conceptual nationwide cyber situational awareness framework for critical infrastructuresBahsi, Hayretdin; Maennel, Olaf ManuelSecure IT systems : 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015 : proceedings2015 / p. 3-10 : ill https://doi.org/10.1007/978-3-319-26502-5_1
• Covering an unknown area with an RFID-enabled robot swarmPuusepp, Andres; Tammet, Tanel; Reilent, EnarMechanical design and power engineering2014 / p. 1157-1162
• Creating and detecting IPv6 transition mechanism-based information exfiltration covert channelsBlumbergs, Bernhards; Pihelgas, Mauno; Kont, Markus; Maennel, Olaf Manuel; Vaarandi, RistoSecure IT Systems : 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016 : proceedings2016 / p. 85-100 : ill https://doi.org/10.1007/978-3-319-47560-8_6 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84994528724&origin=inward&txGid=f3c8d7828fd57d3e5cfbe90f31e5330a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452458200006
• Cyber warfareOttis, RainCyber security : analytics, technology and automation2015 / p. 89-96 http://dx.doi.org/10.1007/978-3-319-18302-2_6
• Cyberspace from the hybrid threat perspectiveGunneriusson, Hakan; Ottis, RainProceedings of the 12th European Conference on Information Warfare and Security : University of Jyväskylä, Finland, 11-12 July 20132013 / p. 98-105 : ill
• Data integration patterns for data warehouse automationTomingas, Kalle; Kliimask, Margus; Tammet, TanelNew Trends in Database and Information Systems II : selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014 Ohrid, Macedonia, September 7-10, 2014 : proceedings. II2015 / p. 41-55
• Delay testing of asynchronous NoC interconnectsBengtsson, Tomas; Jutman, Artur; Kumar, Shashi; Ubar, Raimund-JohannesProceedings of the 12th International Conference : Mixed Design of Integrated Circuits and Systems : MIXDES 2005 : Krakow, Poland, 22-25 June, 2005. Vol. 1 of 22005 / p. 419-424 : ill
• Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAALBalasubramaniyan, Sreram; Srinivasan, Seshadhri; Buonopane, Furio; Balasubramanian, Subathra; Vain, Jüri; Ramaswamy, SriniMicroprocessors and microsystems2016 / p. 37-48 : ill https://doi.org/10.1016/j.micpro.2015.12.006 https://www.scopus.com/sourceid/15552 https://www.scopus.com/record/display.uri?eid=2-s2.0-84969352242&origin=inward&txGid=4c40641a614e2ffeec7c3aaebc03d362 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000375336900004
• Determining a device crossover point in CPU/GPU systems for streaming applicationsKanur, Sudeep; Lund, Wictor; Tsiopoulos, Leonidas; Lilius, Johan2015 IEEE Global Conference on Signal and Information Processing : GlobalSIP 2015 : Orlando, FL, USA, December 14-16, 20152015 / p. 1417-1421 : ill http://dx.doi.org/10.1109/GlobalSIP.2015.7418432
• Developing multi-view Contracts using Event-B and Uppaal Timed AutomataVain, Jüri; Tsiopoulos, Leonidas; Guin, Jishu2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings2016 / p. 126-134 : ill https://doi.org/10.1109/ICECCS.2016.024
• Directed containers as categoriesAhman, Danel; Uustalu, TarmoProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 89-98 https://doi.org/10.4204/eptcs.207.5 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84991629033&origin=inward&txGid=ae8ee1c337b0ae6717ea67b1fbcf86af https://www.webofscience.com/wos/woscc/full-record/WOS:000390278400006
• Discovering data lineage from data warehouse proceduresTomingas, Kalle; Järv, Priit; Tammet, TanelProceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management : November 9-11, 2016, in Porto, Portugal. Vol. 12016 / p. 101-110 http://doi.org/10.5220/0006054301010110
• The Distribution Index Calculator for EstonianVainik, Ene; Lohk, Ahti; Paulsen, GedaElectronic lexicography in the 21st century : post-editing lexicography : proceedings of the eLex 2021 conference : virtual, 5–7 July 20212021 / p. 121-138 https://elex.link/elex2021/proceedings-download/
• A divertimento on MonadPlus and nondeterminismUustalu, TarmoJournal of logical and algebraic methods in programming2016 / p. 1086-1094 : ill https://doi.org/10.1016/j.jlamp.2016.06.004 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-84978390183&origin=inward&txGid=2a6171454c1bafb68bdb41c08ff941bc https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000384382000018
• Educational computer game for cyber security : game concept [Online resource]Sõmer, TiiaProceedings of the 1st Interdisciplinary Cyber Research Workshop 2015 : 18th of July 2015, Tallinn University of Technology2015 / p. 17-19 http://cybercentre.cs.ttu.ee/en/icr2015/
• Eestisse luuakse kiibitehnoloogia kompetentsikeskusTambur, SilverTrialoog2025 https://trialoog.taltech.ee/eestisse-luuakse-kiibitehnoloogia-kompetentsikeskus/
• eID public acceptance : success factors, citizen perception, and impact of electronic identity = eID avalik aktsepteerimine : edutegurid, kodanike pertseptsioon ja elektroonilise identiteedi mõjuTsap, Valentyna2022 https://doi.org/10.23658/taltech.12/2022 https://digikogu.taltech.ee/et/Item/13217274-6ec5-4c3b-8324-dcf5bef99081 https://www.ester.ee/record=b5497155*est
• Estonia’s cyber defence league : a model for the United States?Cardash, Sharon L.; Cilluffo, Frank J.; Ottis, RainStudies in conflict & terrorism2013 / p. 777-787 https://doi.org/10.1080/1057610X.2013.813273 https://www.scopus.com/sourceid/200147101 https://www.scopus.com/record/display.uri?eid=2-s2.0-84883341345&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1080%2F1057610X.2013.813273%29&sessionSearchId=09c53dd41ef9fa4501d393829f4e1654 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=STUD%20CONFL%20TERROR&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000323363800005
• An Estonian Research Excellence Centre in Gomputer Science : [the Estonian Centre for Dependable Computing]Uustalu, TarmoEstonia : member state of NATO and the EU : international business handbook 2007-20082007 / p. 182-190 : portr https://www.ester.ee/record=b2288232*est
• Evaluation of data quality in the Estonian National Health Information System for digital decision supportBertl, Markus; Kankainen, Kristian Juha Ismo; Piho, Gunnar; Draheim, Dirk; Ross, PeeterProceedings of the 3rd International Health Data Workshop (HEDA 2023) co-located with Software Technologies: Applications and Foundations (STAF 2023) : Leicester, United Kingdom, July 21, 2023. Vol. 34402023 / paper 1, 13 p. : ill https://ceur-ws.org/Vol-3440/paper1.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-85168140768&origin=inward&txGid=fe2f82375f5575f160ac1e7544b7c66f
• Evaluation of deep learning-based depression detection using medical claims dataBertl, Markus; Bignoumba, Nzamba; Ross, Peeter; Ben Yahia, Sadok; Draheim, DirkArtificial intelligence in medicine2024 / art. 102745, 16 p. : ill https://doi.org/10.1016/j.artmed.2023.102745
• Evaluation of deep learning-based depression detection using medical claims data : preprintBertl, Markus; Bignoumba, Nzamba; Ross, Peeter; Ben Yahia, Sadok; Draheim, DirkSSRN2023 / p. 1-34 : ill https://doi.org/10.2139/ssrn.4478987
• Event log analysis with the LogCluster toolVaarandi, Risto; Kont, Markus; Pihelgas, Mauno2016 IEEE Military Communications Conference : MILCOM 2016 : Baltimore, MD, USA, November 1-3, 20162016 / p. 982-987 https://doi.org/10.1109/MILCOM.2016.7795458
• Event management and incident response framework for small companies [Online resource]Kont, MarkusProceedings of the 1st Interdisciplinary Cyber Research Workshop 2015 : 18th of July 2015, Tallinn University of Technology2015 / p. 52-53 http://cybercentre.cs.ttu.ee/en/icr2015/
• Execution of dataflow process networks on OpenCL platformsLund, Wictor; Kanur, Sudeep; Ersfolk, Johan; Tsiopoulos, Leonidas23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing : PDP 2015 : 4-6 March 2015, Turku, Finland : proceedings2015 / p. 618-625 : ill https://doi.org/10.1109/PDP.2015.29
• ForewordJakobson, Gabriel; Ottis, Rain2015 7th International Conference on Cyber Conflict : Architectures in Cyberspace : 26-29 May 2015, Tallinn, Estonia2015 / p. i http://www.ester.ee/record=b4459022*est https://ccdcoe.org/sites/default/files/multimedia/pdf/CyCon_2015_book.pdf
• ForewordJakobson, Gabriel; Ottis, Rain5th International Conference on Cyber Conflict : 4-7 June 2013, Tallinn, Estonia : proceedings2013 / p. vi-viii
• ForewordUustalu, TarmoICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming2013 / p. iii https://www.scopus.com/sourceid/72247 https://www.scopus.com/record/display.uri?eid=2-s2.0-84887206202&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=AUTH%28Uustalu%2C+T.%29&sessionSearchId=896aef7e13933f2474776a93b8f9191d&relpos=65
• ForewordJakobson, Gabriel; Ottis, Rain2016 : 8th International Conference on Cyber Conflict : Cyber Power : 31 May-3 June 2016, Tallinn, Estonia2016 / p. [i]
• FPGA-based critical computing : TEMPUS and FP7 projects issuesKharchenko, Vyacheslav; Vain, Jüri; Krispin, Madli10th European Workshop on Microelectronics Education : EWME 2014 : May 14-16, 2014, Tallinn, Estonia2014 / p. 74-79 : ill
• Further results on identifiability of discrete-time nonlinear systemsNõmm, Sven; Moog, ClaudeAutomatica2016 / p. 69-74 : ill https://doi.org/10.1016/j.automatica.2016.01.054 https://www.scopus.com/sourceid/24909 https://www.scopus.com/record/display.uri?eid=2-s2.0-84958824648&origin=inward&txGid=f0e98110e37ad3ab4dee8d4019d7c4e2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=AUTOMATICA&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000375507600008
• Generating optimal test cases for real-time systems using DIVINE model checkerPal, Deepak; Vain, JüriBEC 2016 : 2016 15th Biennial Baltic Electronics Conference : proceedings of the 15th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 3-5, 2016, Tallinn, Estonia2016 / p. 99-102 : ill http://www.ester.ee/record=b2150914*est
• 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 http://dx.doi.org/10.1007/978-3-319-25594-1_17
• 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 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85021667822&origin=inward&txGid=d522754df60b9687387a7a2dd226b959 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000388062000001
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-84927614414&origin=inward&txGid=471be739e46f27856bce1949cd06219a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2015 https://www.webofscience.com/wos/woscc/full-record/WOS:000353193000009
• Home rehabilitation system supported by the safety modelKuusik, Alar; Sarna, Külli; Reilent, EnarpHealth 2013 : proceedings of the 10th International Conference on Wearable Micro and Nano Technologies for Personalized Health : June 26-28, 2013, Tallinn, Estonia2013 / p. 145-151 : ill
• Home telecare and rehabilitation system with aspect oriented functional integrationKuusik, Alar; Reilent, Enar; Sarna, Külli; Parve, MarkoBiomedical Engineering = Biomedizinische Technik ; 572012 / p. 1004-1007 : ill https://pubmed.ncbi.nlm.nih.gov/23096276/
• Human limb model structure optimization with genetic algorithmNõmm, Sven; Vassiljeva, Kristina; Kuusik, AlarEMS2013 : UKSim-AMSS 7th European Modelling Symposium, 20-22 November 2013, Manchester, United Kindgom : [proceedings]2013 / p. 124-129
• Infotehnoloogia teaduskondGordon, Boris; Velmre, Enn; Einer, Lauri; Tamm, Uljas; Meister, Ants; Korsen, Viljo; Märtens, Olev; Parve, Toomas; Ubar, Raimund-Johannes; Min, MartLeiutajaid ja leiutisi Tallinna Tehnikaülikoolis 1922-20072008 / lk. 34-47 : ill https://www.ester.ee/record=b2412718*est
• Inimesi ei saa sundida, neid tuleb motiveerida : [kõne TTÜ aastapäevaktusel 17.09.2015]Maennel, Olaf ManuelMente et manu2015 / lk. 7-8 : fot https://artiklid.elnet.ee/record=b2746563*est
• Insider threat detection study [Online resource]Kont, Markus; Pihelgas, Mauno; Wojtkowiak, Jesse; Trinberg, Lorena; Osula, Anna-Maria2015 https://ccdcoe.org/sites/default/files/multimedia/pdf/Insider_Threat_Study_CCDCOE.pdf
• Integrating refinement-based methods for developing timed systemsVain, Jüri; Tsiopoulos, Leonidas; Boström, PontusFrom action systems to distributed systems : the refinement approach2016 / p. 171-185 http://dx.doi.org/10.1201/b20053-17
• Interaction morphisms [extended abstract]Katsumata, Shin-ya; Uustalu, TarmoCoALP-Ty'16 : pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types : November 28-29, 2016, Edinburgh, UK2016 / p. 7-8 https://arxiv.org/pdf/1612.03032.pdf
• International cyber norms : legal, policy & industry perspectives2016 http://www.ester.ee/record=b4543144*est https://ccdcoe.org/sites/default/files/multimedia/pdf/InternationalCyberNorms_full_book.pdf
• IntroductionOsula, Anna-Maria; Rõigas, HenryInternational cyber norms : legal, policy & industry perspectives2016 / p. 11-22 http://www.ester.ee/record=b4543144*est https://ccdcoe.org/sites/default/files/multimedia/pdf/InternationalCyberNorms_full_book.pdf
• Introductory remarks [Online resource]Osula, Anna-Maria; Maennel, Olaf ManuelProceedings of the 1st Interdisciplinary Cyber Research Workshop 2015 : 18th of July 2015, Tallinn University of Technology2015 / p. 5 http://cybercentre.cs.ttu.ee/en/icr2015/
• ITA programm tehnikaülikoolisVaarmets, ElenaMente et Manu2014 / lk. 9
• i-tee : a fully automated cyber defense competition for studentsErnits, Margus; Tammekänd, Johannes; Maennel, Olaf ManuelSIGCOMM '15 : proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication : August 17-21, 2015, London, United Kingdom2015 / p. 113-114 : ill http://dx.doi.org/10.1145/2785956.2790033
• Journal of logical and algebraic methods in programming. Vol. 85, iss. 6, NWPT 20132016
• Kuulsad matemaatikud : universumi mõistatuste lahendajadFlood, Raymond; Wilson, Robin; Olesk, Peeter2014 https://www.ester.ee/record=b3056428*est
• Küberkaitse tipptegijad õpivad Eestis digitaalset ühiskonda turvama : [intervjuu TTÜ professori Olaf Maenelliga]Lõugas, Hans; Maennel, Olaf ManuelEesti Päevaleht2015 / lk. 17 https://epl.delfi.ee/artikkel/71888393/kuberkaitse-tipptegijad-opivad-eestis-digitaalset-uhiskonda-turvama
• Learning based personalized energy management systems for residential buildingsSoudari, Mallikarjun; Srinivasan, Seshadhri; Balasubramanian, Subathra; Vain, Jüri; Kotta, ÜlleEnergy and buildings2016 / p. 953-968 : ill https://doi.org/10.1016/j.enbuild.2016.05.059 https://www.scopus.com/sourceid/29359 https://www.scopus.com/record/display.uri?eid=2-s2.0-84976869621&origin=inward&txGid=e886e535dd8ae2958d611544a160f286 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ENERG%20BUILDINGS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000381529400083
• Light weight tabletop exercise for cybersecurity educationOttis, RainJournal of homeland security and emergency management2014 / p. 579-592 https://doi.org/10.1515/jhsem-2014-0031 https://www.scopus.com/sourceid/23403 https://www.scopus.com/record/display.uri?eid=2-s2.0-84925405617&origin=inward&txGid=5d53310a5c7d767169677e16f86a86d9 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20HOMEL%20SECUR%20EMERG&year=2014 https://www.webofscience.com/wos/woscc/full-record/WOS:000346997400007
• Lightweight assimilation of open urban ambient air quality monitoring data and numerical simulations with unknown uncertaintyMiasayedava, Lizaveta; Kaugerand, Jaanus; Tuhtan, Jeffrey AndrewEnvironmental modeling & assessment2023 / p. 961–975 https://doi.org/10.1007/s10666-023-09909-x https://www.scopus.com/sourceid/23276 https://www.scopus.com/record/display.uri?eid=2-s2.0-85161369493&origin=inward&txGid=182d09acf52273f48aefdc0cc78f959e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ENVIRON%20MODEL%20ASSESS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001004001600001
• Lightweight open data assimilation of Pan-European urban air qualityMiasayedava, Lizaveta; Kaugerand, Jaanus; Tuhtan, Jeffrey AndrewIEEE access2023 / p. 84670–84688 : ill., map https://doi.org//10.1109/ACCESS.2023.3302348 https://www.scopus.com/sourceid/21100374601 https://www.scopus.com/record/display.uri?eid=2-s2.0-85167791705&origin=inward&txGid=481bc853ebb6e41d91e9450a92b65130 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20ACCESS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001049943200001
• Limiting adversarial budget in quantitative security assessmentLenin, Aleksandr; Buldas, AhtoDecision and Game Theory for Security : 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014 : proceedings2014 / p. 155-174 : ill https://doi.org/10.1007/978-3-319-12601-2_9 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84910020028&origin=inward&txGid=1918912b3b34b9af30a4dfc3bd729638 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000345594300009
• A live virtual simulator for teaching cybersecurity to information technology studentsErnits, Margus; Kikkas, KaidoLearning and Collaboration Technologies : Third International Conference, LCT 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings2016 / p. 474-486 : ill https://doi.org/10.1007/978-3-319-39483-1_43 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84978898089&origin=inward&txGid=25cad413a04f077fcfb2aff682a856c6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389805700043
• LogCluster - a data clustering and pattern mining algorithm for event logsVaarandi, Risto; Pihelgas, Mauno11th International Conference on Network and Service Management, CNSM 2015 : Barcelona, Spain, November 9-13, 20152015 / p. 1-7
• Mappings, rules and patterns in template based ETL constructionTomingas, Kalle; Kliimask, Margus; Tammet, TanelDatabases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 20142014 / p. 471-476 : ill
• Marek Strandberg võib luua roheliste erakonna : [Tanel Tammeti ja Marek Strandbergi kommentaaridega]Seaver, UrmasPostimees2004 / 28. sept., lk. 3 : fot https://epl.delfi.ee/artikkel/50993870/marek-strandberg-voib-luua-roheliste-erakonna
• Model based framework for distributed control and testing of cyber-physical systems = Mudelipõhine raamistik küber-füüsikaliste süsteemide hajusjuhtimiseks ja -testimiseksAnier, Aivo2016 http://digi.lib.ttu.ee/i/?6133 https://www.ester.ee/record=b4601197*est
• Model based framework for testing distributed systemsPal, Deepak; Vain, JüriProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 91-94 : ill
• Model checking response times in Networked Automation Systems using jitter boundsSrinivasan, Seshadhri; Buonopane, Furio; Vain, Jüri; Ramaswamy, SriniComputers in industry2015 / p. 186-200 https://doi.org/10.1016/j.compind.2015.06.012 https://www.scopus.com/sourceid/19080 https://www.scopus.com/record/display.uri?eid=2-s2.0-84955198753&origin=inward&txGid=b0745f4339cb8b5990384a5fd40c0250 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPUT%20IND&year=2015 https://www.webofscience.com/wos/woscc/full-record/WOS:000364893000015
• Model-based integration testing of ROS packages : a mobile robot case studyErnits, Juhan-Peep; Halling, Evelin; Kanter, Gert; Vain, Jüri2015 European Conference on Mobile Robots : Lincoln, United Kingdom, September 2-4, 2015 : conference proceedings2015 / [7] p. : ill http://dx.doi.org/10.1109/ECMR.2015.7324210
• Model-based testing of reactive systems = Reaktiivsete süsteemide mudelipõhine testimineKull, Andres2009 https://www.ester.ee/record=b2539853*est
• Model-based testing of real-time distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings2016 / p. 272-286 : ill https://doi.org/10.1007/978-3-319-40180-5_19 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979053273&origin=inward&txGid=80048c8db5e1376a7429e2600ab98122 https://www.webofscience.com/wos/woscc/full-record/WOS:000389806000019
• Modelling critical systems with timing constraints in Event-B [Electronic resource]Siavashi, Faezeh; Waldén, Marina; Tsiopoulos, Leonidas; Vain, Jüri25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts2013 / p. 70-72 : ill [USB]
• Monads need not be endofunctorsAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoLogical methods in computer science2015 / p. 1-40 https://doi.org/10.2168/LMCS-11(1:3)2015 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-84927621403&origin=inward&txGid=a351868f770191ae145fa316e19b7e44 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2015 https://www.webofscience.com/wos/woscc/full-record/WOS:000353193000010
• Monitoring of the human motor functions rehabilitation by neural networks based system with Kinect sensorNõmm, Sven; Buhhalko, Kirill12th IFAC,IFIP,IFORS,IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, 2013 : Las Vegas, United States of America : August 11-14 2013 : proceedings2013 / p. 249-253 https://doi.org/10.3182/20130811-5-US-2037.00062 https://www.scopus.com/sourceid/21100456158 https://www.scopus.com/record/display.uri?eid=2-s2.0-84885787206&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.3182%2F20130811-5-US-2037.00062%29&sessionSearchId=4a42d4bf2ceb805f2ef7f5f687f0741e
• Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85174229571&origin=inward&txGid=6d89c61a12c25efc210fc1c1a18d8c5c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001083845100001
• Monoidal width : capturing rank widthDi Lavore, Elena; Sobocinski, Pawel MariaProceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 20222023 / p. 268-283 : ill https://doi.org/10.4204/EPTCS.380.16 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169440941&origin=inward&txGid=7857f291e697d23757c0161e9e5d4c23 https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000016
• Multi-level analytical frameworks for supporting cyber security legal decision making : thesis for the degree of doctor of philosophyKasper, Agnes2015 http://www.ester.ee/record=b4511758*est
• A new efficient ALignment-driven Neural Network for mortality prediction from irregular multivariate time series dataBignoumba, Nzamba; Mellouli, Nedra; Ben Yahia, SadokExpert systems with applications2024 / art. 122148 https://doi.org/10.1016/j.eswa.2023.122148
• New efficient utility upper bounds for the fully adaptive model of attack treesBuldas, Ahto; Lenin, AleksandrDecision and game theory for security : 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013 : proceedings2013 / p. 192-205 : ill https://doi.org/10.1007/978-3-319-02786-9_12 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84893415855&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-319-02786-9_12%29&sessionSearchId=4e9f1108c3ce1a3973bd48ac5e4a956b
• Näilik efektiivsus ja kvaliteet : projektipõhine teaduskorraldus taandab teadlased juhutöölisteksUustalu, TarmoSirp2014 / lk. 34-35 https://www.sirp.ee/s1-artiklid/c9-sotsiaalia/2014-01-09-14-40-08/
• On mutating UPPAAL timed automata to assess robustness of web servicesSiavashi, Faezeh; Truscan, Dragos; Vain, JüriProceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016). Vol. 1, ICSOFT-EA2016 / p. 15-26 : ill http://dx.doi.org/10.5220/0005970800150026
• Palmse, märts ja teoreetiline arvutiteadusUustalu, TarmoMente et Manu2016 / lk. 7-9 : fot https://artiklid.elnet.ee/record=b2758759*est
• Paneme masina aru andmaUustalu, TarmoPostimees2016 / AK, lk. 9
• PrefacePenjam, JaanProceedings of the Estonian Academy of Sciences2013 / p. 1-2
• Proceedings of the 1st Interdisciplinary Cyber Research Workshop 2015 : 18th of July 2015, Tallinn University of Technology [Online resource]2015 http://cybercentre.cs.ttu.ee/en/icr2015/
• Proceedings of the 2nd Interdisciplinary Cyber Research Workshop 2016 [Online resource]2016 http://cybercentre.cs.ttu.ee/wp/wp-content/uploads/2016/03/CRW_2016_lingitud.pdf http://www.ester.ee/record=b4579694*est
• Provably correct test development for timed systemsVain, Jüri; Anier, Aivo; Halling, EvelinDatabases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 20142014 / p. 289-302 : ill
• Provably correct test generation for online testing of timed systemsVain, Jüri; Anier, Aivo; Halling, EvelinDatabases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 20142014 / p. 337-348 : ill
• Quantitative analysis in the digital Luria's alternating series testsNõmm, Sven; Toomela, Aaro; Kozhenkina, Julia; Toomsoo, Toomas14th International Conference on Control, Automation, Robotics & Vision (ICARCV 2016) : Phuket, Thailand, November 13-15, 20162016 / [6] p. : ill https://doi.org/10.1109/ICARCV.2016.7838746
• Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, Niccolo21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 / p. 38-39
• Rain Ottis: "Tähtis on teha asju, millesse ise usud!"Alas, Askur; Ottis, RainEesti Ekspress2015 / Koolitusekspress, lk. 2-3
• Recognition and analysis of the contours drawn during the Poppelreuter's testNõmm, Sven; Bardõš, Konstantin; Mašarov, Ilja; Kozhenkina, Julia; Toomela, Aaro; Toomsoo, Toomas2016 15th IEEE International Conference on Machine Learning and Applications : 18-20 December 2016, Anaheim, California : proceedings2016 / p. 170-175 : ill http://doi.org//10.1109/ICMLA.2016.0036
• Robot swarmsVain, JüriIntegrated systems and design : interstudy, May 9, 20082008 / p. 54-64 : ill
• Roheline erakond jäi veel loomata : [M. Strandbergi kommentaariga "Aktuaalsele kaamerale" ja T. Tammeti kommentaariga Postimehele]Postimees2004 / lk. 6
• Rule-based impact analysis for enterprise business intelligenceTomingas, Kalle; Tammet, Tanel; Kliimask, MargusArtificial Intelligence Applications and Innovations : AIAI 2014 Workshops : CoPA, MHDW, IIVC, and MT4BD, Rhodes, Greece, September 19-21, 2014 : proceedings2014 / p. 302-309 : ill
• Seitse aastat soosingutUustalu, TarmoMente et Manu2015 / lk. 9-11 : fot https://artiklid.elnet.ee/record=b2741003*est
• Sequence to sequence hybrid Bi-LSTM model for traffic speed predictionOunoughi, Chahinez; Ben Yahia, SadokExpert systems with applications2024 / art. 121325 https://doi.org/10.1016/j.eswa.2023.121325 https://www.scopus.com/sourceid/24201 https://www.scopus.com/record/display.uri?eid=2-s2.0-85170565821&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22Sequence+to+sequence+hybrid+Bi-LSTM+model+for+traffic+speed+prediction%22%29&sessionSearchId=f53bb18a788748acab088b0e35200e2d&relpos=8 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=EXPERT%20SYST%20APPL&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001075079800001
• Service measurement map for large-scale cyber defense exercisesPihelgas, Mauno; Rubio Melon, Francisco Jesus; Priisalu, JaanCyber Defence Situation Awareness : STO-MP-IST-1482016 / p. 9-1 - 9-10 : ill http://dx.doi.org/10.14339/STO-MP-IST-148
• SIGCOMM '15 : proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication : August 17-21, 2015, London, United Kingdom2015 http://dl.acm.org/citation.cfm?id=2785956
• Sightsmap : crowd-sourced popularity of the world placesTammet, Tanel; Luberg, Ago; Järv, PriitInformation and communication technologies in tourism 2013 : proceedings of the International Conference in Innsbruck, Austria, January 22-25, 20132013 / p. 314-325 : ill
• Simple event correlator - best practices for creating scalable configurationsVaarandi, Risto; Blumbergs, Bernhards; Caliskan, Emin2015 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision (CogSIMA 2015) : 9-12 March 2015, Orlando, Florida, USA2015 / p. 96-100 http://dx.doi.org/10.1109/COGSIMA.2015.7108181
• Stateful runners of effectful computationsUustalu, TarmoElectronic notes in theoretical computer science2015 / p. 403-421 http://dx.doi.org/10.1016/j.entcs.2015.12.024
• A survey on socio-semantic information retrievalSchoefegger, Karin; Tammet, Tanel; Granitzer, MichaelComputer science review2013 / p. 25-46 : ill
• A symbolic approach to model-based online testing = Mudelipõhine online-testimine kasutades sümbolarvutustKääramees, Marko2012 http://www.ester.ee/record=b2890159*est
• TalTech professor: AI chip restrictions on Estonia won't make much differenceTammet, Tanelnews.err.ee2025 https://news.err.ee/1609581226/taltech-professor-ai-chip-restrictions-on-estonia-won-t-make-much-difference
• Teaching diagnostic modeling of digital systems with decision diagrams [Electronic resource]Ubar, Raimund-Johannes; Raik, Jaan; Mironov, Dmitri; Evartson, Teet; Orasson, Elmet; Aarna, Margit; Wuttke, Heinz-DietrichProceedings of 12th IASTED International Conference on Computers and Advanced Technology in Education - CATE 2009 : St.Thomas, US, November 22-24, 20092009 / p. 1-6. [CD-ROM]
• Teadus ja väärtusUustalu, TarmoTeadusmõte Eestis (VIII). Teaduskultuur : [artiklikogumik]2013 / lk. 10-15 : portr
• Teaduspreemia täppisteaduste alal tööde tsükli "Matemaatilised struktuurid funktsionaalprogrammeerimises" eest : Tarmo UustaluUustalu, TarmoEesti Vabariigi preemiad : teadus. F. J. Wiedemanni keeleauhind. Kultuur. Sport2015 / lk. 52-62 : portr
• Tester partitioning and synchronization algorithm for testing real-time distributed systemsPal, Deepak; Vain, JüriProceedings of the 10th Junior Researcher Workshop on Real-Time Computing : JRWRTC 2016 : Brest, France, October 19-21, 20162016 / p. 13-16 : ill http://jrwrtc2016.gforge.inria.fr/
• The Crisis Management System - a case study on aspect-oriented modelling with UPPAALIqbal, Junaid; Truscan, Dragos; Porres, Ivan; Tsiopoulos, Leonidas; Vain, Jüri2016 http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a
• 25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts [Electronic resource]2013 https://www.ester.ee/record=b3039924*est
• Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika, 1406-4731 ; 80Reilent, Enar2012
• Tor does not stink : use and abuse of the Tor anonymity network from the perspective of lawMinarik, Tomaš; Osula, Anna-MariaComputer law & security review2016 / p. 111-127 http://dx.doi.org/10.1016/j.clsr.2015.12.002
• Towards better specifications for software outsourcingLump, Peeter; Ernits, Juhan-Peep; Vain, JüriDatabases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 20142014 / p. 453-458 : ill
• Towards context-sensitive dialogue with robot companionVain, Jüri; Sarapuu, HelenaBEC 2014 : 2014 14th Biennial Baltic Electronics Conference : proceedings of the 14th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 6-8, 2014, Tallinn, Estonia2014 / p. 205-208 : ill
• Towards establishing relationships between human arousal level and motion massNõmm, Sven; Kõnnusaar, Tiit; Toomela, AaroNeural Information Processing : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014 : proceedings. Part 12014 / p. 19-26 : ill https://doi.org/10.1007/978-3-319-12637-1_3 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84921491663&origin=inward&txGid=124ff31acaca50e294cfdae4febb97ba https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000432659500003
• 21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 http://www.ester.ee/record=b4473137*est
• Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollisErnits, Juhan-Peep2007 https://digi.lib.ttu.ee/i/?162
• 2015 7th International Conference on Cyber Conflict : Architectures in Cyberspace 26-29 May 2015, Tallinn, Estonia2015 http://www.ester.ee/record=b4459022*est https://ccdcoe.org/sites/default/files/multimedia/pdf/CyCon_2015_book.pdf
• Utilising journey mapping and crime scripting to combat cyber crimeSõmer, Tiia; Hallaq, Bil; Watson, TimProceedings of the 15th European Conference on Cyber Warfare and Security : ECCWS 2016 : hosted by Universität der Bundeswehr, Munich, Germany, 7-8 July 20162016 / p. 276-281 : ill
• Utilising journey mapping and crime scripting to combat cybercrime and cyber warfare attacksSõmer, Tiia; Hallaq, Bil; Watson, TimJournal of information warfare2016 / p. 39-49 https://www.jinfowar.com/journal-issue/volume-15-issue-4
• Variations on NoetheriannessFirsov, Denis; Uustalu, Tarmo; Veltri, NiccoloProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 76-88 : ill https://doi.org/10.4204/eptcs.207.4 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84991672233&origin=inward&txGid=7cfe2cb50f0a4ed4cc9f981d3904dc86 https://www.webofscience.com/wos/woscc/full-record/WOS:000390278400005
• Verifying response times in networked automation systems using jitter boundsSrinivasan, Seshadhri; Vain, JüriIEEE 25th International Symposium on Software Reliability Engineering Workshops : ISSREW 2014 : 3-6 November 2014, Naples, Italy : proceedings2014 / p. 47-50 : ill
• Visualising cyber crime based on the E-Crime Project : mapping the journeys of cyber criminals [Online resource]Sõmer, TiiaProceedings of the 2nd Interdisciplinary Cyber Research Workshop 20162016 / p. 26 http://cybercentre.cs.ttu.ee/wp/wp-content/uploads/2016/03/CRW_2016_lingitud.pdf http://www.ester.ee/record=b4579694*est
• Опыт применения инструментальной системы SPADE в учебном процессеLeppikson, ViktorОпыт применения технических средств в учебном процессе : тезисы докладов VI зональной научно-методической конференции преподавателей вузов республик Прибалтики, БССР и Калининградской области РСФСР1986 / с. 174-176 https://www.ester.ee/record=b2856606*est
• Опыт применения системы SPADE в задачах анализа линейных системLeppikson, ViktorТезисы докладов Республиканской научно-технической конференции, посвященной Дню радио. Секция "Схемотехника"1980 / с. 23-24 https://www.ester.ee/record=b1304217*est
• Ученый-компьютерщик: ограничения США на поставки чипов замедлят цифровое развитие Эстонииrus.err.ee2025 https://rus.err.ee/1609579243/uchenyj-kompjuterwik-ogranichenija-ssha-na-postavki-chipov-zamedljat-cifrovoe-razvitie-jestonii