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
Näks, Tõnu (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
22
Vaata veel..
(3/127)
Ekspordi
ekspordi kõik päringu tulemused
(22)
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
A method and a tool for formal timing analysis of OMT design
Mõtus, Leo
;
Näks, Tõnu
IFAC/IFIP 21st Workshop on Real-time Programming, Gramado, Brazil, November 1996
1996
/
[25] p
artikkel kogumikus
2
artikkel kogumikus
Compilation of heterogeneous models : motivations and challenges
Bordin, Matteo
;
Näks, Tõnu
;
Toom, Andres
;
Pantel, Marc
ERTS2 2012 : Embedded Real Time Software and Systems : [1st - 3rd February 2012, Toulouse, France : proceedings]
2012
/
[10 p.]
artikkel kogumikus
3
artikkel kogumikus
Compilation of heterogeneous models : motivations and challenges
Bordin, Matteo
;
Näks, Tõnu
;
Toom, Andres
;
Pantel, Marc
6th European Congress ERTS2 2012 : Embedded Real Time Software and Systems : 1-3 February 2012, Touluse, France : book of abstracts
2012
/
p. 147
artikkel kogumikus
4
artikkel kogumikus
Design of real-time systems using timed object modelling
Näks, Tõnu
The 3rd Baltic Summer School on Information Technology and Systems Engineering, 1-5 August, 1995, Klaipeda : theses
1995
/
p. 43-47
artikkel kogumikus
5
artikkel kogumikus
Enhancing object modelling technique with timing analysis capabilities
Mõtus, Leo
;
Kinksaar, Riho
;
Näks, Tõnu
;
Pall, Martin
First IEEE International Conference on Engineering Complex Computer Systems : Ft. Lauderdale, Florida, USA, November 6-10, 1995
1995
/
p. 298-301
artikkel kogumikus
6
artikkel ajakirjas
Formal timing analysis of OMT designs using LIMITS
Mõtus, Leo
;
Näks, Tõnu
Computer systems science and engineering
1998
/
3, p. 161-170 : ill
artikkel ajakirjas
7
artikkel kogumikus
Formal timing analysis of OMT designs using LIMITS
Mõtus, Leo
;
Näks, Tõnu
Third International Workshop on Object-Oriented Real-Time Dependable Systems, February5-7, 1997, Newport Beach, California, USA
1997
/
p. 137-144
artikkel kogumikus
8
artikkel kogumikus
Gene-auto : an automatic code generator for a safe subset of Simulink/Stateflow and Scicos
Toom, Andres
;
Näks, Tõnu
;
Pantel, M.
;
Gandriau, M.
;
Wati, I.
Embedded Real Time Software : ERTS 2008 : Toulouse, France
2008
https://www.researchgate.net/publication/302984605_Gene-Auto_an_Automatic_Code_Generator_for_a_safe_subset_of_SimulinkStateflow_and_Scicos
artikkel kogumikus
9
artikkel kogumikus
Handling timing in a time-critical reasoning system - a case study
Mõtus, Leo
;
Näks, Tõnu
Postprints of IFAC Symposium on Artificial Intelligence in Real-time Control : Grand Canyon, Arizona, USA
1999
/
p. 67-75
artikkel kogumikus
10
artikkel ajakirjas
Handling timing in a time-critical reasoning system - a case study
Näks, Tõnu
;
Mõtus, Leo
Annual reviews in control
2001
/
p. 157-168
https://www.sciencedirect.com/science/article/pii/S1367578801000153
artikkel ajakirjas
11
artikkel kogumikus
Information and communication technologies within e-maintenance
Arnaiz, Aitor
;
Iung, Benoit
;
Adgar, Adam
;
Näks, Tõnu
;
Tohver, Avo
;
Tommingas, Toomas
;
Levrat, Eric
E-maintenance
2010
/
p. 39-60
https://www.researchgate.net/publication/281922080_Information_and_Communication_Technologies_Within_E-maintenance
artikkel kogumikus
12
artikkel ajakirjas
Koodigeneraatorid programmeerija tööpõllul
Näks, Tõnu
Arvutimaailm
2007
/
6, lk. 70-72
artikkel ajakirjas
13
artikkel kogumikus
LIMITS - OMT with timing analysis support
Näks, Tõnu
Workshop on Tool Support for System Development and Verification, Bremen, June 1996
1996
artikkel kogumikus
14
artikkel kogumikus
Model transformations in the Gene-Auto Automatic Code Generation
Toom, Andres
;
Näks, Tõnu
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja
2008
/
p. 126-129 : ill
artikkel kogumikus
15
artikkel kogumikus
Real-time behaviour verification, animation and monitoring starting from DCCS specification
Mõtus, Leo
;
Näks, Tõnu
DCCS 2000 : 16th IFAC Workshop on Distributed Computer Control Systems : Sydney, Australia 29 Nov - 1 Dec 2000 : pre-prints
2000
/
p. 85-92
artikkel kogumikus
16
artikkel kogumikus
Software infrastructure models for automatic code generation
Näks, Tõnu
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
2007
/
lk. 88-90 : ill
artikkel kogumikus
17
artikkel ajalehes
Tehnikaülikooli innovatsioonikeskus avas internetilabori : [kommenteerivad TTÜ innovatsioonikeskuse tegevdirektor Raivo Tamkivi ning tarkvara ja süsteemiarendusfirma IB Kratese arendusjuht Tõnu Näks]
Tamkivi, Raivo
;
Näks, Tõnu
;
Uljas, Harli
Postimees
2000
/
29. juuni, lk. 11
artikkel ajalehes
18
artikkel kogumikus
Time models as used in Q-model and suggested for RT UML
Mõtus, Leo
;
Näks, Tõnu
World Multiconference on Systemics, Cybernetics and Informatics : July 22-25, 2001 : proceedings. Volume XI, Information Systems Technology
2001
/
p. 467-472
artikkel kogumikus
19
artikkel kogumikus
Timing analysis in OO system life-cycles
Mõtus, Leo
;
Näks, Tõnu
;
Holt, Jon D.
Proceedings : First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98) : April 20-22, 1998, Kyoto, Japan
1998
/
p. 327-334
artikkel kogumikus
20
artikkel kogumikus
Towards reliable code generation with an open tool : evolutions of the gene-auto toolset
Toom, Andres
;
Izerrouken, N.
;
Näks, Tõnu
;
Pantel, M.
;
Ssi Yan Kai, O.
5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems : 19-21 May 2010, Toulouse, France
2010
/
[10] p
https://hal.science/hal-02267640/document
artikkel kogumikus
21
artikkel ajakirjas
Towards reliable code generation with an open tool : evolutions of the Gene-Auto toolset
Toom, Andres
;
Izerrouken, N.
;
Näks, Tõnu
;
Pantel, M.
;
Ssi Yan Kai, O.
Ingénieurs de l'Automobile
2010
/
p. 29-35
https://hal.science/hal-02267640/document
artikkel ajakirjas
22
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Using spark to ensure system to software integrity : a case study
Näks, Tõnu
;
Aiello, M.A.
;
Taft, S.T.
Ada user journal
2019
/
p. 226-229 : ill
https://www.ada-switzerland.ch/doc/auj/auj-40-4.pdf
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 22, kuvan
1 - 22
autor
78
1.
Näks, Tõnu
2.
Näks, Küllike
3.
Näks, Mihkel
4.
Aav, Tõnu
5.
Einasto, Tõnu
6.
Feldmann, Tõnu
7.
Jõesaar, Tõnu
8.
Järveots, Tõnu
9.
Kaalep, Tõnu
10.
Karjatse, Tõnu
11.
Kees, Tõnu
12.
Kelder, Tõnu
13.
Keskküla, Tõnu
14.
Koger, Tõnu
15.
Kollo, Tõnu
16.
Korrol, Tõnu
17.
Kumari, Tõnu
18.
Kurissoo, Tõnu
19.
Kutsar, Tõnu
20.
Laas, Tõnu
21.
Lausmaa, Tõnu
22.
Leemet, Tõnu
23.
Lehtla, Tõnu
24.
Lehtsaar, Tõnu
25.
Lelumees, Tõnu
26.
Lember, Tõnu
27.
Ligi, Tõnu
28.
Liik, Tõnu
29.
Lilleorg, Tõnu
30.
Lohuaru, Tõnu
31.
Lumberg, Tõnu
32.
Lume, Tõnu
33.
Luunja, Tõnu
34.
Malsub, Tõnu
35.
Martma, Tõnu
36.
Mauring, Tõnu
37.
Meidla, Tõnu
38.
Mertsina, Tõnu
39.
Metsäär, Tõnu
40.
Must, Tõnu
41.
Mägi, Tõnu
42.
Oja, Tõnu
43.
Ojala, Tõnu
44.
Peipman, Tõnu
45.
Pihelgas, Tõnu
46.
Pihu, Tõnu
47.
Pilli, Tõnu
48.
Püssa, Tõnu
49.
Reintamm, Tõnu
50.
Roolaht, Tõnu
51.
Roosaar, Tõnu
52.
Ruus, Tõnu
53.
Seero, Tõnu
54.
Soop, Tõnu
55.
Suurkuusk, Tõnu
56.
Talivee, Tõnu
57.
Talvar, Tõnu
58.
Tamm, Tõnu
59.
Tamme, Tõnu
60.
Tannberg, Tõnu-Andrus
61.
Tender, Tõnu
62.
Tomberg, Tõnu
63.
Tooming, Tõnu
64.
Toompark, Tõnu
65.
Tramm, Tõnu
66.
Treu, Tõnu
67.
Trumm, Tõnu
68.
Trump, Tõnu
69.
Tuvikene, Tõnu
70.
Tõnso, Tõnu
71.
Tõnutare, Tõnu
72.
Vaher, Tõnu
73.
Vaidloo, Tõnu
74.
Veldre, Tõnu
75.
Viik, Tõnu
76.
Vilipuu, Tõnu
77.
Õnnepalu, Tõnu
78.
Ülemaante, Tõnu
tema kohta
26
1.
Altosaar, Tõnu, 1943-
2.
Esko, Tõnu
3.
Esko, Tõnu, 1985-
4.
Kark, Tõnu
5.
Kasikov, Tõnu
6.
Kauba, Tõnu
7.
Koger, Tõnu, 1944-2004
8.
Kõrvits, Tõnu
9.
Lehtla, Tõnu, 1947-
10.
Lelumees, Tõnu
11.
Liik, Tõnu
12.
Martma, Tõnu, 1955-
13.
Meidla, Tõnu, 1959-
14.
Peipman, Tõnu
15.
Pihelgas, Tõnu
16.
Pihu, Tõnu
17.
Raimla, Tõnu
18.
Ruus, Tõnu
19.
Talivee, Tõnu
20.
Talpsep, Tõnu
21.
Tamm, Tõnu, 1941-2004
22.
Tomberg, Tõnu
23.
Toompark, Tõnu
24.
Trump, Tõnu
25.
Viik, Tõnu
26.
Viik, Tõnu, 1968-
CV
23
1.
Näks, Tõnu 1971
2.
Arulaane, Tõnu 1954
3.
Kelder, Tõnu 1948
4.
Keskküla, Tõnu 1938-2011
5.
Koger, Tõnu 1944-2004
6.
Kumari, Tõnu
7.
Kurissoo, Tõnu
8.
Lausmaa, Tõnu 1941
9.
Lehtla, Tõnu 1947
10.
Ligi, Tõnu 1958
11.
Lohuaru, Tõnu 1939
12.
Lumberg, Tõnu 1956
13.
Martma, Tõnu 1955
14.
Must, Tõnu-Aare 1942
15.
Peipman, Tõnu 1955
16.
Pihu, Tõnu 1957
17.
Reintamm, Tõnu 1963
18.
Roosaar, Tõnu 1978
19.
Ruus, Tõnu 1940-2019
20.
Suurkuusk, Tõnu 1940
21.
Tomberg, Tõnu 1963
22.
Trumm, Tõnu 1955
23.
Trump, Tõnu 1961
×
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