• 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
• Attributed automata model of computingPenjam, Jaan; Meriste, MerikAbstracts of NWPT'96, Oslo 19961996 / p. 21
• 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
• Completeness for categories of generalized automataBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 20232023 / art. 20, 14 p. : ill https://doi.org/10.4230/LIPIcs.CALCO.2023.20 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172138941&origin=inward&txGid=ae42bac89932d0db3273c6f40b280962
• Fehler in Automaten1989 http://www.ester.ee/record=b2015320*est
• Formalization of finite state machines with data path for the verification of high-level synthesisBorrione, Dominique; Dušina, Julia; Pierre, LaurenceXI Brasilian Symposium on Integrated Circuit Design, September 30 - October 3, 1998, Rio de Janeiro, Brazil : proceedings1998 / p. 99-102: ill https://ieeexplore.ieee.org/document/715419
• 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 https://artiklid.elnet.ee/record=b1013730*est
• Keevituse poolautomaadi häälestamineLaansoo, AndresEhitaja2003 / 9, lk. 54-56 : ill https://artiklid.elnet.ee/record=b1013482*est
• 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
• RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookaroundsVaratalu, Ian Erik; Veanes, Margus; Ernits, Juhan-PeepProceedings of the ACM on Programming Languages2024 / art. 1, 32 p https://doi.org/10.1145/3704837
• 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
• Software environment for synthesis of testable FSM through decompositionDevadze, Sergei; Sudnitsõn, Aleksander2008 26th International Conference on Microelectronics (MIEL 2008) : proceedings2008 / p. 433-436 https://ieeexplore.ieee.org/document/4559314
• 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
• Wreath products of generalized automataPenjam, Jaan; Vene, Varmo2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedings2004 / p. 217-218 https://cdc.ioc.ee/appsem04/webproc/short/penjam-vene.pdf
• Yet another canonical nondeterministic automatonMaarand, Hendrik; Tamm, HellisTheoretical computer science2024 / art. 114581, 15 p. : ill https://doi.org/10.1016/j.tcs.2024.114581 https://www.scopus.com/sourceid/20571 https://www.scopus.com/record/display.uri?eid=2-s2.0-85190994305&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Yet+another+canonical+nondeterministic+automaton%22%29&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=THEOR%20COMPUT%20SCI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001233630800001
• Влияние систематической погрешности преобразования на точность и результаты поверки контрольно-сортировочного автомата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
• Определение структуры сети при декомпозиции неполностью определенных микропрограммных автоматовLeis, PaulАнализ и моделирование технических устройств и систем АСУТП1978 / с. 33-41 https://www.ester.ee/record=b2191003*est https://digikogu.taltech.ee/et/Item/00fbff38-ccfb-411c-ad55-0c6b943b766b
• Построение проверяющего теста для сети автоматовKeevallik, Andres; Kasirova, Lilia; Kruus, MargusTallinna Tehnikaülikooli Toimetised1990 / lk. 3-19: ill
• Синтез структуры микропрограммного автомата на основе триггерных пар разбиенийLeis, PaulАнализ и моделирование технических устройств и систем АСУТП1977 / с. 57-68 https://www.ester.ee/record=b2190987*est https://digikogu.taltech.ee/et/Item/b7c66054-0b4f-4684-9453-442bc7e6e200
• Структурный подход к синтезу операционных автоматовJänes, MartТруды по электротехнике и автоматике : сборник статей. 141976 / с. 119-128 : илл https://www.ester.ee/record=b2190768*est https://digikogu.taltech.ee/et/Item/aa35e320-87b1-405b-9cac-3b90c51867d1