Giuliano Pacini

Publication Activity (10 Years)

Years Active: 1974-2004
Publications (10 Years): 0

Publications

Giuliano Pacini, Giuseppe Fiorentino, Annalina Fabrizio
Learning problem solving with spreadsheet and database tools. ITiCSE (2004)
Andrea Esuli, Antonio Cisternino, Giuliano Pacini, Maria Simi
Multimodal presentation of dynamic object scenarios on the web. Web3D (2003)
Andrea Esuli, Antonio Cisternino, Giuliano Pacini, Maria Simi
Adaptive Real Time Comment Generation for Sail Racing Scenarios. AH (2002)
Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa
On redundancy elimination tolerant scheduling rules. Theory Pract. Log. Program. 1 (5) (2001)
Giuliano Pacini, Maria I. Sessa
Loop checking in SLD-derivations by well-quasi-ordering of goals. Theor. Comput. Sci. 238 (1-2) (2000)
Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa
On Redundancy Elimination Tolerant Scheduling Rules CoRR (2000)
Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini
Writing and Analyzing System Specifications by Integrated Linguistic Tools. Int. J. Softw. Eng. Knowl. Eng. 7 (1) (1997)
Filomena Ferrucci, Giuliano Pacini, Giorgio Satta, Maria I. Sessa, Genoveffa Tortora, Maurizio Tucci, Giuliana Vitiello
Symbol-Relation Grammars: A Formalism for Graphical Languages. Inf. Comput. 131 (1) (1996)
Shi-Kuo Chang, Gennaro Costagliola, Giuliano Pacini, Maurizio Tucci, Genoveffa Tortora, Bing Yu, Jing-Sheng Yu
Visual-Language System for User Interfaces. IEEE Softw. 12 (2) (1995)
Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa
Redundancy Elimination and Loop Checks for Logic Programs Inf. Comput. 119 (2) (1995)
Timothy Arndt, Angela Guercio, Giuliano Pacini, Genny Tortora
Symbolic execution of logic programs. SEKE (1994)
Filomena Ferrucci, Vincenzo Loia, Giuliano Pacini, Maria I. Sessa
A Sleeper-based Prolog Interpreter with Loop Checks. GULP-PRODE (2) (1994)
Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa
Loop Checking for Reduced SLD-derivations. GULP-PRODE (1) (1994)
Giancarlo Nota, Sergio Orefice, Giuliano Pacini, F. Ruggiero, Genoveffa Tortora
Legality Concepts for Three-Valued Logic Programs. Theor. Comput. Sci. 120 (1) (1993)
Maurizio Tucci, Giuliana Vitiello, Gennaro Costagliola, Giuliano Pacini, Genoveffa Tortora
Graphs and Visual Languages for Visual Interfaces. Advanced Visual Interfaces (1992)
Giancarlo Nota, Giuliano Pacini
Querying of Executable Software Specifications. IEEE Trans. Software Eng. 18 (8) (1992)
Filomena Ferrucci, Giancarlo Nota, Giuliano Pacini, Sergio Orefice, Genny Tortora
On the Refinement of Logic Specifications. Int. J. Softw. Eng. Knowl. Eng. 2 (3) (1992)
Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini
Querying and Analysis of Software Specifications. SEKE (1992)
Filomena Ferrucci, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci, Giuliana Vitiello
Efficient Parsing of Multidimensional Structures. VL (1991)
Claudia Crimi, Angela Guercio, Giancarlo Nota, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci
Relation grammars and their application to multi-dimensional languages. J. Vis. Lang. Comput. 2 (4) (1991)
Claudia Crimi, Angela Guercio, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci
Grammatical inference algorithms for the generation of visual languages. J. Vis. Lang. Comput. 1 (4) (1990)
Claudia Crimi, Angela Guercio, Giancarlo Nota, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci
Relation Grammars for Modelling Multi-dimensional Structures. VL (1990)
Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini
RSF: A Formalism for Executable Requirement Specifications. IEEE Trans. Software Eng. 16 (11) (1990)
Claudia Crimi, Angela Guercio, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci
Automating Visual Language Generation. IEEE Trans. Software Eng. 16 (10) (1990)
Giuliano Pacini, Franco Turini
Semantics of Production Systems Inf. Comput. 73 (2) (1987)
Vincenzo Ambriola, Giuliano Pacini, Franco Turini
The Sharing of Partial Results in Nondeterministic Computations. AIMSA (1986)
Giuliano Pacini, Franco Turini
Demonizing Production Systems. IJCAI (1983)
G. Callegarin, Giuliano Pacini
About the Implementability and the Power of Equationally Defined Data Abstractions. Theor. Comput. Sci. 14 (1981)
Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini
A Flexible Environment for Program Development Based on a Symbolic Interpreter. ICSE (1979)
Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini
Information Management in Context Trees. Acta Informatica 10 (1978)
Carlo Montangero, Giuliano Pacini, Franco Turini
Two-Level Control Structure for Nondeterministic Programming. Commun. ACM 20 (10) (1977)
Carlo Montangero, Giuliano Pacini, Franco Turini
MAGMA-LISP: A "Machine Language" For Artificial Intelligence. IJCAI (1975)
Giuliano Pacini, Carlo Montangero, Franco Turini
Graph Representation and Computation Rules for Typeless Recursive Languages. ICALP (1974)
Carlo Montangero, Giuliano Pacini, Franco Turini
A model for structured parallel processing in block-structured programming languages. Symposium on Programming (1974)