Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
Tombak, Mati (TTÜ author)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
29
Look more..
(3/124)
Export
export all inquiry results
(29)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
Automated correction of design errors by edge redirection on high-level decision diagrams
Karputkin, Anton
;
Ubar, Raimund-Johannes
;
Tombak, Mati
;
Raik, Jaan
13th International Symposium on Quality Electronic Design (ISQED), 2012
2012
/
p. 686-693 : ill
https://ieeexplore.ieee.org/document/6113980
book article
2
journal article
Binaarsed relatsioonid
Tombak, Mati
A & A
2009
/
5, lk. 5-11
https://artiklid.elnet.ee/record=b1507126*est
journal article
3
journal article
Canonical representations of high-level decision diagrams
Karputkin, Anton
;
Ubar, Raimund-Johannes
;
Raik, Jaan
;
Tombak, Mati
Estonian journal of engineering
2010
/
1, p. 39-55 : ill
journal article
4
book article
An experiment : using Google Translate and semantic mirrors to create synsets with many lexical units
Lohk, Ahti
;
Tombak, Mati
;
Vare, Kadri
Proceedings of the 9th Global WordNet Conference : GWC 2018, January 8-12, 2018, Singapore
2018
/
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 study
Peder, Ahti
;
Tombak, Mati
SOFSEM 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 : proceedings
2011
/
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 otsustusdiagrammidel
Karputkin, Anton
2012
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, Jaan
IEEE International High Level Design Validation and Test Workshop (HLDVT'11), November 9-11, 2011, Napa Valley, CA
2011
/
p. 83 : ill. [CD-ROM]
http://doi.ieeecomputersociety.org/10.1109/HLDVT.2011.6113980
book article
8
book article
Kahest majanduslike ülesannete lahendamise programmsüsteemist
Mikli, 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
Keerukusteooria
Tombak, Mati
2007
https://www.ester.ee/record=b2286124*est
book
10
journal article
Linear algorithms for recognizing and parsing superpositional graphs
Peder, Ahti
;
Nestra, Härmel
;
Raik, Jaan
;
Tombak, Mati
;
Ubar, Raimund-Johannes
Facta Universitatis [Niš]. Series electronics and energetics
2011
/
p. 325-339 : ill
http://dx.doi.org/10.2298/FUEE1103325P
journal article
11
book article
Linear algorithms for testing superpositional graphs
Peder, Ahti
;
Nestra, Härmel
;
Raik, Jaan
;
Tombak, Mati
;
Ubar, Raimund-Johannes
Proceedings of the Reed-Muller 2011 Workshop : May 25-26, 2011, Tuusula, Finland
2011
/
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, Jaan
2014
https://www.ester.ee/record=b3090746*est
dissertation
13
book article
Operatsioonisüsteem ankeeditüüpi andmete töötlemiseks
Mikli, 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
Pattern matching for superpositional graphs and separable permutations
Tombak, Mati
;
Loorits, Neeme
;
Peder, Ahti
;
Võhandu, Leo
Abstracts of Eleventh International Conference Permutation Patterns 2013
2013
/
p. 64-66
book article
15
book article
Permutations and bijections
Võhandu, Leo
;
Peder, Ahti
;
Tombak, Mati
Information modelling and knowledge bases XXIII
2012
/
p. 419-437 : ill
book article
16
book article
Probabilistic equivalence checking based on high-level decision diagrams
Karputkin, Anton
;
Ubar, Raimund-Johannes
;
Tombak, Mati
;
Raik, Jaan
Proceedings of the 2011 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems : April 13-15, 2011, Gottbus, Germany
2011
/
p. 423-428 : ill
https://ieeexplore.ieee.org/document/5783130
book article
17
journal article
Superpositional graphs
Peder, Ahti
;
Tombak, Mati
Acta et commentationes Universitatis Tartuensis de mathematica
2009
/
p. 51-64 : ill
journal article
18
book article
Synthesis of high-level decision diagrams for functional test pattern generation
Ubar, Raimund-Johannes
;
Raik, Jaan
;
Karputkin, Anton
;
Tombak, Mati
Proceedings of the 16th International Conference Mixed Design of Integrated Circuits and Systems MIXDES 2009 : Lodz, Poland, 25-27 June, 2009
2009
/
p. 519-524 : ill
book article
19
book
Where the theorems are coming from : lectures at autumn school on computational intelligence and information technologies : October 25-27, 2011 [electronic resource]
Tombak, Mati
2011
book
20
journal article
Генератор матричных отчетов
Aus, T.
;
Räbovõitra, M.
;
Tombak, Mati
Труды Вычислительного центра
1974
/
с. 23-29 : ил
https://www.ester.ee/record=b1181233*est
journal article
21
journal article
Генератор отчетов "Villis"
Villems, A.
;
Isotamm, A.
;
Tombak, Mati
Труды Вычислительного центра
1974
/
с. 49-66 : ил
https://www.ester.ee/record=b1181233*est
journal article
22
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
23
book article
О расширенном генераторе отчетов для ЭВМ "Минск-32" позволяющем оперировать со структурами, подобными структурами языка ПЛ/I
Mikli, 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
24
journal article
Об одной методике создания интегрированных систем обработки данных
Võhandu, Leo
;
Mikli, Toomas
;
Räbovõitra, Mati
;
Tombak, Mati
Труды Вычислительного центра
1974
/
с. 3-6
https://www.ester.ee/record=b1181233*est
journal article
25
journal article
Об отношении субординации
Tombak, Mati
;
Mikli, Toomas
;
Allik, Kaarel
Труды Вычислительного центра
1974
/
с. 8-22 : ил
https://www.ester.ee/record=b1181233*est
journal article
Number of records 29, displaying
1 - 25
previous
1
2
next
author
71
1.
Tombak, Mati
2.
Tombak, Jaanus
3.
Tombak, Katrin
4.
Tombak, Mari-Liis
5.
Tombak, Mihkel
6.
Abel, Mati
7.
Arulepp, Mati
8.
Arus, Mati
9.
Danilson, Mati
10.
Erik, Mati
11.
Feldmann, Mati
12.
Graf, Mati
13.
Haas, Mati
14.
Heidmets, Mati
15.
Heinloo, Mati
16.
Helmja, Mati
17.
Hint, Mati
18.
Iila, Mati
19.
Illisson, Mati
20.
Jostov, Mati
21.
Kaeeli, Mati
22.
Kalve, Mati
23.
Kangro, Mati
24.
Karelson, Mati
25.
Kask, Mati
26.
Kiirend, Mati
27.
Kilp, Mati
28.
Kook, Mati
29.
Koppel, Mati
30.
Kutser, Mati
31.
Kuus, Mati
32.
Laos, Mati
33.
Laurson, Mati
34.
Leet, Mati
35.
Littover, Mati
36.
Lukas, Mati
37.
Meldorf, Mati
38.
Merimaa, Mati
39.
Murd, Mati
40.
Muru, Mati
41.
Mõttus, Mati
42.
Männik, Mati
43.
Männisalu, Mati
44.
Määrits, Mati
45.
Müürisepp, Aleksander-Mati
46.
Nappus, Mati
47.
Niin, Mati
48.
Nuut, Mati
49.
Punning, Jaan-Mati
50.
Põdra, Mati
51.
Põldsaar, Mati
52.
Reeben, Mati
53.
Roasto, Mati
54.
Roosnurm, Mati
55.
Rubin, Mati
56.
Sooaru, Mati
57.
Strauss, Mati
58.
Sööt, Mati
59.
Sööt, Peet-Mati
60.
Talvik, Mati
61.
Tamm, Mati
62.
Tarma, Mati
63.
Teinberg, Mati
64.
Tiru, Mati
65.
Uus, Mati
66.
Vaarmann, Mati
67.
Valdma, Mati
68.
Valdma, Mati, juhendaja
69.
Viiul, Mati
70.
Väljas, Mati
71.
Õun, Mati
name of the person
30
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
12.
Karelson, Mati, 1948-
13.
Karmin, Mati
14.
Kiirend, Mati, 1939-
15.
Kirikal, Mati
16.
Kodumets, Mati
17.
Kõnno, Mati
18.
Käärik, Mati
19.
Lukas, Mati
20.
Meldorf, Mati
21.
Määrits, Mati
22.
Punning, Jaan-Mati
23.
Räli, Mati
24.
Sööt, Peet Mati
25.
Tarlap, Mati
26.
Tähemaa, Mati, 1933-
27.
Uus, Mati
28.
Valdma, Mati
29.
Viiul, Mati
30.
Väljas, Mati, 1958-
CV
23
1.
Tombak, Mati 1942
2.
Tombak, Mari-Liis 1990
3.
Abel, Mati 1942
4.
Danilson, Mati 1980
5.
Graf, Mati 1939
6.
Karelson, Mati 1948
7.
Kirikal, Mati 1952
8.
Kodumets, Mati 1962-2010
9.
Kutser, Mati 1934
10.
Kuus, Mati 1946
11.
Lukas, Mati 1955
12.
Meldorf, Mati 1939
13.
Müürisepp, Aleksander-Mati 1943
14.
Pilvet, Illo-Mati 1941
15.
Pirn, Mati 1971
16.
Pungas, Mati 1943
17.
Põldsaar, Mati
18.
Reeben, Mati 1964
19.
Tarma, Mati 1938-1995
20.
Toome, Mati 1945
21.
Vaarmann, Mati 1951
22.
Valdma, Mati 1936-2023
23.
Väljas, Mati 1958
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT