Searching - TalTech Research Portal

display

sort

1

book article

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

book article

2

journal article EST / journal article ENG

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

journal article EST / journal article ENG

3

book article EST / book article ENG

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

book article EST / book article ENG

4

journal article

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

journal article

5

book article

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

book article

6

journal article

Grammatikate tuletus ja automaatide induktsioonKüngas, PeepA & A2001 / 4, lk. 17-21 ; 5, lk. 27-38 https://artiklid.elnet.ee/record=b1007647*est

journal article

7

book article

Implementing duration calculus specifications by timed automataKääramees, MarkoAbstracts of NWPT'96, Oslo 19961996 / p. 10

book article

8

dissertation

Low power finite state machine synthesisFomina, Jelena2005 https://www.ester.ee/record=b2097121*est

dissertation

9

book article

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

book article

10

journal article

Models of attributed automataMeriste, Merik; Penjam, Jaan; Vene, VarmoInformatica1998 / 1, p. 85-105: ill

journal article

11

book article

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

book article

12

book article

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

book article

13

dissertation

Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantikaMaarand, Hendrik2020 https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb

dissertation

14

book article

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

book article

15

book article EST / book article ENG

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

book article EST / book article ENG

16

dissertation

Scenario oriented model-based testing = Stsenaariumjuhitud mudelipõhine testimineHalling, Evelin2019 https://digi.lib.ttu.ee/i/?11943

dissertation

17

book article EST / book article ENG

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

book article EST / book article ENG

18

book article EST / book article ENG

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

book article EST / book article ENG

19

book article

Генерация псевдослучайного микропрограммного автоматаSudnitsõn, Aleksander; Berkman, BorissАвтоматизация логического проектирования : сборник научных трудов1981 / с. 144-152 https://www.ester.ee/record=b1550042*est

book article

20

dissertation

Декомпозиционный синтез управляющих автоматов на программируемых матрицах и микропроцессорах : автореферат ... кандидата технических наук (05.13.01)Sudnitsõn, Aleksander1983 https://www.ester.ee/record=b1291157*est

dissertation

21

dissertation

Декомпозиционный синтез управляющих автоматов на программируемых матрицах и микропроцессорах : диссертация на соискание ученой степени кандидата кандидата технических наукSudnitsõn, Aleksander1983 https://www.ester.ee/record=b4634419*est

dissertation

22

book article

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

book article

23

book article

Диагностирование синхронных микропрограммных автоматовViilup, AguМежреспубликанская школа-семинар по технической диагностике, 8-12 октября 1984 года : тезисы докладов1984 / с. 25-27 https://www.ester.ee/record=b1237891*est

book article

24

book article

О декомпозиции конечных автоматовKeevallik, Andres; Leis, PaulОптимизация в проектировании дискретных устройств : материалы семинара, 25-26 ноября 1976 г.1976 / с. 52-70

book article

25

book article

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

book article

automaaditeooria (subject term)

types of item

subject term 1