Giuliano Pacini

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