The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Giuliano Pacini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Giuliano Pacini, Franco Turini
    Demonizing Production Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:862-866 [Conf]
  11. 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]
  12. Timothy Arndt, Angela Guercio, Giuliano Pacini, Genny Tortora
    Symbolic execution of logic programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:414-421 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. Giuliano Pacini, Franco Turini
    Semantics of Production Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1987, v:73, n:2, pp:87-101 [Journal]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]

  31. Learning problem solving with spreadsheet and database tools. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002