BIBLIOGRAPHY
Books
(BK) and monographs (MG). Papers appeared in
national (NS), international serials (IS) and electronic journals (EJ). Works presented at national
(NC) and international conferences (IC). Reports are excluded.
1.
R. Sprugnoli: Algebra Moderna e
Matematiche Finite. Editrice Tecnico Scientifica ETS, Pisa (1972). (BK)
2.
G. Aguzzi, R.
Pinzani, R. Sprugnoli: An algorithmic approach to
the semantics of programming languages. Automata, Languages and Programming,
Paris (1972). (IC)
3.
G. Aguzzi, F. Cesarini,
R. Pinzani, G. Soda, R. Sprugnoli: An
APL implementation of an interpreter writing system. In “APL Congress ‘73”,
North Holland Publ. Co, Amsterdam, 1973. (IC)
4.
G. Aguzzi, F.
Cesarini, R. Pinzani, G. Soda, R. Sprugnoli:
Towards an automatic generation of interpreters. In “Lecture Notes in Computer
Science, vol. 1, Springer, 1973. (IC)
5.
G. Aguzzi, F.
Cesarini, R. Pinzani, G. Soda, R. Sprugnoli:
Tree structures handling by APS. In “Lecture Notes in Computer Science, vol.
19, Springer, 1974, p. 120 – 129. (IC)
6.
G. Aguzzi, R. Pinzani, R. Sprugnoli: Metodi di Definizione dei
Linguaggi Programmativi. Editrice Tecnico Scientifica ETS, Pisa (1974). (MG)
7.
R. Pinzani, F. Pippolini, R. Sprugnoli: APS
user’s manual. Quaderno CNUCE n. 56, Pisa (1974). (MG)
8.
M. R. Laganà, G.
Leoni, R. Pinzani, R. Sprugnoli: Improvements in the
execution of Markov algorithms. Bollettino U.M.I., 4, 11 (1975) p. 473 – 489. (NS)
9.
G. Leoni, R.
Sprugnoli: The compilation of pointer Markov algorithms.
Computing Symposium ’75, Antibes (1975). (IC)
10.
G. Leoni, R. Sprugnoli: Sull’efficienza degli algoritmi di Markov
compilati. Congresso AICA ’75, Genova (1975). (NC)
11. R. Pinzani, G.
Soda, R. Sprugnoli: APL. Editrice Tecnico Scientifica
ETS, Pisa (1976). (BK)
12. R. Sprugnoli:
Perfect hashing function: a single probe retrieving method for static sets. Communication of the ACM, 20 (1977), p. 841 – 850.
(IS)
13.
G. Leoni, R.
Sprugnoli: Some relations between Markov algorithms and
formal languages. Calcolo, 13 (1977), p. 261 – 284. (IS)
14. M. B. Baldacci,
R. Sprugnoli: Il controllo e la gestione dei periodici col sistema conversazionale
REPER. Congresso AICA ’77, Pisa (1977). (NC)
15.
M. Luzzati, R.
Sprugnoli, L. Carratori: The use of computers in
editing medieval baptismal record in Pisa (1457 – 1509). Computers and the Humanities, 12 (1978), p. 155 – 164.
(IS)
16.
M. B. Baldacci, M. Lazzeri, R. Sprugnoli, P. Venerosi: Esperienze di automazione
in una biblioteca specializzata. Informatica e Documentazione (1978) p. 275 –
278. (NS)
17.
F. Cesarini, E. Grazzini, R. Pinzani, F. Pippolini, G. Soda,
R. Sprugnoli: Paging AVL trees. In “Les Arbres en Algebre et en
Programmation”, Lille, 1978, p. 40 – 50. (IC)
18.
F. Cesarini, E. Grazzini, R. Pinzani, F. Pippolini, G. Soda,
R. Sprugnoli: Le strutture di dati nello S.P.I.G.A..
Quaderno I.A.C., serie III, n. 93, Roma, 1978. (MG)
19.
R. Pinzani, F. Pippolini, R. Sprugnoli: Invariant
structures for DBMS design. Quaderno IAC n. 150, Roma (1978). (MG)
20.
F. Cesarini, R. Pinzani, G. Soda, R. Sprugnoli: A buttom-up approach to
binary tree paging. In “Les Arbres en Algebre et en Programmation”, Lille
(1979) p. 44 – 55. (IC)
21.
F. Cesarini, R. Pinzani, F. Pippolini, G. Soda, R. Sprugnoli: Il problema
dell’invarianza delle strutture nel progetto S.P.I.G.A.. XI Congresso U.M.I.,
Palermo (1979). (NC)
22.
R. Sprugnoli: Banche Dati. Quaderno n. 9 dell’Istituto
Matematico di Lecce (1979). (MG)
23.
M. B. Baldacci, R. Sprugnoli: Problemi di automazione
dei sistemi informativi. IDI-79, Mondovì (1979). (NC)
24.
G. Leoni, R.
Sprugnoli: Automatic code generation for static tables
look-up. Congresso
AICA ’79, Bari (1979). (NC)
25. R. Sprugnoli: Il sistema di automazione
della biblioteca dell’I.E.I. Convegno sull’Organizzazione e la Diffusione
dell’Informazione Bibliografica, Padova (1979). (NC)
26.
R. Sprugnoli: Randomly balanced binary trees. Calcolo, 17 (1980) p. 99 – 117.
(IS)
27.
R. Gagliardi, O. Kaelin, E. Morreale, E. Patacca, P.
Scandone, R. Sprugnoli: Una banca di dati geologici del progetto
finalizzato Geodinamica. Progetto Finalizzato Geodinamica, pubbl. 393,
Roma (1980). (MG)
28.
R. Sprugnoli: Sistemi di gestione di basi di dati e biblioteche.
Sistemi Informativi, Livorno (1980). (NC)
29. R. Sprugnoli: Archivi e sistemi per la
gestione delle basi di dati. Organizzazione Computerizzata dell’Informazione in
Radiologia, Pisa (1980). (NC)
30.
R. Pinzani, F.
Pippolini, R. Sprugnoli: Milling machines by APL.
APL-80, Amsterdam (1980). (IC)
31. M. R. Laganà, G.
Leoni, R. Sprugnoli: P-alberi, un metodo d’accesso digitale alla memoria secondaria
paginata. Congresso AICA ’80, Bologna (1980). (NC)
32.
R. Sprugnoli: On the allocation of binary trees to secondary storage. BIT, 21 (1981), 305 – 316. (IS)
33.
M. R. Laganà, G. Leoni, R. Sprugnoli: Indici a ricerca digitale.
Informatica Oggi, 1 (1981) p. 124 – 128. (NS)
34.
M. B. Baldacci, O. Mancino, R. Sprugnoli: Studio
di un sistema conversazionale per la gestione dei dati bibliografici con
minielaboratore. Università degli Studi, Pisa (1981). (MG)
35. R. Sprugnoli: Gestione di banche dati in
radioterapia con un sistema multirelazionale. Radiodiagnostica e Terapie
Integrate in Oncologia, Roma (1981). (NC)
36.
R. Sprugnoli: Data bases in medicine: management and research. Congresso di Elettronica,
Roma (1981). (NC)
37.
R. Sprugnoli: Informatica distribuita e servizio sanitario.
INFAR’80, Parma (1981). (NC)
38. R. Sprugnoli: Sistemi per la
organizzazione e la gestione di banche di dati. Tecnologie Informatiche in
Radioterapia Oncologica, S. Miniato (1981). (NC)
39.
R. Pinzani, R.
Sprugnoli: The separability of formal languages. RAIRO Informatique Theorique, 16 (1982) p. 13 – 31. (IS)
40.
R. Sprugnoli: Sistemi di gestione di basi di dati. La Radiologia
Medica, 68 (1982) p. 418 – 419. (NS)
41.
R. Sprugnoli: Sistemi di gestione di basi di dati. Tecnologie
Informatiche in Radiologia Diagnostica, S. Miniato (1982). (NC)
42. M. B. Baldacci,
R. Sprugnoli: Informatica e Biblioteche. La Nuova
Italia Scientifica, Roma (1983). (BK)
43.
M. R. Laganà, E.
Locuratolo, R. Sprugnoli: A model for
word-processing systems. ICOD-II, Workshop on New Applications of Data Bases,
Cambridge U. K. (1983). (IC)
44.
R. Sprugnoli: Basi di dati su micro e minicomputer. Congresso
dell’Associazione Italiana di Radiobiologia Medica, Pisa (1983). (NC)
45.
E. Barcucci, E. Grazzini, R. Pinzani, R. Sprugnoli: A recognizer for finite
languages. Coll. On Algebra, Combinatorics and Logic in
Computer Science, Gyoer (1983). (IC)
46.
R. Sprugnoli: Le Basi di Dati.
Editori Riuniti, Roma (1987). (BK)
47. A. Chiuderi, R.
Pinzani, V. Sabelli, R. Sprugnoli: Un sistema de transcripcion automatica
stenotipia-lenguajo natural. Convenció Informàtica Latina, Barcelona, March
1989, p. 617 – 635. (IC)
48. R. Sprugnoli:
The analysis of a simple in-place merging algorithm. Journal
of Algorithms, 10 (1989), p. 366 – 380. (IS)
49. R. Sprugnoli, E. Barcucci, A. Chiuderi, R. Pinzani: On some proprties of (a,b)-trees. Optimal Algorithms., Varna, Lecture
Notes in Computer Science n. 401, p. 143 – 152.
50. E. Barcucci, R. Pinzani, R. Sprugnoli: Optimal selection of secondary indexes. IEEE
Trans. On Software Engeneering, 16 (1990), p. 32 – 38. (IS)
51. R. Sprugnoli:
Counting labels in binary trees. BIT, 30 (1990),
p. 62 – 69. (IS)
52. R. Sprugnoli: On
the approximation of Catalan numbers and other quantities. European Journal of Combinatorics, 11 (1990), p. 65 –
72.
53. E. Barcucci, R.
Pinzani, R. Sprugnoli: The Motzkin family. PU.M.A.,
Ser. A, 2 (1991), p. 249 – 279. (IS)
54. S. Dulli, R.
Sprugnoli, L. Veronese: Un generatore di codice sorgente per applicazioni transazionali su
basi di dati realizzato in Prolog. Congresso AICA, Siena (1991), p. 139 – 153. (NC)
55. R. Sprugnoli: Properties
of binary trees related to position. The Computer
Journal, 35 (1992), p. 395 – 404. (IS)
56. R. Sprugnoli:
The generation of binary trees as a numerical problem. Journal
of the ACM, 39 (1992) p. 317 – 327.
57. R. Sprugnoli:
Riordan arrays and combinatorial sums. Discrete
Mathematics, 132 (1994), p. 267 – 290. (IS)
58. E. Barcucci, R. Pinzani, R. Sprugnoli: The random generation of directed animals. Theoretical
Computer Science, 127 (1994), p. 333 – 350. (IS)
59. E. Barcucci, A. Del
Lungo, R. Pinzani, R. Sprugnoli: La hateur des polyominos dirigés verticalment
convexes. In “Actes 3ème Journées Internationales Polyominos
et pavages, ed, P. Aigrain, Toulouse, (1994), p. 128 – 140. (IC)
60. R. Sprugnoli, M. C. Verri: Asymptotics for Lagrange inversion. PU.M.A.,
5 (1994), p. 79 – 104. (IS)
61. D. Merlini, R. Sprugnoli, M. C. Verri: Algebraic and combinatorial properties of simple, coloured walks.
CAAP’94, Lecture Notes in Computer Science 787 (1994), p. 218 – 233. (IC)
62.
E. Barcucci, R.
Pinzani, R. Sprugnoli: The random generation of
underdiagonal walks. Discrete Mathematics, 139
(1995), p. 3 – 18. (IS)
63. C. Corsani, D.
Merlini, R. Sprugnoli: Pseudo-inversion of combinatorial sums. Proc. of the 7.th FPSAC, Paris, (1995), p. 117 – 125. (IC)
64.
D. Merlini, R.
Sprugnoli, M. C. Verri: Asy2dim: a package for
finding asymptotics for convolution matrices. Proc. of the 7.th FPSAC, Paris,
(1995), p. 417 – 422. (IC)
65. D. Merlini, R.
Sprugnoli, M. C. Verri: Dimostrazione automatica di una classe di identità combinatorie di
tipo ipergeometrico. XV Congresso U.M.I., Padova, (1995). (NC)
66.
R. Sprugnoli: Riordan arrays and the Abel-Gould identity. Discrete
Mathematics, 142 (1995), p. 213 – 233. (IS)
67. C. Corsani, D.
Merlini, R. Sprugnoli: Pseudo-inversion of combinatorial sums. Proc.
FPSAC’95, Marne-la-Vallée, France (1995), p. 117 – 125. (IC)
68. E. Barcucci, A. Del Lungo, R. Pinzani, R. Sprugnoli: Polyominoes defined by their vertical and horizontal projections. Theoretical Computer Science, 159 (1996), p. 129 –
136. (IS)
69. D. Merlini, R. Sprugnoli, M. C. Verri: A uniform model for the storage utilization of B-trees-like
structures. Information Processing Letters, 57
(1996), p. 53 – 58. (IS)
70. R. Sprugnoli:
Recurrence relations on heaps. Algorithmica, 15
(1996), p. 467 – 480. (IS)
71.
D. Merlini, R.
Sprugnoli, M. C. Verri: An algebraic approach to
solve a class of combinatorial sums. Proc. FPSAC’96, Un. Of Minnesota, USA (1996), p. 365
– 375. (IC)
72. D. Merlini, R.
Sprugnoli, M. C. Verri: The area determined by underdiagonal lattice paths. Proc. CAAP’96,
Lecture Notes in Computer Science 1059 (1996), p. 59 – 71. (IC)
73. D. Merlini, D. G. Rogers, R. Sprugnoli, M. C. Verri: On some alternative characterization of Riordan arrays. Canadian Journal of Mathematics, 49 (1997), p. 301 –
320. (IS)
74. C. Corsani, D. Merlini, R. Sprugnoli: Left inversion of combinatorial sums. Discrete
Mathematics, 180 (1998), p. 107 – 122. (IS)
75. D. Merlini, R.
Sprugnoli, M. C. Verri: Average case analysis for a simple compression algorithm. Algorithmica, 22 (1998), p. 585 – 599. (IS)
76.
D. Merlini, R. Sprugnoli, M. C. Verri: Lagrange statistics on
Dyck paths. Lattice Paths Combinatorics and Applications ’98,
Wien, Austria (1998). (IC)
77.
D. Merlini, R. Sprugnoli, M. C. Verri: A strip-like tiling
algorithm. Fun with Algorithms, Isola d’Elba (1998). (NC).
78. D. Merlini, D. G. Rogers, R. Sprugnoli, M. C. Verri: Underdiagonal lattice paths with unrestricted steps. Discrete Applied Mathematics, 91 (1999), p. 197 – 213.
(IS)
79. D. Merlini, R. Sprugnoli, M. C. Verri: An algebraic- combinatorial approach for studying coloured
Dyck-Schroeder paths. Proc. FPSAC’99, Barcelona, Spagna (1999), p. 341 – 352. (IC)
80. D. Merlini, S. Petruzzi, R. Sprugnoli, M. C. Verri: A system for algorithms’ animation. IEEE Multimedia Systems, Florence,
Italy (1999). (IC)
81. D. Merlini, R. Sprugnoli, M. C. Verri: Strip tiling and regular grammars. Theoretical
Computer Science, 242 1-2 (2000), p. 109 – 124. (IS)
82. S. Brogelli, D. Merlini, R. Sprugnoli: Proving a class of hypergeometric identities by means of generating
functions. FPSAC’00, Lecture Notes in Computer Science, Moskow, Russia (2000).
(IC)
83. D. Merlini, R. Sprugnoli, M. C. Verri: An algebra for generating trees. In “Trend in Mathematics and Computer
Science”, Birkhauser (2000). (IS)
84. D. Merlini, R. Sprugnoli, M. C. Verri: Modified binary searching for static tables. CIAC 2000, Rome (Italy),
Lecture Notes in Computer Science 1767 (2000), 211 – 225. (NC)
85. D. Merlini, R. Sprugnoli, M. C. Verri: Some statistics on Dyck paths. J. of
Statistical Planning and Inference, 101 (2002), 211 – 227. (IS)
86.
D. Merlini, R.
Sprugnoli: A Riordan array proof of a curious identity.
Integers: Elect. J. of Comb. Number Theory,
2:A08 (2002). (EJ)
87. D. Merlini, R. Sprugnoli,
M. C. Verri:
A strip-like tiling algorithm. Theoretical
Computer Science, 282 (2002), p. 337 – 352.
(IS)
88. D. Merlini, R. Sprugnoli, M. C. Verri: Modified binary searching for static tables. Theoretical
Computer Science, 285 (2002), p. 73 – 88. (IS)
89. D. Merlini, R.
Sprugnoli, M. C. Verri: The tennis ball problem. J. of Combinatorial Theory, Series A, 99
(2002), 307 – 344. (IS)
90. D. Merlini, R. Sprugnoli: Fountains and histograms. Journal of
Algorithms, 44 (2002), p. 159 – 176. (IS)
91. D. Merlini, R. Sprugnoli, M. C. Verri: Waiting patterns for a printer. Discrete
Applied Mathematics, 144 (2004), p. 359 – 373. (IS)
92.
D. Merlini, R.
Sprugnoli, F. Uncini, M. C. Verri:
Uniform random generation of (r,s)-Fibonacci tilings. Fun with algorithms’04
(2004). (IC)
93. D. Merlini, R.
Sprugnoli, M. C. Verri: The Akiyama – Tanigawa transformation. Integers: Elect. J. of Combin. Number Theory, 5:A5 (2005). (EJ)
94. D. Merlini, R. Sprugnoli, M. C. Verri: Human and constructive proof of combinatorial identities: an example
from Romik. Discrete Mathematics and Theoretical
Computer Science, AD (2005) 383 - 392. (IS)
95. D. Merlini, R. Sprugnoli,
M. C. Verri: Combinatorial inversions and implicit Riordan arrays, Electronic Notes in
Discrete Mathematics, 26 (2006) 103-110. (EJ)
96. D. Merlini, R.
Sprugnoli, M. C. Verri: The Cauchy numbers. Discrete
Mathematics, 306 (2006), 1906 – 1920. (IS)
97. R. Sprugnoli:
Sums of reciprocals of the central binomial coefficients. Integers: Elect. J. of Combin. Number Theory, 6:A27
(2006). (EJ)
98. D. Baccherini, D. Merlini, R. Sprugnoli: Binary words excluding a pattern and proper Riordan arrays, Discrete Mathematics, 307
(2007) 1021-1037.
(IS)
99. D. Merlini, R. Sprugnoli, M. C. Verri: The method of coefficients. American
Mathematical Monthly 114 (2007) 40 – 57. (IS)
100.
D. Baccherini, D.
Merlini, R. Sprugnoli: Tablatures for Stringed
Instruments and Generating Functions, Proceedings of FUN 2007, Lecture Notes in Computer
Science 4475, (2007) 40 – 52. (IC)
101.
D. Merlini, R.
Sprugnoli, M. C. Verri: An analysis of a simple
algorithm for random derangements, Proceedings of ICTCS’07, World Scientific, (2007) 139 – 150. (IC)
102.
D. Merlini, R.
Sprugnoli: Playing with some identities of
Andrews, Journal of Integer Sequences, 10, 07.9.5, 2007. (EJ)
103.
D. Baccherini, D.
Merlini, R. Sprugnoli: Level
Generating Trees and proprer Riordan arrays,
Applicable Analysis and Discrete
Mathematics, to appear. Available electronically at http://pefmath.etf.bg.ac.yu/
104.
D. Merlini, R. Sprugnoli,
M. C. Verri: Combinatorial sums and implicit
Riordan arrays, accepted for publication on Discrete Mathematics.
105.
R. Sprugnoli: Negation of binomial coefficients. To
appear on Discrete Mathematics
(Available on-line at www.sciencedirect.com) (IS)