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
Ernits, Juhan-Peep (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
38
Look more..
(4/213)
Export
export all inquiry results
(38)
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
26
book article
(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
book article
27
newspaper article
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
newspaper article
28
journal article
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
journal article
29
book article
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
book article
30
book article
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
book article
31
book article
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
book article
32
book article
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
book article
33
newspaper article
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
newspaper article
34
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
35
newspaper article
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
newspaper article
36
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
37
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
38
book article
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
book article
Number of records 38, displaying
26 - 38
previous
1
2
next
author
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
name of the person
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-
subject term
1
1.
Juhan Kuusi Dokfoto keskus
×
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