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
Searching
My bookmarks
0
Ubar, Raimund-Johannes (author)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
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..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
834
Look more..
(4/144)
Export
export all inquiry results
(834)
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
551
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
552
book
Proceedings of the 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) : April 18-20, 2012 Tallinn, Estonia
2012
http://www.ester.ee/record=b2777270*est
book
553
book article
Professor Raimund Ubari ettekanne [audoktorite promotsioonil TTÜ Nõukogu pidulikul istungil 1. sept. 1993]
Ubar, Raimund-Johannes
75 aastat Tallinna Tehnikaülikooli
1994
/
lk. 106-109
https://www.ester.ee/record=b1066846*est
book article
554
journal article
PSL assertion checking using temporally extended high-level decision diagrams
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
Journal of electronic testing : theory and applications
2009
/
6, p. 289-300 : ill
https://pld.ttu.ee/home/maksim/phd_papers/%5B11%5D%20latw%2708.pdf
journal article
555
book article
PSL assertion checking with temporally extended high-level decision diagrams
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
Proceedings of the 9th IEEE Latin-American Test Workshop : LATW2008 : February 17-20, 2008, Puebla, Mexico
2008
/
p. 49-54 : ill
https://pld.ttu.ee/~maksim/phd_papers/%5B11%5D%20latw%2708.pdf
book article
556
newspaper article
Pöidlasuurune hiiglane
Ubar, Raimund-Johannes
Sõnumileht
1998
/
1. märts, lk. 8: ill
https://artiklid.elnet.ee/record=b1761233*est
newspaper article
557
newspaper article
Pöördumine Haridus- ja Teadusministri ning Riigikogu kultuurikomisjoni esimehe poole : [doktorikoolide probleemist]
Arro, Ilmar
;
Kaljurand, Mihkel
;
Kallavus, Urve
;
Kübarsepp, Jakob
;
Lille, Ülo
;
Lopp, Margus
;
Mellikov, Enn
;
Min, Mart
;
Rang, Toomas
;
Rüstern, Ennu
;
Taklaja, Andres
;
Tamm, Toomas
;
Tammet, Tanel
;
Tepandi, Jaak
;
Ubar, Raimund-Johannes
;
Öpik, Andres
Mente et Manu
2005
/
18. mai. lk. 1
https://www.ester.ee/record=b1242496*est
newspaper article
558
book article
Pöördumine Haridus- ja Teadusministri ning Riigikogu kultuurikomisjoni esimehe poole : [doktorikoolide probleemist]
Arro, Ilmar
;
Kaljurand, Mihkel
;
Kallavus, Urve
;
Kübarsepp, Jakob
;
Lille, Ülo
;
Lopp, Margus
;
Mellikov, Enn
;
Min, Mart
;
Rang, Toomas
;
Rüstern, Ennu
;
Taklaja, Andres
;
Tamm, Toomas
;
Tammet, Tanel
;
Tepandi, Jaak
;
Ubar, Raimund-Johannes
;
Öpik, Andres
Tallinna Tehnikaülikooli aastaraamat 2005
2006
/
lk. 430-431
book article
559
book article
Quo vadis, tehnikakõrgharidus? : [kõne inseneride päeva tähistamisel Eesti Inseneride Liidus 9. detsembril 2011 Eesti Teaduste Akadeemia saalis Toompeal]
Ubar, Raimund-Johannes
Tallinna Tehnikaülikooli aastaraamat 2011
2012
/
lk. 296-307
book article
560
newspaper article
Rahvusvaheline konverents ja magistrikraadid
Ubar, Raimund-Johannes
Tehnikaülikool
1997
/
1. dets., lk. 3: ill
https://www.ester.ee/record=b5309277*est
newspaper article
561
book article
Raimund Ubari lühisõnavõtt : riigi teadus-, kultuuri- ja spordipreemiate ning F.J.Wiedemanni keeleauhinna kätteandmisel 24. veebruaril 2016. aastal
Ubar, Raimund-Johannes
Raimund-Johannes Ubar. Bibliograafia
2016
/
lk. 45-46
book article
562
book article
Register-transfer level deductive fault simulation using decision diagrams
Reinsalu, Uljana
;
Raik, Jaan
;
Ubar, Raimund-Johannes
BEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia
2010
/
p. 193-196 : ill
book article
563
journal article
Reisikirjad võõrsilt
Ubar, Raimund-Johannes
Horisont
1995
/
1, lk. 54-58; 2, lk. 35-39; 3, lk. 59-62; 4, lk. 51-54; 5, lk. 51-54; 6, lk. 51-55: ill
https://artiklid.elnet.ee/record=b2029755*est
journal article
564
book article
Rejuvenation of NBTI-impacted processors using evolutionary generation of assembler programs
Pellerey, Francesco
;
Jenihhin, Maksim
;
Squillero, Giovanni
;
Raik, Jaan
;
Sonza Reorda, Matteo
;
Tihhomirov, Valentin
;
Ubar, Raimund-Johannes
2016 IEEE 25th Asian Test Symposium : 21-24 November 2016, Hiroshima, Japan
2016
/
p. 304-309 : ill
https://doi.org/10.1109/ATS.2016.57
book article
565
newspaper article
Rektor Andres Keevallik saab 24. veebruaril 70aastaseks
Hazak, Gabriel
;
Ubar, Raimund-Johannes
;
Kattel, Rainer
Mente et Manu
2013
/
lk. 16 : fot
https://www.ester.ee/record=b1242496*est
newspaper article
566
book article
Remarks on different decision diagrams
Stankovic, Radomir S.
;
Ubar, Raimund-Johannes
;
Astola, Jaakko
Proceedings of the Reed-Muller 2011 Workshop : May 25-26, 2011, Tuusula, Finland
2011
/
p. 99-110 : ill
book article
567
book article
Remote and virtual laboratories in problem-based learning scenarios
Wuttke, Heinz-Dietrich
;
Ubar, Raimund-Johannes
;
Henke, Karsten
2010 IEEE International Symposium on Multimedia ISM 2010 : 13-15 December 2010, Taichung, Taiwan : proceedings
2010
/
p. 377-382 : ill
http://dx.doi.org/10.1109/ISM.2010.63
book article
568
book article
Removing design errors from digital circuits
Ubar, Raimund-Johannes
Proc. of the 4th International Conference on New Information Technologies. Vol. 1
2000
/
p. 118-125
book article
569
book article
Replication-based deterministic testing of 2-dimensional arrays with highly interrelated cells
Azad, Siavoosh Payandeh
;
Oyeniran, Adeboye Stephen
;
Ubar, Raimund-Johannes
21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems : DDECS 2018 : Budapest, Hungary 25-27 April, 2018 : proceedings
2018
/
p. 21-26 : ill
https://doi.org/10.1109/DDECS.2018.00011
book article
570
book article
Representing gate-level SET faults by multiple SEU faults on RT-level
Bagbaba, Ahmet Cagri
;
Jenihhin, Maksim
;
Ubar, Raimund-Johannes
;
Sauer, Christian
2020 IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS), 13-15 July 2020 : proceedings
2020
/
art. 19889351, 6 p. : ill
https://doi.org/10.1109/IOLTS50870.2020.9159715
book article
Seotud publikatsioonid
1
Methods to optimize functional safety assessment for automotive integrated circuits = Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks
571
book article
Representing transparency conditions in test generation for VLSI by decision diagrams
Ubar, Raimund-Johannes
Proceedings of the First Electronic Circuits and Systems Conference : Bratislava, Slovakia, September 4-5, 1997
1997
/
p. 213-216
book article
572
book article
Research and training environment for digital design and test
Ubar, Raimund-Johannes
;
Wuttke, Heinz-Dietrich
34th ASEE/IEEE Frontiers in Education Conference : October 20-23, 2004, Savannah, GA
2004
/
p. S3F-18-S3F-23 : ill
http://dx.doi.org/10.1109/FIE.2004.1408779
book article
573
book article
Research and training environment for digital design and test
Ubar, Raimund-Johannes
;
Wuttke, Heinz-Dietrich
Proceedings of the Eighth IASTED International Conference on Computers and Advanced Technology in Education : August 29-31, 2005, Oranjestad, Aruba
2005
/
p. 232-237 : ill
book article
574
book article
Research and training scenarios for design and test of SOC [Electronic resource]
Ubar, Raimund-Johannes
;
Wuttke, Heinz-Dietrich
WCETE 2004 : World Congress on Engineering and Technology Education : Engineering Education in the Changing Society : March 14-17, 2004, Guaruja/Santos, Brazil
2004
/
p. 320-324 : ill. [CD-ROM]
book article
575
book article
Research environment for teaching digital test
Ivask, Eero
;
Jutman, Artur
;
Orasson, Elmet
;
Raik, Jaan
;
Ubar, Raimund-Johannes
;
Wuttke, Heinz-Dietrich
Synergies between Information and Automation : 49. Internationales Wissenschaftliches Kolloquium, 27.-30.9.2004, Technische Universität Ilmenau, Germany. Volume 2
2004
/
p. 468-473 : ill
https://pld.ttu.ee/dildis/publications/IWK'2004_res_inv.pdf
book article
Number of records 834, displaying
551 - 575
previous
19
20
21
22
23
24
25
26
27
28
next
CV
59
1.
Ubar, Raimund-Johannes 1941
2.
Räämet, Raimund 1918-2004
3.
Aare, Johannes 1915-2000
4.
Aavik, Eduard-Johannes
5.
Ahrenschild, Johannes (-1936)
6.
Alaots, Johannes
7.
Aljak, Arnold Johannes
8.
Allik, Erich-Johannes
9.
Avik, Eduard Johannes 1891-1942
10.
Drechsler, Wolfgang Johannes Max
11.
Ehala, Johannes 1986
12.
Hint, Johannes 1914-1985
13.
Johannes, Ille 1939
14.
Johannson, Johannes
15.
Johanson, Johannes
16.
Juhans, Johannes 1874-1956
17.
Kajander, Aleksi Oskar Johannes 1994
18.
Kiiwet, Johannes
19.
Kiivet, Johannes 1879-1967
20.
Kivit, Johannes
21.
Kollist, Johannes 1884-1937
22.
Kollist, Johannes Theodor
23.
Korv, August Johannes 1911-1981
24.
Krimmer, Robert Johannes
25.
Käpp, Martin Johannes
26.
Langel, Johannes 1900-1985
27.
Langell, Johannes
28.
Livländer, Robert Johannes
29.
Madise, Johannes 1920
30.
Matsulevitš, Johannes
31.
Meitre, Johannes 1906-1978
32.
Messer, Johannes
33.
Muru, Johannes 1995
34.
Mäll, Johannes 1911-1981
35.
Mühlman, Johannes
36.
Mühlmann, Johannes 1888-1936
37.
Notermans, Antonius Johannes Hubertus 1959
38.
Nuudi, Johannes 1895-1975
39.
Palo, Johannes 1925-1960
40.
Pals, Johannes 1903-1941
41.
Pello, Johannes 1958
42.
Pervik, Johannes 1892-1958
43.
Presmann, Johannes 1942
44.
Putk, Aksel-Johannes 1928-1999
45.
Püümann, Mait Johannes
46.
Renter, Olav-Johannes
47.
Roes, Johannes 1914
48.
Russwurm, Johannes
49.
Russvurm, Johannes 1855-1939
50.
Russvurm, Johannes Carl Gysbert Immanuel
51.
Sakeus, Johannes 1880-1934
52.
Taimsalu, Johannes 1891-1942
53.
Teiman, Johannes
54.
Teimann, Johannes Rudolf (kuni 22.05.1935)
55.
Tomson, Johannes
56.
Tuulre, Feliks Johannes 1908-1987
57.
Veerus, Johannes Voldemar 1897-1972
58.
Verus, Johannes Voldemar
59.
Vuhk, Oskar Johannes
author
56
1.
Ubar, Raimund-Johannes
2.
Hagelberg, Raimund
3.
Räämet, Raimund
4.
Aare, Johannes
5.
Avik, Eduard Johannes
6.
Bauer, Johannes
7.
Bender, Naatan Johannes
8.
Buchmann, Johannes
9.
Deelstra, Johannes
10.
Ehala, Johannes
11.
Engelmayer, Johannes
12.
Gotzmann, Johannes
13.
Helander, Johannes
14.
Hint, Johannes
15.
Hüsse, Johannes
16.
Johannes, Anu
17.
Johannes, Ellen
18.
Johannes, Ille
19.
Johannes, Kaljo-Mihkel
20.
Järv, Johannes
21.
Kadak, Johannes
22.
Kajander, Aleksi Oskar Johannes
23.
Karstensen, Johannes
24.
Kerkhoven, Eduard Johannes
25.
Kiivet, Johannes
26.
Krimmer, Robert Johannes
27.
Kukebal, Johannes
28.
Meitre, Johannes
29.
Miller, Johannes
30.
Mühlman, Johannes
31.
Norberg, Johannes
32.
Notermans, Antonius Johannes Hubertus
33.
Ortlepp, Johannes
34.
Parikas, Johannes
35.
Pello, Johannes
36.
Pervik, Johannes-Eduard
37.
Piiper, Johannes
38.
Presmann, Johannes
39.
Putk, Aksel-Johannes
40.
Pätsch, Johannes
41.
Saar, Johannes
42.
Sautter, Johannes
43.
Sinisalo, Touko Johannes
44.
Steinbrunn, Johannes
45.
Sutt, Johannes
46.
Zeiringer, Johannes Paul
47.
Taimsalu, Johannes
48.
Talu, Martin Johannes
49.
Tammekänd, Johannes
50.
Tilk, Johannes
51.
Tralla, Johannes
52.
Veerus, Johannes
53.
Vibur, Johannes Ferdinand
54.
Vind, Johannes
55.
Voll, Johannes
56.
Voltri, Johannes
name of the person
28
1.
Ubar, Raimund-Johannes, 1941-
2.
Hagelberg, Raimund, 1927-2012
3.
Räämet, Raimund, 1918-2004
4.
Aare, Johannes, 1915-2000
5.
Aavik, Johannes, 1880-1973
6.
Avik, Eduard Johannes, 1891-1942
7.
Bender, Naatan Johannes
8.
Erm, Johannes, 1998-
9.
Granö, Johannes Gabriel
10.
Hint, Johannes, 1914-1985
11.
Johannes Paulus II, paavst, 1920-2005
12.
Kert, Johannes
13.
Kiivet, Johannes, 1879-1967
14.
Kollist, Johannes
15.
Käis, Johannes
16.
Lang, Johannes
17.
Maide, Johannes Voldemar
18.
Mossov, Johannes
19.
Pals, Johannes, 1903-1941
20.
Pello, Johannes
21.
Putk, Aksel-Johannes
22.
Rammul, Aleksander Johannes, 1875-1949
23.
Steinbrunn, Johannes
24.
Taimsalu, Johannes, 1891-1942
25.
Talu, Martin Johannes
26.
Veerus, Johannes Voldemar, 1897-1972
27.
Veski, Johannes Voldemar, 1873-1968
28.
Voll, Johannes
subject term
1
1.
Johannes Mittus, vasevalamise tööstus
×
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