Elenco delle pubblicazioni allegate alla relazione 2000 del GNCS

1. G. Amato and G. Levi. Abstract Interpretation Based Semantics of Sequent Calculi. In J.Palsberg, editor, Static Analysis Symposium 2000, Lecture Notes in Computer Science. Springer-Verlag, Berlin

2. R.Bagnara, P.M. Hill, and E.Zaffanella. Efficient structural information analysis for real {CLP} languages. Quaderno 229, Dipartimento di Matematica, Universita' di Parma, 2000.

3. R.Bagnara, P.M. Hill, and E.Zaffanella. Efficient structural information analysis for real {CLP} languages. In M.~Parigot and A.~Voronkov, editors, ( Proceedings of the 7th InternationalConference on Logic for Programming and Automated Reasoning (LPAR 2000)}, volume 1955 of Lecture Notes in Computer Science, Reunion Island, France, 2000. Springer-Verlag, Berlin, pages 189--206.

4. R.Bagnara, E.Zaffanella, R.Gori, and P.M. Hill. Boolean functions for finite-tree dependencies. Quaderno 252, Dipartimento di Matematica, Universita' di Parma, 2001.

5. R.Bagnara, E.Zaffanella, and P.M. Hill. Enhanced sharing analysis techniques: A comprehensive evaluation. In M.Gabbrielli and F.Pfenning, editors, (Proceedings of the 2ndInternational ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Montreal, Canada, 2000. Association for Computing Machinery, pages 103--114.

6. M. Bugliesi and Santiago Pericas. Type Inference for Variant Object Types. Information and Computation. In stampa.

7. Michele Bugliesi and Giuseppe Castagna. Secure Safe Ambients. POPL'01 Proc. 28th ACM Symposium on Principles of Programming Languages, 222-235, London. Jan. 2001

8. Michele Bugliesi, Giuseppe Castagna and Silvia Crafa. Typed Mobile Objects. CONCUR 2000 Proc. 11th Int. Conference on Concurrency Theory, LNCS 1877, 504-520, Aug. 2000.

9. M. Bugliesi, G. Delzanno, L. Liquori and M. Martelli. Object Calculi in Linear Logic. Journal of Logic and Computation, 10(1) 75 --104, Feb. 2000.

10. Michele Bugliesi and Santiago Pericas. Depth Subtyping and Type Inference for Object Calculi. FOOL'7 Proc. of the 7th Int. Workshop on Foundations of Object Oriented Languages. Electronic Proceedings. Boston. Jan. 2000.

11. Michele Bugliesi and Giuseppe Castagna. Mobile Objects. FOOL'7 Proc. of the 7th Int. Workshop on Foundations of Object Oriented Languages. Electronic Proceedings. Boston. Jan. 2000.

12. D. Cantone, E.G. Omodeo, A. Policriti. Set Theory for Computing - From decision algorithms to declarative programming with sets. Springer-Verlag, Texts and Monographs in Computer Science. (In corso di pubblicazione, apparirà nel 2001).

13. D. Cantone, A. Formisano, E.G. Omodeo, C.G. Zarba. Compiling dyadic first-order specifications into map algebra, Proceedings of the AMILP workshop of the AMAST conference (Iowa City, may 2000), TWLT 16, University Of Twente, pp.35-54.. In stampa su: Theoretical Computer Science)

14. Chiacchiaretta, A. Formisano, E. G. Omodeo. Map reasoning through existential multigraphs, Dipartimento di Matematica Pura ed Applicata, Università di L'Aquila, TR 05/00, 2000.

15. M.Comini, R.Gori, G.Levi, and P.Volpe. Abstract interpretation based verification of logic programs. In Proceedings of the Workshop on Verification of Logic Programs, volume 30 of Electronic notes of Theoretical Computer Science.

16. E. Doberkat, E.G. Omodeo. Algebraic semantics of ER-models from the standpoint of map calculus. I: Static view, in W. Kahl ed, RelMiS workshop on Relational Methods in Software---satellite event of ETAPS, Genova, apr. 2001. (In stampa sulla rivista ENTCS nel 2001).

17. A.Dovier, E.Pontelli, and G.Rossi. A Necessary condition for Constructive Negation in Constraint Logic Programming. Information Processing Letters, Vol.~74(3--4), pp.~147-156 Elsevier, North Holland, 2000.

18. A.Dovier, E.Pontelli, and G.Rossi. Constructive negation and constraint logic programming with sets. In New Generation Computing, Ohmsha Ltd and Springer-Verlag, Vol.~19, No.~3, May 2001.

19. A.Dovier, C.Piazza, E.Pontelli, and G.Rossi. Sets and constraint logic programming. To appear in ACM Transaction on Programming Language and Systems (TOPLAS).

20. Dovier, C. Piazza, and A. Policriti. Comparing expressiveness of set constructor symbols. In H.~Kirchner and C.~Ringeissen, editors, Frontier of Combining Systems 2000. Lecture Notes in Computer Science 1794, pp.~275--289, Springer-Verlag, 2000. Nancy, France, March 2000.

21. A.Dovier, C.Piazza, and G.Rossi. A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. In G. Paun ed., proceedings of Workshop on Multiset Processing, Curtea de Arges, Romania, August 21-25, 2000.

22. A. Dovier, N. Lavarini, and E. Quintarelli. Model Checking Based Query Retrieval. In APPIA-GULP-PRODE'00. Joint Conf. on Declarative Programming. La Habana, CUBA, December 2000.

23. A. Dovier, R. Giacobazzi, and E. Quintarelli. Refining and Compressing Abstract Model Checking. In APPIA-GULP-PRODE'00. Joint Conf. on Declarative Programming. \newblock La Habana, CUBA, December 2000.

24. A.Dovier, CPiazza, E.Pontelli, and G.Rossi. Sets and constraint logic programming. {NMSU-CSTR}-0001, Dept. of Computer Science, New Mexico State University, USA, January 2000.

25. A.Dovier, C.Piazza, A.Policriti. A Fast Bisimulation Algorithm. Rr 15/00, Dipartimento di Matematica ed Informatica, Univ. di Udine, July 2000.

26. A.Dovier, C.Piazza, and G.Rossi. A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. RR 235, Dip. di Matematica, Univ. of Parma, July 2000.

