Enn Tyugu

According to our database, Enn Tyugu authored at least 77 papers between 1971 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Model-based technology of software development in large.

Enn Tyugu, Jaan Penjam

Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15), 2015

Abstract handling of Information and Knowledge.

Enn Tyugu

Proceedings of the Information Modelling and Knowledge Bases XXVII, 2015

2014

A Case Study of Combining Compositional and Object-oriented Software Development.

Enn Tyugu, Mait Harf, Pavel Grigorenko

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Enterprise Security Analysis and Training Experience.

Andres Ojamaa, Enn Tyugu

Proceedings of the Critical Information Infrastructures Security, 2014

2013

A Model-based Software Technology Proposal.

Vahur Kotkas, Jaan Penjam, Ahto Kalja, Enn Tyugu

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Situation awareness and control errors of cyber weapons.

Enn Tyugu

Proceedings of the IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2013

2012

Command and control of cyber weapons.

Enn Tyugu

Proceedings of the 4th International Conference on Cyber Conflict, 2012

2011

CoCoViLa as a multifunctional simulation platform.

Vahur Kotkas, Andres Ojamaa, Pavel Grigorenko, Riina Maigre, Mait Harf, Enn Tyugu

Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

When Computers Become too Smart.

Enn Tyugu

Proceedings of the Information Modelling and Knowledge Bases XXIII, 2011

Composition of Services on Hierarchical Service Models.

Riina Maigre, Enn Tyugu

Proceedings of the Information Modelling and Knowledge Bases XXIII, 2011

Artificial intelligence in cyber defense.

Enn Tyugu

Proceedings of the 3rd International Conference on Cyber Conflict, 2011

2010

Higher-Order Attribute Semantics of Flat Declarative Languages.

Pavel Grigorenko, Enn Tyugu

Comput. Informatics, 2010

2009

Lattices of Knowledge Systems.

Peeter Lorents, Enn Tyugu

Proceedings of the 2009 International Conference on Artificial Intelligence, 2009

2008

Stratified Composition of Web Services.

Riina Maigre, Pavel Grigorenko, Peep Küngas, Enn Tyugu

Proceedings of the Knowledge-Based Software Engineering, 2008

Handling Large Web Services Models in a Federated Governmental Information System.

Riina Maigre, Peep Küngas, Mihhail Matskin, Enn Tyugu

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

Graded Security Expert System.

Jüri Kivimaa, Andres Ojamaa, Enn Tyugu

Proceedings of the Critical Information Infrastructure Security, 2008

2007

Algorithms and Architectures of Artificial Intelligence

Enn Tyugu

Frontiers in Artificial Intelligence and Applications 159, IOS Press, ISBN: 978-1-58603-770-3, 2007

Rich Components of Extendable Simulation Platform.

Andres Ojamaa, Enn Tyugu

Proceedings of the 2007 International Conference on Modeling, 2007

Compositional Logical Semantics for Business Process Languages.

Mihhail Matskin, Riina Maigre, Enn Tyugu

Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

Computing and Computer Science in the Soviet Baltic Region.

Enn Tyugu

Proceedings of the History of Nordic Computing 2 - Second IFIP WG 9.7 Conference, 2007

2006

Understanding knowledge architectures.

Enn Tyugu

Knowl. Based Syst., 2006

Logic for Higher-Order Workflow of Composite Web Services.

Mihhail Matskin, Enn Tyugu

Proceedings of the 2006 International Conference on Semantic Web & Web Services, 2006

Deep Semantics of Visual Languages.

Pavel Grigorenko, Enn Tyugu

Proceedings of the Knowledge-Based Software Engineering, 2006

2005

COCOVILA - Compiler-Compiler for Visual Languages.

Pavel Grigorenko, Ando Saabas, Enn Tyugu

Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 2005

Visual tool for generative programming.

Pavel Grigorenko, Ando Saabas, Enn Tyugu

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Metainterfaces Support Structural and Object-Oriented Software Composition.

Enn Tyugu

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Logical Instruments for Dynamic Web Service Composition.

Enn Tyugu, Mihhail Matskin

Proceedings of The 2005 International Symposium on Web Services and Applications, 2005

Describing Knowledge Architectures.

Enn Tyugu

Proceedings of the Information Modelling and Knowledge Bases XVII, 2005

2004

Modularity of Knowledge.

Enn Tyugu

Proceedings of the International Conference on Artificial Intelligence, 2004

2003

Formalization of Knowledge Systems.

Enn Tyugu

Proceedings of the International Conference on Artificial Intelligence, 2003

2002

Computational Frames as Metainterfaces.

Sven Lämmermann, Enn Tyugu

Proceedings of the International Conference on Artificial Intelligence, 2002

2001

Strategies of Structural Synthesis of Programs and its Extensions.

Mihhail Matskin, Enn Tyugu

Comput. Artif. Intell., 2001

Guest Editorial.

Robert J. Hall, Enn Tyugu

Autom. Softw. Eng., 2001

Concurrent Implementation of Structurally Synthesized Programs.

Sven Lämmermann, Enn Tyugu, Vladimir Vlassov

Proceedings of the Parallel Computing Technologies, 2001

A Specification Logic for Dynamic Composition of Services.

Sven Lämmermann, Enn Tyugu

Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

