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
166
Look more..
(5/404)
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
101
book article
On mutating UPPAAL timed automata to assess robustness of web services
Siavashi, Faezeh
;
Truscan, Dragos
;
Vain, Jüri
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016). Vol. 1, ICSOFT-EA
2016
/
p. 15-26 : ill
http://dx.doi.org/10.5220/0005970800150026
book article
102
book article
Online testing of nondeterministic systems with the reactive planning tester
Vain, Jüri
;
Kääramees, Marko
;
Markvardt, Maili
Dependability and computer engineering : concepts for software-intensive systems
2012
/
p. 113-150 : ill
book article
103
book article
Optimization of the structure of multi-parameter multi-level selection
Littover, Mati
;
Randvee, Ingmar
;
Riismaa, Tiit
;
Vain, Jüri
17th International Conference on CAD/CAM, Robotics and Factories of the Future : CARS & FOF 2001 : Durban, South Africa, 10th-12th July 2001 : proceedings. Volume 1
2001
/
p. 317-322 : ill
book article
104
book article
Pattern based analysis of fractal manufacturing systems [Electronic resource]
Jääger, Kadi
;
Vain, Jüri
INCOM 2004 : 11th IFAC Symposium on Information Control Problems in Manufacturing : Salvador, Brasil, April 5-7, 2004 : preprints proceedings
2005
/
[6] p. [CD-ROM]
https://www.sciencedirect.com/science/article/pii/S1474667017361529
book article
105
journal article
Pattern-based modeling and planning of machining systems
Jääger, Kadi
;
Vain, Jüri
Machine engineering
2004
/
1/2, p. 97-106
journal article
106
book article
Preface
Uustalu, Tarmo
;
Vain, Jüri
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. iii
https://doi.org/10.23658/taltech.nwpt/2019
book article
107
book article EST
/
book article ENG
Preface
Bellatreche, Ladjel
;
Chernishev, George
;
Corral, Antonio
;
Ouchani, Samir
;
Vain, Jüri
Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops : DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. v-vii
https://link.springer.com/content/pdf/bfm:978-3-030-87657-9/1?pdf=chapter%20toc
Article collection metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
108
book article
Preface
Johri, Prashant
;
Anand, Adarsh
;
Vain, Jüri
;
Singh, Jagvinder
;
Quasim, Mohammad Tabrez
System assurances : modeling and management
2022
https://doi.org/10.1016/B978-0-323-90240-3.09998-7
book article
109
book article
Provably correct aspect-oriented modeling with UPPAAL timed automata
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kanter, Gerd
System assurances : modeling and management
2022
/
p. 447-476
https://doi.org/10.1016/B978-0-323-90240-3.00025-4
book article
110
book article
Provably correct configuration management of precision feeding in Agriculture4.0
Kanter, Gert
;
Vain, Jüri
;
Srinivasan, Seshadhri
;
Ramaswamy, Srini
2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)
2019
/
p. 1631–1637 : ill
https://doi.org/10.1109/SMC.2019.8914057
book article
111
book article
Provably correct test development for timed systems
Vain, Jüri
;
Anier, Aivo
;
Halling, Evelin
Databases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 2014
2014
/
p. 289-302 : ill
book article
112
book article
Provably correct test generation for online testing of timed systems
Vain, Jüri
;
Anier, Aivo
;
Halling, Evelin
Databases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 2014
2014
/
p. 337-348 : ill
book article
113
newspaper article
Põhjamaade programmeerimisteoreetikud Eestis : [TTÜ arvutiteaduse instituudi ja Küberneetika Instituudi korraldatud konverentsist "Nordic Workshop on Programming Theory (NWPT) 2002. a.]
Vain, Jüri
Mente et Manu
2003
/
14. jaan., lk. 3 : fot
https://www.ester.ee/record=b1242496*est
newspaper article
114
book article
Reactive testing of nondeterministic systems by test purpose-directed tester
Vain, Jüri
;
Kull, Andres
;
Kääramees, Marko
;
Markvardt, Maili
;
Raiend, Kullo
Model-based testing for embedded systems
2012
/
p. 425-452 : ill
book article
115
book article
Recognition of the surgeon's motions during endoscopic operation by statistics based algorithm and neural networks based ANARX models
Nõmm, Sven
;
Petlenkov, Eduard
;
Vain, Jüri
;
Belikov, Juri
;
Miyawaki, Fujio
;
Yoshimitsu, Kitaro
Proceedings of the 17th World Congress The International Federation of Automatic Control : Seoul, Korea, July 6-11, 2008
2008
/
p. 14773-14778
https://www.sciencedirect.com/science/article/pii/S1474667016413662
book article
116
book article EST
/
book article ENG
Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward induction
Iqbal, Junaid
;
Truscan, Dragos
;
Vain, Jüri
;
Porres, Ivan
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems
2017
/
10 pages : ill
https://doi.org/10.1145/3123779.3123813
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
117
book article
Refinement-based development of timed systems
Berthing, Jesper
;
Boström, Pontus
;
Sere, Kaisa
;
Tsiopoulos, Leonidas
;
Vain, Jüri
Integrated Formal Methods : 9th International Conference IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings
2012
/
p. 69-83 : ill
https://link.springer.com/chapter/10.1007/978-3-642-30729-4_6
book article
118
book article
RFID-based communications for a self-organizing robot swarm
Tammet, Tanel
;
Vain, Jüri
;
Puusepp, Andres
;
Reilent, Enar
;
Kuusik, Alar
SASO 2008 : Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems : 20-24 October, 2008, Venice, Italy : proceedings
2008
/
p. 45-54
https://ieeexplore.ieee.org/document/4663409
book article
119
book article
RFID-based knowledge space for service robot swarms [Electronic resource]
Tammet, Tanel
;
Vain, Jüri
;
Kuusik, Alar
Proceedings of the 3rd COE Workshop on Human Adaptive Mechatronics (HAM) : 3-4 March 2006, Tokyo Denki University, Japan
2006
/
[6] p. [CD-ROM]
book article
120
journal article
Robot kirurgias
Vain, Jüri
Horisont
2009
/
1, lk. 39-41 : ill
https://artiklid.elnet.ee/record=b1069483*est
journal article
121
book article
Robot swarms
Vain, Jüri
Integrated systems and design : interstudy, May 9, 2008
2008
/
p. 54-64 : ill
book article
122
newspaper article
Robotite oskused järjest paranevad
Toomla, Silver
;
Vain, Jüri
Äripäev
2007
/
12. veebr., lk. 28
newspaper article
123
journal article
Robotite parved
Vain, Jüri
Horisont
2007
/
3, lk. 46-47 : ill
https://artiklid.elnet.ee/record=b2040577*est
journal article
124
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
125
dissertation
Scenario oriented model-based testing = Stsenaariumjuhitud mudelipõhine testimine
Halling, Evelin
2019
https://digi.lib.ttu.ee/i/?11943
dissertation
Number of records 166, displaying
101 - 125
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
110
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 1939
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.
Hudolejev, Juri 1984
21.
Ivask, Jüri 1961
22.
Jartsev, Jüri 1931-1989
23.
Jevtejev, Jüri 1935
24.
Joller, Jüri 1966
25.
Joonsaar, Jüri 1958-2019
26.
Jõgeva, Jüri 1962-2014
27.
Kaik, Jüri 1953-2017
28.
Kann, Jüri 1938
29.
Kappo, Juri 1959-2011
30.
Kappo, Jüri
31.
Kask, Jüri 1951
32.
Kask, Jüri 1952
33.
Kassihhin, Juri 1949
34.
Kassihin, Juri
35.
Kirs, Jüri 1941-2024
36.
Kleesmaa, Jüri 1952
37.
Kotijev, Juri 1940-2022
38.
Kotikov, Juri 1949
39.
Kotkas, Jüri 1941
40.
Krist, Vello-Jüri 1938
41.
Krustok, Jüri 1955
42.
Kurnitski, Jüri 1949
43.
Kurss, Jüri 1956
44.
Kurvits, Jüri 1978
45.
Kuslapuu, Jüri 1956
46.
Käosaar, Jüri 1945
47.
Laast-Laas, Jüri 1950
48.
Lakson, Jüri 1948
49.
Lamp, Jüri 1940-2024
50.
Laving, Jüri 1941
51.
Lavrentjev, Jüri 1959
52.
Liidemann, Jüri
53.
Liivak, Jüri 1939
54.
Lippus, Jüri 1953
55.
Lipre, Jüri 1940-2024
56.
Loosaar, Jüri 1948
57.
Majak, Jüri 1961
58.
Maltsev, Jüri 1947-2023
59.
Mark, Jüri
60.
Merendi, Jüri 1936-2017
61.
Merits, Jüri-Olev 1939
62.
Merlei, Jüri
63.
Mihhailov, Juri 1984
64.
Nemliher, Jüri 1965-2021
65.
Noor, Jüri 1953
66.
Nuth, Jüri
67.
Nuut, Jüri 1892-1952
68.
Papstel, Jüri 1940-2004
69.
Pastarus, Jüri-Rivaldo 1947-2015
70.
Pere, Jüri 1921-1996
71.
Pirso, Jüri 1941
72.
Pozoev, Jüri 1934
73.
Putintsev, Juri 1938
74.
Põldre, Jüri-Henrik 1967
75.
Pääsuke, Jüri 1940-2023
76.
Rass, Jüri 1958
77.
Rebane, Jüri 1939
78.
Reim, Jüri 1947
79.
Resev, Jüri 1950
80.
Riives, Jüri 1951
81.
Ruus, Jüri 1957
82.
Rünkla, Jüri 1937
83.
Sarandi, Jüri 1938
84.
Schvede, Jüri 1931-2021
85.
Smigunov, Juri 1943-2006
86.
Soone, Jüri 1940
87.
Soonpere, Jüri 1953
88.
Starkopf, Jüri-Aleksander 1940
89.
Sutt, Jüri 1937-2013
90.
Säärekõnno, Jüri 1941
91.
Tadolder, Jüri 1931-1999
92.
Tagger, Juri
93.
Tagger, Jüri 1955
94.
Tammemägi, Jüri 1948
95.
Tanner, Jüri 1942
96.
Teder, Jüri 1949
97.
Teras, Jüri 1968
98.
Treufeld, Jüri 1942
99.
Udre, Jüri 1966
100.
Utt, Jüri 1949
101.
Vabaoja, Jüri 1936-2020
102.
Vanaveski, Jüri 1936
103.
Varvas, Jüri 1928-2006
104.
Vassiljev, Jüri 1961
105.
Veerits, Jüri 1942
106.
Viin, Jüri (-1980)
107.
Vilipõld, Jüri 1942-2019
108.
Vips, Jüri 1956-2018
109.
Virkepu, Jüri 1982
110.
Žirjakov, Jüri 1951
name of the person
79
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.
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.
Tamm, Jüri
70.
Tanner, Jüri
71.
Tanner, Jüri, 1942-
72.
Teras, Jüri
73.
Tretjakov, Juri
74.
Udre, Jüri
75.
Vanaveski, Jüri
76.
Varvas, Jüri, 1928-2006
77.
Vassiljev, Jüri, 1961-
78.
Veerits, Jüri
79.
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