Enn Tyugu

According to our database1, Enn Tyugu authored at least 76 papers between 1971 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
Model-based technology of software development in large.
Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15), 2015

Abstract handling of Information and Knowledge.
Proceedings of the Information Modelling and Knowledge Bases XXVII, 2015

2014
A Case Study of Combining Compositional and Object-oriented Software Development.
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.
Proceedings of the Critical Information Infrastructures Security, 2014

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

2012
Command and control of cyber weapons.
Proceedings of the 4th International Conference on Cyber Conflict, 2012

2011
CoCoViLa as a multifunctional simulation platform.
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

When Computers Become too Smart.
Proceedings of the Information Modelling and Knowledge Bases XXIII, 2011

Composition of Services on Hierarchical Service Models.
Proceedings of the Information Modelling and Knowledge Bases XXIII, 2011

Artificial intelligence in cyber defense.
Proceedings of the 3rd International Conference on Cyber Conflict, 2011

2010
Higher-Order Attribute Semantics of Flat Declarative Languages.
Computing and Informatics, 2010

2009
Lattices of Knowledge Systems.
Proceedings of the 2009 International Conference on Artificial Intelligence, 2009

2008
Stratified Composition of Web Services.
Proceedings of the Knowledge-Based Software Engineering, 2008

Handling Large Web Services Models in a Federated Governmental Information System.
Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

Graded Security Expert System.
Proceedings of the Critical Information Infrastructure Security, 2008

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

Rich Components of Extendable Simulation Platform.
Proceedings of the 2007 International Conference on Modeling, 2007

Compositional Logical Semantics for Business Process Languages.
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

Computing and Computer Science in the Soviet Baltic Region.
Proceedings of the History of Nordic Computing 2 - Second IFIP WG 9.7 Conference, 2007

2006
Understanding knowledge architectures.
Knowl.-Based Syst., 2006

Logic for Higher-Order Workflow of Composite Web Services.
Proceedings of the 2006 International Conference on Semantic Web & Web Services, 2006

Deep Semantics of Visual Languages.
Proceedings of the Knowledge-Based Software Engineering, 2006

2005
COCOVILA - Compiler-Compiler for Visual Languages.
Electr. Notes Theor. Comput. Sci., 2005

Visual tool for generative programming.
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.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Logical Instruments for Dynamic Web Service Composition.
Proceedings of The 2005 International Symposium on Web Services and Applications, 2005

Describing Knowledge Architectures.
Proceedings of the Information Modelling and Knowledge Bases XVII, 2005

2004
Modularity of Knowledge.
Proceedings of the International Conference on Artificial Intelligence, 2004

2003
Formalization of Knowledge Systems.
Proceedings of the International Conference on Artificial Intelligence, 2003

2002
Computational Frames as Metainterfaces.
Proceedings of the International Conference on Artificial Intelligence, 2002

2001
Strategies of Structural Synthesis of Programs and its Extensions.
Computers and Artificial Intelligence, 2001

Guest Editorial.
Autom. Softw. Eng., 2001

Concurrent Implementation of Structurally Synthesized Programs.
Proceedings of the Parallel Computing Technologies, 2001

A Specification Logic for Dynamic Composition of Services.
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

Automated Program Synthesis for Java Programming Language.
Proceedings of the Perspectives of System Informatics, 2001

2000
A Specification Logic for Reconfigurable Computing.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1999
Applications of Structural Synthesis of Programs.
Proceedings of the FM'99 - Formal Methods, 1999

1998
NUTS: a Distributed Object-oriented Platform with High Level Communication Functions.
Computers and Artificial Intelligence, 1998

From Visual Specifications to Executable Code.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
Visual Programming in NUT.
J. Vis. Lang. Comput., 1997

Strategies of Structural Synthesis of Programs.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1996
Declarative reflection tools for agent shells.
Future Generation Comp. Syst., 1996

A knowledge-based toolkit for software visualisation.
Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996

1995
From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience).
Proceedings of the Proceedings KBSE'95, 1995

Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT).
Proceedings of the Formal Methods for Industrial Applications, 1995

1994
Artificial intelligence through search : C Thornton and B du Boulay.
Knowl.-Based Syst., 1994

Inductive Logic Programming : S Muggleton (Ed.).
Knowl.-Based Syst., 1994

Using classes as specifications for automatic construction of programs in the NUT system.
Autom. Softw. Eng., 1994

Large heterogeneous knowledge bases.
Machine Intelligence 13, 1994

Attribute models of design objects.
Proceedings of the Formal Design Methods for CAD, 1994

1993
Large engineering knowledge bases.
AI in Engineering, 1993

Higher-Order Functional Constraint Networks.
Proceedings of the Constraint Programming, 1993

Constraints in NUT.
Proceedings of the Constraint Programming, 1993

Constraint Satisfaction and Constraint Programming: A Brief Lead-In.
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.
Knowl.-Based Syst., 1992

1991
Higher Order Dataflow Schemas.
Theor. Comput. Sci., 1991

Knowledge-based programming environments.
Knowl.-Based Syst., 1991

Editorial.
Knowl.-Based Syst., 1991

Three New-Generation Software Environments.
Commun. ACM, 1991

The Programming System PRIZ.
Proceedings of the Baltic Computer Science, Selected Papers, 1991

Type-theoretical Semantics of Some Declarative Languages.
Proceedings of the Baltic Computer Science, Selected Papers, 1991

1990
Propositional Logic Programming and Priz System.
J. Log. Program., 1990

Editorial.
J. Log. Program., 1990

1989
Propositional Logic Programming and Type Thoeries.
SCAI, 1989

The USSR Academy of Sciences Start Project.
IFIP Congress, 1989

1988
The Programming System PRIZ.
J. Symb. Comput., 1988

Intelligent engineering software research at the Tallinn Institute of Cybernetics.
AI in Engineering, 1988

1987
Corrigendum: Semantics of a Declarative Language.
Inf. Process. Lett., 1987

1986
Semantics of a Declarative Language.
Inf. Process. Lett., 1986

The Future of Logic Programming - Response.
IFIP Congress, 1986

1985
Language and example of knowledge-based programming.
Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985

1982
Justifications of the Structural Synthesis of Programs.
Sci. Comput. Program., 1982

1980
Towards Practical Synthesis of Programs.
IFIP Congress, 1980

1979
The structural synthesis of programs.
Proceedings of the Algorithms in Modern Mathematics and Computer Science, 1979

1975
A programming system with automatic program synthesis.
Proceedings of the Methods of Algorithmic Language Implementation [Symposium, 1975

1971
A Data Base and Problem Solver for Computer-Aided Design.
IFIP Congress (2), 1971


  Loading...