Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Tombak, Mati (author)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 31
Look more.. (3/126)
Export

export all inquiry results (31)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article

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

book article
2

journal article

Binaarsed relatsioonidTombak, MatiA & A2009 / 5, lk. 5-11 https://artiklid.elnet.ee/record=b1507126*est

journal article
3

journal article

Canonical representations of high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Raik, Jaan; Tombak, MatiEstonian journal of engineering2010 / 1, p. 39-55 : ill

journal article
4

book article

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

book article
5

book article

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

book article
6

dissertation

Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidelKarputkin, Anton2012

dissertation
7

book article

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

book article
8

book article

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

book article
9

book

KeerukusteooriaTombak, Mati2007 https://www.ester.ee/record=b2286124*est

book
10

journal article

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

journal article
11

book article

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

book article
12

dissertation

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

dissertation
13

book article

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

book article
14

book article

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

book article
15

book article

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

book article
16

book article

Permutations and bijectionsVõhandu, Leo; Peder, Ahti; Tombak, MatiInformation modelling and knowledge bases XXIII2012 / p. 419-437 : ill

book article
17

book article

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

book article
18

book article

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

book article
19

journal article

Superpositional graphsPeder, Ahti; Tombak, MatiActa et commentationes Universitatis Tartuensis de mathematica2009 / p. 51-64 : ill

journal article
20

book article

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

book article
21

book

Where the theorems are coming from : lectures at autumn school on computational intelligence and information technologies : October 25-27, 2011 [electronic resource]Tombak, Mati2011

book
22

journal article

Генератор матричных отчетовAus, T.; Räbovõitra, M.; Tombak, MatiТруды Вычислительного центра1974 / с. 23-29 : ил https://www.ester.ee/record=b1181233*est

journal article
23

journal article

Генератор отчетов "Villis"Villems, A.; Isotamm, A.; Tombak, MatiТруды Вычислительного центра1974 / с. 49-66 : ил https://www.ester.ee/record=b1181233*est

journal article
24

book article

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

book article
25

book article

О расширенном генераторе отчетов для ЭВМ "Минск-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

book article

Number of records 31, displaying 1 - 25

previous
1
2
next

1. Tombak, Mati, 1942-
2. Abel, Mati
3. Arulepp, Mati
4. Arus, Mati
5. Danilson, Mati
6. Graf, Mati
7. Heidmets, Mati
8. Iila, Mati
9. Jostov, Mati, 1958-2006
10. Kaeeli, Mati
11. Karelson, Mati, 1948-
12. Karmin, Mati
13. Kiirend, Mati, 1939-
14. Kirikal, Mati
15. Kodumets, Mati
16. Kõnno, Mati
17. Käärik, Mati
18. Lukas, Mati
19. Meldorf, Mati
20. Määrits, Mati
21. Punning, Jaan-Mati
22. Räli, Mati
23. Sööt, Peet Mati
24. Tarlap, Mati
25. Tähemaa, Mati, 1933-
26. Uus, Mati
27. Valdma, Mati
28. Viiul, Mati
29. Väljas, Mati, 1958-

1. Tombak, Mati
2. Tombak, Mari-Liis
3. Abel, Mati
4. Danilson, Mati
5. Graf, Mati
6. Karelson, Mati
7. Kirikal, Mati
8. Kodumets, Mati 1962-2010
9. Kutser, Mati
10. Kuus, Mati
11. Lukas, Mati
12. Meldorf, Mati
13. Müürisepp, Aleksander-Mati
14. Pilvet, Illo-Mati
15. Pirn, Mati
16. Pungas, Mati
17. Põldsaar, Mati 1945-2014
18. Reeben, Mati
19. Rjabovõitra, Mati
20. Räbovõitra, Mati 1941-1999
21. Tarma, Mati 1938-1995
22. Toome, Mati
23. Vaarmann, Mati
24. Valdma, Mati 1936-2023
25. Väljas, Mati

match

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu