Source: http://www.cs.ioc.ee/~tyugu/
Timestamp: 2019-04-26 03:39:34+00:00

Document:
Automatic program synthesis - structural synthesis of programs, synthesis of web services.
Semantics of visual specification languages and its implementation.
Algorithms of artificial Intelligence (graduate course) – 4 cu, Tallinn University of Technology, spring 2009.
ITT0020 Algorithms of Artificial Intelligence - 4 cu, Tallinn University of Technology, spring 2007, spring 2008.
INF567 Modeling and simulation - 2 cu, EBS, autumn 2006.
INF235 Software - 3 cu, EBS, spring 2006.
INF202, INF302 Introduction into IT management - 3 cu, EBS, autumn 2006.
Model-Based Software Development. 9-th INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT'2013). Yerevan, September, 23 - 27, 2013.
When Computers become too Smart. THE 21ST EUROPEAN - JAPANESE CONFERENCE ON INFORMATION MODELLING AND KNOWLEDGE BASES. Tallinn, Estonia, June 6-10, 2011.
War of Minds. 10th EUROPEAN CONFERENCE ON INFORMATION WARFARE AND SECURITY. Tallinn, Estonia, July 7 – 8, 2011.
Using Knowledge in Model-Based SW Development. 9th JOINT CONFERENCE ON KNOWLEDGE-BASED SOFTWARE ENGINEERING (JCKBSE’10), Kaunas, Lithuania, August 25-27, 2010.
Tõugu, Enn. Polnud olemas ei aega ega ruumi, ja järsku tekkis maailm. Horisont, nr. 3. mai (2013) 60.
Tõugu, Enn. E-riigist e-demokraatiani. Postimees, 14. september (2013) 4.
Tõugu, Enn. Milleks meile riik. Postimees, 8. jaanuar (2013) 11.
Tyugu, Enn. Situation Awareness and Control Errors of Cyber Weapons. In: Proc. International Conference on Situation Management CogSima 2013, IEEEExplore (2013) 146 - 151.
Kotkas, Vahur; Penjam, Jaan; Kalja, Ahto; Tyugu, Enn. A model-based software technology proposal. In: Proc.1-st International Conference on Model-Driven Engineering and Software Development, Barcelona, 19 - 21 February, 2013: (Toim.) Filipe, J.; Neves, R.. (2013) 312 - 315.
Tiidemann, Mart.; Kalja, Ahto.; Tiidemann, Tiit.; Tyugu, Enn. Using software with AI elements for conceptual design of machine elements. In: Proceedings of the 8th International Conference of DAAAM Baltic Industrial Engineering, [vol 1] (Toim.) Otto, Tauno. Tallinn: Tallinn University of Technology (2012) 357 - 360.
Tõugu, Enn. Aleksander Voldek Eesti arvutiteaduse edendajana. Tallinna Tehnikaülikooli Aastaraamat. (2012) 254 - 255.
Tyugu, Enn. When computers become too smart (invited talk). In: Kiyoki, Y., Tokuda, T., Henno, J., Jaakkola H., Yoshida N. (editors) Information Modelling and Knowledge Bases XXIII. IOS Press, Amsterdam (2012) 412 - 418.
Tõugu, Enn. Akadeemik Enn Tõugu: Arvuti mõtleb juba praegu / intervjueerinud Jüri Aarma. Maaleht, 24. mai (2012) 30 - 31.
Tyugu, Enn. Command and control of cyber weapons. In: 2012 4th International Conference on Cyber Conflict [CYCON]: Proceedings, 5-8 June, 2012 Tallinn, Estonia: (Toim.) Czosseck, C.; Ottis, R.; Ziolkowski, K.. Tallinn: CCD COE Publications (2012) 333 - 343.
Maigre, Riina; Tyugu, Enn. Composition of services on hierarchical service models. In: Information Modelling and Knowledge Bases XXIII: The 21st European-Japanese Conference on Information Modelling and Knowledge Bases (EJC2011). (Toim.) Henno, Jaak; Kiyoki, Yasushi; Tokuda, Takehiro, et al.. Amsterdam: IOS Press, 2012, (Frontiers in Artificial Intelligence and Applications; 237) (2012), 110 - 129.
Tyugu, Enn. Artificial intelligence in cyber defence. In: Proceedings of 3rd International Conference on Cyber Conflict [ICCC], 7-10 June, 2011 Tallinn Estonia. Editors: Czosseck, C.; Tyugu, E.; Wingfield, T. Tallinn: CCD COE Publications (2011) 95 - 105.
Maigre, Riina; Tyugu, Enn (2011). Composition of services on hierarchical service model. In: Proceedings of the 21th European - Japanese Conference on Information Modelling and Knowledge Bases, EJC2011 : Tallinn, Estonia, June 06 - 10, 2011, Vol 1: (Toim.) Henno, Jaak; Kiyoki, Yasushi; Tokuda, Takehiro; Yoshida, Naofumi. Tallinn: Tallinn University of Technology (2011) 164 - 183.
Czosseck, C., Tyugu, E., Wingfield, T. (Editors) Proceedings of the 2011 3rd International Conference on Cyber Conflict -- ICCC, 7-10 June, 2011 Tallinn Estonia. Tallinn: CCD COE Publications (2011).
Kotkas, V., Ojamaa, A., Grigorenko, P., Maigre, R., Harf, M., Tyugu, E. CoCoViLa as a multifunctional simulation platform. In: SIMUTOOLS 2011 - 4th International ICST Conference on Simulation Tools and Techniques : March 21-25 - Barcelona, Spain: Brussels: ICST (2011) 1 - 8.
C. Czosseck, E. Tyugu. Foreword. In: Proceedings of 3rd International Conference on Cyber Conflict -- ICCC, 7-10 June, 2011 Tallinn Estonia. Editors: Czosseck, C.; Tyugu, E.; Wingfield, T. Tallinn: CCD COE Publications, 2011, III – IV.
Tõugu, Enn. Aleksander Voldek Eesti arvutiteaduse edendajana. Bobrov, K., Tibar, A., Prööm, R., Paas, M., Jantson, S., Lahtmets, R. (Toim.). Akadeemik Aleksander Voldek 100. Tallinn: Tallinna Tehnikaülikooli Kirjastus (2011) 41 – 44.
Tõugu, Enn. Küberneetika Instituut Eesti arvutiteaduses. Mägi, Vahur (Toim.). Tallinna Tehnikaülikooli aastaraamat 2010. XVIII Tallinn: TTÜ kirjastus (2011) 130 - 136.
E. Tyugu. Using knowledge in model-based software development. In: A.Caplinskas, H. Pranevicius, T. Nakatani (eds.) Proc. of the Joint Conference on Knowledge-Based Software Engineering (JCKBSE'10). Technologija, Kaunas, 2010, p. 3 - 6.
E. Tyugu. Grigori Mints and Computer Science. In: S. Feferman, W. Sieg, V. Kreinovich, V. Lipschitz, Ruy de Queiroz (Eds.) Proofs, Categories and Computations: Essays in honor of Grigori Mints. Dov Gabbay’s College Publications, 2010 (in print).
Klein, Gabriel; Ojamaa, Andres; Grigorenko, Pavel; Jahnke, Marko; Tyugu, Enn (2010). Enhancing Response Selection in Impact Estimation Approaches. Military Communications and Information Systems Conference (MCC), September 27-28, 2010, Wroclaw, Poland. , 2010 (in print).
P. Grigorenko, E. Tyugu. Higher-Order Attribute Semantics of Flat Declarative Languages. Computing and Informatics. v.28, 2010, p. 251 - 280.
J. Kivimaa, A. Ojamaa, E. Tyugu. Managing Evolving Security Situations. MILCOM 2009: Unclassified Proceedings, October 18-21, 2009, Boston, MA. Piscataway, NJ: IEEE, 2009, 1 - 7.
E. Tyugu. Computing and Computer Science in the Soviet Baltic Region. In: J. Impagliazzo, T. Järvi, P. Paju (Eds.) History of Nordic Computing 2 -- Second IFIP WG 9.7 Conference, HiNC2, Revised Selected Papers. IFIP Advances in Information and Communication Technology, v. 303. Springer, 2009, p. 29 – 37.
R. Maigre, P. Küngas, M. Matskin, E. Tyugu. Dynamic Service Synthesis on a Large Service Model of a Federated Governmental Information System. International Journal on Advances in Intelligent Systems. V.2, No. 2, 2009, p. 181-191.
P. Lorents, E. Tyugu Lattices of knowledge systems. Proc. International Conference on Artificial Intelligence Proc. WORLDCOMP'09: IC-AI´2009, Las Vegas, CSREA Press, July 2009.
J. Kivimaa, A. Ojamaa, E. Tyugu. Graded Security Expert System. Proc. CRITIS08, Eds. R. Setola, S. Geretshuber. Berlin : Springer, 2009, 279-286. (Lecture Notes in Computer Science ; 5508).http://dx.doi.org/10.1007/978-3-642-03552-4_25.
R. Maigre, P. Grigorenko, P. Küngas , E. Tyugu. Stratified Composition of Web Services. In: M. Virvou, T. Nakamura (eds.) Knowledge-Based Software Engineering. Proc. 8th JCKBSE. IOS Press, 2008, p. 49 – 58.
R. Maigre, P. Küngas, M. Matskin, E. Tyugu. Handling Large Web Services Models in a Federated Governmental Information System. Proc. 3-rd International Conference on Internet and Web Applications and Services. IEEE Computer Society & CPS, 2008, p. 626 – 631.
J. Kivimaa, A. Ojamaa, E. Tyugu. Pareto-Optimal Situation Analysis for Selection of Security Measures. Proc. MilCom 2008, 7 p.
E. Tyugu. Algorithms and Architectures of Artificial Intelligence. IOS Press. 2007.
M. Matskin, R. Maigre, E. Tyugu. Compositional logical semantics for business process languages. Proc. 2-nd International Conference on Internet and Web Applications and Services: ICIW2007. IEEE Computer Society, 2007, p. 1 - 6.
A. Ojamaa, E. Tyugu. Rich Components of Extendable Simulation Platform. Proc. WORLDCOMP'07: MSV2007, CSREA Press, 2007, p. 121 - 127.
E. Tyugu. Computing and Computer science in the Soviet Baltic Region. Conference on the History of Nordic Computing: HiNC2, TUCSGeneral Publication No. 42, June 2007, 5 - 7.
E. Tõugu. Tehke oma visuaalne keel. ETF aastaraamat 2006. ETF, 2007, 19 - 20.
E. Tyugu, P. Grigorenko. Large-Scale Simulation Platform. WSEAS Transactions on Computers, No. 1, vol. 6, 2007, p. 65 - 71.
E. Tyugu, T. Yamaguchi (editors). Knowledge-Based Software Engineering. Frontiers in Artificial Intelligence and Applications, vol. 140. IOS Press, 2006.
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.
P. Grigorenko, E. Tyugu. Deep Semantics of Visual Languages. In: E. Tyugu, T. Yamaguchi (eds.) Knowledge-Based Software Engineering. Frontiers in Artificial Intelligence and Applications, vol. 140. IOS Press, 2006, p. 83 - 95.
E. Tyugu. Extensible Multipurpose Simulation Platform. The 6th WSEAS International Conference on SIMULATION, MODELLING AND OPTIMIZATION (SMO '06), Lisbon, Portugal, September 22-24, 2006, p. 738 - 743.
E. Tõugu. Jumal infosfääris. E. Kasak. A. Kull. Kuradi tark, jumala loll. Eesti Päevaleht. 2006, p. 72 - 78.
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 Publ., 2005, p. 249 – 252.
Grigorenko, P., Saabas, A., Tyugu, E. Visual tool for generative programming. - ACM SIGSOFT Software Engineering Notes, 2005, 30, 5, 249-252.
P. Grigorenko, A. Saabas, E. Tyugu. COCOVILA – Compiler-Compiler for Visual Languages. In: J. Boyland, G. Hedin. Fifth Workshop on Language Descriptions Tools and Applications LDTA2005. ETAPS, 2005, p. 101 – 105.
E. Tyugu. Describing Knowledge Architectures. Proc. 15th European Japanese Conference on Information Modelling and Knowledge Bases, Tallinn, 2005, p. 356 – 361.
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.
E. Tyugu. Metainterfaces Support Structural and Object-Oriented Software Composition. Proc. Conference on Software Engineering Research and Practice SERP’05. CSREA Press, Las Vegas, 2005, p. 189 – 192.
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. IOC Press, Amsterdam, 2004, p. 199 – 206.
E. Tyugu. Modularity of knowledge. Proc. International Conference on Artificial Intelligence IC-AI´2004, Las Vegas, CSRA Press, June 2004, p. 295 - 301.
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. Tõugu. Kas aednike ja tuletõrjujate teadus? Eesti Ekspress, 6. märts 2003.
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. Ühe arvuti lugu. Kogumikus: Ühe masinaehitajate rühma lugu. TTÜ, Tallinn, 2003, lk. 107 - 111.
E.Tõugu. Arvutus- ja muud masinad. Kogumikus: Ühe masinaehitajate rühma lugu. TTÜ, Tallinn, 2003, lk. 97 - 106.
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.
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. A Composition Language with Precise Logical Semantics. Proc. ECOOP´2002 Workshop on Composition Languages, Malaga, Spain. 2002.
Enn Tyugu. Programming languages and specification languages. In: Handbook of IT management (Estonian). 2002, Tallinn, 10.2, p.1 - 14.
E. Meister, J. Penjam, E. Tyugu. Rakendusi reaal- ja humanitaarteaduste sümbioosist. Kogumikus: Teadusmõte Eestis. 2002, Tallinn, p. 77 -81.
E. Tõugu. IT juhtimine seostub arhitektiametiga. EBS-i õppejõud, EBS Print, 2002, Tallinn, p. 44 – 46.
M. Matskin, E. Tyugu. Strategies of Structural Synthesis of Programs and Its Extensions. Computing and Informatics. v.20, 2001, p.1 -25.
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.
M. Matskin, E. Tyugu. Declarative reflection support in multi-agen systems. Proc. of the International Conference on Artificial Intelligence IC-AI´2001, v. 1, CSREA Press, 2001, p. 22 - 28.
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.
R. Hall, E. Tyugu. Guest Editorial. Automated Software Engineering, v. 8, No. 1. 2001, p. 5 - 6.
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.
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.
S. Laemmermann, E. Tyugu. Synthesis of large programs for Java. Proc. Complex Systems (CSC&M) 2000, June 2000, Samara, Russia, p. 28 - 34.
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.
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.
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.
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.
E. Tyugu, Y. Zhao. Intelligent Personal Assistants for Senior Citizens. TRITA-IT/R 99:06, KTH, 1999.
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.
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. Tyugu. On the border between functional programming and program synthesis. Proc. Estonian Academy of Sciences. Engineering, v. 4 1998, p. 119 - 129.
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, R. Valt. Visual programming in NUT. Journal of visual languages and programming, v. 8, 1997, p. 523 - 544.
M. Matskin, E.Tyugu. Straregies of structural synthesis of programs. Proc. ASE'97, IEEE Comp. Society, 1997, p. 305 - 306.
M. Addibpour, E. Tyugu. Agent shell architecture. Proc. AIICSR'97, 1997, p. 143 - 153.
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.
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.
Diana Sidarkeviciute, Enn Tyugu, Ago Kuusik. A Knowledge-based Toolkit for Software Visualisation. KBSE'96. 1996.
E. Tyugu. From Object-Oriented to Knowledge-Based Programming. Proc. KBSE'95. IEEE Computer Society Press, 1995, p, 88 - 95.
E. Tyugu. Declarative Reflection Tools for Agent Shells in NUT. Proc. Int. Workshop on Reflection. Montreal, August 1995.
B. Mayoh, J. Penjam, E. Tyugu (Eds.). Constraint programming. NATO ASI Series F: Computer and System Sciences, Vol. 131. Springer Verlag, 1994.
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.
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.
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.

References: V. 
 V. 
 v. 
 V. 
 V. 
 v. 
 V. 
 v. 

V. 

V. 
 v. 
 v. 
 v. 

V. 
 v. 
 v.