Giuliano Pacini

According to our database1, Giuliano Pacini
  • authored at least 34 papers between 1974 and 2004.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2004
Learning problem solving with spreadsheet and database tools.
Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

2003
Multimodal presentation of dynamic object scenarios on the web.
Proceedings of the Proceeding of the Eighth International Conference on 3D Web Technology, 2003

2002
Adaptive Real Time Comment Generation for Sail Racing Scenarios.
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001
On redundancy elimination tolerant scheduling rules.
TPLP, 2001

2000
Loop checking in SLD-derivations by well-quasi-ordering of goals.
Theor. Comput. Sci., 2000

On Redundancy Elimination Tolerant Scheduling Rules
CoRR, 2000

1997
Writing and Analyzing System Specifications by Integrated Linguistic Tools.
International Journal of Software Engineering and Knowledge Engineering, 1997

1996
Symbol-Relation Grammars: A Formalism for Graphical Languages.
Inf. Comput., 1996

1995
Redundancy Elimination and Loop Checks for Logic Programs
Inf. Comput., June, 1995

Visual-Language System for User Interfaces.
IEEE Software, 1995

1994
Symbolic execution of logic programs.
Proceedings of the SEKE'94, 1994

Loop Checking for Reduced SLD-derivations.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

A Sleeper-based Prolog Interpreter with Loop Checks.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
Legality Concepts for Three-Valued Logic Programs.
Theor. Comput. Sci., 1993

1992
Querying of Executable Software Specifications.
IEEE Trans. Software Eng., 1992

On the Refinement of Logic Specifications.
International Journal of Software Engineering and Knowledge Engineering, 1992

Querying and Analysis of Software Specifications.
Proceedings of the SEKE'92, 1992

Graphs and Visual Languages for Visual Interfaces.
Proceedings of the Advanced Visual Interfaces - Proceedings of the International Workshop, 1992

1991
Relation grammars and their application to multi-dimensional languages.
J. Vis. Lang. Comput., 1991

Efficient Parsing of Multidimensional Structures.
Proceedings of the 1991 IEEE Workshop on Visual Languages, Kobe, Japan, October 8-11, 1991, 1991

1990
Grammatical inference algorithms for the generation of visual languages.
J. Vis. Lang. Comput., 1990

RSF: A Formalism for Executable Requirement Specifications.
IEEE Trans. Software Eng., 1990

Automating Visual Language Generation.
IEEE Trans. Software Eng., 1990

Relation Grammars for Modelling Multi-dimensional Structures.
Proceedings of the 1990 IEEE Workshop on Visual Languages, 1990

1987
Semantics of Production Systems
Inf. Comput., May, 1987

1986
The Sharing of Partial Results in Nondeterministic Computations.
Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1983
Demonizing Production Systems.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1981
About the Implementability and the Power of Equationally Defined Data Abstractions.
Theor. Comput. Sci., 1981

1979
A Flexible Environment for Program Development Based on a Symbolic Interpreter.
Proceedings of the 4th International Conference on Software Engineering, 1979

1978
Information Management in Context Trees.
Acta Inf., 1978

1977
Two-Level Control Structure for Nondeterministic Programming.
Commun. ACM, 1977

1975
MAGMA-LISP: A "Machine Language" For Artificial Intelligence.
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974
A model for structured parallel processing in block-structured programming languages.
Proceedings of the Programming Symposium, 1974

Graph Representation and Computation Rules for Typeless Recursive Languages.
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, July 29, 1974


  Loading...