Dipartimento di Sistemi e Informatica

Publications 1997 – 1998

• Johnson R., Nerurkar M., Controllability, Stabilization, and the Regulator Problem for Random Differential Equations, Memoir of the American Mathematical Society, providence USA, 1998, pp.98
• Nesi P., Lehner F., Proceedings of second Euromicro Conference on Software Maintenance and Renegineering, IEEE Press, pp.210.

• Angeli D., Casavola A., Mosca E., A Predictive Command Governor for Nonlinear Systems Under Constraints, in "ASCONA'98 - Nonlinear Model Predictive Control", Ascona, Svizzera, giugno 1998.
• Angeli D., Casavola A., Mosca E., Command Governors for Constrained Nonlinear Systems: Direct Nonlinear vs. Linearization-based Strategies, in "Controlo'98 - 3rd Portuguese Conference on Automatic Control", Coimbra, Portogallo, settembre 1998.
• Angeli D., Casavola A., Mosca E., Enforcing Constraints in Industrial Control Systems: Command Governor Tools, in "CCA’98 - IEEE Conference on Control Applications", Trieste, Italia, settembre 1998.
• A. Del Lungo, F. Del Ristoro and J. G. Penaud, Left ternary trees and nonseparable rooted planar maps, Proc. of the 9th FPSAC, Vienna, (1997) 209-221.
• Barcucci E., Del Lungo A., Nivat M., Pinzani R., Zurli A., "Reconstructing digital pictures from X-rays", in "Lecture Notes in Computer Science", n.1310, 1997, pp.166-173.
• Barcucci E., Del Lungo A., Pergola E., Permutations with one forbidden subsequence of increasing length, in "Proceedings of the 9^th FPSAC", Vienna, 1997, pp. 49-60.
• Barcucci E., Del Lungo A., Pergola E., Pinzani R., From C_n to n!: permutations with an increasing number of forbidden subsequences of increasing length, in "Proceedings of the 10^th FPSAC", Toronto, 1998, pp. 31-41.
  
• M. Basso, R. Genesio and A. Tesi, ``Frequency domain methods and control of complex dynamics,'' Proceedings of the 37th Conference on Decision and Control, Tampa (FL), 1998.
• M. Basso, L. Giarre', M. Dahleh and I. Mezic , ``Numerical Analysis of Complex Dynamics in Atomic Force Microscopes,'' Proceedings of the IEEE Conference on Control Applications, Trieste (Italy), 1998.
• M. Basso, R. Genesio, L. Giovanardi and A. Tesi , ``On stabilizing periodic orbits of a choatic system via feedback control,'' Proceedings of Control of Oscillations and Chaos, St. Petersburg (Russia), 1997.
• M. Basso, R. Genesio, A. Tesi and G. Torrini , ``On describing systems with periodic behaviour in terms of simple nonlinear models,'' Proceedings of Control of Oscillations and Chaos, St. Petersburg (Russia), 1997.
• M. Basso, R. Genesio and A. Tesi , ``Controlling chaos in a CO2 laser,'' Proceedings of the 4th European Control Conference, Bruxelles, 1997.
• Bemporad A., Casavola A, Mosca E., Practical Controllers for Industrial Processes with Saturating Actuators and State-related Constraints', in "41-esimo Convegno Nazionale Anipla, ‘Automazione’ 97", Torino, Italia, novembre 1997, pp. 355-364.
  
