2004 |
32 | EE | Giuliano Pacini,
Giuseppe Fiorentino,
Annalina Fabrizio:
Learning problem solving with spreadsheet and database tools.
ITiCSE 2004: 267 |
2003 |
31 | EE | Andrea Esuli,
Antonio Cisternino,
Giuliano Pacini,
Maria Simi:
Multimodal presentation of dynamic object scenarios on the web.
Web3D 2003: 147-153 |
2002 |
30 | EE | Andrea Esuli,
Antonio Cisternino,
Giuliano Pacini,
Maria Simi:
Adaptive Real Time Comment Generation for Sail Racing Scenarios.
AH 2002: 392-396 |
2001 |
29 | | Filomena Ferrucci,
Giuliano Pacini,
Maria I. Sessa:
On redundancy elimination tolerant scheduling rules.
TPLP 1(5): 539-590 (2001) |
2000 |
28 | EE | Filomena Ferrucci,
Giuliano Pacini,
Maria I. Sessa:
On Redundancy Elimination Tolerant Scheduling Rules
CoRR cs.PL/0004006: (2000) |
27 | EE | 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) |
1997 |
26 | EE | 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 |
25 | | 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 |
24 | EE | 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) |
23 | | Filomena Ferrucci,
Giuliano Pacini,
Maria I. Sessa:
Redundancy Elimination and Loop Checks for Logic Programs
Inf. Comput. 119(2): 137-153 (1995) |
1994 |
22 | | Filomena Ferrucci,
Giuliano Pacini,
Maria I. Sessa:
Loop Checking for Reduced SLD-derivations.
GULP-PRODE (1) 1994: 388-402 |
21 | | Filomena Ferrucci,
Vincenzo Loia,
Giuliano Pacini,
Maria I. Sessa:
A Sleeper-based Prolog Interpreter with Loop Checks.
GULP-PRODE (2) 1994: 379-392 |
20 | | Timothy Arndt,
Angela Guercio,
Giuliano Pacini,
Genny Tortora:
Symbolic execution of logic programs.
SEKE 1994: 414-421 |
1993 |
19 | | 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 |
18 | | Maurizio Tucci,
Giuliana Vitiello,
Gennaro Costagliola,
Giuliano Pacini,
Genoveffa Tortora:
Graphs and Visual Languages for Visual Interfaces.
Advanced Visual Interfaces 1992: 304-318 |
17 | EE | Andrea F. Abate,
C. D'apolito,
Giancarlo Nota,
Giuliano Pacini:
Querying and Analysis of Software Specifications.
SEKE 1992: 470-478 |
16 | EE | Giancarlo Nota,
Giuliano Pacini:
Querying of Executable Software Specifications.
IEEE Trans. Software Eng. 18(8): 705-716 (1992) |
15 | EE | 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) |
1991 |
14 | | Filomena Ferrucci,
Giuliano Pacini,
Genoveffa Tortora,
Maurizio Tucci,
Giuliana Vitiello:
Efficient Parsing of Multidimensional Structures.
VL 1991: 105-110 |
1990 |
13 | | Claudia Crimi,
Angela Guercio,
Giancarlo Nota,
Giuliano Pacini,
Genoveffa Tortora,
Maurizio Tucci:
Relation Grammars for Modelling Multi-dimensional Structures.
VL 1990: 168-173 |
12 | EE | Claudia Crimi,
Angela Guercio,
Giuliano Pacini,
Genoveffa Tortora,
Maurizio Tucci:
Automating Visual Language Generation.
IEEE Trans. Software Eng. 16(10): 1122-1135 (1990) |
11 | EE | 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) |
1987 |
10 | | Giuliano Pacini,
Franco Turini:
Semantics of Production Systems
Inf. Comput. 73(2): 87-101 (1987) |
1986 |
9 | | Vincenzo Ambriola,
Giuliano Pacini,
Franco Turini:
The Sharing of Partial Results in Nondeterministic Computations.
AIMSA 1986: 93-103 |
1983 |
8 | | Giuliano Pacini,
Franco Turini:
Demonizing Production Systems.
IJCAI 1983: 862-866 |
1981 |
7 | | G. Callegarin,
Giuliano Pacini:
About the Implementability and the Power of Equationally Defined Data Abstractions.
Theor. Comput. Sci. 14: 305-315 (1981) |
1979 |
6 | | 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 |
5 | | Carlo Montangero,
Giuliano Pacini,
Maria Simi,
Franco Turini:
Information Management in Context Trees.
Acta Inf. 10: 85-94 (1978) |
1977 |
4 | | Carlo Montangero,
Giuliano Pacini,
Franco Turini:
Two-Level Control Structure for Nondeterministic Programming.
Commun. ACM 20(10): 725-730 (1977) |
1975 |
3 | | Carlo Montangero,
Giuliano Pacini,
Franco Turini:
MAGMA-LISP: A "Machine Language" For Artificial Intelligence.
IJCAI 1975: 556-561 |
1974 |
2 | | Giuliano Pacini,
Carlo Montangero,
Franco Turini:
Graph Representation and Computation Rules for Typeless Recursive Languages.
ICALP 1974: 157-169 |
1 | | Carlo Montangero,
Giuliano Pacini,
Franco Turini:
A model for structured parallel processing in block-structured programming languages.
Symposium on Programming 1974: 350-361 |