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/218)
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
124
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.
Raidal, Juhan
54.
Raud, Juhan
55.
Rehand, Juhan
56.
Reimand, Juhan
57.
Ruut, Juhan
58.
Saare, Juhan
59.
Sein, Juhan
60.
Sengbuš, Juhan
61.
Sillaste, Juhan
62.
Soss, Juhan
63.
Subbi, Juhan
64.
Sõerd, Juhan
65.
Tamme, Juhan
66.
Teder, Juhan
67.
Tellinen, Juhan
68.
Terasmaa, Juhan
69.
Tomberg, Juhan
70.
Toomaspoeg, Juhan
71.
Tork, Juhan
72.
Truuväli, Eerik-Juhan
73.
Tuppits, Juhan
74.
Uustla, Juhan
75.
Vaabel, Juhan
76.
Valge, Juhan
77.
Valtin, Juhan
78.
Veelman, Juhan
79.
Vendelin, Juhan
80.
Virkus, Ants-Juhan
81.
Värk, Juhan
82.
Aaviksoo, Peep
83.
Christjanson, Peep
84.
Eomois, Peep
85.
Jonas, Peep
86.
Kalamäe, Peep
87.
Kalv, Peep
88.
Kildjer, Peep
89.
Konts, Peep
90.
Koppel, Peep
91.
Kroos, Peep
92.
Krusberg, Peep
93.
Kuslap, Peep
94.
Käiss, Peep
95.
Küngas, Peep
96.
Laja, Peep
97.
Lassmann, Peep
98.
Lauk, Peep
99.
Leppik, Peep
100.
Martverk, Peep
101.
Miidla, Peep
102.
Männik, Peep
103.
Nemvalts, Peep
104.
Pahv, Peep
105.
Palumaa, Peep
106.
Peep, Viljar
107.
Pihelo, Peep
108.
Pihotalo, Peep
109.
Pillak, Peep
110.
Pitk, Peep
111.
Raik, Peep
112.
Rausberg, Peep
113.
Siitam, Peep
114.
Sirge, Peep-Aarne
115.
Sooman, Peep
116.
Sürje, Peep
117.
Talimaa, Peep
118.
Teder, Peep
119.
Teder, Peep-Teofil
120.
Tobreluts, Peep
121.
Tomingas, Peep
122.
Uba, Peep
123.
Uudeküll, Peep
124.
Varju, Peep
CV
48
1.
Ernits, Juhan-Peep
2.
Ernits, Juhan
3.
Ernits, Andres
4.
Ernits, Kaia
5.
Ernits, Margus
6.
Anvelt, Juhan 1956-2020
7.
Erton, Juhan 1910-1974
8.
Habicht, Juhan
9.
Idnurm, Juhan
10.
Illend, Juhan Edvard
11.
Illend, Juhan-Eduard 1943-2005
12.
Jaaguste, Juhan 1907-?
13.
Kalm, Juhan 1884-1953
14.
Kuusk, Mart-Juhan
15.
Laugis, Juhan 1938-2010
16.
Maasing, Juhan
17.
Masing, Juhan 1917-1982
18.
Nurme, Juhan 1939-2016
19.
Oja, Juhan 1885-1965
20.
Reimand, Juhan
21.
Sengbusch, Juhan
22.
Sengbuš, Juhan 1935-1997
23.
Sillaste, Juhan 1943-2017
24.
Tamme, Juhan
25.
Teder, Juhan
26.
Tellinen, Juhan
27.
Toomaspoeg, Juhan 1917-1997
28.
Vaabel, Juhan 1899-1971
29.
Valtin, Juhan
30.
Virkus, Ants-Juhan
31.
Christjanson, Peep
32.
Eomois, Peep
33.
Jonas, Peep
34.
Kalv, Peep 1934-2002
35.
Koppel, Peep
36.
Kroos, Peep
37.
Krusberg, Peep
38.
Kuslap, Peep 1956-1990
39.
Martverk, Peep
40.
Männik, Peep
41.
Palumaa, Peep
42.
Peep, Viljar
43.
Pihelo, Peep
44.
Pitk, Peep
45.
Sürje, Peep 1945-2013
46.
Teder, Peep-Teofil
47.
Teder, Teofil-Peep
48.
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