• Bemporad A., Mosca E., Constrained predictive control with terminal Ellipsoidal constraint and artificial Lyapunov functions, in "Proc. 36^th IEEE Conf. On Decision and Control", San Diego, USA, dec. 1997.
• A. Bemporad, M. Di Marco, A. Tesi, ``Wall-following for sonar-based mobile robots'', Proc. of 36th Conference on Decision and Control, San Diego, California, 1997, pp. 3063--3068.
• Bettini L., De Nicola R., Ferrari G.-L., Pugliese R., Interactive Mobile Agents in X-Klaim, in "Proc. of IEEE Seventh International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'98)", IEEE Computer Society, 1998.
• Boreale M., De Nicola R., Pugliese R., Asynchronous Observations of Processes, in "Proc. of FoSSaCS' 98, Lectures Notes in Computer Science", n. 1378, Springer, 1998 pp. 95-109.
• Boreale M., De Nicola R., Pugliese R., Basic Observables for Processes, in "Proc. of ICALP'97, Lectures Notes in Computer Science", n. 1256, Springer, 1997, pp.482-492.
• A. Bondavalli, F. Di Giandomenico and I. Mura, "Value-Driven Resource Assignment in Object-Oriented Real-Time Dependable Systems," in Proc. WORDS 97, Third International Workshop on Object-oriented Real-time Dependable Systems, Newport Beach, California, USA, IEEE Computer Society Press, 1997, pp. 92-99.
• F. Di Giandomenico, A. Bondavalli, J. Xu and S. Chiaradonna, "Hardware and Software Fault Tolerance: Definition and Evaluation of Adaptive Architectures in a Distributed Computing Environment," in Proc. ESREL 97 Int. Conference on Safety and Reliability, Lisbon, Portugal, Pergamon Press, 1997, pp. 341-348.
• A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and F. Grandoni, "Discriminating Fault Rate and Persistency to Improve Fault Treatment," in Proc. 27th IEEE FTCS - International Symposium on Fault-Tolerant Computing, Seattle, USA, IEEE Computer Society Press, 1997, pp. 354-362.
• A. Bondavalli, I. Mura and M. Nelli, "Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications," in Proc. 2nd IEEE High Assurance System Engineering Workshop (HASE'97), Bethesda, MD, USA, IEEE Computer Society Press, 1997, pp. 85 - 91.
• P. Bizzarri, A. Bondavalli and F. Di Giandomenico, "A Scheduling Algorithm for Aperiodic Groups of Tasks in distributed Real-Time Systems and its Holistic Analysis," in Proc. 6th IEEE Workshop on Future Trend in Distributed Computing Systems - FTDCS'97, Tunis, Tunisia, IEEE Computer Society Press, 1997, pp. 296-301.
• A. Bondavalli, M Nelli, L. Simoncini and G. Mongardi, "Application of Analytical Model-Based Evaluations to The Railway Aplications: a case study" in Proc. WCRR - World Congress on Railway Research, Firenze, Italia, 1997.
• A. Bondavalli, F. Di Giandomenico, F. Grandoni, D. Powell and C. Rabejac, "State Restoration in a COTS-based N-Modular Architecture," in Proc. ISORC '98 - 1st IEEE International Symposium on Object-oriented Real-time distributed Computing, Kyoto, Japan, IEEE Computer Society Press, 1998, pp. 174-183.
• M. Pizza, L. Strigini, A. Bondavalli and F. Di Giandomenico, "Optimal Discrimination between Transient and Permanent Faults," in Proc. 3rd IEEE High Assurance System Engineering Symposium, Bethesda, MD, USA, IEEE Computer Society Press, 1998, pp. 214-223.
• F. Grandoni, S. Chiaradonna and A. Bondavalli, "A new Heuristic to Discriminate Transient from Intermittent Faults," in Proc. 3rd IEEE High Assurance System Engineering Symposium, Bethesda, MD, USA, IEEE Computer Society Press, 1998, pp. 224-231.
• I. Majzik and A. Bondavalli, "Automatic Dependability Modelling of Systems Described in UML," in Proc. 9th International Symposium on Software Reliability Engineering (ISSRE)-Fast Abstract Track, Paderborn, Germany, IEEE Computer Society Press, 1998, pp. 29-30.
• Bortone G., Marsili-Libelli S., Tilche A., Wanner J., Anoxic Phosphate uptake in the Dephanox Process, in "IAWQ Conf. on Advanced Wastewater Treatment Processes for Nutrient Removal", Milan, 1998, pp. 1233 - 1239.
• Bruno M. A., Bucci G., Nesi P., Life-cycle for formal object-oriented specification models, in "Proc. 23<sup>rd</sup> Euromicro Conference, IEEE press, Budapest, Ungheria, settembre 1997, pp. 2-7.
• Bucci G., Fioravanti F., Nesi P., Perlini S., Metrics and Tool for System Assessment, in "Proc. of the IEEE International Conference on the Engineering of Complex Computer Systems", Monterrey, California, USA, 10-14 Agosto, 1998, pp.36-46.
• Bucci G., Nesi P., Overhead Estimation and Comparison for Multitasking Operating Systems for Personal Computers, in "Proc. of the 2nd IASTED International Conference on Parallel and Distributed Computing and Network", PDCN'98, Brisbane, Australia, 14-16 december, 1998.
• Butera F., Fontanella B., Nesi P., Perfetti M., Reengineering a Computerized Numerical Control Towards Object-Oriented, in "Proc. of the 2nd Euromicro Conference on software Maintenance and Reengineering", IEEE Press, Florence, Italy, 8-11 Marzo 1998, pp.224-227.
• Casavola A., Mosca, Reference Management for Control Systems Under Constraints, E., in "14th IFAC Symphosium on Automatic Control in Aerospace", Seul, Corea, agosto 1998.
• Casavola A., Gianneli M., Mosca E., Predictive Switching-Supervisory Control for Input Saturated Plants, in "CCA’98 - IEEE Conference on Control Applications", Trieste, Italia, settembre 1998.
• Casavola A., Giannelli M., Mosca E., Global Predictive Stabilization of Input-Saturated Linear Systems, in "ACC'98 - 1998 American Control Conference, Filadelfia, Pensilvania, USA, giugno 1998.
• Casavola A., Giannelli M., Mosca E., Predictive Controllers for Input Saturated
• Casavola A., Giannelli M., Mosca E., Predictive Controllers for Input Saturated Industrial Plants, in "DYCOPS-5 - 5th IFAC Symposium on Dynamics and Control Process Systems", , Corfù, Grecia, giugno 1998.
• Casavola A., Mosca E., A Predictive Reference Governor with Computational Delay,
• Casavola A., Mosca E., Global Regulation of Null-Controllable Input-Saturated Systems with arbitrary l<sub>2</sub> State Disturbances, in "Proc. IFAC Conf. On System Structure and Control", Nantes, France, July 1998.
• Casavola A., Mosca E., Monotonicity of Minimax Control and Its Use for Regulating
• Cesarini F., Francesconi E., Gori M., Marinai S., Sheng J.Q., Soda G., Conceptual Modelling for Invoice Document Processing, in "Proc. of 8<sup>th</sup> Int. Workshop on Database and Expert Systems Applications", IEEE Computer Society, 1997, pp. 596-603.
• Cesarini F., Francesconi E., Gori M., Marinai S., Sheng J.Q., Soda G., Invoice Modelling based on a Semantic Network, in "SEBD97", Verona,1997, pp. 191-207.
• Cesarini F., Francesconi E., Gori M., Marinai S., Sheng J.Q., Soda G., A neural -based architecture for spot-noisy logo recognition, in "Proc. of 4<sup>th</sup> Int. Conference on Document Analysis and Recognition", IEEE Computer Society, 1997,pp. 175-179.
• Cesarini F., Francesconi E., Gori M., Marinai S., Sheng J.Q., Soda G., Rectangle Labelling for an Invoice Understanding System, in "Proc. of 4<sup>th</sup> Int. Conference on Document Analysis and Recognition", IEEE Computer Society, 1997, pp. 324-330.
• De Nicola R., Ferrari G.-L. Pugliese R., Locality based Linda: programming with explicit localities, in "Proc. of TAPSOFT--FASE'97, Lectures Notes in Computer Science", n. 1214, Springer, 1997, pp. 712-726.
• De Nicola R., Ferrari G.-L., Pugliese R., Coordinating Mobile Agents via Blackboards and Access Rights, in "Proc. of the Second International Conference on Coordination Models and Languages, Lectures Notes in Computer Science", n. 1282, Springer, 1997 pp.220-237.
• Del Bimbo A., Berretti S., Pala P., Sensations and Psychological Effects in Color Image Databases, in "Proc. IEEE ICIP'97, Int. Conf. on Image Processing", S. Barbara, CA, ottobre 1997.
• Del Bimbo A., Caliani M., Colombo C., Pala P., Commercial Video Retrieval by Induced Semantics, in "Proc. IEEE Works. on Content-Based Access of Image and Video Databases", Bombay, India, Jan. 1998.
• Del Bimbo A., Corridoni J., Pala P., Retrieval of Paintings using Effects Induced by Color Features, in "Proc. IEEE Works. on Content-Based Access of Image and Video Databases", Bombay, India, Jan. 1998.
• Del Bimbo A., Mugnaini M., Pala P., Turco F., Verzucoli L., Image Retrieval by Color Regions, in "Proc. ICIAP'97, Int. Conf. on Image Analysis and Processing", Firenze, Italy, settembre 1997.
• Del Bimbo A., Mugnaini M., Pala P., Turco F., Verzucoli L., Pyramidal Retrieval by Color Perceptive Regions, in "Proc. IEEE VL'97, Int. Symp. on Visual Languages", Capri, Italy, Settembre 1997.
• Del Bimbo A., Pala P., Picasso: Visual Querying by Color Perceptive Regions,
• Del Bimbo A., Pala P., Shape Indexing by Structural Properties , in "Proc. IEEE ICMCS'97, Int. Conf. on Multimedia Computing and Systems", Ottawa, Canada, Giugno 1997.
• Evangelisti A., Michelagnoli S., Pedrizzetti G., Haemodynamics Evaluation of Blood Flow after Carotid Endarterectomy, in "Proceedings 4th European Conference on Engineering and Medicine", pp. 340-341, Warszawa, Poland, 1997.
• Fantechi A., Nesi P., Somma A., Object-Oriented Analysis of COBOL, in "Proc. of the 1st International Euromicro Conference on Software Maintenance and Reengineering, CSMR'97", IEEE Press, Berlino, Germania, 17-19 Marzo, 1997, pp.157-164.
• C. Bernardeschi, A. Fantechi, E. Najm, A. Nimour, ``Towards Correctness Preserving Transformations between ODP Viewpoints'', 2nd ERCIM Workshop on ``Formal Methods in Industrial Critical Systems'', Cesena, Luglio 1997.
• C. Bernardeschi, J. Dustzadeh, A. Fantechi, E. Najm, A. Nimour, F. Olsen, "Transformations and Consistent Semantics for ODP Viewpoints", Second IFIP Conference on Formal methods for Open Object-based Distributed Systems - FMOODS'97, Canterbury, July 1997.
• C. Bernardeschi, A. Fantechi, S. Gnesi, A. Santone, "Automated verification of fault tolerance mechanisms", Third International Workshop on Formal Methods for Industrial Critical Systems (FMICS'98), Amsterdam, May 25-26, 1998.
• C. Bernardeschi, A. Fantechi, L. Simoncini, "Validating the Design of Dependable Systems" ISORC '98 - 1st IEEE International Symposium on Object-oriented Real-time distributed Computing, April 20 - 22, 1998, Kyoto, Japan.
• C. Bernardeschi, A. Fantechi, S. Gnesi, A. Santone, "Formal Validation of Fault-tolerance Mechanisms", FastAbstracts of FTCS'28 (IEEE Fault Tolerant Computing Symposium), Münich, Germany, June 1998.
• A. Fantechi, S. Gnesi, F. Mazzanti, R. Pugliese, E.Tronci, "A Symbolic Model Checker for ACTL", FM-Trends'98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, 7-9 October, 1998. Lecture Notes in Computer Science, vol. 1641.
• A. Fantechi, D. Latella and L. Simoncini, "Towards a Discipline of System Engineering: Validation of Dependable Systems" Second CSIS Workshop on Computer Security, Fault Tolerance, and Software Assurance: From Needs to Solutions, Williamsburg, VA, USA, 11-13 Novembre 1998, IEEE - CS.
• Fioravanti F., Nesi P., Perlini S., Assessment of System Evolution Through Characterisation, in "Proc. of the IEEE International Conference on Software Engieering", Kyoto, Japan, 19-25 April, 1998, pp.456-459.
• Fioravanti F., Nesi P., Perlini S., A Tool for Process and Product Assessment of C++ Applications, in "Proc. of the 2nd Euromicro Conference on Software Maintenance and Reengineering", IEEE Press, Florence, Italy, 8-11 Marzo 1998, pp. 89-95.
• P. Frasconi (1998) ``An introduction to learning structured information,'' in Adaptive Processing of Sequences and Data Structures, C.L. Giles and M. Gori (Eds), Springer.
• M. Bianchini, P. Frasconi, M. Gori, and M. Maggini (1998), ``Optimal Learning in Artificial Neural Networks: A Theoretical View'', in Neural Networks Systems Techniques and Applications, C. T. Leondes Eds., Academic Press.
• P. Frasconi, M. Gori, and A. Tesi (1997) ``Successes and failures of Backpropagation: a theoretical investigation,'' in Progress in Neural Networks 5, (O. Omidvar, ed.), Ablex Publishing, pp. 205--242.
• E. Francesconi, P. Frasconi, M. Gori, S. Marinai, J. Q. Sheng, G. Soda, and A. Sperduti (1997) ``Logo Recognition by Recursive Neural Networks,'' In Graphics Recognition -- Algorithms and Systems, Kasturi, R. and K. Tombre (eds), Springer Verlag.
• P. Frasconi, M. Gori, and A. Sperduti (1997), ``On the Efficient Classification of Data Structures by Neural Networks,'' in Proc. Int. Joint Conf. on Artificial Intelligence (Nagoya, JP).
• in "ECC'97 - 4th European Control Conference", Brusselles, Belgio, Luglio 1997.
• in "Proc. Visual'97", S. Diego, CA, Dicembre 1997.
• Industrial Plants, in "ASI'97 - Conferenza Annuale della rete scientifica ICIMS-NOE",
• Input-Saturated Linear Systems with l₂-Disturbances, in "IFAC Conference on System Structure and Control", Nantes, Francia, Luglio 1998.
• Johnson R., An application of topological dynamics to bifurcation theory, in Contemporary Mathematics Topological Dynamics and Applications, vol. 215, M. G. Nerurkar, D. B. Dokken, D. B. Ellis, American Mathematical Society, Providence USA, 1998, pp. 323-334.
• Luglio 1997, Budapest, Ungheria, pp. 39-46.
• Lusini M., Vicario E., Design and Evaluation of a Visual Formalism for Real Time Logics, in "Visual 98", presentato a Visual 98, Lisboa, Portugal, pubblicato in TACAS Monograph ACos, Springer Verlag, March 1998.
• Lusini M., Vicario E., Engineering the Usability of Visual Formalisms, a Case Study in Temporal Logic, in "Advanced Visual Interfaces, AVI`98", L'Aquila, Italy, April 1998.
• Marsili-Libelli S., Gigli G., Fuzzy Control of Storage and Sludge Management in an Activated Sludge Process, in "11th Forum for Applied Biotechnology", Gent, Med. Fac. Landbouw, Univ. Gent, 1997, pp. 1697 - 1700.
• Marsili-Libelli S., Gioli B., Bortone G., Galli F., On-line Control of the Dephanox Process for Nutrient Removal, in "Proc. 12 Forum for Applied Biotechnology", Med. Fac. Landbouw, Univ. Gent., 1998, pp. 1763 - 1770.
• Marsili-Libelli S., Gioli B., Bortone G., Galli F., On-line Control of the Dephanox Process for Nutrient Removal, in "Proc. 12 Forum for Applied Biotechnology", Med. Fac. Landbouw, Univ. Gent., 1998, pp.1763 - 1770.
• Marsili-Libelli S., Limberti A., Conti A., Modelling Algal Growth Rate for Trophic Testing, in "11th Forum for Applied Biotechnology", Med. Fac. Landbouw, Univ. Gent, 1997, 1609 - 1615.
• Merlini D., Sprugnoli R., Verri M.C., A strip-like tiling algorithm, in "Proceedings of FUN with algorithm'98", Isola d'Elba, 1998.
• Merlini D., Sprugnoli R., Verri M.C., Lagrange statistics on Dyck paths, in "Proceedings of Lattice Paths Combinatorics and Applications '98", Wien, Austria1998.
• Michelagnoli S., Pedrizzetti G., Evangelisti A., Computer Simulation of Blood Flow Dynamics after Carotid Endarterectomy, in " Proceedings of Medicon '98", Limassol, Cyprus, 1998.
• Mosca E., Data filtering for switching amongst LQ controllers under prediction-based supervisors, in "Proc. IFAC Workshop on Adaprive Control and Signal Processing", Glasgow, U.K. August 1998.
• Mosca E.. et al., Adaptive, predictive and switching control of a distributed collector field, in "Controlo'98 - 3rd Portuguese Conference on Automatic Control", Coimbra, Portogallo, settembre 1998.
• Nesi P., I Microprocessori, in Manuale di Ingegneria Elettronica, Prof. Liberatore A., ed., Capitolo 2, Edizioni Cremonese, 1998, pp.88.
• Pratelli A., Schoen F., A safety-based Toll Station Model for Toll Motorway Network Analysis, in "TRIennial Symposium on Transportation", Analysis, 1998.
• Pratelli A., Schoen F., in "Proceedings of the V International, Conference ‘Living and Walking in Cities’", CE/EC, Brussels1998.
• Rato L., Borrelli D., Mosca E., Lemos J.M., Balsa P., MUSMAR based switching control of a solar collector field, in "Proc. European Control Conference, Brusselles, Belgio, luglio, 1997.
• Talluri T., Lietdke R.J., Evangelisti A., Talluri J., Maggia G., Fat Free Mass Qualitative Assessment with Bioelectric Impedance Analysis (BIA), in "Proceedings of the X international Conference on Electrical Bio-Impedance", Barcelona, Spain, 1998, pp. 205-208.
• Veglioni S., De Nicola R., Possible Worlds for Process Algebras, in "Proc. Concur 98. Lectures Notes in Computer Science", n. 1466, Springer, 1998, pp. 79-193.

• Angeli D., Mosca E., Command governors for constrained nonlinear systems, in "IEEE Trans. On Automatic Control", Dec. 1998.

• Argenti F., De Angeli A., Del Re E., Genesio R., Pagni P., Tesi A., Secure communications based on discrete time chaotic systems, in "Kybernetika", vol. 33, 1997, pp. 41-50.

• Baldassarre A., DeLucia M., Nesi P., Real-Time Detection of Cavitation for Hydraulic Turbomachines, in "Journal on Real-Time Imaging", Academic-Press, London, UK, vol.4, n.4, 1998.

• Barcucci E., Bertoli F., Del Lungo A., Pinzani R., The average height of directed column-convex polyominoes having square, hexagonal and triangular cells, in "Math. and Computer Modelling", Special issue Combinatorics and Physics, n. 26, 1997, pp. 27-36.

• Barcucci E., Brunetti S., Del Lungo A., Del Ristoro F., A combinatorial interpretation of the recurrence f_n+1 = 6f_n - f_n-1 , in "Discrete Mathematics", n. 190, 1998, pp. 235-240.
• Barcucci E., Del Lungo A., Fédou J.M., Pinzani R., Steep polyominoes, q-Motzkin numbers and q-Bessel functions, in "Discrete Mathematics", n. 189, 1998, pp. 21-42.
• E. Barcucci, A. Del Lungo, E. Pergola and R. Pinzani, A methodology for plane tree enumeration, Discrete Mathematics 180 (1998) 45-64.
• A. Del Lungo, L. Sorri, M. Nivat and R. Pinzani, The medians of discrete sets, Information Processing Letters 65 (1998) 293-299.
• E. Pergola, R. A. Sulanke, Schröder Triangles, Paths, and Parallelogram Polyominoes, Electronic Journal of Integer Sequences, 1 (1998), Art. 98.1.7.
• F. Migliorini, S. Rinaldi, On the sm-representability of two generated finite groups, Pu.M.A., 9 (1998), 379-396.
• Barcucci E., Del Lungo A., Fezzi S., Pinzani R., Nondecreasing Dyck paths and q-Fibonacci numbers, in "Discrete Mathematics", n.170, 1997, pp. 211-217.
• Barcucci E., Del Lungo A., Nivat M., Pinzani R., Medians of polyominoes: a property for the reconstruction, in "International Journal of Imaging Systems and Technology", n. 8, 1998, pp. 69-77.

• Barcucci E., Del Lungo A., Pergola E., Pinzani R., A methodolgy for plane tree enumeration, in "Discrete Mathematics", n. 180, 1998, pp. 45-64.
• Basso M., Evangelisti A., Genesio R., Tesi A., On bifurcation control in time delay feedback systems, in "Internat. J. of Bifurcation and Chaos", vol. 8, pp. 713-721, 1998.
• Basso M., Genesio R., Stanghini M., Tesi A., Subharmonic control of chaos with application to a CO2 laser, in "Chaos, Solitons and Fractals", vol. 8 , 1997, pp. 1449-1460.
• M. Basso, R. Genesio, L. Giovanardi, A. Tesi and G. Torrini , ``On optimal stabilization of periodic orbits via time delayed feedback control,'' Int. J. Bifurcation and Chaos, vol. 8, no. 8, pp. 1699-1706, 1998.

• Basso M., Genesio R., Tesi A., A frequency method for predicting limit cycle bifurcations, in "Nonlinear Dynamics", vol. 13, 1997, pp. 339-360.
• Basso M., Genesio R., Tesi A., Controller design for extending periodic dynamics of a chaotic CO2 laser, in "Systems and Control Letters, vol. 31, 1997, pp. 287-297,
• Basso M., Genesio R., Tesi A., Stabilizing periodic orbits of forced systems via generalized Pyragas controllers, in "IEEE Trans. Circuits and Systems – I", vol. 44, 1997, pp. 1023-1027,
• Bemporad A., Casavola A., Mosca E., A Predictive Reference Governor for Constrained Control Systems, in "Computers in Industry", vol. 36, 1998, pp. 55-64.

• Bemporad A., Casavola A., Mosca E., Nonlinear Control of Constrained Linear Systems via Predictive Reference Management, in "IEEE Transactions on Automatic Control, vol. 42, 1997, pp. 340-349.

• Bemporad A., Mosca E., Fulfilling hard constraints in uncertain linear systems by reference managing', in "Automatica", April, 1998.

• Boccaletti S., Maza D., Mancini H., Genesio R., Arecchi T., Control of defects and spacelike structures in delayed dynamical systems, in "Phys. Rev. Letters", vol. 79, 1997, pp. 5246-5249.
• A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and S. La Torre, "Modelling the Effects of Input Correlation in Iterative Software," Reliability Engineering and System Safety Journal (RESS), Vol. 57, pp. 189-202, 1997.
• C. Bernardeschi, A. Bondavalli, Gy. Csertan, I Maizik and L. Simoncini, "Temporal Analysis of Data Flow Control Systems," Automatica, Vol. 34, pp. 169-182, 1998.

• Borrelli D., Morse A.S., Mosca E., Discrete-time supervisory control of families of 2-degrees-of-freedom linear set-point controllers, in "IEEE Trans. On Automatic Control", June 1998.
• Bortone G., Marsili-Libelli S., Tilche A., Wanner J., Anoxic Phosphate uptake in the Dephanox Process, in "IAWQ Conf. on Advanced Wastewater Treatment Processes for Nutrient Removal", Milan, 1998, pp. 1233 - 1239.
• Butera F., Nesi P., Perfetti M., CNC di Qualità per Produzioni di Qualità, in Meccanica & Macchine di Qualità", Rivista Italiana della Sicurezza e della Certificazione, Roma (registrata Tribunale di Roma 10-01-97, n.668/96), n.1, 1998, pp.10-19.
• Camiciottoli R., Corridoni J.M., Del Bimbo A., Lucarella D., Vicario E., 3D Navigation of Geographic Data Sets, in "IEEE Multimedia", Spring, 1998.

• Casavola A., Mosca E., Minimization of a Closed-loop Response to a Fixed Input for SISO Systems, in "IEEE Transactions on Automatic Control", vol. 42, 1997, pp. 1581-1587.

• Cesarini F., Gori M., Marinai S., Soda G., INFORMys: A Flexible invoice form reader system, in "IEEE Trans. On Pattern Analysis and Machine Intelligence", vol. 20, n. 7, 1998, pp. 730-745.

• Chisci L., Garulli A., Zappa G., Fast parallel LQ regulator design for adaptive control, in "Int. J. of Adaptive Control and Signal Processing", vol.11, n. 5, 1997, pp. 395-413.
• Chisci L., Garulli A., Zappa G., Fast parallel LQ regulator design for adaptive control, in "Int. Journal of Adaptive Control and Signal Processing", vol. 11, 1997, pp. 395-413.

• Chisci L., Garulli A., Vicino A., Zappa G., Block recursive parallelotopic bounding in set membership identification, in "Automatica", vol. 34, n.1, 1998, pp. 15-22.
• Chisci L., Garulli A., Vicino A., Zappa G., Block-recursive parallelotopic bounding in set-membership identification, in "Automatica", vol. 34, 1998, pp. 15-22.
• Chisci L., Rossiter J.A., Rice M.J., Stable GPC by dynamic programming, in "Systems and Control Letters", vol. 33, 1998, pp. 291-300.

• Coito F., Lemos J.H., Silva R.N., Mosca E., Adaptive control of a solar energy plant: exploiting accessible disturbances, in "Int. J. Of Adaptive Control and Signal Processing", March 1997.
• Colonius F., Johnson R., Local and globasl null controllability of time-varying linear control systems, in "Control, Optimization, and Calculus of Variations", 1997, pp. 329-341.
• Corradini,F., De Nicola,R. Locality Based Semantics for Process Algebras, in "Acta Informatica", vol 34, 1997, pp. 291-324.

• Corridoni J., Del Bimbo A., Pala P., Image Retrieval by Color Semantics, in "ACM Multimedia System Journal", 1998.
• Corridoni J., Del Bimbo A., Vicario E., Image Retrieval by Color Semantics with Incomplete Knowledge, in "Journal of the american society for information science", vol. 49, n. 3, 1998.
• Corsani C., Merlini D., Sprugnoli R., Left-inversion of combinatorial sums, in "Discrete Mathematics", n. 180, 1998, pp. 107-122.
• De Nicola R., Ferrari G., Pugliese R., Kaim: a Kernel Language for Agents Interaction and Mobility, in "IEEE Trans. on Software Engineering", Vol. 24 (5),1998, pp. 315-330.

• Del Bimbo A. , C. Colombo, S. De Magistris, Interfacing through Visual Pointers, in Computer Vision in Human-Machine Interaction, Cipolla R., Pentland A.P., eds., Cambridge University Press, 1997.
• Del Bimbo A., Colombo C., Interacting through Eyes, in "Robotics and Autonomous Systems", vol.19, 1997.

• Del Bimbo A., Corridoni J., Automatic Video Segmentation, in "Pattern Recognition", vol. 31, n. 12, Dic. 1998.
• Del Bimbo A., De Marsico M., Levialdi S., Peritore G., Query by Dialog: an Interactive Approach to Pictorial Querying, in "Image and vision computing", vol. 16, n. 8, June 1998.
• Del Bimbo A., Muganini M., Pala P., Turco F., Visual Querying by Color Perceptive Regions, in "Pattern recognition", vol. 31, n. 9, 1998.

• Del Bimbo A., Pala P., Visual Image Retrieval by Elastic Matching of User Sketches, in IEEE Transactions On Pattern Analysis And Machine Intelligence, vol.19, n.2, febbraio 1997.
• Fantechi A., Nesi P., Object Oriented Reengineering of COBOL Applications, in "Journal of Informatik-Informatique", Zurig, Swiss, n. 6., dicembre 1997, pp.31-42.
• C. Bernardeschi, A. Fantechi, S. Gnesi, "An Industrial Application for the JACK Environment", Journal of Systems and Software, 1997; 39; 249-264.
• C. Bernardeschi, A. Fantechi, S. Gnesi, S. Larosa, G. Mongardi, D.Romano, "Formal Verification Environment for Railway Signalling System Design". Formal Methods in System Design, 12, 139-161 (1998).
• Fioravanti F., Nesi P., Perlini S., Un ambiente integrato per la valutazione e il controllo di applicazioni C++, in "Meccanica & Macchine di Qualità, Rivista Italiana della Sicurezza e della Certificazione", Roma (registrata Tribunale di Roma 10-01-97, n.668/96), n.2, 1998, p.66-74.
• Frasconi P. , Gori M., Soda G., Links between LVQ and backpropagation, in "Pattern Recognition Letters", vol. 18, n. 4, 1997, pp.303-310.
• P. Frasconi and M. Gori and A. Sperduti, ``A general framework for adaptive processing of data structures'', IEEE Transactions on Neural Networks, vol. 9, no. 5, p. 768-786, 1998

• Geronimo J., Johnson R., An inverse problem associated with polynomials orthogonal on the unit circle, in "Communications in Mathematical Physics", n. 193, 1998, pp. 125-150.

• Gori M., Maggini M., Martinelli E., Soda G., Inductive inference from noisy examples using the hybrid finite state filter, in "IEEE Trans. On Neural Networks", vol.9, n.3, 1998, pp.571-574.
• Johnson R., Kamenskii M., Nistri P., Existence of periodic solutions of an autonomous damped wave equation in a thin domain, in "Journal of Dynamics and Differential Equations", n. 10, pp. 409-424.
• Johnson R., Kamenskii M., Nistri P., On periodic solutions of a damped wave equation in a thin domain using degree theoretic methods, in "Journal of Differential Equations", n. 140, pp.186-208.

• Johnson R., Kamenskii M., Nistri P., On the existence of periodic solutions of an hyperbolic equation in a thin domain, in "Rend. Mat. Acc. Lincei", 1997, pp.189-197.
• Marsili-Libelli S., Gigli G., Fuzzy Control of Storage and Sludge Management in an Activated Sludge Process, in "11th Forum for Applied Biotechnology", Gent, Med. Fac. Landbouw, Univ. Gent, 1997, pp. 1697 - 1700.

• Marsili-Libelli S., Gioli B., Bortone G., Galli F., On-line Control of the Dephanox Process for Nutrient Removal, in "Proc. 12 Forum for Applied Biotechnology", Med. Fac. Landbouw, Univ. Gent., 1998, pp. 1763 - 1770.

• Marsili-Libelli S., Limberti A., Conti A., Modelling Algal Growth Rate for Trophic Testing, in "11th Forum for Applied Biotechnology", Med. Fac. Landbouw, Univ. Gent, 1997, pp.1609 - 1615.
• Merlini D., Rogers, D. G., Sprugnoli R., Verri M.C., On some alternative characterization of Riordan arrays, in "Canadian Journal of Mathematics", n. 49, 1997, pp.301-320.

• Nesi P., Innocenti F., Pezzati P., RETIMAC: Real-TIme Motion Analysis Chip, in "IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing", IEEE press, USA, Vol. 45, n. 3, March 1998, pp.361-375.
• Nesi P., Querci T., Effort Estimation and Prediction of Object-Oriented Systems, in "The Journal of Systems and Software", North-Holland, Elsevier Science Inc. Press, New York, USA, 42, 1998, pp.89-102.

• Nesi P., Real-Time Motion Analysis, special issue for the Journal on Real-Time Imaging, Academic-Press, London, UK, prima parte dello special, vol.3, n. 2, pp.69, Aprile 1997.

• Nesi P., Real-Time Motion Analysis, special issue for the Journal on Real-Time Imaging, Academic-Press, London, UK, seconda parte, vol.4, n.1, febrary 1998.

• Richmond B., Merlini D., Stirling numbers for complex arguments, in "Siam Journal Discrete Mathematics", n. 10, 1997, pp. 73-82.

• Torrini G., Genesio R., Tesi A., On the computation of characteristic multipliers for predicting limit cycle, bifurcations, in "Chaos, Solitons and Fractals", vol. 9, 1998, pp. 121-133.