 | 2009 |
|---|
| 59 |       | Peeter Lorents,
Enn Tyugu:
Lattices of Knowledge Systems.
IC-AI 2009: 515-520 |
| 2008 |
|---|
| 58 |  | Jüri Kivimaa,
Andres Ojamaa,
Enn Tyugu:
Graded Security Expert System.
CRITIS 2008: 279-286 |
| 57 | | Riina Maigre,
Peep Küngas,
Mihhail Matskin,
Enn Tyugu:
Handling Large Web Services Models in a Federated Governmental Information System.
ICIW 2008: 626-631 |
| 56 | | Riina Maigre,
Pavel Grigorenko,
Peep Küngas,
Enn Tyugu:
Stratified Composition of Web Services.
JCKBSE 2008: 49-58 |
| 2007 |
|---|
| 55 | | Mihhail Matskin,
Riina Maigre,
Enn Tyugu:
Compositional Logical Semantics for Business Process Languages.
ICIW 2007: 38 |
| 54 | | Andres Ojamaa,
Enn Tyugu:
Rich Components of Extendable Simulation Platform.
MSV 2007: 121-127 |
| 2006 |
|---|
| 53 | | Enn Tyugu,
Takahira Yamaguchi:
Knowledge-Based Software Engineering, Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2006, August 28-31, 2006, Tallinn, Estonia
IOS Press 2006 |
| 52 | | Pavel Grigorenko,
Enn Tyugu:
Deep Semantics of Visual Languages.
JCKBSE 2006: 83-95 |
| 51 | | Mihhail Matskin,
Enn Tyugu:
Logic for Higher-Order Workflow of Composite Web Services.
SWWS 2006: 122-128 |
| 50 | | Enn Tyugu:
Understanding knowledge architectures.
Knowl.-Based Syst. 19(1): 50-56 (2006) |
| 2005 |
|---|
| 49 | | Enn Tyugu:
Describing Knowledge Architectures.
EJC 2005: 329-340 |
| 48 | | Pavel Grigorenko,
Ando Saabas,
Enn Tyugu:
Visual tool for generative programming.
ESEC/SIGSOFT FSE 2005: 249-252 |
| 47 | | Enn Tyugu,
Mihhail Matskin:
Logical Instruments for Dynamic Web Service Composition.
ISWS 2005: 87-93 |
| 46 | | Enn Tyugu:
Metainterfaces Support Structural and Object-Oriented Software Composition.
Software Engineering Research and Practice 2005: 189-194 |
| 45 | | Pavel Grigorenko,
Ando Saabas,
Enn Tyugu:
COCOVILA - Compiler-Compiler for Visual Languages.
Electr. Notes Theor. Comput. Sci. 141(4): 137-142 (2005) |
| 2004 |
|---|
| 44 | | Enn Tyugu:
Modularity of Knowledge.
IC-AI 2004: 295-301 |
| 2003 |
|---|
| 43 | | Enn Tyugu:
Formalization of Knowledge Systems.
IC-AI 2003: 654-658 |
| 2002 |
|---|
| 42 | | Sven Lämmermann,
Enn Tyugu:
Computational Frames as Metainterfaces.
IC-AI 2002: 1094-1099 |
| 2001 |
|---|
| 41 | | Mait Harf,
Kristiina Kindel,
Vahur Kotkas,
Peep Küngas,
Enn Tyugu:
Automated Program Synthesis for Java Programming Language.
Ershov Memorial Conference 2001: 157-164 |
| 40 | | Sven Lämmermann,
Enn Tyugu:
A Specification Logic for Dynamic Composition of Services.
ICDCS Workshops 2001: 157-162 |
| 39 | | Sven Lämmermann,
Enn Tyugu,
Vladimir Vlassov:
Concurrent Implementation of Structurally Synthesized Programs.
PaCT 2001: 277-284 |
| 38 | | Robert J. Hall,
Enn Tyugu:
Guest Editorial.
Autom. Softw. Eng. 8(1): 5-6 (2001) |
| 37 | | Mihhail Matskin,
Enn Tyugu:
Strategies of Structural Synthesis of Programs and its Extensions.
Computers and Artificial Intelligence 20(1): (2001) |
| 2000 |
|---|
| 36 | | Enn Tyugu:
A Specification Logic for Reconfigurable Computing.
PDPTA 2000 |
| 1999 |
|---|
| 35 | | Enn Tyugu,
Mihhail Matskin,
Jaan Penjam:
Applications of Structural Synthesis of Programs.
World Congress on Formal Methods 1999: 551-569 |
| 1998 |
|---|
| 34 | | Enn Tyugu:
From Visual Specifications to Executable Code.
ECOOP Workshops 1998: 499-501 |
| 33 | | Vladimir Vlassov,
Mattin Addibpour,
Enn Tyugu:
NUTS: a Distributed Object-oriented Platform with High Level Communication Functions.
Computers and Artificial Intelligence 17(4): (1998) |
| 1997 |
|---|
| 32 | | Mihhail Matskin,
Enn Tyugu:
Strategies of Structural Synthesis of Programs.
ASE 1997: 305-306 |
| 31 | | Enn Tyugu,
R. Valt:
Visual Programming in NUT.
J. Vis. Lang. Comput. 8(5-6): 523-544 (1997) |
| 1995 |
|---|
| 30 | | 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 |
| 29 | | Enn Tyugu:
From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience).
KBSE 1995: 88-95 |
| 1994 |
|---|
| 28 | | John S. Gero,
Enn Tyugu:
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
Elsevier 1994 |
| 27 | | Enn Tyugu:
Attribute models of design objects.
Formal Design Methods for CAD 1994: 33-44 |
| 26 | | Enn Tyugu:
Large heterogeneous knowledge bases.
Machine Intelligence 13 1994: 269-288 |
| 25 | | Enn Tyugu:
Inductive Logic Programming : S Muggleton (Ed.).
Knowl.-Based Syst. 7(2): 149-150 (1994) |
| 24 | | Enn Tyugu:
Artificial intelligence through search : C Thornton and B du Boulay.
Knowl.-Based Syst. 7(2): 150- (1994) |
| 1993 |
|---|
| 23 | | Enn Tyugu:
Large engineering knowledge bases.
AI in Engineering 8(4): 265-270 (1993) |
| 1992 |
|---|
| 22 | | 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) |
| 1991 |
|---|
| 21 | | Grigori Mints,
Enn Tyugu:
The Programming System PRIZ.
Baltic Computer Science 1991: 1-17 |
| 20 | | Grigori Mints,
Jan M. Smith,
Enn Tyugu:
Type-theoretical Semantics of Some Declarative Languages.
Baltic Computer Science 1991: 18-32 |
| 19 | | Enn Tyugu:
Three New-Generation Software Environments.
Commun. ACM 34(6): 46-59 (1991) |
| 18 | | Enn Tyugu:
Editorial.
Knowl.-Based Syst. 4(1): 3 (1991) |
| 17 | | Enn Tyugu:
Knowledge-based programming environments.
Knowl.-Based Syst. 4(1): 4-15 (1991) |
| 16 | | Enn Tyugu:
Higher Order Dataflow Schemas.
Theor. Comput. Sci. 90(1): 185-198 (1991) |
| 1990 |
|---|
| 15 | | Grigori Mints,
Enn Tyugu:
Editorial.
J. Log. Program. 9(2&3): 139-140 (1990) |
| 14 | | Grigori Mints,
Enn Tyugu:
Propositional Logic Programming and Priz System.
J. Log. Program. 9(2&3): 179-193 (1990) |
| 1989 |
|---|
| 13 | | Vadim E. Kotov,
A. S. Narin'ani,
Enn Tyugu:
The USSR Academy of Sciences Start Project.
IFIP Congress 1989: 623-626 |
| 12 | | Enn Tyugu:
Propositional Logic Programming and Type Thoeries.
SCAI 1989: 863-871 |
| 1988 |
|---|
| 11 | | Enn Tyugu:
Intelligent engineering software research at the Tallinn Institute of Cybernetics.
AI in Engineering 3(4): 227-228 (1988) |
| 10 | | Grigori Mints,
Enn Tyugu:
The Programming System PRIZ.
J. Symb. Comput. 5(3): 359-375 (1988) |
| 1987 |
|---|
| 9 | | Grigori Mints,
Enn Tyugu:
Corrigendum: Semantics of a Declarative Language.
Inf. Process. Lett. 25(2): 139 (1987) |
| 1986 |
|---|
| 8 | | Enn Tyugu:
The Future of Logic Programming - Response.
IFIP Congress 1986: 225-228 |
| 7 | | Grigori Mints,
Enn Tyugu:
Semantics of a Declarative Language.
Inf. Process. Lett. 23(3): 147-151 (1986) |
| 1985 |
|---|
| 6 | | Enn Tyugu:
Language and example of knowledge-based programming.
Mathematical Methods of Specification and Synthesis of Software Systems 1985: 59-72 |
| 1982 |
|---|
| 5 | | Grigori Mints,
Enn Tyugu:
Justifications of the Structural Synthesis of Programs.
Sci. Comput. Program. 2(3): 215-240 (1982) |
| 1980 |
|---|
| 4 | | Enn Tyugu:
Towards Practical Synthesis of Programs.
IFIP Congress 1980: 207-219 |
| 1979 |
|---|
| 3 | | Enn Tyugu:
The structural synthesis of programs.
Algorithms in Modern Mathematics and Computer Science 1979: 290-303 |
| 1975 |
|---|
| 2 | | Enn Tyugu:
A programming system with automatic program synthesis.
Methods of Algorithmic Language Implementation 1975: 251-267 |
| 1971 |
|---|
| 1 | | Enn Tyugu:
A Data Base and Problem Solver for Computer-Aided Design.
IFIP Congress (2) 1971: 1046-1049 |
