Graph Representation and Computation Rules for Typeless Recursive Languages. - Giuliano Pacini; Carlo Montangero; Franco Turini (ICALP, 1974)

A model for structured parallel processing in block-structured programming languages. - Carlo Montangero; Giuliano Pacini; Franco Turini (Symposium on Programming, 1974)

MAGMA-LISP: A "Machine Language" For Artificial Intelligence. - Carlo Montangero; Giuliano Pacini; Franco Turini (IJCAI, 1975)

Two-Level Control Structure for Nondeterministic Programming. - Carlo Montangero; Giuliano Pacini; Franco Turini (Commun. ACM, 1977)

Information Management in Context Trees. - Carlo Montangero; Giuliano Pacini; Maria Simi; Franco Turini (Acta Informatica, 1978)

A Flexible Environment for Program Development Based on a Symbolic Interpreter. - Patrizia Asirelli; Pierpaolo Degano; Giorgio Levi; Alberto Martelli; Ugo Montanari; Giuliano Pacini; Franco Sirovich; Franco Turini (ICSE, 1979)

About the Implementability and the Power of Equationally Defined Data Abstractions. - G. Callegarin; Giuliano Pacini (Theor. Comput. Sci., 1981)

Demonizing Production Systems. - Giuliano Pacini; Franco Turini (IJCAI, 1983)

The Sharing of Partial Results in Nondeterministic Computations. - Vincenzo Ambriola; Giuliano Pacini; Franco Turini (AIMSA, 1986)

Semantics of Production Systems - Giuliano Pacini; Franco Turini (Inf. Comput., 1987)

Relation Grammars for Modelling Multi-dimensional Structures. - Claudia Crimi; Angela Guercio; Giancarlo Nota; Giuliano Pacini; Genoveffa Tortora; Maurizio Tucci (VL, 1990)

Automating Visual Language Generation. - Claudia Crimi; Angela Guercio; Giuliano Pacini; Genoveffa Tortora; Maurizio Tucci (IEEE Trans. Software Eng., 1990)

RSF: A Formalism for Executable Requirement Specifications. - Michela Degl'Innocenti; Gian-Luigi Ferrari 002; Giuliano Pacini; Franco Turini (IEEE Trans. Software Eng., 1990)

Grammatical inference algorithms for the generation of visual languages. - Claudia Crimi; Angela Guercio; Giuliano Pacini; Genoveffa Tortora; Maurizio Tucci (J. Vis. Lang. Comput., 1990)

Efficient Parsing of Multidimensional Structures. - Filomena Ferrucci; Giuliano Pacini; Genoveffa Tortora; Maurizio Tucci; Giuliana Vitiello (VL, 1991)

Relation grammars and their application to multi-dimensional languages. - Claudia Crimi; Angela Guercio; Giancarlo Nota; Giuliano Pacini; Genoveffa Tortora; Maurizio Tucci (J. Vis. Lang. Comput., 1991)

Graphs and Visual Languages for Visual Interfaces. - Maurizio Tucci; Giuliana Vitiello; Gennaro Costagliola; Giuliano Pacini; Genoveffa Tortora (Advanced Visual Interfaces, 1992)

Querying and Analysis of Software Specifications. - Andrea F. Abate; C. D'apolito; Giancarlo Nota; Giuliano Pacini (SEKE, 1992)

On the Refinement of Logic Specifications. - Filomena Ferrucci; Giancarlo Nota; Giuliano Pacini; Sergio Orefice; Genny Tortora (Int. J. Softw. Eng. Knowl. Eng., 1992)

Querying of Executable Software Specifications. - Giancarlo Nota; Giuliano Pacini (IEEE Trans. Software Eng., 1992)

Legality Concepts for Three-Valued Logic Programs. - Giancarlo Nota; Sergio Orefice; Giuliano Pacini; F. Ruggiero; Genoveffa Tortora (Theor. Comput. Sci., 1993)

A Sleeper-based Prolog Interpreter with Loop Checks. - Filomena Ferrucci; Vincenzo Loia; Giuliano Pacini; Maria I. Sessa (GULP-PRODE (2), 1994)

Loop Checking for Reduced SLD-derivations. - Filomena Ferrucci; Giuliano Pacini; Maria I. Sessa (GULP-PRODE (1), 1994)

Symbolic execution of logic programs. - Timothy Arndt; Angela Guercio; Giuliano Pacini; Genny Tortora (SEKE, 1994)

Visual-Language System for User Interfaces. - Shi-Kuo Chang; Gennaro Costagliola; Giuliano Pacini; Maurizio Tucci; Genoveffa Tortora; Bing Yu; Jing-Sheng Yu (IEEE Softw., 1995)

Redundancy Elimination and Loop Checks for Logic Programs - Filomena Ferrucci; Giuliano Pacini; Maria I. Sessa (Inf. Comput., 1995)

Symbol-Relation Grammars: A Formalism for Graphical Languages. - Filomena Ferrucci; Giuliano Pacini; Giorgio Satta; Maria I. Sessa; Genoveffa Tortora; Maurizio Tucci; Giuliana Vitiello (Inf. Comput., 1996)

Writing and Analyzing System Specifications by Integrated Linguistic Tools. - Andrea F. Abate; C. D'apolito; Giancarlo Nota; Giuliano Pacini (Int. J. Softw. Eng. Knowl. Eng., 1997)

Loop checking in SLD-derivations by well-quasi-ordering of goals. - Giuliano Pacini; Maria I. Sessa (Theor. Comput. Sci., 2000)

On redundancy elimination tolerant scheduling rules. - Filomena Ferrucci; Giuliano Pacini; Maria I. Sessa (Theory Pract. Log. Program., 2001)

Adaptive Real Time Comment Generation for Sail Racing Scenarios. - Andrea Esuli; Antonio Cisternino; Giuliano Pacini; Maria Simi (AH, 2002)

Multimodal presentation of dynamic object scenarios on the web. - Andrea Esuli; Antonio Cisternino; Giuliano Pacini; Maria Simi (Web3D, 2003)

Learning problem solving with spreadsheet and database tools. - Giuliano Pacini; Giuseppe Fiorentino; Annalina Fabrizio (ITiCSE, 2004)