Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
Walden, Marina (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
4
Vaata veel..
(3/101)
Ekspordi
ekspordi kõik päringu tulemused
(4)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGO
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 2021
2021
/
4 p
http://icetcs.ru.is/nwpt21/abstracts/paper7.pdf
http://icetcs.ru.is/nwpt21/programme.html
artikkel kogumikus
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Formal verification of COLREG-Based Navigation of maritime autonomous systems
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings
2020
/
p. 41-59
https://doi.org/10.1007/978-3-030-58768-0_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
3
artikkel kogumikus
Formal verification of maritime autonomous systems using UPPAAL STRATEGO
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. 58-61 : ill
https://doi.org/10.23658/taltech.nwpt/2019
artikkel kogumikus
4
artikkel kogumikus EST
/
artikkel kogumikus ENG
Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processes
Shokri-Manninen, Fatima
;
Tsiopoulos, Leonidas
;
Vain, Jüri
;
Walden, Marina
Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings
2020
/
p. 186-202
https://doi.org/10.1007/978-3-030-48077-6_13
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 4, kuvan
1 - 4
autor
67
1.
Walden, Marina
2.
Waldén, Marina
3.
Aghayan, Marina
4.
Aghayan, Marina A.
5.
Alajõe, Marina
6.
Apaydin, Marina
7.
Bachmann, Marina
8.
Bahmann, Marina
9.
Baum, Marina
10.
Beliakova, Marina
11.
Brik, Marina
12.
Cepenko, Marina
13.
Chesnokova, Marina
14.
Da Rocha Meneses, Lisandra Marina
15.
Dudkina, Marina
16.
Galià, Marina
17.
Golik, Marina
18.
Janusova, Marina
19.
John, Marina E.
20.
Junusova, Marina
21.
Järvis, Marina
22.
Kempinen, Marina
23.
Khalilova, Marina
24.
Kostina, Marina
25.
Krapivina, Marina
26.
Kravets, Marina
27.
Krichevskaya, Marina
28.
Kritševskaja, Marina
29.
Kudrjašova, Marina
30.
Kurvits, Marina
31.
Kuznetsova, Marina
32.
Laskari, Marina
33.
Latonina, Marina
34.
Lohk, Marina
35.
Maran, Marina
36.
Melnik, Marina
37.
Mironova, Marina
38.
Neverdinova, Marina
39.
Orlova, Marina
40.
Panikar, Marina
41.
Pinheiro, Marina J.
42.
Pinheiro, Marina Julio
43.
Pribytkova, Marina
44.
Puz, Marina
45.
Rauk, Marina
46.
Rincon Mendez, Angelica Marina
47.
Romet, Marina
48.
Rõuk, Marina
49.
Seero, Marina
50.
Sergejeva, Marina
51.
Sochacka, Marina
52.
Solesvik, Marina
53.
Suhorutshenko, Marina
54.
Suhorutšenko, Marina
55.
Zanella, Marina
56.
Taul, Marina
57.
Teras, Marina
58.
Toompuu, Marina
59.
Trapido, Marina
60.
Trubatšenko, Marina
61.
Turkina, Marina
62.
Tuuling, Marina
63.
Vaganova, Marina
64.
Vaštšenko, Marina
65.
Weck, Marina
66.
Vidrevitš, Marina
67.
Vilop, Marina
CV
23
1.
Aghayan, Marina 1987
2.
Arensburger, Marina 1909-1993
3.
Brik, Marina 1965
4.
Järvis, Marina 1975
5.
Kempinen, Marina
6.
Krapivina, Marina 1974
7.
Kravets, Marina 1978
8.
Krichevskaya, Marina
9.
Kritševskaja, Marina 1974
10.
Kudrjašova, Marina 1963
11.
Lozovskaja, Marina
12.
Neverdinova, Marina 1959
13.
Nikitina, Marina 1965
14.
Rauk, Marina 1963
15.
Rõuk, Marina
16.
Seero, Marina 1929-2011
17.
Sergejeva, Marina 1954
18.
Taul, Marina 1960
19.
Teras, Marina 1968
20.
Toompuu, Marina 1971
21.
Trapido, Marina 1952
22.
Tsibanova, Marina
23.
Wertsinski, Marina
tema kohta
11
1.
Aghayan, Marina
2.
Da Rocha Meneses, Lisandra Marina
3.
Järvis, Marina
4.
Kaljurand, Marina
5.
Kostina, Marina
6.
Kritševskaja, Marina, 1974-
7.
Kudrjašova, Marina
8.
Kuznetsova, Marina
9.
Teras, Marina
10.
Toompuu, Marina
11.
Trapido, Marina, 1952-
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT