Enn Tyugu

Riina Maigre, Enn Tyugu: Composition of Services on Hierarchical Service Models. EJC 2011: 110-129

Enn Tyugu: When Computers Become too Smart. EJC 2011: 412-418

Vahur Kotkas, Andres Ojamaa, Pavel Grigorenko, Riina Maigre, Mait Harf, Enn Tyugu: CoCoViLa as a multifunctional simulation platform. SimuTools 2011: 198-205

Pavel Grigorenko, Enn Tyugu: Higher-Order Attribute Semantics of Flat Declarative Languages. Computing and Informatics 29(2): 251-280 (2010)

Peeter Lorents, Enn Tyugu: Lattices of Knowledge Systems. IC-AI 2009: 515-520

Jüri Kivimaa, Andres Ojamaa, Enn Tyugu: Graded Security Expert System. CRITIS 2008: 279-286

Riina Maigre, Peep Küngas, Mihhail Matskin, Enn Tyugu: Handling Large Web Services Models in a Federated Governmental Information System. ICIW 2008: 626-631

Riina Maigre, Pavel Grigorenko, Peep Küngas, Enn Tyugu: Stratified Composition of Web Services. JCKBSE 2008: 49-58

Enn Tyugu: Algorithms and Architectures of Artificial Intelligence. Frontiers in Artificial Intelligence and Applications 159, IOS Press 2007, isbn 978-1-58603-770-3, pp. 1-171

Mihhail Matskin, Riina Maigre, Enn Tyugu: Compositional Logical Semantics for Business Process Languages. ICIW 2007: 38

Andres Ojamaa, Enn Tyugu: Rich Components of Extendable Simulation Platform. MSV 2007: 121-127

Enn Tyugu: Understanding knowledge architectures. Knowl.-Based Syst. 19(1): 50-56 (2006)

Pavel Grigorenko, Enn Tyugu: Deep Semantics of Visual Languages. JCKBSE 2006: 83-95

Mihhail Matskin, Enn Tyugu: Logic for Higher-Order Workflow of Composite Web Services. SWWS 2006: 122-128

Enn Tyugu, Takahira Yamaguchi (Eds.): Knowledge-Based Software Engineering, Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2006, August 28-31, 2006, Tallinn, Estonia. Frontiers in Artificial Intelligence and Applications 140, IOS Press 2006, isbn 978-1-58603-640-9

Pavel Grigorenko, Ando Saabas, Enn Tyugu: COCOVILA - Compiler-Compiler for Visual Languages. Electr. Notes Theor. Comput. Sci. 141(4): 137-142 (2005)

Enn Tyugu: Describing Knowledge Architectures. EJC 2005: 329-340

Enn Tyugu, Mihhail Matskin: Logical Instruments for Dynamic Web Service Composition. ISWS 2005: 87-93

Enn Tyugu: Metainterfaces Support Structural and Object-Oriented Software Composition. Software Engineering Research and Practice 2005: 189-194

Pavel Grigorenko, Ando Saabas, Enn Tyugu: Visual tool for generative programming. ESEC/SIGSOFT FSE 2005: 249-252

Enn Tyugu: Modularity of Knowledge. IC-AI 2004: 295-301

Enn Tyugu: Formalization of Knowledge Systems. IC-AI 2003: 654-658

Sven Lämmermann, Enn Tyugu: Computational Frames as Metainterfaces. IC-AI 2002: 1094-1099

Robert J. Hall, Enn Tyugu: Guest Editorial. Autom. Softw. Eng. 8(1): 5-6 (2001)

Mihhail Matskin, Enn Tyugu: Strategies of Structural Synthesis of Programs and its Extensions. Computers and Artificial Intelligence 20(1) (2001)

Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu: Automated Program Synthesis for Java Programming Language. Ershov Memorial Conference 2001: 157-164

Sven Lämmermann, Enn Tyugu: A Specification Logic for Dynamic Composition of Services. ICDCS Workshops 2001: 157-162

Sven Lämmermann, Enn Tyugu, Vladimir Vlassov: Concurrent Implementation of Structurally Synthesized Programs. PaCT 2001: 277-284

Enn Tyugu: A Specification Logic for Reconfigurable Computing. PDPTA 2000

Enn Tyugu, Mihhail Matskin, Jaan Penjam: Applications of Structural Synthesis of Programs. World Congress on Formal Methods 1999: 551-569

