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
Vain, Jüri (TTÜ 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
170
Look more..
(5/414)
Export
export all inquiry results
(170)
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
126
newspaper article
Robotite oskused järjest paranevad
Toomla, Silver
;
Vain, Jüri
Äripäev
2007
/
12. veebr., lk. 28
newspaper article
127
journal article
Robotite parved
Vain, Jüri
Horisont
2007
/
3, lk. 46-47 : ill
https://artiklid.elnet.ee/record=b2040577*est
journal article
128
book article
Safety verification of degrading mechatronic systems
Vain, Jüri
;
Kuusik, Alar
;
Kaljas, Frid
The Fourth International Conference on Machine Automation : Human-Friendly Reliable Mechatronics, September 11-13, 2002, Tampere, Finland : proceedings of the ICMA'02
2002
/
p. 615-622 : ill
book article
129
dissertation
Scenario oriented model-based testing = Stsenaariumjuhitud mudelipõhine testimine
Halling, Evelin
2019
https://digi.lib.ttu.ee/i/?11943
dissertation
130
book article
Scheme development for specification hybrid components of control systems
Vain, Jüri
;
Kuusik, Alar
;
Kääramees, Marko
CAx Techniques : proceedings of the 4th International Scientific Colloquium : Bielefeld, Germany, September 13-15, 1999
1999
/
p. 483-491
book article
131
journal article
Scrub nurse robot system - intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery
Miyawaki, Fujio
;
Masamune, Ken
;
Suzuki, Satoshi
;
Yoshimitsu, Kitaro
;
Vain, Jüri
IEEE transactions on industrial electronics
2005
/
5, p. 1227-1235 : ill
https://ieeexplore.ieee.org/abstract/document/1512454
journal article
132
book article
(Semi-)Automatic generation of Uppaal models for model checking embedded control systems
Ernits, Juhan-Peep
;
Vain, Jüri
14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts
2002
/
p. 45-46
book article
133
book article
Software architecture for swarm mobile robots
Vain, Jüri
;
Tammet, Tanel
;
Kuusik, Alar
;
Reilent, Enar
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. 231-234 : ill
book article
134
journal article
Solving line balancing problems with model checking
Vain, Jüri
;
Randvee, Ingmar
;
Riismaa, Tiit
;
Ernits, Juhan-Peep
Proceedings of the Estonian Academy of Sciences. Engineering
2002
/
4, p. 211-222 : ill
https://artiklid.elnet.ee/record=b1011298*est
journal article
135
book article
Specification of hybrid components of control systems
Vain, Jüri
;
Kuusik, Alar
;
Kääramees, Marko
Preprints of the 5th IFAC Workshop on Intelligent Manufacturing Systems IMS'98, November 9-11 1998, Gramado - RS, Brazil
1998
/
p. 83-88: ill
https://www.sciencedirect.com/science/article/pii/S147466701741007X
book article
136
book article
Supervised training of voting automata for the surgeon's motion recognition during laparoscope surgery
Vain, Jüri
;
Nõmm, Sven
;
Anier, Aivo
;
Miyawaki, Fujio
;
Totskaya, Tatiana
IEEE International Conference on Control and Automation : ICCA 2009 : Christchurch, New Zealand, December 9-11, 2009
2009
/
p. 1503-1508
book article
137
dissertation
A symbolic approach to model-based online testing = Mudelipõhine online-testimine kasutades sümbolarvutust
Kääramees, Marko
2012
http://www.ester.ee/record=b2890159*est
dissertation
138
book article
Synthesis of on-line planning tester for non-deterministic EFSM models
Kääramees, Marko
;
Vain, Jüri
;
Raiend, Kullo
Testing - Practice and Research Techniques : 5th International Academic and Industrial Conference TAIC PART 2010 : Windsor, UK, September 3-5, 2010 : proceedings
2010
/
p. 147-154
https://link.springer.com/chapter/10.1007/978-3-642-15585-7_14
book article
139
book article
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
Vain, Jüri
;
Raiend, Kullo
;
Kull, Andres
;
Ernits, Juhan-Peep
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA
2007
/
p. 363-372
https://www.researchgate.net/publication/220883693_Synthesis_of_test_purpose_directed_reactive_planning_tester_for_nondeterministic_systems
book article
140
book article
Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstracts)
Vain, Jüri
;
Raiend, Kullo
;
Kull, Andres
;
Ernits, Juhan-Peep
NWTP'07/FLACOS'07 Workshop Proceedings : Oslo, 10-12 October 2007
2007
/
p. 55-57
book article
141
book
System assurances : modeling and management
2022
https://doi.org/10.1016/C2020-0-03092-6
book
142
journal article EST
/
journal article ENG
A systematic approach on modeling refinement and regression testing of real-time distributed systems
Pal, Deepak
;
Vain, Jüri
IFAC-PapersOnLine
2019
/
p. 1091-1096
https://doi.org/10.1016/j.ifacol.2019.11.341
Conference proceedings at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
143
book
TEA entsüklopeedia
2012
https://www.ester.ee/record=b2869027*est
book
144
book
TEA entsüklopeedia
2013
https://www.ester.ee/record=b2925120*est
book
145
book
TEA entsüklopeedia
Eerme, Kalju
;
Loide, Rein-Karl
;
Nõlvak, Jaak
;
Alver, Jaan
;
Purju, Alari
;
Kask, Jüri
;
Kõiv, Teet-Andrus
;
Mespak, Vello
;
Metsaveer, Jaan
;
Mõisnik, Kuulo
;
Raado, Lembi-Merike
;
Vain, Jüri
2014
book
146
journal article
Tehnoloogiad, mis muudavad maailma
Vain, Jüri
A & A
2003
/
6, lk. 5-8
https://artiklid.elnet.ee/record=b1014276*est
journal article
147
book article EST
/
book article ENG
Temporal multi-view contracts for efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Digital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings
2022
/
p. 136–151
https://doi.org/10.1007/978-3-031-09850-5_10
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
148
journal article EST
/
journal article ENG
Temporal multi-view contracts help developing efficient test models
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Valdek, Gert
Baltic journal of modern computing
2022
/
p. 710-737
https://doi.org/10.22364/bjmc.2022.10.4.07
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
149
journal article
Tempus JEP-06145 : [projekt "Infotehnoloogia ja teoreetilise informaatika hariduse arenduskeskus Eesti ülikoolidele"]
Vain, Jüri
Arvutustehnika ja Andmetöötlus
1994
/
2, lk. 28-32
journal article
150
journal article EST
/
journal article ENG
Test scenario specification language for model-based testing
Halling, Evelin
;
Vain, Jüri
;
Boyarchuk, Artem
;
Illiashenko, Oleg
International Journal of Computing
2019
/
p. 408-421 : ill
http://www.computingonline.net/computing/article/view/1611
https://doi.org/10.47839/ijc.18.4.1611
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
Number of records 170, displaying
126 - 150
previous
1
2
3
4
5
6
7
next
author
211
1.
Vain, Jüri
2.
Vain, A.
3.
Vain, Ants
4.
Vain, Arved
5.
Vain, J.
6.
Vain, Vallo
7.
Väin, E.
8.
Väin, Edda
9.
Aarma, Jüri
10.
Allik, Jüri
11.
Anissimov, Juri
12.
Annusson, Jüri
13.
Beilmann, Jüri
14.
Belikov, Juri
15.
Belitšenko, Juri
16.
Bogatkin, Jüri
17.
Bolobajev, Juri
18.
Butt, Juri
19.
Derkun, Jüri
20.
Einpaul, Jüri
21.
Eintalu, Jüri
22.
Eivak, Jüri
23.
Elken, Jüri
24.
Em, Juri
25.
Engelbrecht, Jüri
26.
Ess, Juri
27.
Freyberg, Jüri
28.
Gavšin, Juri
29.
Giršovitš, Juri
30.
Giršovitš, Jüri
31.
Grigorjev, Jüri
32.
Haabpiht, Jüri
33.
Haldre, Jüri
34.
Handelsaman, Juri
35.
Hansen, Jüri
36.
Helekivi, Jüri
37.
Ilvest, Jüri jr
38.
Issakov, Juri
39.
Ivask, Jüri
40.
Jakovets, Juri
41.
Jartsev, Jüri
42.
Jarvet, Jüri
43.
Joller, Jüri
44.
Joonsaar, Jüri
45.
Josepson, Jüri
46.
Jõema, Jüri
47.
Jõgeva, Jüri
48.
Järs, Jüri
49.
Järvet, Jüri
50.
Järvis, Jüri
51.
Jüri Ivask
52.
Kadaja, Jüri
53.
Kaik, Jüri
54.
Kaljumäe, Jüri
55.
Kaljundi, Jüri
56.
Kamenik, Jüri
57.
Kann, Jüri
58.
Kappo, Jüri
59.
Kask, Jüri
60.
Kermik, Jüri
61.
Kirotam, Jüri
62.
Kirs, Jüri
63.
Kivimaa, Jüri
64.
Kivimäe, Jüri
65.
Kleesmaa, Jüri
66.
Kolesov, Juri
67.
Komendant, Jüri George
68.
Kotkas, Jüri
69.
Kriis, Jüri
70.
Krist, Vello-Jüri
71.
Kroonström, Jüri
72.
Krustok, Jüri
73.
Kruusvall, Jüri
74.
Kröönström, Jüri
75.
Kurba, Jüri
76.
Kurss, Jüri
77.
Kurvits, Jüri
78.
Kuzmin, Juri
79.
Kuusik, Jüri
80.
Kuusk, Jüri
81.
Kuuskemaa, Jüri
82.
Kõomägi, Jüri
83.
Käosaar, Jüri
84.
Kärner, Jüri
85.
Laanoja, Jüri
86.
Laast-Laas, Jüri
87.
Lakson, Jüri
88.
Lamp, Jüri
89.
Laulik, Jüri
90.
Laurson, Jüri
91.
Laving, Jüri
92.
Lavrentjev, Jüri
93.
Lehtmets, Jüri
94.
Lember, Jüri
95.
Lichfeld, Jüri
96.
Lippus, Jüri
97.
Lipre, Jüri
98.
Loorens, Jüri
99.
Loosaar, Jüri
100.
Lotman, Juri
101.
Luud, Jüri
102.
Majak, Jüri
103.
Maltsev, Jüri
104.
Maltšev, Jüri
105.
Mark, Jüri
106.
Martin, Jüri
107.
Merendi, Jüri
108.
Mesipuu, Jüri
109.
Mickfeldt, Jüri
110.
Mihhailov, Juri
111.
Misnik, Juri
112.
Monahov, Juri
113.
Muttika, Jüri
114.
Mõis, Jüri
115.
Nemliher, Jüri
116.
Nikolajev, Jüri
117.
Noor, Jüri
118.
Nuut, Jüri
119.
Ojamaa, Jüri
120.
Olt, Jüri
121.
Ott, Jüri
122.
Paap, Jüri
123.
Pahapill, Jüri
124.
Papstel, Jüri
125.
Pastarus, Jüri-Rivaldo
126.
Pastraus, Jüri
127.
Peets, Jüri
128.
Pere, Jüri
129.
Pertmann, Jüri
130.
Petrov, Jüri
131.
Piirisild, Jüri
132.
Pirso, Jüri
133.
Plado, Jüri
134.
Podiltšuk, Juri
135.
Porõvajev, Juri
136.
Pozojev, Juri
137.
Putintsev, Juri
138.
Põldre, Jüri
139.
Pärn, Jüri
140.
Pärtna, Jüri
141.
Pääsuke, Jüri
142.
Randjärv, Jüri
143.
Rass, Jüri
144.
Ratas, Jüri
145.
Raudsepp, Jüri
146.
Rebane, Jüri
147.
Reimand, Jüri
148.
Rent, Jüri
149.
Resev, Jüri
150.
Riimaa, Jüri
151.
Riives, Jüri
152.
Roosaare, Jüri
153.
Ross, Jüri
154.
Roundyguine, Juri
155.
Rünkla, Jüri
156.
Saar, Jüri
157.
Saarma, Jüri
158.
Sakkeus, Jüri
159.
Sarandi, Jüri
160.
Savin, Juri
161.
Schvede, Jüri
162.
Sepp, Jüri
163.
Siigur, Jüri
164.
Siimon, Ivar-Jüri
165.
Silmberg, Jüri
166.
Smigunov, Juri
167.
Smirgunov, Juri
168.
Soojärv, Jüri
169.
Soone, Jüri
170.
Soonpere, Jüri
171.
Starkopf, Jüri-Aleksander
172.
Sutt, Jüri
173.
Suursoo, Jüri
174.
Säärekõnno, Jüri
175.
Zahharov, Juri
176.
Tadolder, Jüri
177.
Tagger, Jüri
178.
Tallinn, Jüri
179.
Tamm, Jüri
180.
Tammemägi, Jüri
181.
Tanner, Jüri
182.
Tarmak, Jüri
183.
Teder, Jüri
184.
Tenson, Jüri
185.
Teras, Jüri
186.
Toomessoo, Jüri
187.
Trei, Jüri
188.
Treufeld, Jüri
189.
Treufeldt, Jüri
190.
Truusa, Jüri
191.
Tuisk, Jüri
192.
Tõnisson, Jüri
193.
Udre, Jüri
194.
Uljas, Jüri
195.
Utt, Jüri
196.
Vabaoja, Jüri
197.
Vanaveski, Jüri
198.
Varik, Jüri
199.
Varvas, Jüri
200.
Vasiljev, Juri
201.
Vassiljev, Jüri
202.
Vedru, Jüri
203.
Veerits, Jüri
204.
Viikberg, Jüri
205.
Vilipõld, Jüri
206.
Virkepu, Jüri
207.
Võigemast, Jüri
208.
Örd, Jüri
209.
Ööbik, Jüri
210.
Žirjakov, Juri
211.
Žirjakov, Jüri
CV
116
1.
Vain, Jüri
2.
Annusson, Jüri 1884-1965
3.
Belikov, Juri
4.
Belokon, Juri
5.
Bogatkin, Jüri 1983
6.
Bolobajev, Juri
7.
Djakov, Juri
8.
Einpaul, Jüri 1935-2018
9.
Eintalu, Jüri
10.
Elken, Jüri
11.
Engelbrecht, Jüri
12.
Ess, Juri
13.
Fomin, Jüri
14.
Gavšin, Juri
15.
Girshovich, Juri
16.
Giršovitš, Juri
17.
Grigorjev, Jüri
18.
Helekivi, Jüri
19.
Hellat, Jüri
20.
Hmelnitski, Juri
21.
Hmelnitski, Jüri
22.
Hudolejev, Juri
23.
Ivask, Jüri
24.
Jartsev, Jüri 1931-1989
25.
Jevtejev, Jüri
26.
Joller, Jüri
27.
Joonsaar, Jüri 1958-2019
28.
Jõgeva, Jüri 1962-2014
29.
Kaik, Jüri 1953-2017
30.
Kann, Jüri
31.
Kappo, Juri 1959-2011
32.
Kappo, Jüri
33.
Kask, Jüri
34.
Kask, Jüri
35.
Kassihhin, Juri
36.
Kassihin, Juri
37.
Kirs, Jüri 1941-2024
38.
Kleesmaa, Jüri
39.
Kotijev, Juri 1940-2022
40.
Kotikov, Juri
41.
Kotkas, Jüri
42.
Krist, Vello-Jüri
43.
Krustok, Jüri
44.
Kurnitski, Jüri
45.
Kurss, Jüri
46.
Kurvits, Jüri
47.
Kuslapuu, Jüri
48.
Käosaar, Jüri
49.
Laast-Laas, Jüri
50.
Lakson, Jüri
51.
Lamp, Jüri 1940-2024
52.
Laving, Jüri
53.
Lavrentjev, Jüri
54.
Liidemann, Jüri
55.
Liivak, Jüri
56.
Lippus, Jüri
57.
Lipre, Jüri 1940-2024
58.
Loosaar, Jüri
59.
Majak, Jüri
60.
Maltsev, Jüri 1947-2023
61.
Mark, Jüri
62.
Merendi, Jüri 1936-2017
63.
Merits, Jüri-Olev
64.
Merlei, Jüri
65.
Mihhailov, Juri
66.
Nemliher, Jüri 1965-2021
67.
Noor, Jüri
68.
Nuth, Jüri
69.
Nuut, Jüri 1892-1952
70.
Papstel, Jüri 1940-2004
71.
Pastarus, Jüri-Rivaldo 1947-2015
72.
Pere, Jüri 1921-1996
73.
Pirso, Jüri
74.
Porõvajev, Juri
75.
Pozoev, Jüri
76.
Pozojev, Juri
77.
Putintsev, Juri
78.
Põldre, Jüri-Henrik
79.
Pääsuke, Jüri 1940-2023
80.
Rass, Jüri
81.
Rebane, Jüri
82.
Reim, Jüri
83.
Resev, Jüri
84.
Riives, Jüri
85.
Ruus, Jüri 1957-2013
86.
Rünkla, Jüri 1937-2022
87.
Sarandi, Jüri
88.
Schvede, Jüri 1931-2021
89.
Smigunov, Juri 1943-2006
90.
Soone, Jüri
91.
Soonpere, Jüri 1953-1998
92.
Starkopf, Jüri-Aleksander
93.
Sutt, Jüri 1937-2013
94.
Säärekõnno, Jüri
95.
Tadolder, Jüri 1931-1999
96.
Tagger, Juri
97.
Tagger, Jüri
98.
Tammemägi, Jüri
99.
Tanner, Jüri
100.
Teder, Jüri
101.
Teras, Jüri
102.
Treufeld, Jüri
103.
Udre, Juri
104.
Udre, Jüri
105.
Utt, Jüri
106.
Vabaoja, Jüri 1936-2020
107.
Vanaveski, Jüri
108.
Varvas, Jüri 1928-2006
109.
Vassiljev, Jüri
110.
Veerits, Jüri
111.
Viin, Jüri (-1980)
112.
Vilipõld, Jüri 1942-2019
113.
Vips, Jüri 1956-2018
114.
Virkepu, Juri
115.
Virkepu, Jüri
116.
Žirjakov, Jüri
name of the person
80
1.
Vain, Jüri
2.
Vain Erik
3.
Väin, Erik
4.
Aarma, Jüri
5.
Adams, Jüri
6.
Alas, Jüri
7.
Annusson, Jüri, 1884-1965
8.
Belikov, Juri
9.
Bolobajev, Juri
10.
Elken, Jüri
11.
Elken, Jüri, 1952-
12.
Engelbrecht, Jüri, 1939-
13.
Ess, Juri
14.
Gavšin, Juri
15.
Ivask, Jüri, 1961-
16.
Jartsev, Jüri 1931-1989
17.
Joller, Jüri
18.
Järs, Jüri, 1951-
19.
Järvis, Jüri
20.
Kaik, Jüri
21.
Kaljundi, Jüri
22.
Kann, Jüri, 1938-
23.
Kask, Jüri, 1939-
24.
Kask, Jüri, 1951-
25.
Kirs, Jüri
26.
Kivimäe, Jüri, 1947-
27.
Kleesmaa, Jüri
28.
Komendant, George Jüri, 1943-
29.
Kraft, Jüri, 1935-2023
30.
Kriis, Jüri
31.
Krustok, Jüri, 1955-
32.
Kurvits, Jüri
33.
Kuusk, Jüri
34.
Kõomägi, Jüri
35.
Kärner, Jüri, 1940-2010
36.
Laast-Laas, Jüri
37.
Lamp, Jüri
38.
Lavrentjev, Jüri, 1959-
39.
Lehtmets, Jüri
40.
Lina, Jüri
41.
Lotman, Juri, 1922-1993
42.
Läll, Jüri
43.
Majak, Jüri
44.
Mihhailov, Juri
45.
Mõis, Jüri, 1956-
46.
Nael, Jüri
47.
Nemlicher, Jüri, 1965-
48.
Nurk, Jüri
49.
Nuut, Jüri
50.
Nuut, Jüri, matem., 1892-1952
51.
Nuut, Jüri, merend., 1948-2017
52.
Papstel, Jüri, 1940-2004
53.
Pastarus, Jüri-Rivaldo, 1947-2015
54.
Pasternak, Jüri
55.
Pihl, Jüri
56.
Pirso, Jüri
57.
Pirso, Jüri, 1941-
58.
Põldre, Jüri
59.
Randla, Jüri, 1936-2022
60.
Ratas, Jüri, 1978-
61.
Rent, Jüri, 1952-2018
62.
Riives, Jüri, 1951-
63.
Ross, Jüri, 1953-
64.
Sander, Jüri, 1933-2023
65.
Sepp, Jüri, 1952-
66.
Soone, Jüri
67.
Starkopf, Jüri-Aleksander, 1940-
68.
Sutt, Jüri, 1937-2013
69.
Tadolder, Jüri
70.
Tamm, Jüri
71.
Tanner, Jüri
72.
Tanner, Jüri, 1942-
73.
Teras, Jüri
74.
Tretjakov, Juri
75.
Udre, Jüri
76.
Vanaveski, Jüri
77.
Varvas, Jüri, 1928-2006
78.
Vassiljev, Jüri, 1961-
79.
Veerits, Jüri
80.
Viik, Jüri
subject term
6
1.
Irbe väin
2.
Suur väin
3.
Taani väin
4.
Väike väin
5.
Jüri
6.
Jüri kogudus
keyword
1
1.
Juri Lotman
×
match
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