The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Enn Tyugu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  50. Describing Knowledge Architectures. [Citation Graph (, )][DBLP]


  51. Lattices of Knowledge Systems. [Citation Graph (, )][DBLP]


  52. Rich Components of Extendable Simulation Platform. [Citation Graph (, )][DBLP]


  53. Graded Security Expert System. [Citation Graph (, )][DBLP]


  54. Compositional Logical Semantics for Business Process Languages. [Citation Graph (, )][DBLP]


  55. Handling Large Web Services Models in a Federated Governmental Information System. [Citation Graph (, )][DBLP]


  56. Stratified Composition of Web Services. [Citation Graph (, )][DBLP]


  57. Deep Semantics of Visual Languages. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002