Giuliano Pacini

Giuseppe Fiorentino

Annalina Fabrizio

Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

2003

Multimodal presentation of dynamic object scenarios on the web.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the Eighth International Conference on 3D Web Technology, 2003

2002

Adaptive Real Time Comment Generation for Sail Racing Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001

On redundancy elimination tolerant scheduling rules.

[BibT_eX]

[DOI]

Filomena Ferrucci

Theory Pract. Log. Program., 2001

2000

Loop checking in SLD-derivations by well-quasi-ordering of goals.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

1997

Writing and Analyzing System Specifications by Integrated Linguistic Tools.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1997

1996

Symbol-Relation Grammars: A Formalism for Graphical Languages.

[BibT_eX]

[DOI]

Inf. Comput., 1996

1995

Redundancy Elimination and Loop Checks for Logic Programs

[BibT_eX]

[DOI]

Filomena Ferrucci

Inf. Comput., June, 1995

Visual-Language System for User Interfaces.

[BibT_eX]

[DOI]

IEEE Softw., 1995

1994

Symbolic execution of logic programs.

[BibT_eX]

Proceedings of the SEKE'94, 1994

Loop Checking for Reduced SLD-derivations.

[BibT_eX]

Filomena Ferrucci

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

A Sleeper-based Prolog Interpreter with Loop Checks.

[BibT_eX]

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Legality Concepts for Three-Valued Logic Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

1992

Querying of Executable Software Specifications.

[BibT_eX]

[DOI]

Giancarlo Nota

IEEE Trans. Software Eng., 1992

On the Refinement of Logic Specifications.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1992

Querying and Analysis of Software Specifications.

[BibT_eX]

[DOI]

Proceedings of the SEKE'92, 1992

Graphs and Visual Languages for Visual Interfaces.

[BibT_eX]

Proceedings of the Advanced Visual Interfaces - Proceedings of the International Workshop, 1992

1991

Relation grammars and their application to multi-dimensional languages.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1991

Efficient Parsing of Multidimensional Structures.

[BibT_eX]

[DOI]

Proceedings of the 1991 IEEE Workshop on Visual Languages, Kobe, Japan, October 8-11, 1991, 1991

1990

Grammatical inference algorithms for the generation of visual languages.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1990

RSF: A Formalism for Executable Requirement Specifications.

[BibT_eX]

[DOI]

Michela Degl'Innocenti

Gian-Luigi Ferrari

IEEE Trans. Software Eng., 1990

Automating Visual Language Generation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

Relation Grammars for Modelling Multi-dimensional Structures.

[BibT_eX]

[DOI]

Proceedings of the 1990 IEEE Workshop on Visual Languages, 1990

1987

Semantics of Production Systems

[BibT_eX]

[DOI]

Inf. Comput., May, 1987

1986

The Sharing of Partial Results in Nondeterministic Computations.

[BibT_eX]

Vincenzo Ambriola

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1983

Demonizing Production Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1981

About the Implementability and the Power of Equationally Defined Data Abstractions.

[BibT_eX]

[DOI]

G. Callegarin

Theor. Comput. Sci., 1981

1979

A Flexible Environment for Program Development Based on a Symbolic Interpreter.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Software Engineering, 1979

1978

Information Management in Context Trees.

[BibT_eX]

[DOI]

Acta Informatica, 1978

1977

Two-Level Control Structure for Nondeterministic Programming.

[BibT_eX]

[DOI]

Commun. ACM, 1977

1975

MAGMA-LISP: A "Machine Language" For Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974

A model for structured parallel processing in block-structured programming languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Symposium, 1974

Graph Representation and Computation Rules for Typeless Recursive Languages.

[BibT_eX]

[DOI]