Enn Tyugu Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Mattin Addibpour [30] [33]
2John S. Gero [28]
3Pavel Grigorenko [45] [48] [52] [56]
4Robert J. Hall [38]
5Mait Harf [41]
6Kristiina Kindel [41]
7Jüri Kivimaa [58]
8Vahur Kotkas [41]
9Vadim E. Kotov [13]
10Peep Küngas [41] [56] [57]
11Sven Lämmermann [39] [40] [42]
12Peeter Lorents [59]
13Riina Maigre [55] [56] [57]
14Mihhail Matskin [32] [35] [37] [47] [51] [55] [57]
15Grigori Mints [5] [7] [9] [10] [14] [15] [20] [21]
16A. S. Narin'ani [13]
17Andres Ojamaa [54] [58]
18Jaan Penjam [35]
19Ando Saabas [45] [48]
20Jan M. Smith [20]
21R. Valt [31]
22Vladimir Vlassov [33] [39]
23Takahira Yamaguchi [53]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)