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
Reinsalu, Uljana (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
28
Look more..
(3/17)
Export
export all inquiry results
(28)
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
APRICOT : a framework for teaching digital systems verification
Raik, Jaan
;
Jenihhin, Maksim
;
Tšepurov, Anton
;
Reinsalu, Uljana
;
Ubar, Raimund-Johannes
19th EAEEIE Annual Conference : June 29-July 2, 2008, Tallinn, Estonia : formal proceedings
2008
/
p. 172-177 : ill
http://dx.doi.org/10.1109/EAEEIE.2008.4610181
book article
2
book article
Architectural exploration tasks for on-chip embedded systems
Reinsalu, Uljana
;
Arhipov, Anton
;
Ellervee, Peeter
BEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia
2008
/
p. 171-174 : ill
book article
3
book article
Code coverage analysis for concurrent programming languages using high-level decision diagrams
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Reinsalu, Uljana
;
Ubar, Raimund-Johannes
Proceedings of the 12th European Workshop on Dependable Computing : EWDC 2009 : Toulouse, France, May 14-15, 2009
2009
/
[4] p. : ill
https://hal.archives-ouvertes.fr/hal-00381559
book article
4
book article
Code coverage analysis on high level decision diagrams
Reinsalu, Uljana
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
2007
/
lk. 56-59 : ill
book article
5
book article
Code coverage analysis using high-level decision diagrams [Electronic resource]
Raik, Jaan
;
Reinsalu, Uljana
;
Ubar, Raimund-Johannes
;
Jenihhin, Maksim
;
Ellervee, Peeter
2008 IEEE Design and Diagnostics of Electronic Circuits and Systems : Bratislava, Slovakia, April 16-18, 2008
2008
/
p. 201-207 : ill. [CD-ROM]
https://ieeexplore.ieee.org/document/4538786
book article
6
journal article
DATE 2007 konverentsi ülevaade : [ka TTÜ arvutitehnika instituudi osalemisest konverentsil]
Tagel, Mihkel
;
Reinsalu, Uljana
;
Jervan, Gert
A & A
2007
/
3, lk. 59-61
https://artiklid.elnet.ee/record=b1020793*est
journal article
7
book article EST
/
book article ENG
Elevator passenger in-cabin behaviour – a study on Smart-Elevator Platform
Basov, Kevin
;
Robal, Tarmo
;
Reinsalu, Uljana
;
Leier, Mairo
Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings
2022
/
p. 3-18 : ill
https://doi.org/10.1007/978-3-031-09850-5_1
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
8
book article
Experience in increase of practical hours for HDL course
Reinsalu, Uljana
;
Ellervee, Peeter
2011 International Conference on Microelectronic Systems Education (MSE '11), 5-6 June 2011, San Diego, California
2011
/
p. 102-105
https://ieeexplore.ieee.org/document/5937104
book article
9
book article
Fast RTL fault simulation using decision diagrams and bitwise set operations
Reinsalu, Uljana
;
Raik, Jaan
;
Ubar, Raimund-Johannes
;
Ellervee, Peeter
2011 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) : 3-5 October 2011, Vancouver, Canada
2011
/
p. 164-170
https://ieeexplore.ieee.org/document/6104440
book article
10
dissertation
Fault simulation and code coverage analysis of RTL designs using high-level decision diagrams = Rikete simuleerimine ja koodikatte analüüs register-siirde tasemel kasutades kõrgtaseme otsustusdiagramme
Reinsalu, Uljana
2013
https://www.ester.ee/record=b2963595*est
dissertation
11
book article EST
/
book article ENG
Floor selection proposal for automated travel with smart elevator
Reinsalu, Uljana
;
Robal, Tarmo
;
Leier, Mairo
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings
2020
https://doi.org/10.1007/978-3-030-57672-1_4
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
12
book article
Hardware/Software co-design in practice : MEMOCODE'08 contest experience
Reinsalu, Uljana
;
Devadze, Sergei
;
Jutman, Artur
;
Tšertov, Anton
;
Ellervee, Peeter
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja
2008
/
p. 55-58 : ill
book article
13
book article
HDL-s for students with different background
Reinsalu, Uljana
;
Arhipov, Anton
;
Evartson, Teet
;
Ellervee, Peeter
Proceedings MSE 2007 : 2007 IEEE International Conference on Microelectronic Systems Education : 3-4 June 2007, San Diego, CA
2007
/
p. 69-70
https://ieeexplore.ieee.org/document/4231454
book article
14
book article
High-Level Decision Diagram manipulations for code coverage analysis
Minakova, Karina
;
Reinsalu, Uljana
;
Tšepurov, Anton
;
Raik, Jaan
;
Jenihhin, Maksim
;
Ubar, Raimund-Johannes
;
Ellervee, Peeter
BEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia
2008
/
p. 207-210 : ill
book article
15
book article
High-level decision diagrams based coverage metrics for verification and test
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Reinsalu, Uljana
;
Ubar, Raimund-Johannes
LATW 2009 : 10th IEEE Latin American Test Workshop : Buzios, Rio de Janero, Brazil, March 2-5, 2009
2009
/
[6] p. : ill
http://dx.doi.org/10.1109/LATW.2009.4813792
book article
16
journal article
Introducing rapid web application development with Oracle APEX to students of higher education
Robal, Tarmo
;
Reinsalu, Uljana
;
Jürimägi, Lembit
;
Heinsar, Risto
New trends in computer sciences
2024
/
p. 69-80
https://doi.org/10.3846/ntcs.2024.21227
journal article
17
book article EST
/
book article ENG
Memristive device based circuits for computation-in-memory architectures
Lebdeh, Muath Abu
;
Reinsalu, Uljana
;
Nguyen, Hoang Anh Du
;
Wong, Stephan
;
Hamdioui, Said
2019 IEEE International Symposium on Circuits and Systems (ISCAS) : proceedings
2019
/
5 p. : ill
https://doi.org/10.1109/ISCAS.2019.8702542
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
18
book article
A modular 6LoWPAN-based wireless sensor body area network for health-monitoring applications
Le Moullec, Yannick
;
Lecat, Yoann
;
Annus, Paul
;
Land, Raul
;
Kuusik, Alar
;
Reidla, Marko
;
Hollstein, Thomas
;
Reinsalu, Uljana
;
Tammemäe, Kalle
;
Ruberg, Priit
APSIPA ASC 2014 : Asia-Pacific Signal and Information Processing Association Annual Summit and Conference 2014 : December 9-12, 2014, Siem Reap, city of Angkor Wat, Cambodia
2014
/
[4] p. : ill
book article
19
book article
Motivation-driven learning processes at the example of embedded systems
Hollstein, Thomas
;
Reinsalu, Uljana
;
Leier, Mairo
10th European Workshop on Microelectronics Education : EWME 2014 : May 14-16, 2014, Tallinn, Estonia
2014
/
p. 3-6 : ill
book article
20
book article
Practicing start-up culture in teaching embedded systems
Reinsalu, Uljana
;
Azad, Siavoosh Payandeh
;
Leier, Mairo
;
Tammemäe, Kalle
;
Hollstein, Thomas
EWME 2016 : 11th European Workshop on Microelectronics Education : May 11-13, 2016, Southampton, UK
2016
/
[6] p. : ill
https://doi.org/10.1109/EWME.2016.7496463
book article
21
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
22
book article
Smart, wireless modular communication platform
Ruberg, Priit
;
Hollstein, Thomas
;
Reinsalu, Uljana
;
Tammemäe, Kalle
;
Le Moullec, Yannick
;
Kuusik, Alar
;
Reidla, Marko
;
Annus, Paul
Proceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere
2014
/
p. 111-112 : ill
book article
23
journal article EST
/
journal article ENG
A study into elevator passenger in-cabin behaviour on a smart-elevator platform
Robal, Tarmo
;
Basov, Kevin
;
Reinsalu, Uljana
;
Leier, Mairo
Baltic Journal of Modern Computing
2022
/
p. 665-688 : ill
https://doi.org/10.22364/bjmc.2022.10.4.05
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
24
book article EST
/
book article ENG
Surviving the unforeseen - teaching IT and engineering students during COVID-19 outbreak
Ruberg, Priit
;
Ellervee, Peeter
;
Tammemäe, Kalle
;
Reinsalu, Uljana
;
Rähni, Andres
;
Robal, Tarmo
Proceedings - Frontiers in Education Conference, FIE
2022
/
Code 184790
https://doi.org/10.1109/FIE56618.2022.9962383
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
25
book article
Teaching HDL for IT-students
Ellervee, Peeter
;
Reinsalu, Uljana
;
Arhipov, Anton
EWME 2006 proceedings : 6th International Workshop on Microelectronics Education : 8-9 June, 2006, Stockholm, Sweden
2006
/
p. 112-115
book article
Number of records 28, displaying
1 - 25
previous
1
2
next
author
8
1.
Reinsalu, Uljana
2.
Boiko, Uljana
3.
Reinsalu, Armult
4.
Reinsalu, Enno
5.
Reinsalu, I,
6.
Reinsalu, Kristo
7.
Reinsalu, Leenu
8.
Reinsalu, Olavi
name of the person
5
1.
Reinsalu, Uljana
2.
Reinsalu, Enno, 1936-
3.
Reinsalu, Kristo
4.
Reinsalu, Leenu
5.
Reinsalu, Urmas, 1975-
CV
4
1.
Reinsalu, Uljana 1981
2.
Reinsalu, Enno 1936
3.
Reinsalu, Kristo 1977
4.
Reinsalu, Ülle 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