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 http://dx.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

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

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

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

Automated fault diagnosis for an autonomous underwater vehicleDearden, Richard; Ernits, Juhan-PeepIEEE journal of oceanic engineering2013 / p. 484-499 : ill

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

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

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

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

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 http://dx.doi.org/10.1007/978-3-319-47560-8_6

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 http://dx.doi.org/10.1016/j.micpro.2015.12.006

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 http://doi.org/10.4204/eptcs.207.5

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

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/

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

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

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

ForefordUustalu, TarmoICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming2013 / p. iii

ForewordJakobson, Gabriel; Ottis, Rain5th International Conference on Cyber Conflict : 4-7 June 2013, Tallinn, Estonia : proceedings2013 / p. vi-viii

ForewordJakobson, Gabriel; Ottis, Rain2016 : 8th International Conference on Cyber Conflict : Cyber Power : 31 May-3 June 2016, Tallinn, Estonia2016 / p. [i]

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

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

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 http://dx.doi.org/10.1016/j.jlamp.2016.10.004

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

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

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

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

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 http://dx.doi.org/10.1016/j.enbuild.2016.05.059

Light weight tabletop exercise for cybersecurity educationOttis, RainJournal of homeland security and emergency management2014 / p. 579-592

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

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

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

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 http://dx.doi.org/10.1007/978-3-319-39483-1_43

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

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

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 http://dx.doi.org/10.1016/j.compind.2015.06.012

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 http://dx.doi.org/10.1007/978-3-319-40180-5_19

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 http://dx.doi.org/10.2168/LMCS-11(1:3)2015

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

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

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.48550/arXiv.2205.08916

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

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

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

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

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

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

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

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

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 http://doi.org/10.4204/eptcs.207.4

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