Enn Tyugu

81 papers A* 1B 1C 10Misc 6Journal 23Unranked 33
YearRankTypeTitle / Venue / Authors
2015 C conf
Abstract handling of Information and Knowledge.
EJC
Enn Tyugu
2015 — conf
Model-based technology of software development in large.
SPLST
Enn Tyugu, Jaan Penjam
2014 C conf
A Case Study of Combining Compositional and Object-oriented Software Development.
MODELSWARD
Enn Tyugu, Mait Harf, Pavel Grigorenko
2014 C conf
Enterprise Security Analysis and Training Experience.
CRITIS
Andres Ojamaa, Enn Tyugu
2013 C conf
A Model-based Software Technology Proposal.
MODELSWARD
Vahur Kotkas, Jaan Penjam, Ahto Kalja, Enn Tyugu
2013 Misc conf
Situation awareness and control errors of cyber weapons.
CogSIMA
Enn Tyugu
2012 — conf
Command and control of cyber weapons.
CyCon
Enn Tyugu
2011 — ed.
3rd International Conference on Cyber Conflict, CyCon 2011, Tallinn, Estonia, June 7-10, 2011
CyCon
Christian Czosseck, Enn Tyugu, Thomas C. Wingfield
2011 — conf
Artificial intelligence in cyber defense.
CyCon
Enn Tyugu
2011 — conf
CoCoViLa as a multifunctional simulation platform.
SimuTools
Vahur Kotkas, Andres Ojamaa, Pavel Grigorenko, Riina Maigre, Mait Harf, Enn Tyugu
2011 C conf
Composition of Services on Hierarchical Service Models.
EJC
Riina Maigre, Enn Tyugu
2011 C conf
When Computers Become too Smart.
EJC
Enn Tyugu
2010 J jnl
Higher-Order Attribute Semantics of Flat Declarative Languages.
Comput. Informatics
Pavel Grigorenko, Enn Tyugu
2009 Misc conf
Lattices of Knowledge Systems.
IC-AI
Peeter Lorents, Enn Tyugu
2008 C conf
Graded Security Expert System.
CRITIS
Jüri Kivimaa, Andres Ojamaa, Enn Tyugu
2008 C conf
Handling Large Web Services Models in a Federated Governmental Information System.
ICIW
Riina Maigre, Peep Küngas, Mihhail Matskin, Enn Tyugu
2008 — conf
Stratified Composition of Web Services.
JCKBSE
Riina Maigre, Pavel Grigorenko, Peep Küngas, Enn Tyugu
2007 — book
Algorithms and Architectures of Artificial Intelligence
Enn Tyugu
2007 C conf
Compositional Logical Semantics for Business Process Languages.
ICIW
Mihhail Matskin, Riina Maigre, Enn Tyugu
2007 — conf
Computing and Computer Science in the Soviet Baltic Region.
History of Nordic Computing
Enn Tyugu
2007 — conf
Rich Components of Extendable Simulation Platform.
MSV
Andres Ojamaa, Enn Tyugu
2006 — conf
Deep Semantics of Visual Languages.
JCKBSE
Pavel Grigorenko, Enn Tyugu
2006 — ed.
Knowledge-Based Software Engineering, Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2006, August 28-31, 2006, Tallinn, Estonia
JCKBSE
Enn Tyugu, Takahira Yamaguchi
2006 — conf
Logic for Higher-Order Workflow of Composite Web Services.
SWWS
Mihhail Matskin, Enn Tyugu
2006 J jnl
Understanding knowledge architectures.
Knowl. Based Syst.
Enn Tyugu
2005 — conf
COCOVILA - Compiler-Compiler for Visual Languages.
LDTA@ETAPS
Pavel Grigorenko, Ando Saabas, Enn Tyugu
2005 C conf
Describing Knowledge Architectures.
EJC
Enn Tyugu
2005 — conf
Logical Instruments for Dynamic Web Service Composition.
ISWS
Enn Tyugu, Mihhail Matskin
2005 — conf
Metainterfaces Support Structural and Object-Oriented Software Composition.
Software Engineering Research and Practice
Enn Tyugu
2005 — conf
Visual tool for generative programming.
ESEC/SIGSOFT FSE
Pavel Grigorenko, Ando Saabas, Enn Tyugu
2004 Misc conf
Modularity of Knowledge.
IC-AI
Enn Tyugu
2003 Misc conf
Formalization of Knowledge Systems.
IC-AI
Enn Tyugu
2002 Misc conf
Computational Frames as Metainterfaces.
IC-AI
Sven Lämmermann, Enn Tyugu
2001 — conf
A Specification Logic for Dynamic Composition of Services.
ICDCS Workshops
Sven Lämmermann, Enn Tyugu
2001 — conf
Automated Program Synthesis for Java Programming Language.
Ershov Memorial Conference
Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu
2001 B conf
Concurrent Implementation of Structurally Synthesized Programs.
PaCT
Sven Lämmermann, Enn Tyugu, Vladimir Vlassov
2001 J jnl
Guest Editorial.
Autom. Softw. Eng.
Robert J. Hall, Enn Tyugu
2001 J jnl
Strategies of Structural Synthesis of Programs and its Extensions.
Comput. Artif. Intell.
Mihhail Matskin, Enn Tyugu
2000 Misc conf
A Specification Logic for Reconfigurable Computing.
PDPTA
Enn Tyugu
1999 — conf
Applications of Structural Synthesis of Programs.
World Congress on Formal Methods
Enn Tyugu, Mihhail Matskin, Jaan Penjam
1998 — conf
From Visual Specifications to Executable Code.
ECOOP Workshops
Enn Tyugu
1998 J jnl
NUTS: a Distributed Object-oriented Platform with High Level Communication Functions.
Comput. Artif. Intell.
Vladimir Vlassov, Mattin Addibpour, Enn Tyugu
1997 A* conf
Strategies of Structural Synthesis of Programs.
ASE
Mihhail Matskin, Enn Tyugu
1997 J jnl
Visual Programming in NUT.
J. Vis. Lang. Comput.
Enn Tyugu, R. Valt
1996 — conf
A knowledge-based toolkit for software visualisation.
KBSE
Diana Sidarkeviciute, Enn Tyugu, Ago Kuusik
1996 J jnl
Declarative reflection tools for agent shells.
Future Gener. Comput. Syst.
Enn Tyugu, Mattin Addibpour
1995 — conf
From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience).
KBSE
Enn Tyugu
1995 — conf
Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT).
Formal Methods for Industrial Applications
Mattin Addibpour, Enn Tyugu
1994 J jnl
Artificial intelligence through search : C Thornton and B du Boulay.
Knowl. Based Syst.
Enn Tyugu
1994 — conf
Attribute models of design objects.
Formal Design Methods for CAD
Enn Tyugu
1994 — ed.
Constraint Programming, Proceedings of the NATO Advanced Study Institute on Constraint Programming, Parnu, Estonia, August 13-24, 1993.
NATO ASI CP
Brian H. Mayoh, Enn Tyugu, Jaan Penjam
1994 — ed.
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
Formal Design Methods for CAD
John S. Gero, Enn Tyugu
1994 J jnl
Inductive Logic Programming : S Muggleton (Ed.).
Knowl. Based Syst.
Enn Tyugu
1994 J jnl
Using classes as specifications for automatic construction of programs in the NUT system.
Autom. Softw. Eng.
Enn Tyugu
1993 — conf
Constraint Satisfaction and Constraint Programming: A Brief Lead-In.
NATO ASI CP
Brian H. Mayoh, Enn Tyugu, Tarmo Uustalu
1993 — conf
Constraints in NUT.
NATO ASI CP
Jaan Penjam, Enn Tyugu
1993 — conf
Higher-Order Functional Constraint Networks.
NATO ASI CP
Enn Tyugu, Tarmo Uustalu
1993 J jnl
Large engineering knowledge bases.
Artif. Intell. Eng.
Enn Tyugu
1992 J jnl
Eco-logic: Logic-based approaches to ecological modelling : D Robertson, A Bundy, R Muetzelfeldt, M Haggith and M Uschold.
Knowl. Based Syst.
Enn Tyugu
1992 — conf
Large heterogeneous knowledge bases.
Machine Intelligence 13
Enn Tyugu
1991 J jnl
Editorial.
Knowl. Based Syst.
Enn Tyugu
1991 J jnl
Higher Order Dataflow Schemas.
Theor. Comput. Sci.
Enn Tyugu
1991 J jnl
Knowledge-based programming environments.
Knowl. Based Syst.
Enn Tyugu
1991 — ch.
The Programming System PRIZ.
Baltic Computer Science
Grigori Mints, Enn Tyugu
1991 J jnl
Three New-Generation Software Environments.
Commun. ACM
Enn Tyugu
1991 — ch.
Type-theoretical Semantics of Some Declarative Languages.
Baltic Computer Science
Grigori Mints, Jan M. Smith, Enn Tyugu
1990 J jnl
Editorial.
J. Log. Program.
Grigori Mints, Enn Tyugu
1990 J jnl
Propositional Logic Programming and Priz System.
J. Log. Program.
Grigori Mints, Enn Tyugu
1989 — conf
Propositional Logic Programming and Type Thoeries.
SCAI
Enn Tyugu
1989 — conf
The USSR Academy of Sciences Start Project.
IFIP Congress
Vadim E. Kotov, Alexander S. Narin'ani, Enn Tyugu
1988 J jnl
Intelligent engineering software research at the Tallinn Institute of Cybernetics.
Artif. Intell. Eng.
Enn Tyugu
1988 J jnl
The Programming System PRIZ.
J. Symb. Comput.
Grigori Mints, Enn Tyugu
1987 J jnl
Corrigendum: Semantics of a Declarative Language.
Inf. Process. Lett.
Grigori Mints, Enn Tyugu
1986 J jnl
Semantics of a Declarative Language.
Inf. Process. Lett.
Grigori Mints, Enn Tyugu
1986 — conf
The Future of Logic Programming - Response.
IFIP Congress
Enn Tyugu
1985 — conf
Language and example of knowledge-based programming.
Mathematical Methods of Specification and Synthesis of Software Systems
Enn Tyugu
1982 J jnl
Justifications of the Structural Synthesis of Programs.
Sci. Comput. Program.
Grigori Mints, Enn Tyugu
1980 — conf
Towards Practical Synthesis of Programs.
IFIP Congress
Enn Tyugu
1979 — conf
The structural synthesis of programs.
Algorithms in Modern Mathematics and Computer Science
Enn Tyugu
1975 — conf
A programming system with automatic program synthesis.
Methods of Algorithmic Language Implementation
Enn Tyugu
1971 — conf
A Data Base and Problem Solver for Computer-Aided Design.
IFIP Congress (2)
Enn Tyugu