2001
(con A. Dovier, E. Pontelli) "Set Unification",
Technical Report TR-CS-001/2001,
Department of Computer Science, New Mexico State University, USA, Jan. 2001.
1997
(con C.Piazza) "Set-Constraints vs. {log}-Constraints", CP'97
Post-Conference Workshop on Set Constraints and Constraint-based
Program Analysis, Schloss Hagenberg (Linz), Austria, 1 Nov. 1997.
1995
(con A.Dovier) "Set constraint management in {log}", CP'95
Post-Conference Workshop on Set Constraints and Constrained Logic
Programming, Cassis, Francia, Sett. 1995.
1994
(con A.Dovier, E.Omodeo e A.Policriti) "Solving systems of equations
over hypersets", Research Report UDMI/12/94/RR, Dip. di Matematica e
Informatica, Univ. of Udine, May 1994.
(con D.Fogli e M.Gaspari) "Adding Sets and Multisets to G del",
Workshop on Programming in G del, Univ. of Manchester, April e1994.
1993
(con E.Omodeo e A.Policriti) "Che genere di insiemi/multi-insiemi/iper-insiemi
incorporare nella programmazione logica?", Ottavo Convegno Nazionale
sulla Programmazione Logica, Catanzaro, Giugno 1993, pp.55-70.
(con A.Dovier, E.G.Omodeo e E.Pontelli) "{log}: A Language for
Programming in Logic with Finite Sets", Rapporto di Ricerca 04.93,
Dip. di Informatica e Sistemistica, Univ. Di Roma "La Sapienza",
Maggio 1993.
(con P.Bruscoli, A.Dovier e E.Omodeo) "Extensional and Intensional
Sets in CLP with Intensional Negation", Extended Abstract, presentato
a ICLP'93 Post-Conference Workshop on Logic Programming with Sets,
Budapest, Giugno 1993.
(con D.Aliffi, A.Dovier e E.Omodeo, E.Pontelli) "Unification of
Hyperset Terms", Extended Abstract, presentato a ICLP'93
Post-Conference Workshop on Logic Programming with Sets, Budapest,
Giugno 1993.
(con P.Bruscoli, A.Dovier e E.Pontelli) "Extensional and Intensional
Sets in CLP with Intensional Negation", Extended Abstract, presentato
a Second COMPULOG- NETWORK Area Meeting on Programming Languages,
Pisa, Maggio 1993.
1991
(con L.Giordano e A.Martelli) "Structured Prolog: A Language for
Structured Logic Programming", Rapporto di Ricerca n.4.32, Progetto
Finalizzato Sistemi Informatici e Calcolo Parallelo, Sottoprogetto 4
- Linguaggi di nuova concezione, Aprile 1991.
1990
(con A.Martelli) "Stepwise development of an algorithm for unification over
infinite trees", Computers and Artificial Intelligence, VEDA Publishing House,
vol.9, n.3, 1990, pp.209-239.
"Note sull'uso e la definizione di un linguaggio per la programmazione
logica strutturata", Quinto Convegno Nazionale sulla Programmazione
Logica, Padova, Giugno 1990, pp.185-199.
(con I.Cervesato) "Logic Meta-Programming in 'LOG", Rapporto di
Ricerca UDMI/14/91/RR, Dip. di Matematica e Informatica, Univ. di
Udine, Sett. 1991.
"Programs as data in an extended Prolog", Rapporto di Ricerca
07/90/RR, Dip. di Matematica e Informatica, Univ. di Udine, Febbr.
1990.
(con L.Giordano e A.Martelli) "Extending Horn clause logic with module
constructs", Rapporto di Ricerca 04/90/RR, Dip. di Matematica e
Informatica, Univ. di Udine, Genn. 1990.
(con L. Giordano e A. Martelli) "Extending Horn Clause Logic with
Blocks and Modules", Extended Abstract, presentato al Workshop on
Structuring Disciplines for Logic Programming, Eilat, Israel, Giugno
1990 e al Japan-Italy-Sweden Workshop on Parallel Processing and
Logic Programming, Nynashamn, Sweden, Agosto 1990.
1989
(con L.Console) "Using Prolog for Building FROG, a Hybrid Knowledge
Representation System", New Generation Computing Journal, OHMSHA, Ltd.
& Springer Verlag, vol.6, no.4,1989, pp.361-388.
(con A.Martelli e C.Moiso) "Lazy Unification Algorithms for Canonical
Rewrite Systems", cap. 8 di Resolution of Equations in Algebraic
Structures, vol II (H.Ait- Kaci and M.Nivat, eds), Academic Press,
1989, pp.245-274.
"Meta-programming facilities in an extended Prolog", in Artificial
Intelligence and Information-Control Systems of Robots (I.Plander,
ed.), North-Holland, 1989, pp.203-208.
(con L. Giordano e A. Martelli) "Una proposta per l'introduzione di
blocchi e moduli nei linguaggi logici", Quarto Convegno Nazionale
sulla Programmazione Logica, Bologna, Giugno 1989, pp.3-17.
1988
(con A.Martelli) "Enhancing Prolog to Support Prolog Programming
Environments", in ESOP88: 2nd European Symposium on Programming
(H.Ganzinger, ed), Lecture Notes in Computer Science, Vol. 300,
Springer Verlag, 1988, pp.317-327.
(con L. Giordano e A. Martelli) "Local Definitions with Static Scope
Rules in Logic Programming", in FGCS '88: International Conference on
Fifth Generation Computer Systems, ICOT, Tokyo, 1988, pp.389-396.
(con L.Giordano, A.Martelli e I.Murgia) "Alcune cosiderazioni
sull'integrazione tra livello oggetto e meta nel linguaggio
MI_Prolog", Terzo Convegno Nazionale sulla Programmazione Logica,
Roma, Maggio 1988, pp.131-148.
1987
(con L.Console) "FROG: a Prolog-based system for Prolog-based
knowledge representation", in Artificial Intelligence and
Information-Control Systems of Robots (I.Plander, ed.),
North-Holland, 1987, pp.179-183.
(con A.Martelli) "PROSE: un ambiente di programmazione per il Prolog",
Secondo Convegno Nazionale sulla Programmazione Logica, Torino,
Maggio 87, pp.243-253.
(con L.Console) "Preprocessing flessibile e rappresentazione della
conoscenza in Prolog", Secondo Convegno Nazionale sulla
Programmazione Logica, Torino, Maggio 87, pp.45-54.
1986
"Uses of Prolog in Implementation of Expert Systems", New Generation
Computing Journal, OHMSHA, Ltd. & Springer Verlag, vol.4, No 3, 1986,
pp.321-329.
(con A.Martelli e C.Moiso) "An Algorithm for Unification in Equational
Theories", in Third IEEE Symposium on Logic Programming, Salt Lake
City, IEEE Computer Society Press, 1986, pp.180-186.
(con A.Martelli) "On the Semantics of Logic Programming Languages", in
Third Int. Conf. on Logic Programming (E.Shapiro, ed.), Lecture Notes
in Computer Science, Vol. 225, Springer Verlag, 1986, pp.327-334.
(con L.Console) "Implementing Inference Strategies in Prolog based
Expert Systems", in Cybernetics and Systems '86 (R.Trappl, ed.),
D.Reidel Publishing Co., 1986, pp.767-774.
(con A.Martelli) "Verso un ambiente di programmazione in Prolog",
Primo Convegno Nazionale sulla Programmazione Logica, Genova, Marzo
1986, pp.160-166.
(con L.Console e A.Martelli) "Tecniche per l'uso del Prolog nella
realizzazione di sistemi esperti", Primo Convegno Nazionale sulla
Programmazione Logica, Genova, Marzo 1986, pp.63-70.
1985
(con L.Console) "Frame based Expert Systems in Prolog", Rapporto
Tecnico, Dip. di Informatica, Univ. di Torino, Dic. 1985.
(con L.Console) "Implementazione di meccanismi di inferenza in Prolog
mediante preprocessing", Rapporto Tecnico, Dip. di Informatica, Univ.
di Torino, Giugno 1985.
1984
(con A.Martelli) "Efficient Unification with Infinite Terms in Logic
Programming", in FGCS'84: International Conference on Fifth
Generation Computer Systems, ICOT, Tokyo, 1984, pp.202-209.
1983
(con R.Zicari) "Programming a Distributed System in Ada", Journal of
Pascal and Ada, vol.2, n.5, 1983, pp.26-29.
(con R.Zicari) "Un primo approccio alla programmazione distribuita con
Ada", Rivista di Informatica AICA, vol XIII, n.4, 1983, pp.399-415.
(con C.Marinelli e C.Romoli) "Unix e APSE: due ambienti per lo
sviluppo di software", Congresso Annuale AICA, Napoli, Sett. 1983,
pp.191-199.
(con R.Zicari) "Programmazione nel distribuito usando Ada: una
proposta per Cnet", Rapporto interno n.83-7, Laboratorio di
Calcolatori, Dip. di Elettronica, Politecnico di Milano, Milano,
Maggio 1983.
(con R.Zicari) "Programming a Distributed System in Ada", presentato a
MIMI'83 - 22nd International Symposium on Mini and Microcomputers and
their Applications, Lugano, Giugno 1983.
1982
"Programmazione concorrente con il linguaggio Ada", Rivista di
Informatica AICA, vol. XII, n.4, 1982, pp.285-305.
"Versioni Unix", Rapporto Tecnico, R.T.83/05 R.5, Intecs-Pisa, Pisa,
Dic. 1982.
"La Fabbrica del Software: motivazioni, struttura ed una
realizzazione", Rapporto Tecnico, R.T.83/03 R.3, Intecs-Pisa, Pisa,
Giugno 1982.
1981
"Bibliografia sul linguaggio Ada", Rivista di Informatica AICA, vol.
XI, n.4, 1981, pp.327-338.
"Bibliografia sul linguaggio Ada (per argomenti, parzialmente
commentata)", Collana Cnet, n. 37, P.F.I. - C.N.R., Pisa, Sett. 1981.
"Meccanismi di comunicazione tra processi concorrenti nel linguaggio
Ada", Collana Cnet, n.34, P.F.I. - C.N.R., Pisa, Sett. 1981.
-----------------------------------------------------------------------
Pubblicazioni Didattiche
"Il Nucleo di un Sistema Operativo a processi", CLUF Udine, Aprile
1990.
Varie (senza revisione)
(con A.Martelli) "Programmazione Logica e Algoritmi di Unificazione",
INFORMATICA Oggi, n. 2, 1985, pp.54-64.
"Strumenti e tecnologie di integrazione", Atti del Convegno su
L'Informatizzazione degli Enti Locali, P.F.I.-C.N.R, Firenze, Sett.
1981.
Lettera a ACM Operating System Review, vol.15, n.1, January 1981,
pp.3-4.