Vladimir Vlassov, Mattin Addibpour, Enn Tyugu: NUTS: a Distributed Object-oriented Platform with High Level Communication Functions. Computers and Artificial Intelligence 17(4) (1998)

Enn Tyugu: From Visual Specifications to Executable Code. ECOOP Workshops 1998: 499-501

Enn Tyugu, R. Valt: Visual Programming in NUT. J. Vis. Lang. Comput. 8(5-6): 523-544 (1997)

Mihhail Matskin, Enn Tyugu: Strategies of Structural Synthesis of Programs. ASE 1997: 305-306

Mattin Addibpour, Enn Tyugu: Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT). Formal Methods for Industrial Applications 1995: 13-34

Enn Tyugu: From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience). KBSE 1995: 88-95

Enn Tyugu: Using classes as specifications for automatic construction of programs in the NUT system. Autom. Softw. Eng. 1(3-4): 315-334 (1994)

Enn Tyugu: Inductive Logic Programming : S Muggleton (Ed.). Knowl.-Based Syst. 7(2): 149-150 (1994)

Enn Tyugu: Artificial intelligence through search : C Thornton and B du Boulay. Knowl.-Based Syst. 7(2): 150- (1994)

Enn Tyugu: Attribute models of design objects. Formal Design Methods for CAD 1994: 33-44

Enn Tyugu: Large heterogeneous knowledge bases. Machine Intelligence 13 1994: 269-288

John S. Gero, Enn Tyugu (Eds.): Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994. IFIP Transactions B-18, Elsevier 1994, isbn 0-444-81970-3

Enn Tyugu: Large engineering knowledge bases. AI in Engineering 8(4): 265-270 (1993)

Enn Tyugu: Eco-logic: Logic-based approaches to ecological modelling : D Robertson, A Bundy, R Muetzelfeldt, M Haggith and M Uschold. Knowl.-Based Syst. 5(2): 167- (1992)

Enn Tyugu: Three New-Generation Software Environments. Commun. ACM 34(6): 46-59 (1991)

Enn Tyugu: Editorial. Knowl.-Based Syst. 4(1): 3 (1991)

Enn Tyugu: Knowledge-based programming environments. Knowl.-Based Syst. 4(1): 4-15 (1991)

Enn Tyugu: Higher Order Dataflow Schemas. Theor. Comput. Sci. 90(1): 185-198 (1991)

Grigori Mints, Enn Tyugu: The Programming System PRIZ. Baltic Computer Science 1991: 1-17

Grigori Mints, Jan M. Smith, Enn Tyugu: Type-theoretical Semantics of Some Declarative Languages. Baltic Computer Science 1991: 18-32

Grigori Mints, Enn Tyugu: Editorial. J. Log. Program. 9(2&3): 139-140 (1990)

Grigori Mints, Enn Tyugu: Propositional Logic Programming and Priz System. J. Log. Program. 9(2&3): 179-193 (1990)

Vadim E. Kotov, A. S. Narin'ani, Enn Tyugu: The USSR Academy of Sciences Start Project. IFIP Congress 1989: 623-626

Enn Tyugu: Propositional Logic Programming and Type Thoeries. SCAI 1989: 863-871

Enn Tyugu: Intelligent engineering software research at the Tallinn Institute of Cybernetics. AI in Engineering 3(4): 227-228 (1988)

Grigori Mints, Enn Tyugu: The Programming System PRIZ. J. Symb. Comput. 5(3): 359-375 (1988)

Grigori Mints, Enn Tyugu: Corrigendum: Semantics of a Declarative Language. Inf. Process. Lett. 25(2): 139 (1987)

Grigori Mints, Enn Tyugu: Semantics of a Declarative Language. Inf. Process. Lett. 23(3): 147-151 (1986)

Enn Tyugu: The Future of Logic Programming - Response. IFIP Congress 1986: 225-228

Enn Tyugu: Language and example of knowledge-based programming. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 59-72

Grigori Mints, Enn Tyugu: Justifications of the Structural Synthesis of Programs. Sci. Comput. Program. 2(3): 215-240 (1982)

Enn Tyugu: Towards Practical Synthesis of Programs. IFIP Congress 1980: 207-219

Enn Tyugu: The structural synthesis of programs. Algorithms in Modern Mathematics and Computer Science 1979: 290-303

Enn Tyugu: A programming system with automatic program synthesis. Methods of Algorithmic Language Implementation 1975: 251-267

Enn Tyugu: A Data Base and Problem Solver for Computer-Aided Design. IFIP Congress (2) 1971: 1046-1049