default search action
Enn Tyugu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [c51]Enn Tyugu:
Abstract handling of Information and Knowledge. EJC 2015: 129-136 - [c50]Enn Tyugu, Jaan Penjam:
Model-based technology of software development in large. SPLST 2015: 149-163 - 2014
- [c49]Andres Ojamaa, Enn Tyugu:
Enterprise Security Analysis and Training Experience. CRITIS 2014: 200-208 - [c48]Enn Tyugu, Mait Harf, Pavel Grigorenko:
A Case Study of Combining Compositional and Object-oriented Software Development. MODELSWARD 2014: 201-208 - 2013
- [c47]Enn Tyugu:
Situation awareness and control errors of cyber weapons. CogSIMA 2013: 143-148 - [c46]Vahur Kotkas, Jaan Penjam, Ahto Kalja, Enn Tyugu:
A Model-based Software Technology Proposal. MODELSWARD 2013: 312-315 - 2012
- [c45]Enn Tyugu:
Command and control of cyber weapons. CyCon 2012: 1-11 - 2011
- [c44]Enn Tyugu:
Artificial intelligence in cyber defense. CyCon 2011: 1-11 - [c43]Riina Maigre, Enn Tyugu:
Composition of Services on Hierarchical Service Models. EJC 2011: 110-129 - [c42]Enn Tyugu:
When Computers Become too Smart. EJC 2011: 412-418 - [c41]Vahur Kotkas, Andres Ojamaa, Pavel Grigorenko, Riina Maigre, Mait Harf, Enn Tyugu:
CoCoViLa as a multifunctional simulation platform. SimuTools 2011: 198-205 - [e4]Christian Czosseck, Enn Tyugu, Thomas C. Wingfield:
3rd International Conference on Cyber Conflict, CyCon 2011, Tallinn, Estonia, June 7-10, 2011. IEEE 2011, ISBN 978-1-61284-245-5 [contents] - 2010
- [j23]Pavel Grigorenko, Enn Tyugu:
Higher-Order Attribute Semantics of Flat Declarative Languages. Comput. Informatics 29(2): 251-280 (2010)
2000 – 2009
- 2009
- [c40]Peeter Lorents, Enn Tyugu:
Lattices of Knowledge Systems. IC-AI 2009: 515-520 - 2008
- [c39]Jüri Kivimaa, Andres Ojamaa, Enn Tyugu:
Graded Security Expert System. CRITIS 2008: 279-286 - [c38]Riina Maigre, Peep Küngas, Mihhail Matskin, Enn Tyugu:
Handling Large Web Services Models in a Federated Governmental Information System. ICIW 2008: 626-631 - [c37]Riina Maigre, Pavel Grigorenko, Peep Küngas, Enn Tyugu:
Stratified Composition of Web Services. JCKBSE 2008: 49-58 - 2007
- [b1]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 - [c36]Enn Tyugu:
Computing and Computer Science in the Soviet Baltic Region. History of Nordic Computing 2007: 29-37 - [c35]Mihhail Matskin, Riina Maigre, Enn Tyugu:
Compositional Logical Semantics for Business Process Languages. ICIW 2007: 38 - [c34]Andres Ojamaa, Enn Tyugu:
Rich Components of Extendable Simulation Platform. MSV 2007: 121-127 - 2006
- [j22]Enn Tyugu:
Understanding knowledge architectures. Knowl. Based Syst. 19(1): 50-56 (2006) - [c33]Pavel Grigorenko, Enn Tyugu:
Deep Semantics of Visual Languages. JCKBSE 2006: 83-95 - [c32]Mihhail Matskin, Enn Tyugu:
Logic for Higher-Order Workflow of Composite Web Services. SWWS 2006: 122-128 - [e3]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. Frontiers in Artificial Intelligence and Applications 140, IOS Press 2006, ISBN 978-1-58603-640-9 [contents] - 2005
- [c31]Enn Tyugu:
Describing Knowledge Architectures. EJC 2005: 329-340 - [c30]Enn Tyugu, Mihhail Matskin:
Logical Instruments for Dynamic Web Service Composition. ISWS 2005: 87-93 - [c29]Enn Tyugu:
Metainterfaces Support Structural and Object-Oriented Software Composition. Software Engineering Research and Practice 2005: 189-194 - [c28]Pavel Grigorenko, Ando Saabas, Enn Tyugu:
Visual tool for generative programming. ESEC/SIGSOFT FSE 2005: 249-252 - [c27]Pavel Grigorenko, Ando Saabas, Enn Tyugu:
COCOVILA - Compiler-Compiler for Visual Languages. LDTA@ETAPS 2005: 137-142 - 2004
- [c26]Enn Tyugu:
Modularity of Knowledge. IC-AI 2004: 295-301 - 2003
- [c25]Enn Tyugu:
Formalization of Knowledge Systems. IC-AI 2003: 654-658 - 2002
- [c24]Sven Lämmermann, Enn Tyugu:
Computational Frames as Metainterfaces. IC-AI 2002: 1094-1099 - 2001
- [j21]Robert J. Hall, Enn Tyugu:
Guest Editorial. Autom. Softw. Eng. 8(1): 5-6 (2001) - [j20]Mihhail Matskin, Enn Tyugu:
Strategies of Structural Synthesis of Programs and its Extensions. Comput. Artif. Intell. 20(1): 1-25 (2001) - [c23]Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu:
Automated Program Synthesis for Java Programming Language. Ershov Memorial Conference 2001: 157-164 - [c22]Sven Lämmermann, Enn Tyugu:
A Specification Logic for Dynamic Composition of Services. ICDCS Workshops 2001: 157-162 - [c21]Sven Lämmermann, Enn Tyugu, Vladimir Vlassov:
Concurrent Implementation of Structurally Synthesized Programs. PaCT 2001: 277-284 - 2000
- [c20]Enn Tyugu:
A Specification Logic for Reconfigurable Computing. PDPTA 2000
1990 – 1999
- 1999
- [c19]Enn Tyugu, Mihhail Matskin, Jaan Penjam:
Applications of Structural Synthesis of Programs. World Congress on Formal Methods 1999: 551-569 - 1998
- [j19]Vladimir Vlassov, Mattin Addibpour, Enn Tyugu:
NUTS: a Distributed Object-oriented Platform with High Level Communication Functions. Comput. Artif. Intell. 17(4): 305-335 (1998) - [c18]Enn Tyugu:
From Visual Specifications to Executable Code. ECOOP Workshops 1998: 499-501 - 1997
- [j18]Enn Tyugu, R. Valt:
Visual Programming in NUT. J. Vis. Lang. Comput. 8(5-6): 523-544 (1997) - [c17]Mihhail Matskin, Enn Tyugu:
Strategies of Structural Synthesis of Programs. ASE 1997: 305-306 - 1996
- [j17]Enn Tyugu, Mattin Addibpour:
Declarative reflection tools for agent shells. Future Gener. Comput. Syst. 12(2-3): 203-215 (1996) - [c16]Diana Sidarkeviciute, Enn Tyugu, Ago Kuusik:
A knowledge-based toolkit for software visualisation. KBSE 1996: 125-133 - 1995
- [c15]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 - [c14]Enn Tyugu:
From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience). KBSE 1995: 88-95 - 1994
- [j16]Enn Tyugu:
Using classes as specifications for automatic construction of programs in the NUT system. Autom. Softw. Eng. 1(3-4): 315-334 (1994) - [j15]Enn Tyugu:
Inductive Logic Programming : S Muggleton (Ed.). Knowl. Based Syst. 7(2): 149-150 (1994) - [j14]Enn Tyugu:
Artificial intelligence through search : C Thornton and B du Boulay. Knowl. Based Syst. 7(2): 150- (1994) - [c13]Enn Tyugu:
Attribute models of design objects. Formal Design Methods for CAD 1994: 33-44 - [e2]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. IFIP Transactions B-18, Elsevier 1994, ISBN 0-444-81970-3 [contents] - [e1]Brian H. Mayoh, Enn Tyugu, Jaan Penjam:
Constraint Programming, Proceedings of the NATO Advanced Study Institute on Constraint Programming, Parnu, Estonia, August 13-24, 1993. NATO ASI Series 131, Springer 1994, ISBN 978-3-642-85985-4 [contents] - 1993
- [j13]Enn Tyugu:
Large engineering knowledge bases. Artif. Intell. Eng. 8(4): 265-270 (1993) - [c12]Brian H. Mayoh, Enn Tyugu, Tarmo Uustalu:
Constraint Satisfaction and Constraint Programming: A Brief Lead-In. NATO ASI CP 1993: 1-16 - [c11]Enn Tyugu, Tarmo Uustalu:
Higher-Order Functional Constraint Networks. NATO ASI CP 1993: 116-139 - [c10]Jaan Penjam, Enn Tyugu:
Constraints in NUT. NATO ASI CP 1993: 330-349 - 1992
- [j12]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) - [c9]Enn Tyugu:
Large heterogeneous knowledge bases. Machine Intelligence 13 1992: 269-288 - 1991
- [j11]Enn Tyugu:
Three New-Generation Software Environments. Commun. ACM 34(6): 46-59 (1991) - [j10]Enn Tyugu:
Editorial. Knowl. Based Syst. 4(1): 3 (1991) - [j9]Enn Tyugu:
Knowledge-based programming environments. Knowl. Based Syst. 4(1): 4-15 (1991) - [j8]Enn Tyugu:
Higher Order Dataflow Schemas. Theor. Comput. Sci. 90(1): 185-198 (1991) - [p2]Grigori Mints, Enn Tyugu:
The Programming System PRIZ. Baltic Computer Science 1991: 1-17 - [p1]Grigori Mints, Jan M. Smith, Enn Tyugu:
Type-theoretical Semantics of Some Declarative Languages. Baltic Computer Science 1991: 18-32 - 1990
- [j7]Grigori Mints, Enn Tyugu:
Editorial. J. Log. Program. 9(2&3): 139-140 (1990) - [j6]Grigori Mints, Enn Tyugu:
Propositional Logic Programming and Priz System. J. Log. Program. 9(2&3): 179-193 (1990)
1980 – 1989
- 1989
- [c8]Vadim E. Kotov, Alexander S. Narin'ani, Enn Tyugu:
The USSR Academy of Sciences Start Project. IFIP Congress 1989: 623-626 - [c7]Enn Tyugu:
Propositional Logic Programming and Type Thoeries. SCAI 1989: 863-871 - 1988
- [j5]Enn Tyugu:
Intelligent engineering software research at the Tallinn Institute of Cybernetics. Artif. Intell. Eng. 3(4): 227-228 (1988) - [j4]Grigori Mints, Enn Tyugu:
The Programming System PRIZ. J. Symb. Comput. 5(3): 359-375 (1988) - 1987
- [j3]Grigori Mints, Enn Tyugu:
Corrigendum: Semantics of a Declarative Language. Inf. Process. Lett. 25(2): 139 (1987) - 1986
- [j2]Grigori Mints, Enn Tyugu:
Semantics of a Declarative Language. Inf. Process. Lett. 23(3): 147-151 (1986) - [c6]Enn Tyugu:
The Future of Logic Programming - Response. IFIP Congress 1986: 225-228 - 1985
- [c5]Enn Tyugu:
Language and example of knowledge-based programming. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 59-72 - 1982
- [j1]Grigori Mints, Enn Tyugu:
Justifications of the Structural Synthesis of Programs. Sci. Comput. Program. 2(3): 215-240 (1982) - 1980
- [c4]Enn Tyugu:
Towards Practical Synthesis of Programs. IFIP Congress 1980: 207-219
1970 – 1979
- 1979
- [c3]Enn Tyugu:
The structural synthesis of programs. Algorithms in Modern Mathematics and Computer Science 1979: 290-303 - 1975
- [c2]Enn Tyugu:
A programming system with automatic program synthesis. Methods of Algorithmic Language Implementation 1975: 251-267 - 1971
- [c1]Enn Tyugu:
A Data Base and Problem Solver for Computer-Aided Design. IFIP Congress (2) 1971: 1046-1049
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint