[ sulge aken ]
| Elulookirjeldus (CV) | ||
| 1. | Eesnimi | Enn |
| 2. | Perekonnanimi | Tõugu |
| 3. | Töökoht | TTÜ Küberneetika Instituut |
| 4. | Ametikoht | juhtivteadur |
| 5. | Sünniaeg | 20.05.1935 (päev.kuu.aasta) |
| 6. | Haridus | arvutustehnika insener - Leningradi Polütehniline Instituut, 1961 masinaehituse insener - Tallinna Polütehniline Instituut, 1958 |
| 7. | Teenistuskäik | Insener-konstruktor - Tallinna Ekskavaatoritehas 1956 - 1959 Teadur, laboratooriumi juhataja, osakonna juhataja – 1959 - 1976 Elektrotehnika Teadusliku Uurimise Instituut Osakonna juhataja – Eesti TA Küberneetika Instituut 1976 - 1986. Akadeemik sekretär – Eesti TA Informaatika ja 1985 - 1991 Tehnikateaduste Osakond Asedirektor – NL Teaduse- ja Tehnikakomitee Projekt START 1986 - 1989 Professor - Rootsi Kuninglik Tehnikaülikool, Stockholm 1992 - 2000 Vanemteadur - Küberneetika Instituut, 1992 - 2005 Juhtivteadur- Küberneetika Instituut, 2005 - Professor – EBS, Tallinn, 2000 - 2000 - ... |
| 8. | Teaduskraad | tehnikadoktor |
| 9. | Teaduskraadi välja andnud asutus, aasta |
Leningradi Elektrotehnika Instituut, 1973. |
| 10. | Tunnustused | Eesti NSV Riiklik Preemia, 1967 NL Riiklik Preemia, 1987 Eesti Teaduste Akadeemia medal 1995 Valgetähe teenetemärk III kl, 2001 |
| 11. | Teadusorganisatsiooniline ja –administratiivne tegevus |
Eesti Teaduste Akadeemia juhatuse liige toimetused: Knowledge-Based Systems (Elsevier) - advisory editorial Computing and Informatics (Slovac Acad. Sci.)- editorial |
| 12. | Juhendamisel kaitstud väitekirjad |
Ando Saabas, MSc, 2004, juh. E. Tõugu. Framework for design and implementation of visual languages. Küberneetika Instituut Sven Lämmermann, PhD, 2002, juh. E. Tõugu. Runtime service composition via logic-based program synthesis. KTH (Kungliga Tekniska Högskolan) Yuexiao Zhao, MSc, 1999, juh. E. Tõugu. Software for elderly people. KTH (Kungliga Tekniska Högskolan) Tarmo Uustalu, PhD, 1998, juh. E. Tõugu. Natural deduction for intuitionistic least and greatest fixpoint logics, with an application to program construction. KTH (Kungliga Tekniska Högskolan) Diana Sidarkeviciute, MSc, 1997, juh. E. Tõugu. Declarative approach to software visualisation. KTH (Kungliga Tekniska Högskolan) Merike Koov, cand, 1989, juh. E. Tõugu. Programmide sünteesiga ekspertsüsteemid. Küberneetika Instituut Hele-Mai Haav, cand, 1988, juh. E. Tõugu. Funktsionaalse andmemudeli realiseerimine. Küberneetika Instituut Kestutis Urbaitis, cand, 1988, juh. E. Tõugu. Arvutusre korraldamine automaatselt sünteesitud objekt-orienteeritud programmidega. Küberneetika Instituut Benjamin Voloz, cand, 1987, juh. E. Tõugu. Dialoogi stsenaariumid . Küberneetika Instituut Boris Raihlin, cand, 1986, juh. E. Tõugu. Operatsioonisüsteemi OS ES võimaluste laiendamine . Moskva Riiklik Ülikool Peep Eomois, cand, 1986, juh. E. Tõugu. Programmide mitmetasemeline deduktiivne süntees. Küberneetika Instituut Aleksander Smundak, cand, 1985, juh. E. Tõugu. Mobiilne programmide süntesaator. Küberneetika Instituut Jaak Pahapill, cand, 1985, juh. E. Tõugu. Hüdromehaanika modelleerimise programmipaketid. Küberneetika Instituut Jaan Penjam, cand, 1984, juh. E. Tõugu. Probleem orienteeritud keelte semantika automaatne realiseerimine. Küberneetika Instituut Mait Harf, cand, 1984, juh. E. Tõugu. Programmide struktuurse sünteesi uurimine ja realiseerimine. Küberneetika Instituut Mihhail Matskin, cand, 1984, juh. E. Tõugu. Tehisintellekti rakendamine programmeerimiskeskkondades. Küberneetika Instituut Ahto Kalja, cand, 1983, juh. E. Tõugu. Rakendusvaldkonna mudeliga ühtiv andmebaaside juhtsüsteem. Küberneetika Instituut Milvi Kahro, cand, 1982, juh. E. Tõugu. Programmide automaatse sünteesiga programmeerimskeskkond . Küberneetika Instituut Ants Varjas, cand, 1978, juh. E. Tõugu. Arvutusmudelite uurimine ja kasutamine tehnoloogia projekteerimises. Küberneetika Instituut Mati Männisalu, cand, 1977, juh. E. Tõugu. Tehnoloogia projekteerimise automatiseerimine. Valgevene TA Tehnilise Küberneetika Instituut |
| 13. | Teadustöö põhisuunad | Programmide automaatne süntees - struktuurne süntees, teenuste süntees. Visuaalsed spetsifitseerimiskeeled ja nende realiseerimine. Kõrgtaseme programmeerimisvahendid ja -keeled - Java. Teadmussüsteemid |
| 14. | Jooksvad grandid | Laiendatav visuaalne spetsifitseerimiskeel koos tugikeskkonnaga, leping nr. 5400. |
| 15. | Teaduspublikatsioonid |
E. Tyugu. Understanding Knowledge Architectures. Knowledge-Based Systems. Vol. 19, No. 1, 2006, p. 50–56. M. Matskin, E. Tyugu. Logic for Higher-Order Workflow of Composite Web Services. Proc. Intl. Conference on Semantic Web and Web Services SWWS’06. CSREA Press, Las Vegas, 2006, p. 122 – 128. E. Tyugu. Describing Knowledge Architectures. Proc. 15th European Japanese Conference on Information Modelling and Knowledge Bases, Tallinn, 2005, p. 356 – 361. E. Tyugu. Metainterfaces Support Structural and Object-Oriented Software Composition. Proc. Intl. Conference on Software Engineering Research and Practice SERP’05. CSREA Press, Las Vegas, 2005, p. 189 – 192. E. Tyugu, M. Matskin. Logical Instruments for Dynamic Service composition. Proc. Intl. Symposium on Web Services and Applications ISWS’05. CSREA Press, Las Vegas, 2005, p. 87 – 93. P. Grigorenko, A. Saabas, E. Tyugu. COCOVILA - Compiler-Compiler for Visual Languages. Proc. of the 5th Workshop on Language Descriptions, Tools and Applications, 2005. To appear in Electronic Notes in Theoretical Computer Science, Elsevier. P. Grigorenko, A. Saabas, E. Tyugu. Visual Tool for Generative Programming. Proc. of the Joint 10th European Software Engineering Conference (ESEC) and the 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13). ACM Press, 2005, p. 249 – 252. E. Tyugu. Knowledge systems as architectural componets. In: V. Stefanuk, K. Kaijiri (eds.) Proc. Sixth Joint Conference on Knowledge-Based Software Engineering. Frontiers in Artificial Intelligenceand Applications, vol. 108. IOS Press, Amsterdam, 2004, p. 199 – 206. E. Tyugu. Modularity of knowledge. Proc. International Conference on Artificial Intelligence IC-AI´2004, Las Vegas, CSREA Press, June 2004, p. 295 - 301. A. Mägi, E. Tõugu. TPI 50 aatat tagasi.Kogumikus: Ühe masinaehitajate rühma lugu. TTÜ, Tallinn, 2003, lk. 18 - 44. E.Tõugu. Arvutus- ja muud masinad. Kogumikus: Ühe masinaehitajate rühma lugu. TTÜ, Tallinn, 2003, lk. 97 - 106. E. Tõugu. Kas aednike ja tuletõrjujate teadus? Eesti Ekspress, 6. märts 2003. E.Tõugu. Ühe arvuti lugu. Kogumikus: Ühe masinaehitajate rühma lugu. TTÜ, Tallinn, 2003, lk. 107 - 111. E. Tyugu, A. Saabas. Problems of visual specification languages. Proc 35th International Conference on IT + SE, Gurzuf, May 2003, p. 155 - 157. E. Tyugu. Formalization of knowledge systems. Proc. International Conference on Artificial Intelligence IC-AI´2003, Las Vegas, CSREA Press, June 2003, p. 654 - 658. E. Meister, J. Penjam, E. Tyugu. Rakendusi reaal- ja humanitaarteaduste sümbioosist. Kogumikus: Teadusmõte Eestis. 2002, Tallinn, p. 77 -81. Enn Tyugu. Programming languages and specification languages. In: Handbook of IT management (Estonian). 2002, Tallinn, 10.2, p.1 - 14. S. Lämmermann, E. Tyugu. A Composition Language with Precise Logical Semantics. Proc. ECOOP´2002 Workshop on Composition Languages, Malaga, Spain. 2002. S. Lämmermann, E. Tyugu. Computaional Frames as Metaintefaces. Proc. International Conference on Artificial Intelligence IC-AI´2002, Las Vegas, CSREA Press, 2002, p. 1094 - 1099. S. Lämmermann, E. Tyugu. Implementing Extended Structural Synthesis of Programs. In: Proc. AAAI 2002 Spring Symposium Series on Logic-Based Program Synthesis: State of the Art and Future Trends. AAAI Press, April 2002, p. 63 - 71. M. Harf, K. Kindel, V. Kotkas, P. Kungas and E. Tyugu. Automated Program Synthesis in a Distributed Environment. Preliminary Proc. A. Ershov 4th International Conference Perspectives of System Informatics, July 2001, Novosibirsk, Russia, p. 85 - 87. M. Matskin, E. Tyugu. Declarative reflection support in multi-agen systems. Proc. of the International Conference on Artificial Intelligence IC-AI´2001, v. 1, CSRA Press, 2001, p. 22 - 28. M. Matskin, E. Tyugu. Strategies of Structural Synthesis of Programs and Its Extensions. Computing and Informatics. v.20, 2001, p.1 -25. R. Hall, E. Tyugu. Guest Editorial. Automated Software Engineering, v. 8, No. 1. 2001, p. 5 - 6. S. Laemmermann, E. Tyugu. A Specification Logic for Dynamic Composition of Services. Proc. 21st IEEE International conference on Ditributed Computing Systems, Mesa, Arizona, 16-19 April 2001, p. 157-162. S. Laemmermann, E. Tyugu, V. Vlassov. Concurrent implementaton of structurally synthesized programs. Proc. PAC´2001, September 2001, LNCS 2127, p. 277-284. E. Tyugu. A specification logic for reconfigurable computing. Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000). June, 2000, Las Vegas, Nevada, USA, p. 197 - 202. E. Tyugu. Which IT qualification we need today and in the future. Proc. Intl. Conf. on IT Skills & Vocational Certifiation.Tallinn, Jan. 2000, p. 8 - 11 (Estonian), p. 8 - 11. Paradoxes of the science of a small coutry. Eesti paevaleht, 2000-03-23 (Estonian) S. Laemmermann, E. Tyugu. Synthesis of large programs for Java. Proc. Complex Systems (CSC&M) 2000, June 2000, Samara, Russia, p. 28 - 34. V. Kotkas, J. Penjam, E. Tyugu. Ontology-based design of surveillance systems with NUT. Proc. 3rd International Fusion 2000 Conference. Paris, July 2000, p. 3 - 9. E. Tyugu, M. Matskin, J. Penjam. Applications of structural synthesis of programs. In: J. Wing, J. Woodcock, J. Davies (Eds.) FM`99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, Sept. 1999. vol. I, LNCS No. 1708, Springer, 1999, p. 551 - 569. E. Tyugu. Which logic to use for program specifications. Abstracts of the 1st ST. Petrsburg Days of Logic. Euler International Mathematical Inst. 1999, p. 37 - 38. E. Tyugu, Y. Zhao. Intelligent Personal Assistants for Senior Citizens. TRITA-IT/R 99:06, KTH, 1999. M. Matskin, E. Tyugu. Agent architectures for electronic assistance and commerce. Proc. FenoUgric Symposium on Software Technology FUSSTÕ99.Tallinn Techn. Univ. 1999, p. 163 - 177. M. Matskin, E. Tyugu. Shells for Multi-Agent Applications, TR IDI 4/99, NTNU, March 1999. M.Matskin, E. Tyugu. Structural synthesis of programs and its extensions. TRITA-IT/R 99:03, KTH, March 1999. P. Lorents, E. Tyugu. Infowar - a new face of the war. Computer World, Nov. 1999, 54 - 55 (Estonian) E. Töugu. Early Days of Informatics in Estonia. Estonian Academy of Sciences: Surveys and Memories 1938 - 1998. Tallinn, 1998, p. 94 - 98. (Estonian). E. Töugu. The Java Phenomenon. A & A, No. 2, 1998, p. 4 - 7. (Estonian) E. Tyugu. From visual specifications to executable code. In: S. Demeyer, J. Bosch (eds.) Object-Oriented Technology. LNCS 1543. Springer. 1998, p. 499 - 501. E. Tyugu. On the border between functional programming and program synthesis. Proc. Estonian Academy of Sciences. Engineering, v. 4 1998, p. 119 - 129. V. Vlassov, M. Addibpour, E. Tyugu. NUTS: a Distributed Object-Oriented Platform with High Level Communication Functions. Computers and Artificial Intelligence, v. 17, No. 4, 1998, p. 305 - 335. Y. Zhao, E. Tyugu. Towards a personalized browser for elderly users. In: Poc. of the 4th ERCIM Workshop on "User Interfaces for Everybody", Stockholm, 1998 E. Tyugu, R. Valt. Visual programming in NUT. Journal of visual languages and programming, v. 8, 1997, p. 523 - 544. M. Addibpour, E. Tyugu. Agent shell architecture. Proc. AIICSR'97, 1997, p. 143 - 153. M. Matskin, E.Tyugu. Straregies of structural synthesis of programs. Proc. ASE'97, IEEE Comp. Society, 1997, p. 305 - 306. V. Vene, T. Uustalu, E. Tyugu. Logical semantics of NUT extended with production rules. J. Paakki (ed.) Proc. 5-th Symposium on Programming Languages and Software Tools. Jyväskylä, Finland, May 1997, p. 145 - 154. Diana Sidarkeviciute, Enn Tyugu, Ago Kuusik. A Knowledge-based Toolkit for Software Visualisation. KBSE'96. 1996. M. Addibpour, E. Tyugu. Declarative reflection tools for agent shells. Future Generation Computer Systems. July 1996, p. 1 - 12. M. Addibpour, E. Tyugu. Structural synthesis of programs from refined user requirements. (Programming boiler control in NUT.) J-R Abrial et al (eds.) Formal Methods for Industrial Applications. LNCS 1165, Springer Verlag, 1996, p. 13 - 34. E. Tyugu. Declarative Reflection Tools for Agent Shells in NUT. Proc. Int. Workshop on Reflection. Montreal, August 1995. E. Tyugu. From Object-Oriented to Knowledge-Based Programming. Proc. KBSE'95. IEEE Computer Society Press, 1995, p, 88 - 95. B. Mayoh, J. Penjam, E. Tyugu (Eds.). Constraint programming. NATO ASI Series F: Computer and System Sciences, Vol. 131. Springer Verlag, 1994. B. Mayoh, J. Penjam, E. Tyugu, T. Uustalu. Introduction into constraint programming. Constraint programming. NATO ASI Series F: Computer and System Sciences, Vol. 131. Springer Verlag, 1994, 1 - 16. E. Tyugu. Large heterogeneous knowledge-bases. In: D. Michie, S. Muggelton, K. Furukawa (eds.) Machine Intelligence and Inductive Learning. Machine Intelligence v. 13. Oxford Press, 1994, 260 - 288. E. Tyugu, T. Uustalu. Higher-order functional constraint networks. Constraint programming. NATO ASI Series F: Computer and System Sciences, Vol. 131. Springer Verlag, 1994, 116 - 139. E. Tyugu. Using classes as specifications for automatic construction of programs in the NUT system. Journal of Automated Software Engineering, v. 1, 1994, 315 - 334. |
viimati muudetud: 15.09.2007
| Curriculum Vitae (CV) | ||
| 1. | First Name | Enn |
| 2. | Surname | Tõugu |
| 3. | Institution | Institute of Cybernetics |
| 4. | Position | principal researcher |
| 5. | Date of birth | 20.05.1935 (day.month.year) |
| 6. | Education | computer engineer- Leningrad Institute of Technology, 1961 mechanical engineer - Tallinn Institute of Technology, 1958 |
| 7. | Research and professional experience |
Engineer-designer of Tallinn Excavator Plant 1956 - 1959 Researcher, head of laboratory, of department of Electrotechnical Institute 1959 - 1976 Head of department of Institute of Cybernetics of Estonian Acad. Sci. 1976 - 1986 Learned Secretary of Branch of Informatics and Engineering of Estonian Acad. Sci. 1985 - 1991 Deputy Director of Project START, USSR State Committee of Science and Technology Professor of software engineering of KTH (Sweden) 1992 - 2000 Senior researcher at Institute of Cybernetics, 1992 - 2005 Principal researcher at Institute of Cybernetics, 2005 - Professor of information technology of Estonian Business School 2000 - ... |
| 8. | Academic degree | Doctor of Engineering |
| 9. | Dates and sites of earning the degrees |
Leningrad Electrotechnical Institute, 1973. |
| 10. | Honours/awards | State Award of the Esonian SSR, 1967 State Award of the USSR, 1987 Medal of the Estonian Academy of Sciences 1995 Order of the White Star 3rd class, 2001 |
| 11. | Research-administrative experience |
Member of Board of the Estonian Academy of Sciences member of: Knowledge-Based Systems (Elsevier) - advisory editorial board Computing and Informatics (Slovac Acad. Sci.)- editorial board |
| 12. | Supervised dissertations |
Ando Saabas, MSc, 2004, superv. E. Tõugu. Framework for design and implementation of visual languages. Küberneetika Instituut Sven Lämmermann, PhD, 2002, superv. E. Tõugu. Runtime service composition via logic-based program synthesis. KTH (Kungliga Tekniska Högskolan) Yuexiao Zhao, MSc, 1999, superv. E. Tõugu. Software for elderly people. KTH (Kungliga Tekniska Högskolan) Tarmo Uustalu, PhD, 1998, superv. E. Tõugu. Natural deduction for intuitionistic least and greatest fixpoint logics, with an application to program construction. KTH (Kungliga Tekniska Högskolan) Diana Sidarkeviciute, MSc, 1997, superv. E. Tõugu. Declarative approach to software visualisation. KTH (Kungliga Tekniska Högskolan) Merike Koov, cand, 1989, superv. E. Tõugu. Programmide sünteesiga ekspertsüsteemid. Küberneetika Instituut Hele-Mai Haav, cand, 1988, superv. E. Tõugu. Funktsionaalse andmemudeli realiseerimine. Küberneetika Instituut Kestutis Urbaitis, cand, 1988, superv. E. Tõugu. Arvutusre korraldamine automaatselt sünteesitud objekt-orienteeritud programmidega. Küberneetika Instituut Benjamin Voloz, cand, 1987, superv. E. Tõugu. Dialoogi stsenaariumid . Küberneetika Instituut Boris Raihlin, cand, 1986, superv. E. Tõugu. Operatsioonisüsteemi OS ES võimaluste laiendamine . Moskva Riiklik Ülikool Peep Eomois, cand, 1986, superv. E. Tõugu. Programmide mitmetasemeline deduktiivne süntees. Küberneetika Instituut Aleksander Smundak, cand, 1985, superv. E. Tõugu. Mobiilne programmide süntesaator. Küberneetika Instituut Jaak Pahapill, cand, 1985, superv. E. Tõugu. Hüdromehaanika modelleerimise programmipaketid. Küberneetika Instituut Jaan Penjam, cand, 1984, superv. E. Tõugu. Probleem orienteeritud keelte semantika automaatne realiseerimine. Küberneetika Instituut Mait Harf, cand, 1984, superv. E. Tõugu. Programmide struktuurse sünteesi uurimine ja realiseerimine. Küberneetika Instituut Mihhail Matskin, cand, 1984, superv. E. Tõugu. Tehisintellekti rakendamine programmeerimiskeskkondades. Küberneetika Instituut Ahto Kalja, cand, 1983, superv. E. Tõugu. Rakendusvaldkonna mudeliga ühtiv andmebaaside juhtsüsteem. Küberneetika Instituut Milvi Kahro, cand, 1982, superv. E. Tõugu. Programmide automaatse sünteesiga programmeerimskeskkond . Küberneetika Instituut Ants Varjas, cand, 1978, superv. E. Tõugu. Arvutusmudelite uurimine ja kasutamine tehnoloogia projekteerimises. Küberneetika Instituut Mati Männisalu, cand, 1977, superv. E. Tõugu. Tehnoloogia projekteerimise automatiseerimine. Valgevene TA Tehnilise Küberneetika Instituut |
| 13. | Current research program | Automatic program synthesis - structural synthesis of programs, synthesis of services. Visual specification languages and their implementation. Advanced programming tools and languages - Java. Knowledge systems |
| 14. | Current grant funding | Extendible visual specification language and its environment, grant no. 5400. |
| 15. | List of most important publications |
E. Tyugu. Understanding Knowledge Architectures. Knowledge-Based Systems. Vol. 19, No. 1, 2006, p. 50–56. M. Matskin, E. Tyugu. Logic for Higher-Order Workflow of Composite Web Services. Proc. Intl. Conference on Semantic Web and Web Services SWWS’06. CSREA Press, Las Vegas, 2006, p. 122 – 128. E. Tyugu. Describing Knowledge Architectures. Proc. 15th European Japanese Conference on Information Modelling and Knowledge Bases, Tallinn, 2005, p. 356 – 361. E. Tyugu. Metainterfaces Support Structural and Object-Oriented Software Composition. Proc. Intl. Conference on Software Engineering Research and Practice SERP’05. CSREA Press, Las Vegas, 2005, p. 189 – 192. E. Tyugu, M. Matskin. Logical Instruments for Dynamic Service composition. Proc. Intl. Symposium on Web Services and Applications ISWS’05. CSREA Press, Las Vegas, 2005, p. 87 – 93. P. Grigorenko, A. Saabas, E. Tyugu. COCOVILA - Compiler-Compiler for Visual Languages. Proc. of the 5th Workshop on Language Descriptions, Tools and Applications, 2005. To appear in Electronic Notes in Theoretical Computer Science, Elsevier. P. Grigorenko, A. Saabas, E. Tyugu. Visual Tool for Generative Programming. Proc. of the Joint 10th European Software Engineering Conference (ESEC) and the 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13). ACM Press, 2005, p. 249 – 252. E. Tyugu. Knowledge systems as architectural componets. In: V. Stefanuk, K. Kaijiri (eds.) Proc. Sixth Joint Conference on Knowledge-Based Software Engineering. Frontiers in Artificial Intelligenceand Applications, vol. 108. IOS Press, Amsterdam, 2004, p. 199 – 206. E. Tyugu. Modularity of knowledge. Proc. International Conference on Artificial Intelligence IC-AI´2004, Las Vegas, CSREA Press, June 2004, p. 295 - 301. A. Mägi, E. Tõugu. TPI 50 aatat tagasi.Kogumikus: Ühe masinaehitajate rühma lugu. TTÜ, Tallinn, 2003, lk. 18 - 44. E.Tõugu. Arvutus- ja muud masinad. Kogumikus: Ühe masinaehitajate rühma lugu. TTÜ, Tallinn, 2003, lk. 97 - 106. E. Tõugu. Kas aednike ja tuletõrjujate teadus? Eesti Ekspress, 6. märts 2003. E.Tõugu. Ühe arvuti lugu. Kogumikus: Ühe masinaehitajate rühma lugu. TTÜ, Tallinn, 2003, lk. 107 - 111. E. Tyugu, A. Saabas. Problems of visual specification languages. Proc 35th International Conference on IT + SE, Gurzuf, May 2003, p. 155 - 157. E. Tyugu. Formalization of knowledge systems. Proc. International Conference on Artificial Intelligence IC-AI´2003, Las Vegas, CSREA Press, June 2003, p. 654 - 658. E. Meister, J. Penjam, E. Tyugu. Rakendusi reaal- ja humanitaarteaduste sümbioosist. Kogumikus: Teadusmõte Eestis. 2002, Tallinn, p. 77 -81. Enn Tyugu. Programming languages and specification languages. In: Handbook of IT management (Estonian). 2002, Tallinn, 10.2, p.1 - 14. S. Lämmermann, E. Tyugu. A Composition Language with Precise Logical Semantics. Proc. ECOOP´2002 Workshop on Composition Languages, Malaga, Spain. 2002. S. Lämmermann, E. Tyugu. Computaional Frames as Metaintefaces. Proc. International Conference on Artificial Intelligence IC-AI´2002, Las Vegas, CSREA Press, 2002, p. 1094 - 1099. S. Lämmermann, E. Tyugu. Implementing Extended Structural Synthesis of Programs. In: Proc. AAAI 2002 Spring Symposium Series on Logic-Based Program Synthesis: State of the Art and Future Trends. AAAI Press, April 2002, p. 63 - 71. M. Harf, K. Kindel, V. Kotkas, P. Kungas and E. Tyugu. Automated Program Synthesis in a Distributed Environment. Preliminary Proc. A. Ershov 4th International Conference Perspectives of System Informatics, July 2001, Novosibirsk, Russia, p. 85 - 87. M. Matskin, E. Tyugu. Declarative reflection support in multi-agen systems. Proc. of the International Conference on Artificial Intelligence IC-AI´2001, v. 1, CSRA Press, 2001, p. 22 - 28. M. Matskin, E. Tyugu. Strategies of Structural Synthesis of Programs and Its Extensions. Computing and Informatics. v.20, 2001, p.1 -25. R. Hall, E. Tyugu. Guest Editorial. Automated Software Engineering, v. 8, No. 1. 2001, p. 5 - 6. S. Laemmermann, E. Tyugu. A Specification Logic for Dynamic Composition of Services. Proc. 21st IEEE International conference on Ditributed Computing Systems, Mesa, Arizona, 16-19 April 2001, p. 157-162. S. Laemmermann, E. Tyugu, V. Vlassov. Concurrent implementaton of structurally synthesized programs. Proc. PAC´2001, September 2001, LNCS 2127, p. 277-284. E. Tyugu. A specification logic for reconfigurable computing. Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000). June, 2000, Las Vegas, Nevada, USA, p. 197 - 202. E. Tyugu. Which IT qualification we need today and in the future. Proc. Intl. Conf. on IT Skills & Vocational Certifiation.Tallinn, Jan. 2000, p. 8 - 11 (Estonian), p. 8 - 11. Paradoxes of the science of a small coutry. Eesti paevaleht, 2000-03-23 (Estonian) S. Laemmermann, E. Tyugu. Synthesis of large programs for Java. Proc. Complex Systems (CSC&M) 2000, June 2000, Samara, Russia, p. 28 - 34. V. Kotkas, J. Penjam, E. Tyugu. Ontology-based design of surveillance systems with NUT. Proc. 3rd International Fusion 2000 Conference. Paris, July 2000, p. 3 - 9. E. Tyugu, M. Matskin, J. Penjam. Applications of structural synthesis of programs. In: J. Wing, J. Woodcock, J. Davies (Eds.) FM`99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, Sept. 1999. vol. I, LNCS No. 1708, Springer, 1999, p. 551 - 569. E. Tyugu. Which logic to use for program specifications. Abstracts of the 1st ST. Petrsburg Days of Logic. Euler International Mathematical Inst. 1999, p. 37 - 38. E. Tyugu, Y. Zhao. Intelligent Personal Assistants for Senior Citizens. TRITA-IT/R 99:06, KTH, 1999. M. Matskin, E. Tyugu. Agent architectures for electronic assistance and commerce. Proc. FenoUgric Symposium on Software Technology FUSSTÕ99.Tallinn Techn. Univ. 1999, p. 163 - 177. M. Matskin, E. Tyugu. Shells for Multi-Agent Applications, TR IDI 4/99, NTNU, March 1999. M.Matskin, E. Tyugu. Structural synthesis of programs and its extensions. TRITA-IT/R 99:03, KTH, March 1999. P. Lorents, E. Tyugu. Infowar - a new face of the war. Computer World, Nov. 1999, 54 - 55 (Estonian) E. Töugu. Early Days of Informatics in Estonia. Estonian Academy of Sciences: Surveys and Memories 1938 - 1998. Tallinn, 1998, p. 94 - 98. (Estonian). E. Töugu. The Java Phenomenon. A & A, No. 2, 1998, p. 4 - 7. (Estonian) E. Tyugu. From visual specifications to executable code. In: S. Demeyer, J. Bosch (eds.) Object-Oriented Technology. LNCS 1543. Springer. 1998, p. 499 - 501. E. Tyugu. On the border between functional programming and program synthesis. Proc. Estonian Academy of Sciences. Engineering, v. 4 1998, p. 119 - 129. V. Vlassov, M. Addibpour, E. Tyugu. NUTS: a Distributed Object-Oriented Platform with High Level Communication Functions. Computers and Artificial Intelligence, v. 17, No. 4, 1998, p. 305 - 335. Y. Zhao, E. Tyugu. Towards a personalized browser for elderly users. In: Poc. of the 4th ERCIM Workshop on "User Interfaces for Everybody", Stockholm, 1998 E. Tyugu, R. Valt. Visual programming in NUT. Journal of visual languages and programming, v. 8, 1997, p. 523 - 544. M. Addibpour, E. Tyugu. Agent shell architecture. Proc. AIICSR'97, 1997, p. 143 - 153. M. Matskin, E.Tyugu. Straregies of structural synthesis of programs. Proc. ASE'97, IEEE Comp. Society, 1997, p. 305 - 306. V. Vene, T. Uustalu, E. Tyugu. Logical semantics of NUT extended with production rules. J. Paakki (ed.) Proc. 5-th Symposium on Programming Languages and Software Tools. Jyväskylä, Finland, May 1997, p. 145 - 154. Diana Sidarkeviciute, Enn Tyugu, Ago Kuusik. A Knowledge-based Toolkit for Software Visualisation. KBSE'96. 1996. M. Addibpour, E. Tyugu. Declarative reflection tools for agent shells. Future Generation Computer Systems. July 1996, p. 1 - 12. M. Addibpour, E. Tyugu. Structural synthesis of programs from refined user requirements. (Programming boiler control in NUT.) J-R Abrial et al (eds.) Formal Methods for Industrial Applications. LNCS 1165, Springer Verlag, 1996, p. 13 - 34. E. Tyugu. Declarative Reflection Tools for Agent Shells in NUT. Proc. Int. Workshop on Reflection. Montreal, August 1995. E. Tyugu. From Object-Oriented to Knowledge-Based Programming. Proc. KBSE'95. IEEE Computer Society Press, 1995, p, 88 - 95. B. Mayoh, J. Penjam, E. Tyugu (Eds.). Constraint programming. NATO ASI Series F: Computer and System Sciences, Vol. 131. Springer Verlag, 1994. B. Mayoh, J. Penjam, E. Tyugu, T. Uustalu. Introduction into constraint programming. Constraint programming. NATO ASI Series F: Computer and System Sciences, Vol. 131. Springer Verlag, 1994, 1 - 16. E. Tyugu. Large heterogeneous knowledge-bases. In: D. Michie, S. Muggelton, K. Furukawa (eds.) Machine Intelligence and Inductive Learning. Machine Intelligence v. 13. Oxford Press, 1994, 260 - 288. E. Tyugu, T. Uustalu. Higher-order functional constraint networks. Constraint programming. NATO ASI Series F: Computer and System Sciences, Vol. 131. Springer Verlag, 1994, 116 - 139. E. Tyugu. Using classes as specifications for automatic construction of programs in the NUT system. Journal of Automated Software Engineering, v. 1, 1994, 315 - 334. |
last updated: 15.09.2007
[ sulge aken ]