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
Dušina, Julia (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
9
Look more..
(3/67)
Export
export all inquiry results
(9)
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
Correct reuse of complex design units during high level synthesis : verification issues
Dušina, Julia
IEEE International High Level Design Validation and Test Workshop, Oakland, California, USA, November 15-16, 1996 : proceedings
1996
book article
2
book article
Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem prover
Dušina, Julia
;
Borrione, Dominique
2nd Workshop on Libraries, Component Modeling and Quality Assurance : proceedings : Toledo, Spain, April, 1997
1997
/
p. 169-180
book article
3
book article
Formalization of finite state machines with data path for the verification of high-level synthesis
Borrione, Dominique
;
Dušina, Julia
;
Pierre, Laurence
XI Brasilian Symposium on Integrated Circuit Design, September 30 - October 3, 1998, Rio de Janeiro, Brazil : proceedings
1998
/
p. 99-102: ill
book article
4
book article
FTGEN - система генерирования функциональных тестов
Ubar, Raimund-Johannes
;
Dušina, Julia
;
Zaugarov, Viktor
;
Крупнова Е.
;
Storožev, Sergei
Proceedings of CAD-93 : new information technologies for science, education and business, Yalta, May 4-13, 1993
1993
/
p. 123-125
book article
5
book article
Functional test program generation for digital systems
Ubar, Raimund-Johannes
;
Dušina, Julia
;
Krupnova, Helena
;
Storožev, Sergei
;
Zaugarov, Viktor
Testmethoden und Zuverlässigkeit von Schaltungen und Systemen : proceedings of the 6th workshop, Vaals (Niederlande), March 6-8, 1994
1994
/
p. 14-18: ill
book article
6
book article
Test generation for control faults in digital systems
Dušina, Julia
;
Brik, Marina
BEC : Baltic Electronics Conference : proceedings of the 4th Biennial Conference, October 9-14, 1994, Tallinn (Estonia). 1
1994
/
p. 325-330: ill
book article
7
dissertation
Test program generation for microprocessor systems
Dušina, Julia
1993
https://www.ester.ee/record=b2090526*est
dissertation
8
dissertation
Verification formelle des resultats de la synthese de Haut Niveau : [doktoriväitekiri]
Dušina, Julia
1999
dissertation
9
book article
Система генерирования тестов для микропроцессоров
Ubar, Raimund-Johannes
;
Dušina, Julia
;
Zaugarov, Viktor
;
Крупнова Е.
;
Storožev, Sergei
Proceedings of international conference "Technical Diagnostics-93", St.-Peterburg, June 8-10, 1993
1993
/
p. 87-89
book article
Number of records 9, displaying
1 - 9
author
37
1.
Dušina, Julia
2.
Andrejeva, Julia
3.
Berdnikova, Julia
4.
Borissova, Julia
5.
Csaderova, Julia
6.
Deikina, Julia
7.
Derkatš, Julia
8.
Gavrilova, Julia
9.
Geller, Julia
10.
Gulevitš, Julia
11.
Haberkern, Julia
12.
Iljina, Julia
13.
Ivanisenko, Julia
14.
Kois, Julia
15.
Koreneva, Julia
16.
Kozhenkina, Julia
17.
Krasulina, Julia
18.
Kravetskaja, Julia
19.
Kuljasova, Julia
20.
Kurg, Julia
21.
Lehner, Julia
22.
Linna, Julia-Maria
23.
Ljaš, Julia
24.
Magden, Julia
25.
Maibach, Julia
26.
Marbach, Julia
27.
Pomares, Julia
28.
Rosend, Julia
29.
Sargent, Julia
30.
Seppä, Julia
31.
Smahtina, Julia
32.
Smirnova, Julia
33.
Sokolova, Julia
34.
Solovjova, Julia
35.
Tisler, Julia
36.
Traistaru, Julia
37.
Vassiljeva, Julia
CV
20
1.
Dušina, Julia 1969
2.
Dusina, Julia
3.
Berdnikova, Julia 1979
4.
Deikina, Julia 1974
5.
Derkats, Julia
6.
Derkatš, Julia (-2008)
7.
Gavrilova, Julia 1988
8.
Geller, Julia 1983
9.
Grosschmid, Julia Anna
10.
Iljina, Julia
11.
Kalašnikova, Julia
12.
Kapralova, Julia
13.
Kois, Julia 1971
14.
Kravetskaja, Julia 1994
15.
Kutsõn, Julia
16.
Lehner, Julia 1986
17.
Pantelejeva, Julia 1982
18.
Smahtina, Julia 1981
19.
Smirnova, Julia 1980
20.
Vään, Julia (2010-)
name of the person
10
1.
Gavrilova, Julia
2.
Krasulina, Julia
3.
Kravetskaja, Julia
4.
Kutsõn, Julia
5.
Lehner, Julia
6.
Leontjeva, Julia
7.
Mõnnakmäe, Julia
8.
Pajuste, Julia
9.
Rosend, Julia
10.
Smirnova, Julia
×
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