Enn Tyugu's Home Page

Enn Tyugu

Institute of Cybernetics of Tallinn University of Technology - leading research scientist
Akadeemia tee 21, 12618 Tallinn, Estonia
tel. +372 620 4150
mailto: tyugu@ieee.org

CV Publications

Topics for bachelor and master degree projects

Topics for graduate studies

Research interests:

Automatic program synthesis - structural synthesis of programs, synthesis of web services.
Semantics of visual specification languages and its implementation.
Simulation in cyber defense.
Experiments: The COCOVILA system.

Given undergraduate and graduate courses

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.

Recent program committees

The Third International Conference on Cyber Conflict (ICCC 2011) – program co-chair, June 2011, Tallinn

IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA) 2011, Feb. 2011, Miami Beach

Ninth International Baltic Conference on Databases and Information Systems (Baltic DB&IS 2010), July 5-7, 2010, Riga

9th JOINT CONFERENCE ON KNOWLEDGE-BASED SOFTWARE ENGINEERING (JCKBSE’10), August 25-27, 2010, Kaunas, Lithuania

Central and Eastern European Software Engineering Conference in Russia, October, 2009

Moscow, Russia

IEEE International Conference on Communications 2009 (ICC2009), June 2009, Dresden

Joint Conference on Knowledge-Based Software Engineering (JCKBSE'2008 ), August 2008, Piraeus, Greece

The 10-th Symposium on Programming Languages and Software Tools (SPLST'2007), June 2007, Budapest

Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2006 ) – program chair, Tallinn, August 28-31, 2006

Editorial boards

Knowledge-Based Systems (Elsevier) - advisory editorial board
Computing and Informatics (Slovac Acad. Sci.)- editorial board

Permanent academic tasks and society memberships

Fellow of the Estonian Academy of Sciences
Fellow of the Academia Europaea
Member of the Estonian IT Society
Member of IEEE Computer Society

Recent invited/keynote talks

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. 10^th 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.

Publications

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) in print.
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.
E. Tõugu. Kompetentsikeskus on, kus on kompetents? Eesti Päevaleht, 17. juuni 2008. http://www.epl.ee/artikkel/432783
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. 15thEuropean 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.
Paradoxes of the science of a small coutry. Eesti paevaleht, 2000-03-23 (Estonian)
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.
P. Lorents, E. Tyugu. Infowar - a new face of the war. Computer World, Nov. 1999, 54 - 55 (Estonian)
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. Töugu. The Java Phenomenon. A & A, No. 2, 1998, p. 4 - 7. (Estonian)
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. 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.

Some older publications

Back to Contents

Last modified: 20/08/2011 by