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

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

Алгебра пар неполностью определенных разбиений и критерий инфоресурса при декомпозиции автоматовKeevallik, Andres; Berkman, BorissМашинное проектирование электронных устройств и систем1988 / с. 12-20

Влияние систематической погрешности преобразования на точность и результаты поверки контрольно-сортировочного автомата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

Декомпозиция микропрограммных автоматов в классе гомоморфизмов с использованием инфоресурсаBerkman, BorissМашинное проектирование электронных устройств и систем1988 / с. 21-34

Декомпозиция микропрограммных автоматов в сети из автоматов МилиBerkman, BorissМашинное проектирование электронных устройств и систем1989 / с. 67-76

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

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

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

Метод выбора разбиений для декомпозиции МПА с разделением входных переменныхBerkman, BorissСинтез и диагностика цифровых устройств и систем1982 / с. 93-105 https://www.ester.ee/record=b1328194*est https://digikogu.taltech.ee/et/Item/febd586e-d7fa-4fbd-bf41-40576a75f94b

Метод декомпозиции микропрограммных автоматов с учетом ограничений на число входных переменныхLeis, Paul; Sudnitsõn, AleksanderРасчет и проектирование приборов, устройств и систем технической кибернетики1980 / с. 41-47 https://www.ester.ee/record=b1264145*est https://digikogu.taltech.ee/et/Item/81bf2178-a9f8-417d-86c7-2000cca6a01e

Метод нахождения диагностических и установочных последовательностей для сетей автоматовKeevallik, Andres; Kruus, MargusМашинное проектирование электронных устройств и систем1986 / с. 43-51

Метод программной реализации микропрограммного автоматаKeevallik, Andres; Kitsnik, Peeter; Sudnitsõn, AleksanderРасчет и проектирование систем технической кибернетики1983 / с. 91-96 : ил https://www.ester.ee/record=b1288991*est https://digikogu.taltech.ee/et/Item/7d7515af-76b7-4d35-89a7-e80367d5b635

Методы декомпозиции микропрограммных автоматов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

Оптимизация декомпозиционного синтеза микропрограммных автоматов на основе инфоресурсаBerkman, Boriss; Keevallik, AndresМашинное проектирование электронных устройств и систем1989 / с. 43-66

Построение контрольной последовательности для управляющих автоматов, реализованных на программируемых логических матрицKaširova, Lilia; Kruus, Margus; Ellervee, PeeterМашинное проектирование электронных устройств и систем1989 / с. 77-88

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

Проектирование контрольных экспериментов в автоматизированной системе контроля цифровых автоматов "НАКС"Voolaine, Andrus; Jõgi, Aksel; Pall, MartinСинтез и диагностика цифровых устройств и систем1982 / с. 3-21 : илл https://www.ester.ee/record=b1328194*est https://digikogu.taltech.ee/et/Item/febd586e-d7fa-4fbd-bf41-40576a75f94b

Синтез структуры микропрограммного автомата на основе триггерных пар разбиений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

Экспериментальное исследование алгоритмов синтеза контрольных последовательностей для управляющих автоматовKruus, Margus; Salum, KajaМашинное проектирование электронных устройств и систем1989 / с. 33-42