• A proposal for optimisation of low-powered FSM testingBrik, Marina; Fomina, Jelena; Ubar, Raimund-JohannesProceedings of IEEE East-West Design & Test Workshop (EWDTW'05) : Odessa, Ukraine, September 15-19, 20052005 / p. 15-20
• An approach to the inference of finite state machines based on a gravitationally-inspired search algorithmSpitšakova, MargaritaProceedings of the Estonian Academy of Sciences2013 / p. 39-46 https://doi.org/10.3176/proc.2013.1.05 https://www.scopus.com/sourceid/11500153303 https://www.scopus.com/record/display.uri?eid=2-s2.0-84874245573&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.3176%2Fproc.2013.1.05%29&sessionSearchId=23dee722ce12faa5e1ea9604703fa91f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20EST%20ACAD%20SCI&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000316257200005
• Bicategories of automata, automata in bicategoriesBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 1-19 https://doi.org/10.4204/EPTCS.397.1 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85182311545&origin=inward&txGid=42ccf2a4fc7032e17d3e0dca7aaadae8 https://www.webofscience.com/wos/woscc/full-record/WOS:001148112900002
• Book reviews : Semigroups and automata. SelectaUno Kaljulaid (1941-1999). Edited by Jaak Peetre (Lund, Sweden) and Jaan Penjam (Tallinn, Estonia), 2006, IOS Press, Amsterdam. ISBN 1-58603-582-7Lumiste, ÜloProceedings of the Estonian Academy of Sciences. Physics. Mathematics2006 / p. 189-191
• Finite state machines with datapath partitioning for low power synthesisSudnitsõn, AleksanderProceedings of the 8th International Conference Mixed Design of Integrated Circuits and Systems : MIXDES 2001 : Zakopane, Poland, 21-23 June 20002001 / p. 163-168 : ill
• Grammatikate tuletus ja automaatide induktsioonKüngas, PeepA & A2001 / 4, lk. 17-21 ; 5, lk. 27-38 https://artiklid.elnet.ee/record=b1007647*est
• Implementing duration calculus specifications by timed automataKääramees, MarkoAbstracts of NWPT'96, Oslo 19961996 / p. 10
• Low power finite state machine synthesisFomina, Jelena2005 https://www.ester.ee/record=b2097121*est
• Microprogram automation : design for testabilityKeevallik, Andres; Kruus, Margus; Lensen, HarriBEC'98 : the 6th Biennial Conference on Electronics and Microsystems Technology, October 7-9, 1998, Tallinn, Estonia : proceedings1998 / p. 171-174
• Models of attributed automataMeriste, Merik; Penjam, Jaan; Vene, VarmoInformatica1998 / 1, p. 85-105: ill
• Multi-level test generation and fault diagnosis for finite state machinesUbar, Raimund-Johannes; Brik, MarinaDependable computing : proceedings / EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 19961996 / p. 264-281: ill
• A new approach to state encoding of low power FSMFomina, Jelena; Brik, Marina; Sudnitsõn, Aleksander; Vasiliev, RomanProceedings of IEEE East-West Design & Test Workshop : EWDTW'05 : Ukraine2005 / p. 21-26
• Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantikaMaarand, Hendrik2020 https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb
• Processing N-ary trees in hardware circuitsSklyarov, Valery; Skliarova, Iouliia; Mihhailov, Dmitri; Sudnitsõn, Aleksander13th International Symposium on Integrated Circuits (ISIC) : Singapore, 12-14 December 2011 : proceedings2011 / p. 262-265 : ill https://ieeexplore.ieee.org/document/6131946
• Quotients and atoms of reversible languagesTamm, HellisFormal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II2020 / p. 443-455 https://doi.org/10.1007/978-3-030-54997-8_28 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85089715772&origin=inward&txGid=fec30d6a2b0cd2efd40d2a110267e002
• Scenario oriented model-based testing = Stsenaariumjuhitud mudelipõhine testimineHalling, Evelin2019 https://digi.lib.ttu.ee/i/?11943
• String diagrammatic trace theoryEarnshaw, Matthew; Sobocinski, Pawel Maria48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)2023 / art. 43, 43 p. : ill https://doi.org/10.4230/LIPIcs.MFCS.2023.43 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85171429494&origin=inward&txGid=f16fcfa7168c0f6d85c6e275ece30436
• Theoretical aspects of symbolic automataTamm, Hellis; Veanes, MargusSOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings2018 / p. 428-441 https://doi.org/10.1007/978-3-319-73117-9_30 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85041831906&origin=inward&txGid=ef5444c0489d38aa170b12da3394860c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000542576400030
• Генерация псевдослучайного микропрограммного автоматаSudnitsõn, Aleksander; Berkman, BorissАвтоматизация логического проектирования : сборник научных трудов1981 / с. 144-152 https://www.ester.ee/record=b1550042*est
• Декомпозиционный синтез управляющих автоматов на программируемых матрицах и микропроцессорах : автореферат ... кандидата технических наук (05.13.01)Sudnitsõn, Aleksander1983 https://www.ester.ee/record=b1291157*est
• Декомпозиционный синтез управляющих автоматов на программируемых матрицах и микропроцессорах : диссертация на соискание ученой степени кандидата кандидата технических наукSudnitsõn, Aleksander1983 https://www.ester.ee/record=b4634419*est
• Декомпозиция конечных автоматов на основе информационного критерияKeevallik, Andres; Lausmaa, ToomasМетоды синтеза и диагностирования цифровых схем1985 / с. 3-11
• Диагностирование синхронных микропрограммных автоматовViilup, AguМежреспубликанская школа-семинар по технической диагностике, 8-12 октября 1984 года : тезисы докладов1984 / с. 25-27 https://www.ester.ee/record=b1237891*est
• О декомпозиции конечных автоматовKeevallik, Andres; Leis, PaulОптимизация в проектировании дискретных устройств : материалы семинара, 25-26 ноября 1976 г.1976 / с. 52-70
• Об одном способе декомпозиции автомных вероятностных автоматовKeevallik, Andres; Jakobson, GabrielТруды по электротехнике и автоматике : сборник статей. 111973 / с. 53-59 https://www.ester.ee/record=b2190624*est https://digikogu.taltech.ee/et/Item/d6e57925-e104-44e1-a218-c5b3110d9996
• Один метод декомпозиционного синтеза микропрограммных автоматов на программируемых логических матрицахLeis, Paul; Sudnitsõn, AleksanderТруды пятого Международного семинара "Прикладные аспекты теории автоматов". Т. 11979 / с. 253-262