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 Conference Proceedings at Scopus Article at Scopus Article at WOS

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 Conference Proceedings at Scopus Article at Scopus Article at WOS

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 Arvutiteadlased: USA kiibipiirang lööb 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 Article collection metrics at Scopus Article at Scopus

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

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 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

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 Conference Proceedings at Scopus Article at Scopus

Computer scientists: Estonia's digital development held back by US chip limitnews.err.ee2025 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 https://doi.org/10.4028/www.scientific.net/AMM.490-491.1157 Article at Scopus Article at WOS

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 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference Proceedings at Scopus Article at Scopus Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference proceedings at Scopus Article at Scopus

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, Rain2016 : 8th International Conference on Cyber Conflict : Cyber Power : 31 May-3 June 2016, Tallinn, Estonia2016 / p. [i]

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 Conference Proceedings at Scopus Article at Scopus

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrisc at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

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 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference Proceedings at Scopus Article at Scopus Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference Proceedings at Scopus Article at Scopus

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference proceedings at Scopus Article at Scopus Article at WOS

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 Computer Proceedings metrics at Scopus Article at Scopus

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 https://doi.org/10.3233/978-1-61499-458-9-289 Conference proceedings at Scopus Article at Scopus Article at WOS

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 https://doi.org/10.1007/978-3-662-44722-2_32 Conference proceedings at Scopus Article at Scopus

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 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 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Article at WOS

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 Ученый-компьютерщик: ограничения США на поставки чипов замедлят цифровое развитие Эстонии