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
Otsing
Valitud kirjed
0
Ernits, Juhan-Peep (TTÜ autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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
38
Vaata veel..
(4/213)
Ekspordi
ekspordi kõik päringu tulemused
(38)
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
26
artikkel kogumikus
(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
artikkel kogumikus
27
artikkel ajalehes
Silmad kinni ja näpud püsti! Kellest saab doktorant? : [kavandatavaid seadusemuudatusi õppetoetuste ja õppelaenu osas kommenteerivad TTÜ kõnetehnoloogia doktorant Tanel Alumäe, infotehnoloogia doktorant Juhan-Peep Ernits ja Küberneetikainstituudi vanemteadur Ülle Kotta]
Lill, Anne
;
Alumäe, Tanel
;
Ernits, Juhan-Peep
;
Kotta, Ülle
Linnaleht
2004
/
3. dets., lk. A 7
artikkel ajalehes
28
artikkel ajakirjas
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
artikkel ajakirjas
29
artikkel kogumikus
State isomorphism in model programs with abstract data structures
Veanes, Margus
;
Ernits, Juhan-Peep
;
Campbell, Colin
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings
2007
/
p. 112-127 : ill
artikkel kogumikus
30
artikkel kogumikus
State isomorphism in model programs with abstract data structures
Veanes, Margus
;
Ernits, Juhan-Peep
;
Campbell, Colin
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
2007
/
lk. 43-46 : ill
artikkel kogumikus
31
artikkel kogumikus
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
artikkel kogumikus
32
artikkel kogumikus
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
artikkel kogumikus
33
artikkel ajalehes
TalTechi teadlaste loodud tehisintellektsüsteem muudab laokaupade liigutamise lihtsamaks, efektiivsemaks ja turvalisemaks
ari.geenius.ee
2023
TalTechi teadlaste loodud tehisintellektsüsteem muudab laokaupade liigutamise lihtsamaks, efektiivsemaks ja turvalisemaks
artikkel ajalehes
34
artikkel kogumikus
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
artikkel kogumikus
35
artikkel ajalehes
TTÜ aastal 2020 : töögrupi vahearuanne
Ernits, Juhan-Peep
;
Goi, Anna
;
Jervan, Gert
;
Leibak, Alar
;
Randma-Liiv, Tiina
;
Otto, Tauno
;
Rosin, Argo
;
Sarmiento Guerin, Maria Cecilia
Mente et Manu
2009
/
16. veebr., lk. 4 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
36
raamat
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
raamat
37
dissertatsioon
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
dissertatsioon
38
artikkel kogumikus
Utilising processor cache for speeding up reachability checks in model checking
Ernits, Juhan-Peep
Eleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 2006
2006
/
[1] p
artikkel kogumikus
Kirjeid leitud 38, kuvan
26 - 38
eelmine
1
2
järgmine
autor
121
1.
Ernits, Juhan-Peep
2.
Ernits, Andres
3.
Ernits, Erik
4.
Ernits, J.
5.
Ernits, Kaia
6.
Ernits, Karin
7.
Ernits, Katrin
8.
Ernits, Margus
9.
Ernits, Mart
10.
Ernits, Peeter
11.
Ernits, Raigo
12.
Ernits, Ülle
13.
Aare, Juhan
14.
Aguraiuja, Juhan
15.
Ahas, Juhan
16.
Anvelt, Juhan
17.
Habicht, Juhan
18.
Haravee, Juhan
19.
Hellerma, Juhan
20.
Hinnov, Juhan
21.
Hint, Juhan
22.
Härm, Juhan
23.
Idnurm, Juhan
24.
Illend, Juhan Edvard
25.
Jaik, Juhan
26.
Javoiš, Juhan
27.
Juul, Juhan
28.
Kahk, Juhan
29.
Kangilaski, Juhan
30.
Karin, Juhan
31.
Kilumets, Juhan
32.
Kivirähk, Juhan
33.
Kreem, Juhan
34.
Kuusk, Mart-Juhan
35.
Kõpp, Juhan
36.
Lang, Juhan
37.
Laugis, Juhan
38.
Loorits, Juhan
39.
Loskit, Juhan
40.
Maasing, Juhan
41.
Maidlo, Juhan
42.
Maiste, Juhan
43.
Masing, Juhan
44.
Mellik, Juhan
45.
Nurme, Juhan
46.
Oidermaa, Jaan-Juhan
47.
Oldermaa, Jaan-Juhan
48.
Paadam, Juhan
49.
Parts, Juhan
50.
Pruuden, Juhan
51.
Põldroos, Juhan
52.
Pürjer, Juhan
53.
Raud, Juhan
54.
Rehand, Juhan
55.
Reimand, Juhan
56.
Ruut, Juhan
57.
Saare, Juhan
58.
Sein, Juhan
59.
Sengbuš, Juhan
60.
Sillaste, Juhan
61.
Soss, Juhan
62.
Subbi, Juhan
63.
Sõerd, Juhan
64.
Tamme, Juhan
65.
Teder, Juhan
66.
Tellinen, Juhan
67.
Terasmaa, Juhan
68.
Tomberg, Juhan
69.
Toomaspoeg, Juhan
70.
Tork, Juhan
71.
Truuväli, Eerik-Juhan
72.
Uustla, Juhan
73.
Vaabel, Juhan
74.
Valge, Juhan
75.
Valtin, Juhan
76.
Veelman, Juhan
77.
Vendelin, Juhan
78.
Virkus, Ants-Juhan
79.
Värk, Juhan
80.
Aaviksoo, Peep
81.
Christjanson, Peep
82.
Eomois, Peep
83.
Jonas, Peep
84.
Kalamäe, Peep
85.
Kalv, Peep
86.
Kildjer, Peep
87.
Konts, Peep
88.
Koppel, Peep
89.
Kroos, Peep
90.
Krusberg, Peep
91.
Kuslap, Peep
92.
Käiss, Peep
93.
Küngas, Peep
94.
Laja, Peep
95.
Lassmann, Peep
96.
Lauk, Peep
97.
Leppik, Peep
98.
Martverk, Peep
99.
Miidla, Peep
100.
Männik, Peep
101.
Nemvalts, Peep
102.
Pahv, Peep
103.
Palumaa, Peep
104.
Peep, Viljar
105.
Pihelo, Peep
106.
Pihotalo, Peep
107.
Pillak, Peep
108.
Pitk, Peep
109.
Raik, Peep
110.
Rausberg, Peep
111.
Siitam, Peep
112.
Sirge, Peep-Aarne
113.
Sooman, Peep
114.
Sürje, Peep
115.
Talimaa, Peep
116.
Teder, Peep
117.
Tobreluts, Peep
118.
Tomingas, Peep
119.
Uba, Peep
120.
Uudeküll, Peep
121.
Varju, Peep
CV
46
1.
Ernits, Juhan-Peep 1974
2.
Ernits, Juhan
3.
Ernits, Andres
4.
Ernits, Kaia 1978
5.
Anvelt, Juhan 1956-2020
6.
Erton, Juhan 1910-1974
7.
Habicht, Juhan 1954
8.
Idnurm, Juhan 1972
9.
Illend, Juhan Edvard
10.
Illend, Juhan-Eduard 1943-2005
11.
Jaaguste, Juhan 1907
12.
Kalm, Juhan 1884-1953
13.
Kuusk, Mart-Juhan 1939
14.
Laugis, Juhan 1938-2010
15.
Maasing, Juhan
16.
Masing, Juhan 1917-1982
17.
Nurme, Juhan
18.
Oja, Juhan 1885-1965
19.
Reimand, Juhan 1987
20.
Sengbusch, Juhan
21.
Sengbuš, Juhan 1935-1997
22.
Sillaste, Juhan 1943-2017
23.
Tamme, Juhan 1946
24.
Teder, Juhan 1960
25.
Tellinen, Juhan 1949
26.
Toomaspoeg, Juhan 1917-1997
27.
Vaabel, Juhan 1899-1971
28.
Valtin, Juhan 1947
29.
Virkus, Ants-Juhan 1935
30.
Christjanson, Peep 1940
31.
Eomois, Peep 1955
32.
Jonas, Peep 1957
33.
Kalv, Peep 1934-2002
34.
Koppel, Peep
35.
Kroos, Peep 1944
36.
Krusberg, Peep 1962
37.
Kuslap, Peep 1956-1990
38.
Martverk, Peep 1939
39.
Männik, Peep 1954
40.
Palumaa, Peep 1959
41.
Peep, Viljar 1969
42.
Pihelo, Peep 1966
43.
Pitk, Peep 1984
44.
Sürje, Peep 1945-2013
45.
Teder, Peep-Teofil 1934
46.
Tomingas, Peep
tema kohta
45
1.
Ernits, Juhan-Peep
2.
Aare, Juhan, 1948-2021
3.
Aare, Juhan, 1948-2021
4.
Aguraiuja, Juhan
5.
Idnurm, Juhan, 1972-
6.
Illend, Juhan Edvard
7.
Jaik, Juhan
8.
Kahk, Juhan, 1928-1998
9.
Kukk, Juhan, 1885-1942
10.
Kukk, Toomas Juhan, 1941-
11.
Laugis, Juhan, 1938-2010
12.
Liivet, Juhan-Karl, 1942-
13.
Loorits, Juhan
14.
Masing, Juhan, 1917-1982
15.
Parts, Juhan
16.
Peegel, Juhan, 1919-2007
17.
Reimand, Juhan
18.
Ross, Juhan, 1925-2002
19.
Ruut, Juhan
20.
Teder, Juhan
21.
Telgmaa, Juhan
22.
Toomaspoeg, Juhan
23.
Toomaspoeg, Juhan, 1917-1997
24.
Vaabel, Juhan, 1899-1971
25.
Valtin, Juhan
26.
Vasar, Heino-Juhan, 1942-2009
27.
Virkus, Ants-Juhan, 1935-
28.
Värk, Juhan
29.
Christjanson, Peep
30.
Jonas, Peep
31.
Jonas, Peep, 1957-
32.
Jänes, Peep
33.
Kalv, Peep, 1934-2002
34.
Küngas, Peep
35.
Lauk, Peep
36.
Leppik, Peep, 1941-
37.
Martvek, Peep
38.
Martverk, Peep
39.
Männik, Peep, 1954-
40.
Palumaa, Peep, 1959-
41.
Pihelo, Peep
42.
Pitk, Peep
43.
Sürje, Peep
44.
Sürje, Peep, 1945-2013
45.
Teder, Peep, 1934-
märksõna
1
1.
Juhan Kuusi Dokfoto keskus
×
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