27. A.Dovier and C.Piazza. The Subgraph Bisimulation Problem and its Complexity. Rr 27/00, Dipartimento di Matematica ed Informatica, Univ. di Udine, November 2000.

28. Formisano, E. G. Omodeo. Equational Set-Reasoning by Automated Map Calculus -- Initial experimentation scenarios, Dipartimento di Matematica Pura ed Applicata, Università di L'Aquila, TR 12/00, 2000.

29. Formisano, E.G. Omodeo. An equational re-engineering of set theories, in G. Salzer and R. Caferra, eds, Automated Deduction in Classical and Non-Classical Logics, Lecture Notes in Computer Science LNCS/LNAI (Springer-Verlag), vol.1761, pp.175-190, 2000.

30. Formisano, E.G. Omodeo, M. Temperini. Goals and benchmarks for automated map reasoning, Journal of Symbolic Computation, 29(2):259-297, 2000.

31. Formisano, E.G. Omodeo, M. Simeoni. A graphical approach to map reasoning, in W. Kahl ed, RelMiS workshop on Relational Methods in Software---satellite event of ETAPS, Genova, apr.2001. (Apparir\`a sulla rivista ENTCS nel 2001).

32. R.Gorrieri, A. Rensink. Action Refinement, Capitolo XVI di Handbook of Process Algebra, (a cura di J. Bergstra, A. Ponse e S. Smolka), Elsevier, 1047-1147, 2001.

33. P.M. Hill, R.Bagnara, and E.Zaffanella. Soundness, idempotence and commutativity of set-sharing. Theory and Practice of Logic Programming, 2001, to appear.

34. G. Levi and F. Spoto. Non Pair-Sharing and Freeness Analysis through Linear Refinement. In Proc. of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00). The ACM Press, January 2000, pages 52-61.

35. E.G. Omodeo, J.T. Schwartz. A `theory' mechanism for a proof-verifier based on first-order set theory, in ``Computational Logic: From Logic Programming into the Future'' (volume in honour of Bob Kowalski), Springer-Verlag. (In corso di pubblicaz., 2001).

36. G. Ricci, Boolean matrices …. neither Boolean nor matrices, Discussiones Mathematicae, General Algebra and Applications (2000), 141-151.

37. G. Ricci, Isomorphisms between analytic monoids, The Eighth International Workshop in Mathematics Gron\'o w 2000, Institute of Mathematics, Technical University of Zielona G\'o ra, September 25-29, 2000, 33-33.

38. G. Ricci, Analytic monoids, Quaderni del Dipartimento di Matematica {\bf 238}, Universit di Parma, Parma, 2000.

39. E.Zaffanella, P.M. Hill, and R.Bagnara. Decomposing non-redundant sharing by complementation. Theory and Practice of Logic Programming}, 2001, to appear.

40. Allasia G. Approximating potential integrals by cardinal basis interpolants on multivariate scattered data. In Solutions of integral and partial differential equations with radial basis, E. J. Kansa and Y. C. Hon (eds), Computer and Mathematics with Applications (2001).

41. Allasia G., R. Besenghi and A. De Rossi A scattered data approximation scheme for detection of fault lines. Research report 34/2000 Dep. Math. Univ. Torino.

42. Besenghi R. and G. Allasia, Scattered data near-interpolation with applications to discontinuous surfaces. In Curves and Surfaces Fitting, A. choen, C. Rabut and L. Schumaker (eds.) Vanderbilt University Press (2000) 75-84.

43. Bozzini M., L. Lenarduzzi , M. Rossini and R. Schaback Interpolation by basis functions of different scales and shapes. Preprint 2000.

44. Bozzini M. and M. Rossini, Numerical differentiation of two-dimensional functions from noisy data, to appear on Computers and Mathematics with Applications.

45. Cimoroni G. and E. Santi, On the convergence of projector splines for the numerical evaluation of 2-D CPV integrals. To appear on J. of Computational Mathematics.

46. Costantini P., R. T. Farouki, C. Manni, A. Sestini. Efficient reparametrizations, Preprint (2000).

47. Costantini P., T.N.T. Goodman and C. Manni, Constructing C^3 shape preserving interpolating space curves. Advances in Computational Mathematics, to appear.

48. Costantini P. and M. L. Sampoli, Abstract schemes and monotone surface interpolation. Rapporto tecnico dell’Università di Siena (2000).

49. Dagnino C. and P. Lamperti, On the construction of bivariate quadratic splines. In Recent trends in Numerical Analysis, Trigiante ed., Nova Science Publisher (2000).

50. Allasia G. Approximating potential integrals by cardinal basis interpolants on multivariate scattered data. In Solutions of integral and partial differential equations with radial basis, E. J. Kansa and Y. C. Hon (eds), Computer and Mathematics with Applications (2001).

51. Allasia G., R. Besenghi and A. De Rossi A scattered data approximation scheme for detection of fault lines. Research report 34/2000 Dep. Math. Univ. Torino.

52. Besenghi R. and G. Allasia, Scattered data near-interpolation with applications to discontinuous surfaces. In Curves and Surfaces Fitting, A. choen, C. Rabut and L. Schumaker (eds.) Vanderbilt University Press (2000) 75-84.

53. Bozzini M., L. Lenarduzzi , M. Rossini and R. Schaback Interpolation by basis functions of different scales and shapes. Preprint 2000.

54. Bozzini M. and M. Rossini, Numerical differentiation of two-dimensional functions from noisy data, to appear on Computers and Mathematics with Applications.

55. Cimoroni G. and E. Santi, On the convergence of projector splines for the numerical evaluation of 2-D CPV integrals. To appear on J. of Computational Mathematics.

56. Costantini P., R. T. Farouki, C. Manni, A. Sestini. Efficient reparametrizations, Preprint (2000).

57. Costantini P., T.N.T. Goodman and C. Manni, Constructing C^3 shape preserving interpolating space curves. Advances in Computational Mathematics, to appear.

58. Costantini P. and M. L. Sampoli, Abstract schemes and monotone surface interpolation. Rapporto tecnico dell’Università di Siena (2000).

59. Dagnino C. and P. Lamperti, On the construction of bivariate quadratic splines. In Recent trends in Numerical Analysis, Trigiante ed., Nova Science Publisher (2000).

