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.
Sythesis of distributed applications.
Semantics of visual specification languages and its implementation.
Simulation in cyber defense.
Experiments: The COCOVILA system. 

 

--------------------------------------------------------------------

       Recently 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 2000, 2001, 2002, 2003, 2004, 2005, 2006.
  • INF208 Programming - 3 cu, EBS, spring 2003, autumn 2003.
  • INF113 Internet and distributed systems, EBS, spring 2004, autumn 2004.
  • INF536 Java Internet Programming - 4 p., EBS, 2002 spring, 2003 spring.

--------------------------------------------------------------------

       Recent program committees


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

SEVENTH INTERNATIONAL BALTIC CONFERENCE ON DATABASES AND INFORMATION SYSTEMS, 2006, July 3-6, Vilnius, Lithuania

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

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

 

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

 

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

Moscow, Russia.

 

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

 

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

 


      Editorial boards

--------------------------------------------------------------------

 

Permanent academic tasks and society memberships


--------------------------------------------------------------------

Publications 

 

    • 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. 
    • P. Grigorenko, E. Tyugu. Higher-Order Attribute Semantics of Flat Declarative Languages. Computing and Informatics.  v.28, 2009 (in print).
    • 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, 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, P. Grigorenko. Large-Scale Simulation Platform. WSEAS Transactions on Computers, No. 1, vol. 6, 2007, p. 65 - 71.
    • 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.
    • 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


 

Varia

Superbrain 1
Superbrain 2
Codesign

BlackBird

 

Back to Contents

Last modified: 10/07/2008  by

tyugu@ieee.org