Automated Program Synthesis for Java Programming Language.

Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu

Proceedings of the Perspectives of System Informatics, 2001

2000

A Specification Logic for Reconfigurable Computing.

Enn Tyugu

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1999

Applications of Structural Synthesis of Programs.

Enn Tyugu, Mihhail Matskin, Jaan Penjam

Proceedings of the FM'99 - Formal Methods, 1999

1998

NUTS: a Distributed Object-oriented Platform with High Level Communication Functions.

Vladimir Vlassov, Mattin Addibpour, Enn Tyugu

Comput. Artif. Intell., 1998

From Visual Specifications to Executable Code.

Enn Tyugu

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Visual Programming in NUT.

Enn Tyugu, R. Valt

J. Vis. Lang. Comput., 1997

Strategies of Structural Synthesis of Programs.

Mihhail Matskin, Enn Tyugu

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1996

Declarative reflection tools for agent shells.

Enn Tyugu, Mattin Addibpour

Future Gener. Comput. Syst., 1996

A knowledge-based toolkit for software visualisation.

Diana Sidarkeviciute, Enn Tyugu, Ago Kuusik

Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996

1995

From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience).

Enn Tyugu

Proceedings of the Proceedings KBSE'95, 1995

Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT).

Mattin Addibpour, Enn Tyugu

Proceedings of the Formal Methods for Industrial Applications, 1995

1994

Artificial intelligence through search : C Thornton and B du Boulay.

Enn Tyugu

Knowl. Based Syst., 1994

Inductive Logic Programming : S Muggleton (Ed.).

Enn Tyugu

Knowl. Based Syst., 1994

Using classes as specifications for automatic construction of programs in the NUT system.

Enn Tyugu

Autom. Softw. Eng., 1994

Attribute models of design objects.

Enn Tyugu

Proceedings of the Formal Design Methods for CAD, 1994

1993

Large engineering knowledge bases.

Enn Tyugu

Artif. Intell. Eng., 1993

Higher-Order Functional Constraint Networks.

Enn Tyugu, Tarmo Uustalu

Proceedings of the Constraint Programming, 1993

Constraints in NUT.

Jaan Penjam, Enn Tyugu

Proceedings of the Constraint Programming, 1993

Constraint Satisfaction and Constraint Programming: A Brief Lead-In.

Brian H. Mayoh, Enn Tyugu, Tarmo Uustalu

Proceedings of the Constraint Programming, 1993

1992

Eco-logic: Logic-based approaches to ecological modelling : D Robertson, A Bundy, R Muetzelfeldt, M Haggith and M Uschold.

Enn Tyugu

Knowl. Based Syst., 1992

Large heterogeneous knowledge bases.

Enn Tyugu

Proceedings of the Machine Intelligence 13, 1992

1991

Higher Order Dataflow Schemas.

Enn Tyugu

Theor. Comput. Sci., 1991

Knowledge-based programming environments.

Enn Tyugu

Knowl. Based Syst., 1991

Editorial.

Enn Tyugu

Knowl. Based Syst., 1991

Three New-Generation Software Environments.

Enn Tyugu

Commun. ACM, 1991

The Programming System PRIZ.

Grigori Mints, Enn Tyugu

Proceedings of the Baltic Computer Science, Selected Papers, 1991

Type-theoretical Semantics of Some Declarative Languages.

Grigori Mints, Jan M. Smith, Enn Tyugu

Proceedings of the Baltic Computer Science, Selected Papers, 1991

1990

Propositional Logic Programming and Priz System.

Grigori Mints, Enn Tyugu

J. Log. Program., 1990

Editorial.

Grigori Mints, Enn Tyugu

J. Log. Program., 1990

1989

Propositional Logic Programming and Type Thoeries.

Enn Tyugu

Proceedings of the Second Scandinavian Conference on Artificial Intelligence 1989, 1989

The USSR Academy of Sciences Start Project.

Vadim E. Kotov, Alexander S. Narin'ani, Enn Tyugu

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

The Programming System PRIZ.

Grigori Mints, Enn Tyugu

J. Symb. Comput., 1988

Intelligent engineering software research at the Tallinn Institute of Cybernetics.

Enn Tyugu

Artif. Intell. Eng., 1988

1987

Corrigendum: Semantics of a Declarative Language.

Grigori Mints, Enn Tyugu

Inf. Process. Lett., 1987

1986

Semantics of a Declarative Language.

Grigori Mints, Enn Tyugu

Inf. Process. Lett., 1986

The Future of Logic Programming - Response.

Enn Tyugu

Proceedings of the Information Processing 86, 1986

1985

Language and example of knowledge-based programming.

Enn Tyugu

Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985

1982

Justifications of the Structural Synthesis of Programs.

Grigori Mints, Enn Tyugu

Sci. Comput. Program., 1982

1980

Towards Practical Synthesis of Programs.

Enn Tyugu

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

The structural synthesis of programs.

Enn Tyugu

Proceedings of the Algorithms in Modern Mathematics and Computer Science, 1979

1975

A programming system with automatic program synthesis.

Enn Tyugu

Proceedings of the Methods of Algorithmic Language Implementation [Symposium, 1975

1971

A Data Base and Problem Solver for Computer-Aided Design.

Enn Tyugu

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 2, 1971