Abstraktse automaadi sünteesi programmid algoritmi graafskeemi aluselPops, M.; Salum, Kaja; Plaks, ToomasXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 91 https://www.ester.ee/record=b1322611*est

Algoritmi loogikaskeemi sisestamine arvutisseTammemäe, Kalle; Plaks, ToomasXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 92 https://www.ester.ee/record=b1322611*est

Application of bidding automata for measuring the informativeness of hand motion characteristic featuresParm, Kenno; Nõmm, Sven; Vain, JüriBEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia2010 / p. 205-208 : ill

Categories, automata and splicing systemsKaljulaid, U.; Penjam, JaanProceedings of 9th Nordic Workshop on Programming Theory1997

Coca-colat müüakse mobiili teel : [Tehnikaülikooli joogiautomaadist saavad EMT kliendid katsetamise korras osta mobiiltelefoni vahendusel Coca-Colat : lühisõnum]Eesti Päevaleht2003 / 18. veebr., Tallinn, lk. 2

Fehler in Automaten1989 http://www.ester.ee/record=b2015320*est

Human-robot interaction learning using timed automataVain, Jüri; Miyawaki, Fujio; Nõmm, Sven; Totskaya, Tatiana; Anier, AivoICCAS-SICE 2009 : ICROS-SICE International Joint Conference 2009 : Fukuoka City, Japan, August 18-21, 2009 : final program and papers2009 / p. 2037-2043 https://ieeexplore.ieee.org/document/5334368

Hybrid approach to detection of the surgeon's hand motions during endoscope surgeryNõmm, Sven; Vain, Jüri; Petlenkov, Eduard; Miyawaki, Fujio; Yoshimitsu, KitaroICIEA : 4th IEEE Conference on Industrial Electronics and Applications : Xi'an, 25-27 May 20092009 / p. 3488-3492 https://ieeexplore.ieee.org/abstract/document/5138854

Informatiivne keerukushinnang automaatide dekompositsooniülesande lahendamiseksKruus, M.; Keevallik, AndresXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 93 https://www.ester.ee/record=b1322611*est

Informational operators of finite automataKeevallik, Andres; Lausmaa, ToomasTallinna Tehnikaülikooli Toimetised1990 / lk. 20-26

Inimesed ja automaadidAgur, Ustus1966 https://www.ester.ee/record=b1352413*est

Keevitamine poolautomaadigaLaansoo, AndresEhitaja2003 / 10, lk. 60-61 : ill

Keevituse poolautomaadi häälestamineLaansoo, AndresEhitaja2003 / 9, lk. 54-56 : ill

Kontrollautomaadi "Ekzamenator K-54" eksamil kasutamise kogemusiKõnnusaar, Kalju; Võhandu, E.Õppemetoodika küsimusi ; 31968 / lk. 117-129 : ill https://www.ester.ee/record=b1346720*est

Kontrollautomaadi "Ekzamenator K-54" kasutamise kogemusi metallide tehnoloogia kateedrisRitso, AaduÕppemetoodika küsimusi ; 31968 / lk. 130-136 : ill https://www.ester.ee/record=b1346720*est

Kui pea paks, siis aitab... : [joogiautomaat III õppehoone esimesel korrusel]Mente et Manu2000 / 7. nov., lk. 1 : fot https://www.ester.ee/record=b1242496*est

Refinement-based development of timed systemsBerthing, Jesper; Boström, Pontus; Sere, Kaisa; Tsiopoulos, Leonidas; Vain, JüriIntegrated Formal Methods : 9th International Conference IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings2012 / p. 69-83 : ill https://link.springer.com/chapter/10.1007/978-3-642-30729-4_6

Timed automata based provably correct robot controlAnier, Aivo; Vain, JüriBEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia2010 / p. 201-204 : ill

Влияние систематической погрешности преобразования на точность и результаты поверки контрольно-сортировочного автоматаIzrailev, V.; Laaneots, Rein; Saar, BernhardСборник статей по машиностроению. 91972 / с. 37-42 https://www.ester.ee/record=b2190570*est https://digikogu.taltech.ee/et/Item/3aab34ef-a920-43ae-9a14-2c99ba3caad2

Выбор режима резания и расчет точности обработки на токарном гидрокопировальном полуавтомате с системами автоматического регулирования (САР) размераŠtšeglov, Nikolai; Jaanson, ArvoСборник статей по машиностроению. 81971 / с. 31-42 : илл https://www.ester.ee/record=b2190317*est https://digikogu.taltech.ee/et/Item/9e5336a6-6d17-4555-8a2c-a8b547231bbb/

Генерирование тестов по функциональной модели микропрограммного автоматаViilup, AguПроектирование и диагностика вычислительных средств1987 / с. 64-75 : илл https://www.ester.ee/record=b1273275*est

Декомпозиция конечных автоматов на основе информационного критерияKeevallik, Andres; Lausmaa, ToomasМетоды синтеза и диагностирования цифровых схем1985 / с. 3-11

Декомпозиция микропрограммных автоматов с разделением выходных переменныхSudnitsõn, AleksanderМетоды синтеза и диагностирования цифровых схем1985 / с. 13-18

К решению задачи общей декомпозиции конечных автоматовSudnitsõn, AleksanderУскорение внедрения методов и средств автоматизации проектирования и улучшения подготовки специалистов : Тезисы докладов научно-практические конференции молодых ученых и специалистов (г. Гродно, 18-19 окт. 1978 г.)1978 / с. 156-157

Контрольные эксперименты с микропрограммными автоматамиKruus, MargusМетоды синтеза и диагностирования цифровых схем1985 / с. 45-50

Методы декомпозиции микропрограммных автоматовLeis, PaulМашинное проектирование электронных устройств и систем1986 / с. 3-17

Моделирование работы токарного гидрокопировального полуавтомата с системами автоматического регулирования (САР) размераJaanson, ArvoСборник статей по машиностроению. 81971 / с. 15-29 : илл https://www.ester.ee/record=b2190317*est https://digikogu.taltech.ee/et/Item/9e5336a6-6d17-4555-8a2c-a8b547231bbb/

О параллельной декомпозиции микропрограммных автоматовLeis, Paul; Jakobson, GabrielТруды по электротехнике и автоматике. 141976 / с. 129-137 : илл https://www.ester.ee/record=b2190768*est https://digikogu.taltech.ee/et/Item/aa35e320-87b1-405b-9cac-3b90c51867d1

Построение проверяющего теста для сети автоматовKeevallik, Andres; Kasirova, Lilia; Kruus, MargusTallinna Tehnikaülikooli Toimetised1990 / lk. 3-19: ill

Структурный подход к синтезу операционных автоматовJänes, MartТруды по электротехнике и автоматике. 141976 / с. 119-128 : илл https://www.ester.ee/record=b2190768*est https://digikogu.taltech.ee/et/Item/aa35e320-87b1-405b-9cac-3b90c51867d1