default search action
Giuliano Pacini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
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
On redundancy elimination tolerant scheduling rules. Theory Pract. Log. Program. 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. Int. J. Softw. Eng. Knowl. Eng. 7(1): 69-99 (1997) - 1996
- [j14]Filomena Ferrucci
Symbol-Relation Grammars: A Formalism for Graphical Languages. Inf. Comput. 131(1): 1-46 (1996) - 1995
- [j13]Filomena Ferrucci
Redundancy Elimination and Loop Checks for Logic Programs. Inf. Comput. 119(2): 137-153 (1995) - [j12]Shi-Kuo Chang, Gennaro Costagliola
Visual-Language System for User Interfaces. IEEE Softw. 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
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. Int. J. Softw. Eng. Knowl. Eng. 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
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
Automating Visual Language Generation. IEEE Trans. Software Eng. 16(10): 1122-1135 (1990) - [j6]Michela Degl'Innocenti, Gian-Luigi Ferrari
RSF: A Formalism for Executable Requirement Specifications. IEEE Trans. Software Eng. 16(11): 1235-1246 (1990) - [j5]Claudia Crimi, Angela Guercio
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]Giuliano Pacini, Franco Turini:
Semantics of Production Systems. Inf. Comput. 73(2): 87-101 (1987) - 1986
- [c6]Vincenzo Ambriola, Giuliano Pacini, Franco Turini:
The Sharing of Partial Results in Nondeterministic Computations. AIMSA 1986: 93-103 - 1983
- [c5]Giuliano Pacini, Franco Turini:
Demonizing Production Systems. IJCAI 1983: 862-866 - 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 Informatica 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: