Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Giuliano Pacini
2000 – 2009
- 2004
[c16]Giuliano Pacini, Giuseppe Fiorentino, Annalina Fabrizio: Learning problem solving with spreadsheet and database tools. ITiCSE 2004: 267- 2003
- [c15]Andrea Esuli, Antonio Cisternino, Giuliano Pacini, Maria Simi: Multimodal presentation of dynamic object scenarios on the web. Web3D 2003: 147-153
- 2002
- [c14]Andrea Esuli, Antonio Cisternino, Giuliano Pacini, Maria Simi: Adaptive Real Time Comment Generation for Sail Racing Scenarios. AH 2002: 392-396
- 2001
- [j17]Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa: On redundancy elimination tolerant scheduling rules. TPLP 1(5): 539-590 (2001)
- 2000
- [j16]Giuliano Pacini, Maria I. Sessa: Loop checking in SLD-derivations by well-quasi-ordering of goals. Theor. Comput. Sci. 238(1-2): 221-246 (2000)
- [i1]Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa: On Redundancy Elimination Tolerant Scheduling Rules. CoRR cs.PL/0004006 (2000)
1990 – 1999
- 1997
- [j15]Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini: Writing and Analyzing System Specifications by Integrated Linguistic Tools. International Journal of Software Engineering and Knowledge Engineering 7(1): 69-99 (1997)
- 1996
- [j14]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): 1-46 (1996)
- 1995
- [j13]Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa: Redundancy Elimination and Loop Checks for Logic Programs. Inf. Comput. 119(2): 137-153 (1995)
- [j12]Shi-Kuo Chang, Gennaro Costagliola, Giuliano Pacini, Maurizio Tucci, Genoveffa Tortora, Bing Yu, Jing-Sheng Yu: Visual-Language System for User Interfaces. IEEE Software 12(2): 33-44 (1995)
- 1994
- [c13]Filomena Ferrucci, Vincenzo Loia, Giuliano Pacini, Maria I. Sessa: A Sleeper-based Prolog Interpreter with Loop Checks. GULP-PRODE (2) 1994: 379-392
- [c12]Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa: Loop Checking for Reduced SLD-derivations. GULP-PRODE (1) 1994: 388-402
- [c11]Timothy Arndt, Angela Guercio, Giuliano Pacini, Genny Tortora: Symbolic execution of logic programs. SEKE 1994: 414-421
- 1993
- [j11]Giancarlo Nota, Sergio Orefice, Giuliano Pacini, F. Ruggiero, Genoveffa Tortora: Legality Concepts for Three-Valued Logic Programs. Theor. Comput. Sci. 120(1): 45-68 (1993)
- 1992
- [j10]Filomena Ferrucci, Giancarlo Nota, Giuliano Pacini, Sergio Orefice, Genny Tortora: On the Refinement of Logic Specifications. International Journal of Software Engineering and Knowledge Engineering 2(3): 433-448 (1992)
- [j9]Giancarlo Nota, Giuliano Pacini: Querying of Executable Software Specifications. IEEE Trans. Software Eng. 18(8): 705-716 (1992)
- [c10]Maurizio Tucci, Giuliana Vitiello, Gennaro Costagliola, Giuliano Pacini, Genoveffa Tortora: Graphs and Visual Languages for Visual Interfaces. Advanced Visual Interfaces 1992: 304-318
- [c9]Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini: Querying and Analysis of Software Specifications. SEKE 1992: 470-478
- 1991
- [j8]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): 333-346 (1991)
- [c8]Filomena Ferrucci, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci, Giuliana Vitiello: Efficient Parsing of Multidimensional Structures. VL 1991: 105-110
- 1990
- [j7]Claudia Crimi, Angela Guercio, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci: Automating Visual Language Generation. IEEE Trans. Software Eng. 16(10): 1122-1135 (1990)
- [j6]Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini: RSF: A Formalism for Executable Requirement Specifications. IEEE Trans. Software Eng. 16(11): 1235-1246 (1990)
- [j5]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): 355-368 (1990)
- [c7]Claudia Crimi, Angela Guercio, Giancarlo Nota, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci: Relation Grammars for Modelling Multi-dimensional Structures. VL 1990: 168-173
1980 – 1989
- 1987
- [j4]
- 1986
- [c6]Vincenzo Ambriola, Giuliano Pacini, Franco Turini: The Sharing of Partial Results in Nondeterministic Computations. AIMSA 1986: 93-103
- 1983
- [c5]
- 1981
- [j3]G. Callegarin, Giuliano Pacini: About the Implementability and the Power of Equationally Defined Data Abstractions. Theor. Comput. Sci. 14: 305-315 (1981)
1970 – 1979
- 1979
- [c4]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: 251-264
- 1978
- [j2]Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini: Information Management in Context Trees. Acta Inf. 10: 85-94 (1978)
- 1977
- [j1]Carlo Montangero, Giuliano Pacini, Franco Turini: Two-Level Control Structure for Nondeterministic Programming. Commun. ACM 20(10): 725-730 (1977)
- 1975
- [c3]Carlo Montangero, Giuliano Pacini, Franco Turini: MAGMA-LISP: A "Machine Language" For Artificial Intelligence. IJCAI 1975: 556-561
- 1974
- [c2]Giuliano Pacini, Carlo Montangero, Franco Turini: Graph Representation and Computation Rules for Typeless Recursive Languages. ICALP 1974: 157-169
- [c1]Carlo Montangero, Giuliano Pacini, Franco Turini: A model for structured parallel processing in block-structured programming languages. Symposium on Programming 1974: 350-361
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:07 CET by the dblp team