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 (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
166
Look more..
(5/400)
Export
export all inquiry results
(166)
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
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
127
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
128
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
129
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
130
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
131
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
book article
132
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
133
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
134
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
book article
135
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
136
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
137
book
System assurances : modeling and management
2022
https://doi.org/10.1016/C2020-0-03092-6
book
138
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
139
book
TEA entsüklopeedia
2012
https://www.ester.ee/record=b2869027*est
book
140
book
TEA entsüklopeedia
2013
https://www.ester.ee/record=b2925120*est
book
141
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
142
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
143
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
144
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
145
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
146
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
147
book article
Tester partitioning and synchronization algorithm for testing real-time distributed systems
Pal, Deepak
;
Vain, Jüri
Proceedings of the 10th Junior Researcher Workshop on Real-Time Computing : JRWRTC 2016 : Brest, France, October 19-21, 2016
2016
/
p. 13-16 : ill
http://jrwrtc2016.gforge.inria.fr/
book article
148
book article
Testing web services with model-based mutation
Siavashi, Faezeh
;
Iqbal, Junaid
;
Truscan, Dragos
;
Vain, Jüri
Software Technologies : 11th International Joint Conference, ICSOFT 2016 : Lisbon, Portugal, July 24–26, 2016 : revised selected papers
2017
/
p. 45-67
http://doi.org/10.1007/978-3-319-62569-0_3
book article
149
book article
TestIt: an open-source scalable long-term autonomy testing toolkit for ROS
Kanter, Gert
;
Vain, Jüri
Conference Proceedings of 2019 10th International Conference on Dependable Systems, Services and Technologies DESSERT’2019, United Kingdom, Leeds, June 5-7, 2019
2019
/
art. 8770011, p. 45-50
http://dx.doi.org/10.1109/DESSERT.2019.8770011
book article
150
book
The Crisis Management System - a case study on aspect-oriented modelling with UPPAAL
Iqbal, Junaid
;
Truscan, Dragos
;
Porres, Ivan
;
Tsiopoulos, Leonidas
;
Vain, Jüri
2016
http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a
book
Number of records 166, displaying
126 - 150
previous
1
2
3
4
5
6
7
next
author
208
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.
Putintsev, Juri
136.
Põldre, Jüri
137.
Pärn, Jüri
138.
Pärtna, Jüri
139.
Pääsuke, Jüri
140.
Randjärv, Jüri
141.
Rass, Jüri
142.
Ratas, Jüri
143.
Raudsepp, Jüri
144.
Rebane, Jüri
145.
Reimand, Jüri
146.
Rent, Jüri
147.
Resev, Jüri
148.
Riimaa, Jüri
149.
Riives, Jüri
150.
Roosaare, Jüri
151.
Ross, Jüri
152.
Roundyguine, Juri
153.
Rünkla, Jüri
154.
Saar, Jüri
155.
Saarma, Jüri
156.
Sakkeus, Jüri
157.
Sarandi, Jüri
158.
Savin, Juri
159.
Schvede, Jüri
160.
Sepp, Jüri
161.
Siigur, Jüri
162.
Siimon, Ivar-Jüri
163.
Silmberg, Jüri
164.
Smigunov, Juri
165.
Smirgunov, Juri
166.
Soojärv, Jüri
167.
Soone, Jüri
168.
Soonpere, Jüri
169.
Starkopf, Jüri-Aleksander
170.
Sutt, Jüri
171.
Suursoo, Jüri
172.
Säärekõnno, Jüri
173.
Zahharov, Juri
174.
Tadolder, Jüri
175.
Tagger, Jüri
176.
Tallinn, Jüri
177.
Tamm, Jüri
178.
Tammemägi, Jüri
179.
Tanner, Jüri
180.
Tarmak, Jüri
181.
Teder, Jüri
182.
Tenson, Jüri
183.
Teras, Jüri
184.
Toomessoo, Jüri
185.
Trei, Jüri
186.
Treufeld, Jüri
187.
Treufeldt, Jüri
188.
Truusa, Jüri
189.
Tuisk, Jüri
190.
Udre, Jüri
191.
Uljas, Jüri
192.
Utt, Jüri
193.
Vabaoja, Jüri
194.
Vanaveski, Jüri
195.
Varik, Jüri
196.
Varvas, Jüri
197.
Vasiljev, Juri
198.
Vassiljev, Jüri
199.
Vedru, Jüri
200.
Veerits, Jüri
201.
Viikberg, Jüri
202.
Vilipõld, Jüri
203.
Virkepu, Jüri
204.
Võigemast, Jüri
205.
Örd, Jüri
206.
Ööbik, Jüri
207.
Žirjakov, Juri
208.
Žirjakov, Jüri
CV
107
1.
Vain, Jüri 1956
2.
Annusson, Jüri 1884-1965
3.
Belikov, Juri 1985
4.
Belokon, Juri 1950
5.
Bolobajev, Juri 1984
6.
Djakov, Juri 1930
7.
Einpaul, Jüri 1935-2018
8.
Eintalu, Jüri
9.
Elken, Jüri 1952
10.
Engelbrecht, Jüri 1939
11.
Ess, Juri 1985
12.
Fomin, Jüri
13.
Gavšin, Juri 1981
14.
Giršovitš, Juri 1950
15.
Grigorjev, Jüri 1949
16.
Helekivi, Jüri 1964
17.
Hellat, Jüri
18.
Hmelnitski, Juri
19.
Hmelnitski, Jüri
20.
Ivask, Jüri 1961
21.
Jartsev, Jüri 1931-1989
22.
Jevtejev, Jüri 1935
23.
Joller, Jüri 1966
24.
Joonsaar, Jüri 1958
25.
Jõgeva, Jüri 1962-2014
26.
Kaik, Jüri 1953-2017
27.
Kann, Jüri 1938
28.
Kappo, Juri 1959-2011
29.
Kappo, Jüri
30.
Kask, Jüri 1951
31.
Kask, Jüri 1952
32.
Kassihhin, Juri 1949
33.
Kassihin, Juri
34.
Kirs, Jüri 1941
35.
Kleesmaa, Jüri 1952
36.
Kotijev, Juri 1940
37.
Kotikov, Juri 1949
38.
Kotkas, Jüri 1941
39.
Krist, Vello-Jüri 1938
40.
Krustok, Jüri 1955
41.
Kurnitski, Jüri 1949
42.
Kurss, Jüri 1956
43.
Kurvits, Jüri 1978
44.
Kuslapuu, Jüri 1956
45.
Käosaar, Jüri 1945
46.
Laast-Laas, Jüri 1950
47.
Lakson, Jüri 1948
48.
Lamp, Jüri 1940-2024
49.
Laving, Jüri 1941
50.
Lavrentjev, Jüri 1959
51.
Liivak, Jüri 1939
52.
Lippus, Jüri 1953
53.
Lipre, Jüri 1940
54.
Loosaar, Jüri 1948
55.
Majak, Jüri 1961
56.
Maltsev, Jüri 1947
57.
Mark, Jüri
58.
Merendi, Jüri 1936-2017
59.
Merits, Jüri-Olev 1939
60.
Merlei, Jüri
61.
Mihhailov, Juri 1984
62.
Nemliher, Jüri 1965-2021
63.
Noor, Jüri 1953
64.
Nuth, Jüri
65.
Nuut, Jüri 1892-1952
66.
Papstel, Jüri 1940-2004
67.
Pastarus, Jüri-Rivaldo 1947-2015
68.
Pere, Jüri 1921-1996
69.
Pirso, Jüri 1941
70.
Pozoev, Jüri 1934
71.
Putintsev, Juri 1938
72.
Põldre, Jüri-Henrik 1967
73.
Pääsuke, Jüri 1940-2023
74.
Rass, Jüri 1958
75.
Rebane, Jüri 1939
76.
Reim, Jüri 1947
77.
Resev, Jüri 1950
78.
Riives, Jüri 1951
79.
Ruus, Jüri 1957
80.
Rünkla, Jüri 1937
81.
Sarandi, Jüri 1938
82.
Schvede, Jüri 1931-2021
83.
Smigunov, Juri 1943-2006
84.
Soone, Jüri 1940
85.
Soonpere, Jüri 1953
86.
Starkopf, Jüri-Aleksander 1940
87.
Sutt, Jüri 1937-2013
88.
Säärekõnno, Jüri 1941
89.
Tadolder, Jüri 1931-1999
90.
Tagger, Jüri 1955
91.
Tammemägi, Jüri 1948
92.
Tanner, Jüri 1942
93.
Teder, Jüri 1949
94.
Teras, Jüri 1968
95.
Treufeld, Jüri 1942
96.
Udre, Jüri 1966
97.
Utt, Jüri 1949
98.
Vabaoja, Jüri 1936-2020
99.
Vanaveski, Jüri 1936
100.
Varvas, Jüri 1928-2006
101.
Vassiljev, Jüri 1961
102.
Veerits, Jüri 1942
103.
Viin, Jüri
104.
Vilipõld, Jüri 1942-2019
105.
Vips, Jüri 1956-2018
106.
Virkepu, Jüri 1982
107.
Žirjakov, Jüri 1951
name of the person
78
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.
Engelbrecht, Jüri, 1939-
12.
Ess, Juri
13.
Gavšin, Juri
14.
Ivask, Jüri, 1961-
15.
Jartsev, Jüri 1931-1989
16.
Joller, Jüri
17.
Järs, 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
30.
Kriis, Jüri
31.
Krustok, Jüri, 1955-
32.
Kuusk, Jüri
33.
Kõomägi, Jüri
34.
Kärner, Jüri, 1940-2010
35.
Laast-Laas, Jüri
36.
Lamp, Jüri
37.
Lavrentjev, Jüri, 1959-
38.
Lehtmets, Jüri
39.
Lina, Jüri
40.
Lotman, Juri, 1922-1993
41.
Läll, Jüri
42.
Majak, Jüri
43.
Mihhailov, Juri
44.
Mõis, Jüri, 1956-
45.
Nael, Jüri
46.
Nemlicher, Jüri, 1965-
47.
Nurk, Jüri
48.
Nuut, Jüri
49.
Nuut, Jüri, matem., 1892-1952
50.
Nuut, Jüri, merend., 1948-2017
51.
Papstel, Jüri, 1940-2004
52.
Pastarus, Jüri-Rivaldo, 1947-2015
53.
Pasternak, Jüri
54.
Pihl, Jüri
55.
Pirso, Jüri
56.
Pirso, Jüri, 1941-
57.
Põldre, Jüri
58.
Randla, Jüri, 1936-2022
59.
Ratas, Jüri, 1978-
60.
Rent, Jüri, 1952-2018
61.
Riives, Jüri, 1951-
62.
Ross, Jüri, 1953-
63.
Sander, Jüri, 1933-2023
64.
Sepp, Jüri, 1952-
65.
Soone, Jüri
66.
Starkopf, Jüri-Aleksander, 1940-
67.
Sutt, Jüri, 1937-2013
68.
Tadolder, Jüri
69.
Tanner, Jüri
70.
Tanner, Jüri, 1942-
71.
Teras, Jüri
72.
Tretjakov, Juri
73.
Udre, Jüri
74.
Vanaveski, Jüri
75.
Varvas, Jüri, 1928-2006
76.
Vassiljev, Jüri, 1961-
77.
Veerits, Jüri
78.
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
×
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