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
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
131205
Look more..
Export
export all inquiry results
(1000*)
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
58051
book article
Model based framework for testing distributed systems
Pal, Deepak
;
Vain, Jüri
Proceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere
2014
/
p. 91-94 : ill
book article
58052
dissertation
Model based mechatronic systems modeling methodology in conceptual design stage
Sell, Raivo
2007
https://www.ester.ee/record=b2298261*est
dissertation
58053
dissertation
Model based method for adaptive decomposition of the thoracic bio-impedance variations into cardiac and respiratory components = Mudelipõhine meetod torso bioimpedantsi muutuste adaptiivseks dekompositsiooniks südametegevuse ja hingamise komponentideks
Krivošei, Andrei
2009
https://www.ester.ee/record=b2508758*est
dissertation
58054
book article
Model based power estimation for centrifugal pumps
Gevorkov, Levon
16th International Symposium "Topical Problems in the Field of Electrical and Power Engineering. Doctoral School of Energy and Geotechnology III" : Pärnu, Estonia, January 16-21, 2017
2017
/
p. 97-100 : ill
http://www.ester.ee/record=b4650094*est
book article
58055
book article EST
/
book article ENG
Model based Test framework for communications-critical internet of things systems
Pal, Deepak
;
Vain, Jüri
Databases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 2018
2019
/
p. 79-94
https://www.ester.ee/record=b5203991*est
https://doi.org/10.3233/978-1-61499-941-6-79
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
58056
book article
Model based testing of distributed time critical systems
Vain, Jüri
;
Kanter, Gert
;
Srinivasan, Seshadhri
2017 6th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO 2017) : Noida, India 20-22 September 2017
2017
/
p. 99-105 : ill
https://doi.org/10.1109/ICRITO.2017.8342406
book article
58057
book article
Model checking - a new challenge for design of complex computer-controlled systems [Electronic resource]
Vain, Jüri
;
Küttner, Rein
5th International Conference on Engineering Design and Automation 2001 : EDA Conference : Las Vegas, Nevada, USA : (refered conference papers)
2001
/
p. 593-598 : ill. [CD-ROM]
book article
58058
book article
Model checking emerging behavior properties of robot swarms
Juurik, Silver
;
Vain, Jüri
21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings
2009
/
p. 68-70
https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms
book article
58059
book article
Model checking for planning resource-sharing production
Vain, Jüri
;
Otto, Tauno
;
Kuusik, Alar
Proceedings 20th International Conference on CAD/CAM, Robotics and Factories of the Future : July 21, 22 and 23, 2004, San Cristobal - Venezuela
2004
/
p. 151-158
book article
58060
book article
Model checking in pattern based control systems design
Vain, Jüri
;
Ernits, Juhan-Peep
15th Triennial World Congress of the International Federation of Automatic Control : Barcelona, Spain, 21th-26th July, 2002 : final program, book of abstracts
2002
/
p. 112
book article
58061
book article
Model checking in pattern based control systems design [Electronic resource]
Vain, Jüri
;
Ernits, Juhan-Peep
Proceedings of the 15th IFAC World Congress : Barcelona, Spain, 2002
2002
/
[6] p. : ill. [CD-ROM]
book article
58062
book article
Model checking in planning resource-sharing based manufacturing
Otto, Tauno
;
Vain, Jüri
Information Control Problems in Manufacturing 2006 : a proceedings volume from the 12th IFAC International Symposium : St.Etienne, France. 2
2006
/
p. 523-528
https://www.sciencedirect.com/science/article/pii/S1474667015359991
book article
58063
book article
Model checking in planning resource-sharing based manufacturing
Otto, Tauno
;
Vain, Jüri
12th IFAC Symposium on Information Control Problems in Manufacturing : preprints. Vol. II, Industrial Engineering
2006
/
p. 535-540
https://www.sciencedirect.com/science/article/pii/S1474667015359991
book article
58064
journal article
Model checking of emergent behaviour properties of robot swarms
Juurik, Silver
;
Vain, Jüri
Proceedings of the Estonian Academy of Sciences
2011
/
1, p. 48-54 : ill
https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms
journal article
58065
journal article
Model checking response times in Networked Automation Systems using jitter bounds
Srinivasan, Seshadhri
;
Buonopane, Furio
;
Vain, Jüri
;
Ramaswamy, Srini
Computers in industry
2015
/
p. 186-200
http://dx.doi.org/10.1016/j.compind.2015.06.012
journal article
58066
journal article
Model Driven Architecture
Leis, Paul
A & A
2004
/
1, lk. 13-20 : ill
https://artiklid.elnet.ee/record=b1014997*est
journal article
58067
book article
Model driven development of networked embedded systems
Karpištšenko, Andre
Eleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 2006
2006
/
[1] p
book article
58068
book article
Model driven engineering in automatic test generation
Domiczi, E.
;
Vain, Jüri
Proceedings of the NWUML'2005 : The Nordic Workshop on UML and Software Modeling
2005
/
p. 208-216
book article
58069
book article
Model for energy management of residential building heating system
Gevorkov, Levon
;
Šmidl, Vaclav
;
Sirovy, Martin
;
Rassõlkin, Anton
;
Kallaste, Ants
;
Vaimann, Toomas
2020 27th International Workshop on Electric Drives: MPEI Department of Electric Drives 90th Anniversary (IWED), Moscow, Russia, January 27-30, 2020
2020
/
4 p
https://doi.org/10.1109/IWED48848.2020.9069503
book article
58070
journal article EST
/
journal article ENG
Model for leisure boat activities and emissions - implementation for the Baltic Sea
Johansson, Lasse
;
Ytreberg, Erik
;
Jalkanen, Jukka-Pekka
;
Fridell, Erik
;
Eriksson, K. Martin
;
Lagerström, Maria
;
Maljutenko, Ilja
;
Raudsepp, Urmas
;
Fischer, Vivian
;
Roth, Eva
Ocean science
2020
/
p. 1143-1163
https://doi.org/10.5194/os-16-1143-2020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
58071
book article
Model for risk assessment of dust and chemicals in the work environment
Traumann, Ada
;
Tint, Piia
;
Reinhold, Karin
3rd Workplace and Indoor Aerosols Conference AEROSOLS 2014 : 13th-16th May, 2014, Wroclaw, Poland : program [and abstracts]
2014
/
p. 31-32 : tab
book article
58072
book article
Model for smart, self-learning and adaptive resilience building
Kaklauskas, Arturas
;
Lill, Irene
;
Amaratunga, Dilanthi
;
Ubarte, Ieva
Proceedings of the 10th Nordic Conference on Construction Economics and Organization (CEO 2019), May 7-8, 2019, Tallinn, Estonia
2019
/
p. 315−324 : ill
https://doi.org/10.1108/S2516-285320190000002017
book article
58073
journal article
Model for stress-dependent hysteresis in electrical steel sheets including orthotropic anisotropy
Rasilo, Paavo
;
Steentjes, S.
;
Belahcen, Anouar
;
Kouhia, Reijo
;
Hameyer, Kay
IEEE transactions on magnetics
2017
/
art. 2001004, 4 p. : ill
http://dx.doi.org/10.1109/TMAG.2017.2659784
journal article
58074
dissertation
Model for the analysis of combined heat and power production = Soojuse ja elektri koostootmise analüüsi mudel
Latõšov, Eduard
2011
dissertation
58075
journal article
Model for the formation of "optimal" vortex rings with taking into account viscosity [Electronic resource]
Kaplanski, Felix
;
Rudi, Ülo
Proceedings of the 21st IUTAM Congress : Warsaw, Poland
2005
/
p. FM25 [CD-ROM]
journal article
Number of records 131205, displaying
58051 - 58075
previous
2319
2320
2321
2322
2323
2324
2325
2326
2327
2328
next
×
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