60. Dagnino C. and P. Lamperti, On the approximation power of bivariate quadratic C^1 splines, J. Comp. Appl. Math. In corso di stampa.

61. Dagnino C. and P. Lamperti, Splines bivariate su triangolazioni di tipo 2 non uniformi in matlab. Atti Matlab Conference 2000, Bologna (2000).

62. Dagnino C. and P. Lamperti, Finite parts integralsof local bivariate C^1 quasi interpolating splines, Appr. Th. Appl. In corso di stampa.

63. Dagnino C. , P. Lamperti, and A. Negro, An integral equation and its numerical treatment for the computation of the magnetic field in presence of superconducting shields. In Advanced Mathematical and Computational methods in Metrology IV, P. Ciarlini, A. Forbes, F. Pavese and D. Richer (eds), World Scientific 53 (2000) 66-75.

64. De Bonis, M. C. Mastroianni and M. G. Russo, Best approximation for function having inner singularities in (-1,1), Preprint (2000).

65. Dieci L. and A. Papini, Conditioning and Padè approximation of the logarithm of a matrix, SIAM J. Matrix Anal. Appl. 21 (2000).

66. Dieci L. and A. Papini, Pade` approximation for the exponential of a block triangular matrix, Linear Algebra Appl. 308 (2000).

67. Dieci L. and A. Papini, Conditioning of the exponential of a block triangular matrix, Preprint (2000).

68. Farouki R. T., B. T. Kuspa, C. Manni and A. Sestini, Efficient solution of the complex quadratic triangular system for C^2 PH quintic splines. Preprint (2000).

69. Frammartino C, and M. G. Russo, Numerical remarks on the condition numbers and the eigenvalues of matrix arising from integral equations. To appear in the Proceedings of the workshop on Advanced Special Functions and Integration Methods. (Melfi June 2000).

70. Gatteschi L. and C. Giordano, Error bounds for McMahon’s asymptotic approximations of the zeros of the Bessel functions, integral Transform and Special Functions 10 (2000) 1-16.

71. Gori L. , F. Pitolli, E. Santi, Positive wavelets operators. Presentato in Ninth Int. Congress on Comp. And appl. Math. (Luglio 2000).

72. Lamberti P. and C. Manni, Spape preserving C^2 functional interpolation via parametric cubics. Quaderno 24/2000 del Dip. di Matematica dell’Università di Torino.

73. Manni C. On shape preserving C^2 Hermite interpolation, BIT, in corso di stampa.

74. Manni C. A general parametric framework for functional tension schemes, J. Comput. Appl. Math.119 (2000).

75. Manni C. Local tension methods for bivariate scattered data interpolation. Preprint.

76. Mastroianni G. and G. Milovanovic, Weighted integration of periodic functions on the real line. Preprint.

77. Mastroianni G. and D. Occorsio, Numerical approximation of an integral operator with weakly singular kernel. Preprint.

78. Mastroianni G., M. G. Russo and Themistoclakis W., Revisiting CSIEs in spaces of weighted continuous functions. Preprint.

79. Occorsio D. and Themistoclakis W., Numerical computation of a weakly singular integral operator on the real axis, to appear on the Proceedings of the workshop on Advanced Special Functions and Integration Methods. (Melfi June 2000).

80. Pittaluga G., L. Sacripante and E. Venturino, Lacunary interpolation with arbitrary data of high order, Ann. Univ. Sci.Budapest Sect. Comput., to appear.

81. Pittaluga G., L. Sacripante, Numerical algorithms for cubature by bivariate splines on non uniform partitions, Quaderno 4/2000 del Dip. di Matematica dell’Università di Torino.

82. Pittaluga G., L. Sacripante, H. M. Srivastava, Some generating functions of the Laguerre and modified Laguerre polynomials, Appl. Math and Comput., to appear.

83. M. Cibelli, M. Nappi, and M. Tucci, “Content-based Access in Image DB by Quantitative Relationships”, Journal of Visual Languages and Computing, Special Issue in Multimedia Databases and Image Communication (World Scientific), vol. 11, no. 5, October 2000.

84. M. Sebillo, G. Tortora, G. Vitiello, “The Metaphor GIS Query Language”, Journal of Visual Languages and Computing, Academic Press, vol. 11, n. 4, 2000, pp. 439-454.

85. M. Ancona, S. Locati, A. Romagnoli, "Context and location aware textual data input", accettato per la presentazione a SAC2001 Marzo 2001, Las Vegas.

86. Walter Cazzola, Communication Oriented Reflection, In ECOOP'2000 Workshop Reader, LNCS 1964, December 2000

87. V.Murino, "Reconstruction and Segmentation of Underwater Acoustic Images combining Confidence Information in MRF Models", Pattern Recognition, 2000 (in stampa).

88. V. Murino, A. Trucco, "Guest Editors' Introduction – Underwater Computer Vision and Pattern Recognition", Computer Vision and Image Understanding, Vol. 79, No. 1, July 2000, pp. 1-3.

89. V. Murino, G. Vernazza, "Guest Editorial - Artificial Neural Networks for Image Analysis and Computer Vision", Image and Vision Computing, 2001 (in stampa).

90. V. Murino, A. Trucco, "Three-Dimensional Image Generation and Processing in Underwater Acoustic Vision", Proceedings of the IEEE, No. 12, December 2000.

91. Fusiello and V. Murino. Calibration of an optical-acoustic sensor. Machine Graphics & Vision, 9(1/2):207-214, May 2000.

92. Fusiello, V. Roberto, and E. Trucco. Symmetric stereo with multiple windowing. International Journal of Pattern Recognition and Artificial Intelligence, 14(8):1053-1066, December 2000.

93. Fusiello, E. Trucco, and A. Verri. A compact algorithm for rectification of stereo pairs. Machine Vision and Applications, 12(1):16-22, 2000.

94. Fusiello. Uncalibrated Euclidean reconstruction: A review. Image and Vision Computing, 18(6-7):555-563, May 2000.

95. M. Nappi, M. Polvere “Speed-Up in Fractal Image Coding: Comparison of Methods”, IEEE Transactions on Image Processing, vol. 9, no. 6, June 2000, pp. 1002-1009.

96. V. Murino, A Fusiello, "Augmented Reality by Integrating Multiple Sensory Modalities for Underwater Scene Understanding", in Confluence of Computer Vision and Computer Graphics, NATO Science Series, 3. High Technology - Vol. 84, A.Leonardis, F.Solina, R.Bajcsy Eds., Kluwer Academics Publ., 2000, pp. 331-349.

97. V. Murino, A. Fusiello, N. Iuretigh, E. Puppo, "3D Mosaicing for Environment Reconstruction", 15th Int. Conf. on Pattern Recognition, Barcellona, Spagna, pp. 362-366, Settembre 2000.

98. M. Pittore, M. Campani, and A. Verri “Learning to Recognize Visual Dynamic Events from Examples” Int. J. Comput. Vis. Vol 38, 35-44 (2000)

99. F. Odone, E. Trucco, A.Verri “A Trainable System for Grading Fish from Images” Applied Artificial Intelligence 2001 (to appear)

100. F. Odone, E. Trucco, and A. Verri “General purpose matching of grey level arbitrary images” Int Work. on Visual Forms Capri 2001 (to appear)

101. F. Odone, A. Fusiello, and E. Trucco. “Robust motion-based segmentation for content-based video coding”. In RIAO (Recherche d'Informations Assistée par Ordinateur) 2000, pages 594-601, Collège de France, Paris, France, April 2000.

102. E. Trucco, A. Doull, F. Odone, A. Fusiello, and D. M. Lane. “Dynamic video mosaics and augmented reality for subsea inspection and monitoring”. In Oceanology International 2000, Brighton (UK), 2000.

103. G. Costagliola, A. Dattolo, R. Francese, “A Visual Grammar-based Approach for the Analysis and Modeling of Hypermedia Structures”, Proceedings International Workshop on Multimedia Computing on theWorld Wide Web 2000, Seattle, WA, USA - September 14, 2000.

104. M. Sebillo, G. Tortora, M. Tucci, G. Vitiello "Supporting the promotion of historical and cultural treasures with a GIS-based visual environment", preprint.

105. G. Petraglia, M. Sebillo, G. Tortora, G. Vitiello "An OR-Based Approach to Multimedia Document Publishing", preprint.

106. L. Capra, C. Dutheillet, G. Franceschinis and J.M.Ilie, “Exploiting Partial Symmetries for Lumping Markov Chain” In Proc. 1th Workshop on Models for Time Critical Systems -Satellite workshop of CONCUR2000, Pennsylvania State University, Pennsylvania, USA, August 2000, Electronic Notes in Theoretical Computer Science, Vol.39, N.3 (2000).

107. L.Capra, C. Dutheillet, G. Franceschinis and J.M. Ilie, “On the use of partial symmetries for lumping Markov chains” Workshop on MAthematical performance Modeling and Analysis, MAMA 2000, June 17-18, 2000, Santa Clara, California, USA. Held in conjunction with ACM SIGMETRICS 2000.

108. G. Costagliola, V. Deufemia, F. Ferrucci, C. Gravino and M. Salurso, "Symbolic picture description languages" to be published on Words, sequences, grammars, languages: where biology, computer science, linguistics and mathematics meet vol. II, C. Martin-Vide & V. Mitrana, eds. (December 2000), Springer, London.

109. G. Costagliola, F. Ferrucci, G. Tortora, G. Vitiello “Class Point – Una Metrica per la Stima della Taglia di Sistemi Orientati agli Oggetti”, in De Qualitate, Nuovo Studio Tecna, Marzo 2000, pp. 68-73.

110. G. Costagliola, F. Ferrucci, G. Tortora, G. Vitiello, "A Metrics for the Size Estimation of Object Oriented Graphical User Interfaces", accettato per la pubblicazione su International Journal of Software Engineering and Knowledge Engineering.

111. G. Costagliola, V. Deufemia, F. Ferrucci, C. Gravino “On the pLR parsability of Diagrammatic Languages”, preprint.

112. F. Ferrucci, G. Tortora, M. Tucci, G. Vitiello, “VLPEG: a System for Rapid Prototyping of Visual Language Environments”, preprint.

113. G. Chiola and G. Ciaccio “Efficient Parallel Processing on Low-Cost Clusters with GAMMA Active Ports”', Parallel Computing, Elsevier, vol.26,pp.333-354, 2000.

114. P. Ballarini,, S. Donatelli,, G. Franceschinis, “Parametric Stochastic Well-Formed Nets and Compositional Modelling”. 2000.

115. S. Bernardi, S. Donatelli, A. Horvath, “Compositionality in the GreatSPN Tool and Its Application to the Modelling of Industrial Applications”. 2000.

116. F. Ferrucci, G. Tortora, G. Vitiello, "Visual Programming", in corso di stampa, su Encyclopedia of Software Engineering, John Wiley and Sons, 2000.

117. G. Polese, A. Pannella, and G. Tortora, "An Extended Relational Data Model for Multimedia Databases", Journal of Visual Languages and Computing, Dicembre 2000.

118. G. Costagliola, V. Deufemia, F. Ferrucci, C. Gravino “Decidability of the Consistency Problem for Regular Symbolic Picture Description Languages”, accettato per la pubblicazione su Information Processing Letters.

119. F. Ferrucci, G. Tortora, G. Vitiello, “Exploiting Visual Languages in Software Engineering”, apparirà su Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing, 2001.

120. G. Costagliola, F. Ferrucci, R. Francese, “Web Engineering: Models and Methodologies for the Design of Hypermedia Applications”, apparirà su Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing, 2001.

121. T. Arndt, S.K. Chang, A. Guercio “Formal Specification and Prototyping of Multimedia Applications”, International Journal of Software Engineering and Knowledge Engineering, vol. 10, no.4, pp.377-409, 2000.

122. T. Arndt, S.K. Chang, A. Guercio, G. Tortora “Multimedia Indexing with the SMART System”, Journal of Visual Languages and Computing, vol. 11, pp. 405-438, 2000 .

123. Guercio P. Maresca “Logical Approach for the Construction of Tools for Multimedia Representation and Simplification”, Proc. SCI 2000, vol. 2, pp. 701-706, 2000.

124. Guercio P. Maresca “Multimedia Software Engineering Collaboratory”, Proc. of Multimedia Computing on the World Wide Web, satellite workshop of IEEE VL2000, Seattle, WA Sept 14, 2000.

125. M. Marathe, A. Panconesi, L. D. Risinger “An experimental study of a simple, distributed edge colouring algorithms”, in Proceedings of Eleventh ACM Symposium on Parallel Algorithms and Architectures (SPAA 00), July 9-13, 2000, Bar Harbor, Maine, USA

126. Ferro, G. Gallo, R. Giugno, and A. Pulvirenti " Best-Macth Retrieval for Structured Images" Accettato per la pubblicazione su IEEE Transactions on Pattern Analysis and Machine Intelligence.

127. Cantone D., Cincotti G., Ferro A., Pulvirenti A., “An Efficient Approximate Algorithm based on Randomly Generated Tournaments”, (Preprint)

128. Biazzo V., Ferro A.. Gilio A., Giugno R., “A General Probabilistic Database Model” Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU , July 3 - 7, 2000, Madrid, Spain.

129. Gallo G., Ferro A., Giugno R., Approximate search in image database Proceeding of IS&T/SPIE Symposium on Electronic Imaging, "Multimedia Processing and Applications" San Jose, California, Jan.2000.

130. E. Trucco, G. Ouzounis, F. Odone, and A. Verri “Grading Fish Using Machine Vision and Statistical Learning”, Oceanology International 2000, Brighton (UK), 2000.

131. P. Bottoni, M.F.Costabile, P. Mussio, "Specification and Dialogue Control of Visual Interaction through Visual Rewriting Systems",ACM Trans. on Programming Languages and Systems TOPLAS, Vol. 21, No. 6, (1077-1136).

132. M.F. Costabile, M. Matera, Guidelines for Hypermedia Usability Inspection", IEEE Multimedia, Vol 8, N. 1, 66-69.

133. De Angeli, A., Matera, M., Costabile, M.F., Garzotto, F., and Paolini, P, On the Advantages of Systematic Inspection for Evaluating Hypermedia Usability, Int. Journal on HCI, in print.

134. M.F. Costabile “Usability in the Software Life Cycle”, in Handbook of Software Engineering and Knowledge Engineering, S.K. Chang Ed., World Scientific, Vol. 1, in print.

135. De Angeli, A., Matera, M., Costabile, M.F., Garzotto, F., and Paolini, P, “Evaluating the SUE Inspection Technique”. Proc. AVI’2000 International Conference on Advanced Visual Interfaces, Palermo, Italy, May 2000, ACM Press, 143-150.

136. P. Bottoni, M.F. Costabile, S. Levialdi, M. Matera e P. Mussio "Principled Design of Visual Languages for Interaction", Proc. IEEE Symposium on Visual Languages, Seattle, USA, September 10-14, 2000, (145-152).

137. P. Bottoni, M.F. Costabile, S. Levialdi, M. Matera e P. Mussio "Towards Trusty Interaction in Visual Environments”, Proceedings Workshop “The Visual End-User”, Seattle, USA, September 10, 2000, (263-277).

138. M.F. Costabile, F. Esposito, V. Candela, N. Fanizzi & S. Ferilli, G. Semeraro "Secure Transactions in the Management of a Corporate Digital Library", Proceedings of the AICA Annual Conference, Taormina, Italy, September 27-October 2, 2000, (227-238).

139. M.F. Costabile, M. Matera "Proposing Guidelines for Usability Inspection"Proc. of TFWWG 2000 Tools for Working With Guidelines, Biarritz, 7-8 October, 2000, Springer Verlag, (283-292).

140. P. Bottoni, M.F. Costabile, S. Levialdi, M. Matera e P. Mussio "Trusty Interaction in Visual Environments”, Proc. 6th ERCIM Workshop on User Interfaces for All, Florence, 25-26 October 2000, 98-109.

141. G. Costagliola, G. Polese, "Extended Positional Grammars" nei Proceedings of 2000 IEEE Symposium on Visual Languages, Seattle, WA, USA, 10-13 September, pp. 103-110.

142. S-K Chang, G. Costagliola and E. Jungert, "Spatial/Temporal Query Processing for Information Fusion Applications" Proceedings of 4th International Conference on VISUAL INFORMATION SYSTEMS, Lyon, France, November 2-4, 2000

143. Goodman, Micchelli, G. Rodriguez, S. Seatzu, On the Cholesky factorization of the Gram matrix of multivariate functions. {\em SIAM J. Matrix Anal. Appl.} 22 (2000), no. 2, 501--526.

144. van der Mee, G. Rodriguez, S. Seatzu, in {\it Recent Trends in Numerical Analysis} (L. Brugnano, D. Trigiante, Eds.) Nova Science Pub. Inc. 2000

145. van der Mee, G. Rodriguez, S. Seatzu, Solution methods for semi-infinite linear systems of block Toeplitz type and their perturbations, in {\it Structured Matrices: Recent Developments in Theory and Computations} (D.A. Bini, E. Tyrtyshnikov, P. Yalamov, Eds.) Nova Science Pub. Inc. 2001

146. van der Mee, G. Rodriguez, S. Seatzu, {\it Linear Algebra Appl.} 2001 (special issue on Infinite Structured Matrices).

147. D.A. Bini, L. Gemignani, B. Meini, Factorization of analytic functions by means of Koenig's theorem and Toeplitz computations, {\it Numerische Mathematik}, 2001

148. D.A. Bini, L. Gemignani, B. Meini, Computations with infinite Toeplitz matrices and polynomials,

149. {\it Linear Algebra Appl.} 2001 (special issue on Infinite Structured Matrices).

150. L. Gemignani, A Numerical approach to the solution of stable resultant linear system, Riv. Mat. Univ. Parma (6),3,2000.

151. D.A. Bini, Farusi, Fiorentino, B. Meini. On the regularized solution of block banded block Toeplitz systems, Proc. SPIE Conference, vol. 4116, (F. Luk, Ed) San Diego 2000.

152. D.A. Bini, B. Meini, Solving Block banded block Toeplitz systems with structured blocks: algorithms and applications, in Structured Matrices: Recent Developments in Theory and Computations (D.A. D.A. Bini, E. Tyrtyshnikov, P. Yalamov, Eds.) Nova Science Pub. Inc. 2001

153. D.A. Bini, Chakravarthy, B. Meini, A New Algorithm for the Design of Capacity Service Units, in Proceedings of the Third international Conference on the Numerical Solution of Markov Chains, pp. 247-260, B. Plateau, W.J. Stewart and M. Silva Editors, Prensas Unversitarias de Zaragoza, Saragoza, Spain.

154. D.A. Bini, Chakravarthy, B. Meini, Control of the BMAP/PH/1/K queue with group services, in Advances in Algorithmic Methods for Stochastic Models, Proceedings of the Third Conference on Matrix Analytic Methods, G. Latouche and P. Taylor eds., Notable Publications, 2000, pp. 57-72

155. D.A. Bini, Latouche, B. Meini, Quadratically convergent algorithms for solving matrix polynomial equations{\it Linear Algebra Appl.} (submitted)

156. D.A. Bini, B. Meini, Solving Block banded block Toeplitz systems with structured blocks: algorithms and applications, in Structured Matrices: Recent Developments in Theory and Computation, D.A. Bini, E. Tyrtyshnikov and P. Yalamov Editors, Nova Science Publisher Inc., New York, 2001

157. D.A. Bini, B. Meini, Ramaswami, Analyzing M/G/1 paradigms through QBDs: the role of the block structure in computing the matrix G, in Advances in Algorithmic Methods for Stochastic Models, Proceedings of the Third Conference on Matrix Analytic Methods, G. Latouche and P. Taylor eds., Notable Publications, 2000, pp. 73-86.

158. Favati, B. Meini, Solving certain queueing problems by means of regular splittings, Appl. Math. Letters, 13:99-105, 2000.

159. He, B. Meini, Rhee, A shifted cyclic reduction algorithm for QBDs, SIAM J. Matrix Anal. Appl (to appear)

160. Meini, Efficient computation of the extreme solutions of $X+A^* X^{-1}A=Q$ and $X- ^*X^{-1}A=Q$, {\it Mathematics of Computations} 2001 (to appear).

161. B. Meini, Matrix equations and structures: efficient solution of special discrete algebraic Riccati equations, Proceedings of the WLSSC00, Bulgaria, 2000, in printing.

162. L. Gemignani, Polynomial factors, lemniscates and structured matrix technology, in {\it Structured Matrices: Recent Developments in Theory and Computations} (D.A. Bini, E. Tyrtyshnikov, P. Yalamov, Eds.) Nova Science Pub. Inc. 2001

163. L. Gemignani, On a generalization of Poincar\'e's theorem for matrix difference equations arising from root-finding problems , 2000. Proc. AMS Conference {\it Structured Matrices in Operator

164. Theory, Numerical Analysis, Control, Signal and Image Processing}, Boulder 1999.

165. L. Gemignani, Efficient and stable solution of structured Hessenberg linear systems arising from difference equations. Numer. Linear Algebra Appl.,7 (2000) 319-335.

166. L. Gemignani, Computing a Hurwitz factorization of a polynomial. J. Comput. Appl. Math. ,126 (2000) 369-380.

167. L. Gemignani, G. Lotti, Efficient and stable solution of Hessenberg linear systems , submitted for publication, 2000, (with G. Lotti).

168. Fasino, L. Gemignani, A Lanczos-type algorithm for the QR factorization of regular Cauchy matrices , submitted for publication, 2001.

169. Fasino, Isospectral flows on displacement structured matrix spaces {\it Structured Matrices: Recent Developments in Theory and Computations} (D.A. Bini, E. Tyrtyshnikov, P. Yalamov, Eds.) Nova Science Pub. Inc. 2001

170. Fasino, Olshevsky, How bad are symmetric Pick matrices? Proc. SPIE Conf., vol. 4116, pp.147--156, (F. Luk, Ed) San Diego 2000.

171. D. Fasino, Tilli, Spectral clustering properties of block multilevel Hankel matrices. Linear Algebra Appl. 306 (2000), no. 1-3, 155--163.

172. Di Benedetto, S. Serra Capizzano, Optimal multilevel matrix algebra operators. Linear \& Multilinear Algebra 48 (2000), 35-66.

173. Brianzi, Di Benedetto, Exploiting Toeplitz structures in spect models, in {\it Structured Matrices: Recent Developments in Theory and Computations} (D.A. Bini, E. Tyrtyshnikov, P. Yalamov, Eds.) Nova Science Pub. Inc. 2001.

174. P. Boccacci, P. Bonetto, P. Brianzi, P. Calvini, F. Di Benedetto, A. R. Formiconi, A. Passeri, The 2D+1 method for an efficient modeling of collimator blur in 3D SPECT imaging. Ann. Univ. Ferrara - Sez. VII - Sc. Mat., suppl. 44 (2000), 1-18.

175. Di Benedetto, Matrix structures for image applications: some examples and open problems. Notes on Numerical Fluid Mechanics 73 (2000), 243-249.

176. Serra Capizzano, Stefano; Tablino Possio, Cristina High-order finite difference schemes and Toeplitz based preconditioners for elliptic problems. Electron. Trans. Numer. Anal. 11 (2000), 55--84

177. Serra Capizzano, Stefano A note on the asymptotic spectra of finite difference discretizations of second order elliptic partial differential equations. Asian J. Math. 4 (2000), no. 3, 499--514.

178. Serra Capizzano, Stefano Locally $X$ matrices, spectral distributions, preconditioning, and applications. SIAM J. Matrix Anal. Appl. 21 (2000), no. 4, 1354--1388

179. Serra Capizzano, Stefano Korovkin tests, approximation, and ergodic theory. Math. Comp. 69 (2000), no. 232, 1533--1558.

180. Serra, S. The analysis of a Chebyshev problem via spectral matrix theory. Comput. Math. Appl. 39 (2000), no. 1-2, 55--68.

181. Serra Capizzano, S. Some theorems on linear positive operators and functionals and their applications. Comput. Math. Appl. 39 (2000), no. 7-8, 139--167.

182. P. Tilli, Miranda, Asymptotic spectra of Hermitian block Toeplitz matrices and preconditioning results. SIAM J. Matrix Anal. Appl. 21 (2000), no. 3, 867--881

183. De Lellis, P. Tilli, On the spectral distribution of certain sequences of band matrices, in {\it Structured Matrices: Recent Developments in Theory and Computations} (D.A. Bini, E. Tyrtyshnikov, P. Yalamov, Eds.) Nova Science Pub. Inc. 2001.

184. L. Lopez, C. Mastroserio, T. Politi, Newton type methods for solving nonlinear equations on quadratic matrix groups, J. Comput. Appl. Math. 115, (2000), 357--368.

185. L. Lopez, T. Politi, Application of the Cayley approach in the numerical solution of matrix differential systems on quadratic groups, Appl. Numer. Math. 36 (2001), 35—55.

186. L. Lopez, C. Mastroserio, T. Politi, Numerical methods for dynamical systems in the Lorentz group, apparira' su Nonlinear Analysis: TMA.

187. L. Lopez ed altri, Conservative methods for ordinary differential equations on quadratic groups, Ann. Univ. Ferrara, Sez. VII, Sc. Mat. Suppl. Vol XLV, (2000), 267—278.

188. Mastroserio , T. Politi, Piecewise interpolation on matrix Lie groups, Appl. Math. Letters, Vol. 14 (3) (2001), 333--340.

189. N. Del Buono, C. Mastroserio, Explicit methods based on a classs of four stage fourth order Runge Kutta methods for preserving quadratic conservation laws, apparira’ su J. Compt. Appl. Math.

190. E. Andrisani, G. Di Lena, An improved dqds type algorithm. Computing 64, 1-19 (2000).

191. L. Aceto, D. Trigiante. The matrices of Pascal and other Greats. Am. Math. Monthly (in stampa).

192. L. Aceto, D. Trigiante. On the A-stable methods in the GBDF class. Accepted on Journal of Nonlinear Analysis: Series B Real World Applications

193. L.Brugnano. Blended Block BVMs (B$_3$VMs): A Family of Economical Implicit Methods for ODEs, Journal of Computational and Applied Mathematics 116 (2000) 41-62.

194. L.Brugnano, K.Burrage, P.Burrage. Adams-Type Methods for the Numerical Solution of Stochastic Ordinary Differential Equations, BIT 40 (2000) 451-470.

195. L.Brugnano, D.Trigiante. Block Implicit Methods for ODEs, in Recent Trends in Numerical Analysis, D.Trigiante ed., Nova Science, 2000, (in stampa).

196. Di Lena, F.Iavernaro. Solvability of Runge-Kutta and block-BVMs systems applied to scalar ODEs, Lecture Notes in Computer Science, (in stampa).

197. G.Capobianco, Parallel fast convergent WR for Volterra integral equations, in stampa su Ricerche di Matematica.

198. M. R. Crisci, V. Kolmanovskii, E. Russo, A. Vecchio, On the exponential stability of discrete Volterra systems, J. of Difference Eq. and Appl., 2000.

199. M. R. Crisci, V. Kolmanovskii, E. Russo, A. Vecchio: A priori bounds on the solution of a non linear discrete Volterra equation, Stability And Control: Theory and Application, 3(1), 38-47, 2000.

200. Brunner, M. R. Crisci, E. Russo, A. Vecchio: Continuous and discrete time waveform relaxation methods for Volterra integral equations with weakly singular kernels, in stampa su Ricerche di Matematica.

201. B.Paternoster, A phase-fitted collocation-base Runge-Kutta-Nystrom method, Appl. Num. Math., 35 (4), 239-355, 2000.

202. B.Paternoster, L.Shaikhet, About stability of nonlinear stochastic difference equations, Appl. Math. Lett., 13 (5), 27-32, 2000.

203. B.Paternoster, L.Shaikhet, Integrability of solutions of stochastic difference second kind Volterra equations, Stability and Control: Theory and Applications, 3 (1), 78-87, 2000.

204. Bellen, S. Maset: Numerical solution of constant coefficient linear delay differential equations as abstract Cauchy problems. Numer.Math. 84(2000), 351-374

205. Bellen, N. Guglielmi, M. Zennaro: Numerical stability of nonlinear delay differential equations of neutral type. J.Comput.Appl.Math. 125(2000), 251-263

206. L. Bergamaschi, I. Moret, G. Zilli: Inexact quasi-Newton methods for sparse systems of nonlinear equations. Future Generation Computer Systems (2000)

207. N. Guglielmi: An analytic proof of numerical stability of Gaussian collocation for delay differential equations. Boll.Un.Mat.Ital. vol. 1-B(2000), 95-116

208. N. Guglielmi, M. Zennaro: On the asymptotic properties of a family of matrices. In stampa su Linear Algebra Appl. 322(2001), 169-192

209. Moret, P. Novati: On the interpolatory approximation of the matrix exponential based on Faber polynomials. J.Comput.Appl.Math. 119 (2000)

210. Bellen, S. Maset, L. Torelli: Contractive initializing methods for the pantograph equation of neutral type. Su Recent Trends in Numerical Analysis. L. Brugnano, D. Trigiante Eds. (2000)

211. N. Guglielmi, M. Zennaro: On the zero-stability of variable stepsize multistep methods: the spectral radius approach. In stampa su Numer.Math. (2001)

212. N. Guglielmi, E. Hairer: Geometric proofs of numerical stability for delay equations. In stampa su IMA J.Numer.Anal. (2000)

213. S. Maset: Stability of Runge-Kutta methods for linear delay differential equations. In stampa su Numer.Math. (2000)

214. N.Guglielmi: On the qualitative behaviour of numerical methods for delay differential equations of neutral type. A case study: $\Theta$-methods. su Recent Trends in Numerical Analysis. L. Brugnano, D. Trigiante Eds. (2000)

215. S. Maset: Instability of Runge-Kutta methods when applied to linear systems of delay differential equations. In stampa su Numer.Math. (2001)

216. Galligani E.: The Newton-Arithmetic Mean Method for the Solution of Systems of Nonlinear Equations - sottomesso (2001).

217. Bergamaschi L., Moret L., Zilli G.: Inexact quasi-Newton methods for sparse systems of nonlinear equations - J. Future Generation Comp. Syst., (2000).

218. Bergamaschi L., Zilli G.: Inexact Newton methods and mixed non linear complementary problems - in corso di stampa su Proceedings of: Large Scale Scientific Computations of Engineering and Environmental Sciences (2000).

219. Bergamaschi L., Zilli G.:, Parallel inexact Newton and interior point method, - Annali dell'Universita' di Ferrara, Suppl. n. 46, Ferrara, 467-478 (2000).

220. Bergamaschi L., Gambolati G., Mazzia A., Pini G., Putti M.: Mixed finite elements and finite volumes for density dependent flow and transport in groundwater - Annali dell'Universita' di Ferrara, Suppl. n. 46, Ferrara, 179-190 (2000).

221. Bergamaschi L., Mazzia A., Putti M.: A time-splitting technique for the solution of density dependent flow and transport in groundwater - in Int. Conf. Comp. Meth. Wat. Res. XII., L.R. Bentley, ed., Rotterdam, 2000, Balkema, 5-82.

222. Mazzia A., Bergamaschi L., Putti M.: On the reliability of numerical solutions for density dependent flow and transport in groundwater - in corso di stampa su Transp. Porous Media (2000).

223. Mazzia A., Bergamaschi L., Putti M.: A second order time-splitting technique for advection-dispersion equation on unstructured grids - in corso di stampa su Proceedings of: Godunov Methods: Theory and Applications, 2000.

224. Bergamaschi L., Pini G., Sartoretto F.: Approximate inverse preconditioning in the parallel solution of sparse eigenproblems - Numer. Lin. Alg. Appl., 7 (2000), 99-116.

225. Bergamaschi L., Pini G., Sartoretto F.: Parallel preconditioning of a sparse eigensolver - in corso di stampa su J. Par. Comput., (2000).

226. Ruggiero V., Zanni L.: Variable Projection Methods for Large Convex Quadratic Programs - in "Recent Trend in Numerical Analysis", (D. Trigiante ed.), Advanced in Computation: Theory and Practice (2000).

227. R.H. Nochetto, A. Schmidt, C. Verdi, A posteriori error estimation and adaptivity for degenerate parabolic problems, Math. Comp., 69 (2000), pp. 1-24.

228. R.H. Nochetto, G. Savar\`e, C. Verdi, A posteriori error estimates for variable time-step discretizations of nonlinear evolution equations, Comm. Pure Appl. Math., 53 (2000), pp. 525-589.

229. G. Bellettini, M. Novaga, M. Paolini, On a crystalline variational problem, part I, Arch. Rational Mech. Anal., in corso di stampa.

230. G. Bellettini, M. Novaga, M. Paolini, On a crystalline variational problem, part II, Arch. Rational Mech. Anal., in corso di stampa.

231. G. Bellettini, M. Novaga, M. Paolini, Characterization of facet-breaking for nonsmooth mean curvature flow in the convex case, Interf. Free Bound., in corso di stampa.

232. Y. Giga, M. Paolini, P. Rybka, On the motion by singular interfacial energy, Japan J. Industr. Appl. Math., in corso di stampa.

233. M. Paolini, F. Pasquarelli, Numerical simulation of crystalline curvature flow in 3D by interface diffusion, in Free Boundary Problems: Theory and Applications, vol. II, Gakuto Int. Ser. Gakkotosho, Tokyo, 2000, pp. 376-389.

234. F. Fierro, Convergence past singularities to the forced mean curvature flow for a modified reaction-diffusion approach, in Numerical Methods for Viscosity Solutions and Applications, in corso di stampa.

235. Fierro, A. Veeser, On the a posteriori error analysis for equation of prescribed mean curvature, preprint.

236. M. Negri, M. Paolini, Numerical minimization of the Mumford-Shah functional, Calcolo, in corso di stampa.

237. Klawonn and L. F. Pavarino, A Comparison of Overlapping Schwarz Methods and Block Preconditioners for Saddle Point Problems, Numerical Linear Algebra and Applications, 7 (1), pp. 1--25, 2000.

238. F. Pavarino, Indefinite Overlapping Schwarz Methods for Time-dependent Stokes Problems, Computer Methods in Applied Mechanics and Engineering, 187 (1-2), pp. 35--51, 2000.

239. F. Pavarino and T. Warburton, Overlapping Schwarz Methods for Unstructured Spectral Elements, Journal of Computational Physics, 160 (1), pp. 298--317, 2000.

240. T. Warburton, L. F. Pavarino and J. S. Hesthaven, A Pseudo-spectral Scheme for the Incompressible Navier-Stokes Equations using Unstructured Spectral Elements, Journal of Computational Physics, 164 (1), pp. 1--21, 2000.

241. F. Pavarino and E. Zampieri, Preconditioners for Spectral Discretizations of the Helmholtz's Equation with Sommerfeld Boundary Conditions, Accepted and to appear in Computer Methods in Applied Mechanics and Engineering, 2001.

242. Berselli, L.C.; Saleri, F., New substructuring domain decomposition methods for advection-diffusion equations, J. Comp. Appl. Math. 116, (2000), 201-220.

243. L. Fatone, P. Gervasio, A. Quarteroni, Multimodels for incompressible flows. J. Math. Fluid Mech., 2 (2000), 126--150.

244. Boffi, L. Gastaldi, Remarks on quadrilateral finite elements for a fluid-structure eigenproblem. European Congress on Computational Methods in Applied Sciences and Engineering. ECCOMAS 2000.

245. Boffi, L. Gastaldi, Finite element approximation of Maxwell's eigenproblem. Proc. of Enumath99, Jyväskylä, Finland, July 26-30, 1999, ed. by P. Neittaanmäki, T. Tiihonen and P. Tarvainen, World Scientific, Singapore,2000. pp. 502-509.

246. Boffi, C. Chinosi, L. Gastaldi, Approximation of grad-div operator in non-convex domains. EMCS, 1 (2000), 27-38.

247. D. Boffi, A note on the de Rham complex and a discrete compactness property. Appl. Math. Letters, 14 (2001) 33-38.

248. D. Boffi, Fortin operator and discrete compactness for edge elements. Numer. Math., 87 (2000) 2, 229-246.

249. D. Boffi, C. Chinosi, L. Gastaldi, Penalized approximation of the vibration frequencies of a fluid in a cavity. Comput. Visual Sci., 3 (2000) 19-23.

250. D. Boffi, F. Brezzi, L. Gastaldi, On the problem of spurious eigenvalues in the approximation of linear elliptic problems in mixed form. Math. Comp., 69 (2000), no. 229, pp. 121-140.