|
Search the dblp DataBase
Giuliano Pacini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini
Information Management in Context Trees. [Citation Graph (1, 0)][DBLP] Acta Inf., 1978, v:10, n:, pp:85-94 [Journal]
- Filomena Ferrucci, Vincenzo Loia, Giuliano Pacini, Maria I. Sessa
A Sleeper-based Prolog Interpreter with Loop Checks. [Citation Graph (0, 0)][DBLP] GULP-PRODE (2), 1994, pp:379-392 [Conf]
- Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa
Loop Checking for Reduced SLD-derivations. [Citation Graph (0, 0)][DBLP] GULP-PRODE (1), 1994, pp:388-402 [Conf]
- Andrea Esuli, Antonio Cisternino, Giuliano Pacini, Maria Simi
Adaptive Real Time Comment Generation for Sail Racing Scenarios. [Citation Graph (0, 0)][DBLP] AH, 2002, pp:392-396 [Conf]
- Vincenzo Ambriola, Giuliano Pacini, Franco Turini
The Sharing of Partial Results in Nondeterministic Computations. [Citation Graph (0, 0)][DBLP] AIMSA, 1986, pp:93-103 [Conf]
- Maurizio Tucci, Giuliana Vitiello, Gennaro Costagliola, Giuliano Pacini, Genoveffa Tortora
Graphs and Visual Languages for Visual Interfaces. [Citation Graph (0, 0)][DBLP] Advanced Visual Interfaces, 1992, pp:304-318 [Conf]
- Giuliano Pacini, Carlo Montangero, Franco Turini
Graph Representation and Computation Rules for Typeless Recursive Languages. [Citation Graph (0, 0)][DBLP] ICALP, 1974, pp:157-169 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICSE, 1979, pp:251-264 [Conf]
- Carlo Montangero, Giuliano Pacini, Franco Turini
MAGMA-LISP: A "Machine Language" For Artificial Intelligence. [Citation Graph (0, 0)][DBLP] IJCAI, 1975, pp:556-561 [Conf]
- Giuliano Pacini, Franco Turini
Demonizing Production Systems. [Citation Graph (0, 0)][DBLP] IJCAI, 1983, pp:862-866 [Conf]
- Carlo Montangero, Giuliano Pacini, Franco Turini
A model for structured parallel processing in block-structured programming languages. [Citation Graph (0, 0)][DBLP] Symposium on Programming, 1974, pp:350-361 [Conf]
- Timothy Arndt, Angela Guercio, Giuliano Pacini, Genny Tortora
Symbolic execution of logic programs. [Citation Graph (0, 0)][DBLP] SEKE, 1994, pp:414-421 [Conf]
- Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini
Querying and Analysis of Software Specifications. [Citation Graph (0, 0)][DBLP] SEKE, 1992, pp:470-478 [Conf]
- Filomena Ferrucci, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci, Giuliana Vitiello
Efficient Parsing of Multidimensional Structures. [Citation Graph (0, 0)][DBLP] VL, 1991, pp:105-110 [Conf]
- Claudia Crimi, Angela Guercio, Giancarlo Nota, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci
Relation Grammars for Modelling Multi-dimensional Structures. [Citation Graph (0, 0)][DBLP] VL, 1990, pp:168-173 [Conf]
- Andrea Esuli, Antonio Cisternino, Giuliano Pacini, Maria Simi
Multimodal presentation of dynamic object scenarios on the web. [Citation Graph (0, 0)][DBLP] Web3D, 2003, pp:147-153 [Conf]
- Carlo Montangero, Giuliano Pacini, Franco Turini
Two-Level Control Structure for Nondeterministic Programming. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1977, v:20, n:10, pp:725-730 [Journal]
- Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa
On Redundancy Elimination Tolerant Scheduling Rules [Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal]
- Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa
Redundancy Elimination and Loop Checks for Logic Programs [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:119, n:2, pp:137-153 [Journal]
- Filomena Ferrucci, Giuliano Pacini, Giorgio Satta, Maria I. Sessa, Genoveffa Tortora, Maurizio Tucci, Giuliana Vitiello
Symbol-Relation Grammars: A Formalism for Graphical Languages. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:131, n:1, pp:1-46 [Journal]
- Giuliano Pacini, Franco Turini
Semantics of Production Systems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1987, v:73, n:2, pp:87-101 [Journal]
- Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini
Writing and Analyzing System Specifications by Integrated Linguistic Tools. [Citation Graph (0, 0)][DBLP] International Journal of Software Engineering and Knowledge Engineering, 1997, v:7, n:1, pp:69-99 [Journal]
- Shi-Kuo Chang, Gennaro Costagliola, Giuliano Pacini, Maurizio Tucci, Genoveffa Tortora, Bing Yu, Jing-Sheng Yu
Visual-Language System for User Interfaces. [Citation Graph (0, 0)][DBLP] IEEE Software, 1995, v:12, n:2, pp:33-44 [Journal]
- G. Callegarin, Giuliano Pacini
About the Implementability and the Power of Equationally Defined Data Abstractions. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1981, v:14, n:, pp:305-315 [Journal]
- Giancarlo Nota, Sergio Orefice, Giuliano Pacini, F. Ruggiero, Genoveffa Tortora
Legality Concepts for Three-Valued Logic Programs. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:120, n:1, pp:45-68 [Journal]
- Giuliano Pacini, Maria I. Sessa
Loop checking in SLD-derivations by well-quasi-ordering of goals. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:238, n:1-2, pp:221-246 [Journal]
- Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa
On redundancy elimination tolerant scheduling rules. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:5, pp:539-590 [Journal]
- Claudia Crimi, Angela Guercio, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci
Automating Visual Language Generation. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1990, v:16, n:10, pp:1122-1135 [Journal]
- Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini
RSF: A Formalism for Executable Requirement Specifications. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1990, v:16, n:11, pp:1235-1246 [Journal]
- Giancarlo Nota, Giuliano Pacini
Querying of Executable Software Specifications. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1992, v:18, n:8, pp:705-716 [Journal]
Learning problem solving with spreadsheet and database tools. [Citation Graph (, )][DBLP]
Search in 0.042secs, Finished in 0.043secs
|