Automated correction of design errors by edge redirection on high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, Jaan13th International Symposium on Quality Electronic Design (ISQED), 20122012 / p. 686-693 : ill https://ieeexplore.ieee.org/document/6113980 Binaarsed relatsioonidTombak, MatiA & A2009 / 5, lk. 5-11 https://artiklid.elnet.ee/record=b1507126*est Canonical representations of high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Raik, Jaan; Tombak, MatiEstonian journal of engineering2010 / 1, p. 39-55 : ill An experiment : using Google Translate and semantic mirrors to create synsets with many lexical unitsLohk, Ahti; Tombak, Mati; Vare, KadriProceedings of the 9th Global WordNet Conference : GWC 2018, January 8-12, 2018, Singapore2018 / p. 328-332 http://doi.org/10.1109/EmpiRE.2018.00012 Finding the description of structure by counting method : a case studyPeder, Ahti; Tombak, MatiSOFSEM 2011 : Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science : Nový Smokovec, Slovakia, January 22-28, 2011 : proceedings2011 / p. 455-466 : ill https://link.springer.com/chapter/10.1007/978-3-642-18381-2_38 Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidelKarputkin, Anton2012 Interactive presentation abstract : automated correction of design errors by edge redirection on high-level decision diagrams [Electronic resource]Karputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, JaanIEEE International High Level Design Validation and Test Workshop (HLDVT'11), November 9-11, 2011, Napa Valley, CA2011 / p. 83 : ill. [CD-ROM] http://doi.ieeecomputersociety.org/10.1109/HLDVT.2011.6113980 Kahest majanduslike ülesannete lahendamise programmsüsteemistMikli, Toomas; Simonova, H.; Tombak, Mati; Villo, N.Ettekannete teesid IV vabariiklikule konverentsile "Automatiseeritud juhtimissüsteemid Eesti NSV-s" : Käärikul, 18.-21. dets. 1972.a. = Тезисы докладов IV республиканской конференции "Автоматизированные системы управления в Эстонской ССР" в Кяэрику, 18-21 декабря 1972 г.1972 / lk. 33 https://www.ester.ee/record=b1324728*est KeerukusteooriaTombak, Mati2007 https://www.ester.ee/record=b2286124*est Linear algorithms for recognizing and parsing superpositional graphsPeder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesFacta Universitatis [Niš]. Series electronics and energetics2011 / p. 325-339 : ill http://dx.doi.org/10.2298/FUEE1103325P Linear algorithms for testing superpositional graphsPeder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesProceedings of the Reed-Muller 2011 Workshop : May 25-26, 2011, Tuusula, Finland2011 / p. 111-118 : ill Methods for coopetition and retention analysis : an application to university management = Koopetitsiooni ja väljalangevuse uurimise meetodid : rakendus ülikooli juhtimisesÜbi, Jaan2014 https://www.ester.ee/record=b3090746*est Operatsioonisüsteem ankeeditüüpi andmete töötlemiseksMikli, Toomas; Räbovõitra, M.; Tombak, Mati; Võhandu, Leo; Aus, T.Ettekannete teesid IV vabariiklikule konverentsile "Automatiseeritud juhtimissüsteemid Eesti NSV-s" : Käärikul, 18.-21. dets. 1972.a. = Тезисы докладов IV республиканской конференции "Автоматизированные системы управления в Эстонской ССР" в Кяэрику, 18-21 декабря 1972 г.1972 / lk. 32 https://www.ester.ee/record=b1324728*est Optimization of structurally synthesized BDDsUbar, Raimund-Johannes; Vassiljeva, T.; Raik, Jaan; Jutman, Artur; Tombak, Mati; Peder, AhtiProceedings of the Fourth IASTED International Conference on Modelling, Simulation, and Optimization : August 17-19, 2004, Kavai, Hawaii, USA2004 / p. 234-240 : ill Pattern matching for superpositional graphs and separable permutationsTombak, Mati; Loorits, Neeme; Peder, Ahti; Võhandu, LeoAbstracts of Eleventh International Conference Permutation Patterns 20132013 / p. 64-66 Permutations and bijectionsVõhandu, Leo; Peder, Ahti; Tombak, MatiInformation modelling and knowledge bases XXIII2012 / p. 419-437 : ill Probabilistic equivalence checking based on high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, JaanProceedings of the 2011 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems : April 13-15, 2011, Gottbus, Germany2011 / p. 423-428 : ill https://ieeexplore.ieee.org/document/5783130 Structurally synthesized binary decision diagramsJutman, Artur; Peder, Ahti; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesBoolean Problems : 6th International Workshop : September 23-24, 2004, Freiberg2004 / p. 271-278 : ill Superpositional graphsPeder, Ahti; Tombak, MatiActa et commentationes Universitatis Tartuensis de mathematica2009 / p. 51-64 : ill Synthesis of high-level decision diagrams for functional test pattern generationUbar, Raimund-Johannes; Raik, Jaan; Karputkin, Anton; Tombak, MatiProceedings of the 16th International Conference Mixed Design of Integrated Circuits and Systems MIXDES 2009 : Lodz, Poland, 25-27 June, 20092009 / p. 519-524 : ill Where the theorems are coming from : lectures at autumn school on computational intelligence and information technologies : October 25-27, 2011 [electronic resource]Tombak, Mati2011 Генератор матричных отчетовAus, T.; Räbovõitra, M.; Tombak, MatiТруды Вычислительного центра1974 / с. 23-29 : ил https://www.ester.ee/record=b1181233*est Генератор отчетов "Villis"Villems, A.; Isotamm, A.; Tombak, MatiТруды Вычислительного центра1974 / с. 49-66 : ил https://www.ester.ee/record=b1181233*est О проблемах редуцирования в грамматиках предшестованияVooglaid, Aare; Tombak, MatiОбработка информации1975 / с. 23-38 : илл https://www.ester.ee/record=b1327401*est https://digikogu.taltech.ee/et/Item/6768b116-5b5d-4f83-ad46-282236590987 О расширенном генераторе отчетов для ЭВМ "Минск-32" позволяющем оперировать со структурами, подобными структурами языка ПЛ/IMikli, Toomas; Tombak, MatiОбработка информации1975 / с. 11-16 : илл https://www.ester.ee/record=b1327401*est https://digikogu.taltech.ee/et/Item/6768b116-5b5d-4f83-ad46-282236590987 Об одной методике создания интегрированных систем обработки данныхVõhandu, Leo; Mikli, Toomas; Räbovõitra, Mati; Tombak, MatiТруды Вычислительного центра1974 / с. 3-6 https://www.ester.ee/record=b1181233*est Об отношении субординацииTombak, Mati; Mikli, Toomas; Allik, KaarelТруды Вычислительного центра1974 / с. 8-22 : ил https://www.ester.ee/record=b1181233*est Обработка информации. Функциональный анализ1974 https://www.ester.ee/record=b1347059*est https://digikogu.taltech.ee/et/Item/0dd16355-1e9a-4ed9-b616-b6d162fa44a5 Принципы организации больших массивов информации в системе "СОДИ"Mikli, Toomas; Tombak, MatiОчерки по обработке информации и функциональному анализу1971 / с. 21-30 : илл https://www.ester.ee/record=b1356667*est https://digikogu.taltech.ee/et/Item/a431c49f-a972-4e58-916b-947eea59962d Стандартизация преобразования дерева анализаLaast-Laas, Jüri; Tombak, MatiXX студенческая научно-техническая конференция вузов Прибалтийских республик, Белорусской ССР и Молдавской ССР : тезисы докладов. Часть 21974 / с. 412 https://www.ester.ee/record=b1306141*est Суперзапись - способ представления сложных объектовVillems, A.; Isotamm, A.; Tombak, MatiТруды Вычислительного центра1974 / с. 30-48 : ил https://www.ester.ee/record=b1181233*est