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/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
151
book
The journal of logic and algebraic programming
2010
https://www.ester.ee/record=b1200932*est
book
152
book
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts [Online resource]
2019
https://doi.org/10.23658/taltech.nwpt/2019
https://www.ester.ee/record=b5292609*est
book
153
book
25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts [Electronic resource]
2013
https://www.ester.ee/record=b3039924*est
book
154
book article
Time semantics of executable activity diagrams for relativized conformance testing
Iqbal, Junaid
;
Truscan, Dragos
;
Vain, Jüri
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
2020
/
p. 251-256
https://doi.org/10.1145/3417990.3421399
book article
155
book article
Timed automata based provably correct robot control
Anier, Aivo
;
Vain, Jüri
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. 201-204 : ill
book article
156
book article
Towards a high-level programming language for IoT and robotics
Kanter, Gert
;
Vain, Jüri
;
Fazeldehkordi, Elahe
;
Owe, Olaf
32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 2021
2021
/
3 p
http://icetcs.ru.is/nwpt21/abstracts/paper8.pdf
http://icetcs.ru.is/nwpt21/programme.html
book article
157
book article
Towards better specifications for software outsourcing
Lump, Peeter
;
Ernits, Juhan-Peep
;
Vain, Jüri
Databases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 2014
2014
/
p. 453-458 : ill
book article
158
book article
Towards context-sensitive dialogue with robot companion
Vain, Jüri
;
Sarapuu, Helena
BEC 2014 : 2014 14th Biennial Baltic Electronics Conference : proceedings of the 14th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 6-8, 2014, Tallinn, Estonia
2014
/
p. 205-208 : ill
book article
159
book article
Towards scalable proofs of robot swarm dependability
Vain, Jüri
;
Tammet, Tanel
;
Kuusik, Alar
;
Juurik, Silver
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. 199-202 : ill
book article
160
book
20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts
Uustalu, Tarmo
;
Vain, Jüri
;
Ernits, Juhan-Peep
2008
https://www.ester.ee/record=b2435749*est
book
161
book article
Two phase technique for assembly line balancing
Vain, Jüri
;
Randvee, Ingmar
;
Riismaa, Tiit
Preprints of the 16th IFAC World Congress : Prague, Czech Republic, July 3-8, 2005
2005
/
[6] p
https://www.sciencedirect.com/science/article/pii/S1474667016375176
book article
162
dissertation
Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis
Ernits, Juhan-Peep
2007
https://digi.lib.ttu.ee/i/?162
dissertation
163
book article
A two-phase metamorphic approach for testing industrial control systems
Sudheerbabu, Gaadha
;
Ahmad, Tanwir
;
Sebek, Filip
;
Truscan, Dragos
;
Vain, Jüri
;
Porres, Ivan
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) : proceedings
2022
/
4 p
https://doi.org/10.1109/ETFA52439.2022.9921439
book article
164
book article
Using RFID tags for robot swarm cooperation
Tammet, Tanel
;
Vain, Jüri
;
Kuusik, Alar
WSEAS transactions on systems
2006
/
5, p. 1121-1128
book article
165
book article
Verifying response times in networked automation systems using jitter bounds
Srinivasan, Seshadhri
;
Vain, Jüri
IEEE 25th International Symposium on Software Reliability Engineering Workshops : ISSREW 2014 : 3-6 November 2014, Naples, Italy : proceedings
2014
/
p. 47-50 : ill
book article
166
book article
Vulnerability assessment of web services with model-based mutation testing
Siavashi, Faezeh
;
Truscan, Dragos
;
Vain, Jüri
2018 IEEE 18th International Conference on Software Quality, Reliability, and Security - QRS 2018 - : 16–20 July 2018, Lisbon, Portugal : proceedings
2018
/
p. 301–312 : ill
http://doi.org/10.1109/QRS.2018.00043
book article
Number of records 166, displaying
151 - 166
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