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
Karputkin, Anton (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
11
Look more..
(4/90)
Export
export all inquiry results
(11)
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
A synthesis-agnostic behavioral fault model for high gate-level fault coverage
Karputkin, Anton
;
Raik, Jaan
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) : 14-18 March 2016, ICC, Dresden, Germany
2016
/
p. 1124-1127 : ill
https://ieeexplore.ieee.org/document/7459477/figures#figures
book article
2
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
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
dissertation
Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel
Karputkin, Anton
2012
dissertation
5
book article
Generating directed tests for C programs using RTL ATPG
Raik, Jaan
;
Drenkhan, Tiia
;
Jenihhin, Maksim
;
Viilukas, Taavi
;
Karputkin, Anton
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
Proceedings of the IEEE 13th Workshop on RTL and High Level Testing (WRTLT'12)
2012
/
p. 1-6
book article
6
book article
High level decision diagrams and characteristic polynomials
Karputkin, Anton
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viienda aastakonverentsi artiklite kogumik : 25.-26. novembril 2011, Nelijärve
2011
/
p. 143-146 : ill
book article
7
journal article
Identifying untestable faults in sequential circuits using test path constraints
Viilukas, Taavi
;
Karputkin, Anton
;
Raik, Jaan
;
Jenihhin, Maksim
;
Ubar, Raimund-Johannes
;
Fujiwara, Hideo
Journal of electronic testing : theory and applications (JETTA)
2012
/
p. 511-521 : ill
journal article
8
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
9
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
10
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
11
book
Verification and error correction on High-Level Decision Diagrams
Karputkin, Anton
2013
book
Number of records 11, displaying
1 - 11
author
53
1.
Karputkin, Anton
2.
Aleksejev, Anton
3.
Anisimov, Anton S.
4.
Anton, Arvo
5.
Anton, Christian
6.
Anton, Dea
7.
Anton, E.
8.
Anton, Eha
9.
Anton, Gaspar
10.
Anton, Grete
11.
Anton, H.
12.
Anton, Johan
13.
Anton, K.
14.
Anton, Lauri
15.
Anton, Maia-Liisa
16.
Anton, Mart
17.
Anton, Riina
18.
Anton, Riivo
19.
Arhipov, Anton
20.
Bergant, Anton
21.
Bogdanov, Anton
22.
Charnamord, Anton
23.
Chepurov, Anton
24.
Dijev, Anton
25.
Dmitrijev, Anton
26.
Hansson, Anton
27.
Hromov, Anton
28.
Jürisson, Anton
29.
Keks, Anton
30.
Kott, Anton
31.
Kurakin, Anton
32.
Kuzmin, Anton V.
33.
Kuznetsov, Anton
34.
Kutser, Anton
35.
Laur, Anton
36.
Malmi, Anton
37.
Mastitski, Anton
38.
Pashkevich, Anton
39.
Potapov, Anton M.
40.
Rassõlkin, Anton
41.
Rutkovski, Anton
42.
Savitš, Anton
43.
Shalygin, Anton S.
44.
Smirnov, Anton
45.
Sokolov, Anton
46.
Terasmaa, Anton
47.
Timofejev, Anton
48.
Trnik, Anton
49.
Tsertov, Anton
50.
Tšepurov, Anton
51.
Tšertov, Anton
52.
Vedešin, Anton
53.
Verchenko, Anton
CV
21
1.
Anton, Johan 1973
2.
Anton, Mart 1979
3.
Anton, Riina
4.
Arhipov, Anton 1981
5.
Bogdanov, Anton 1916-1960
6.
Jürisson, Anton 1919-2001
7.
Kesküla, Anton
8.
Kutser, Anton 1961
9.
Laur, Anton 1906-1989
10.
Laur, Anton 1951
11.
Pashkevich, Anton 1986
12.
Rassõlkin, Anton 1985
13.
Soans, Anton Lembit 1885-1966
14.
Tammert, Anton 1902-1980
15.
Tammert, Anton Baldwin
16.
Tramberg, Anton
17.
Trampärk, Anton
18.
Tsertov, Anton
19.
Tšertov, Anton 1984
20.
Uesson, Anton 1879-1942
21.
Vedešin, Anton 1984
name of the person
15
1.
Karputkin, Anton
2.
Anton, Johan
3.
Anton, Maia-Liisa
4.
Anton, Mart, 1979-
5.
Bogdanov, Anton
6.
Keks, Anton
7.
Rassõlkin, Anton, 1985-
8.
Savitš, Anton
9.
Soans, Anton, 1885-1966
10.
Zeilinger, Anton, 1945-
11.
Tšepurov, Anton
12.
Tšertov, Anton
13.
Uesson, Anton, 1879-1942
14.
Vedešin, Anton
15.
Üksti, Anton
subject term
1
1.
Anton Heilmann, kaubanduse ja tööstuse aktsiaselts
×
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