Publications

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author ALL, in the category Articles in Journals, Collections and Proceedings (or show them all):   (Items found: 3089)


2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1983 | 1982 | 1981 | 1980 | 1979 | 1978 | 1977 | 1976 | 1975

2022  [top]

2021  [top]

2020  [top]

2019  [top]

2018  [top]

2017  [top]

2016  [top]

2015  [top]

2014  [top]

2013  [top]

2012  [top]

2011  [top]

2010  [top]

2009  [top]

2008  [top]

2007  [top]

2006  [top]

2005  [top]

2004  [top]

2003  [top]

2002  [top]

2001  [top]
  • Andreoni M., Goletti D., Pezzotti P., Pozzetto U., Monini P., Sarmati L., Farchi F., Tisone G., Piazza A., Angelico M., Leone P., Citterio F., Ensoli B., Rezza G.: Prevalence, Incidence and Correlates of HHV-8/KSHV Infection and Kaposi's Sarcoma in Renal and Liver-transplant Recipients, Journal of Infection 00, 1-6, 2001
  • Arcieri F., Cappadozzi E., Melideo G., Nardelli E., Naggar P., Talamo M.: A formal model for data coherence maintenance, Lecture Notes in Computer Science, Springer-Verlag, 2001
  • Arcieri F., Cappadozzi E., Nardelli E., Talamo M.: Distributed Territorial Data Management and Exchange for Public Organizations, in the Proceedings of 3rd International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS 2001), IEEE Computer Society Press San Jose, California, USA, 2001
  • Arcieri F., Cappadozzi E., Nardelli E., Talamo M.: Geographical Information Systems Interoperability through Distributed Territorial Data Exchange, in the Proceedings of 1st International Workshop on Databases, Documents, and Information Fusion (DBFusion'01), 2001
  • Arcieri F., Cappadozzi E., Nardelli E., Talamo M.: SIM: a Working Example of an E-government Service Infrastructure for Mountain Communities, in the Proceedings of Workshop on Electronic Government (DEXA-eGov 2001), IEEE Computer Society Press Munich, Germany, 2001
  • Arcieri F., Giaccio R., Nardelli E., Talamo M.: A Framework for Inter-Organizational Public Administration Network Services, in the Proceedings of International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet (SSGRR 2001), IEEE Computer Society Press L'Aquila, Italy, 2001
  • Arcieri F., Melideo G., Nardelli E., Talamo M.: On the Dynamics of an Infrastructural Approach Supporting Coherence Maintenance for Inter-organizational Collaboration, in the Proceedings of International Symposium on Business Strategy Based Software Engineering, Net Academy Press Gersau, Switzerland, 2001
  • Arcieri F., Melideo G., Nardelli E., Talamo M.: Keeping Coherence Among Web Sources, in the Proceedings of 3rd International Workshop on Web Information and Data Management, 2001
  • Barretta Zungrone D., Laureti Palma A., Lancia M., Neri A.: Integrate Dynamic Service Classes for Real Time Multimedia Communication on Cellular IP Environment, in the Proceedings of Proceedings della Word Scientific and Enginering Academy and Society/IEEE Conference 2001, Malta, 1-6 Settembre, 2001, WSES Press Adavances in Automation, Multimedia and Video Systems, and Modern Computer Science, 2001
  • Basili R., Michele Missikoff, Velardi P.: Extracting Concepts and Relations from Texts to Build a Domain Ontology, in the Proceedings of ACL-2001 workshop on Human Language Technology, 2001
  • Becchetti L., Draoli M., Carlo Gaibisso, Lombardi F.: A Java Implementation of a Reliable Multicast File Transfer Protocol: Design and Evaluation, in the Proceedings of IASTED International Conference: Internet and Multimedia Systems and Applications, August 13-16, 2001, Honolulu, Hawaii, USA., 2001
  • Berlot G., Lucangelo U., Galimberti G., Gabriele Sganga: Plasmapheresis in sepsis, Contributions to Nephrology 132, 391-9, Revie, 2001
  • Paola Bertolazzi, Di Serio P., Michele Missikoff: Techniche diagrammatiche nella rappresentazione della conoscenza d'impresa, AICA Rivista di Informatica 31, 2001
  • Paola Bertolazzi, Krusich C., Michele Missikoff: An Approach to the Definition of a Core Enterprise Ontology: CEO, in the Proceedings of OES-SEO'01 International Workshop, 2001
  • Paola Bertolazzi, Scannapieco M.: Introducing Data Quality in a Cooperative Context, in the Proceedings of Sixth International Conference on Information Quality, Mit Press Boston, MA, USA, 431-444, 2001
  • Bertuzzi A.: Mathematical models in body composition studies, in the Proceedings of Congress of the European Chapter of the American College of Nutrition, 2001
  • Bertuzzi A., Fasano A., Gandolfi A.: Mathematical modelling of tumour cords, Journal of Medical Informatics and Technologies 2, IP23-IP31, 2001
  • Bertuzzi A., Fasano A., Gandolfi A.: A mathematical model of tumour cords with spatially distributed cell death, in the Proceedings of Metodi e Modelli Matematici nello Studio dei Fenomeni Biologici, 2001
  • Bertuzzi A., Gandolfi A.: Analysis of data from cell populations in asynchronous growth, in the Proceedings of 2nd ESMTB Summer School, 2001
  • Bertuzzi A., Gandolfi A.: Basic flow cytometry and DNA distributions, in the Proceedings of 2nd ESMTB Summer School, 2001
  • Bertuzzi A., Gandolfi A.: Cell kinetics in stationary tumour cords, in the Proceedings of 2nd ESMTB Summer School, 2001
  • Bertuzzi A., Gandolfi A., Carmela Sinisgalli, Starace G., Ubezio P.: Cell kinetic heterogeneity by sequential DNA-BrdUrd analysis in vivo, in the Proceedings of XVIII Conferenza Nazionale di Citometria, 2001
  • Bielli M., Carotenuto P.: Genetic algorithms and transportation analysis: review and perspectives for bus network optimization, in: New analytical advances in transportation and spatial dynamics, Gastaldi , Reggiani eds., Ashgate Publ., 2001
  • Bielli M., Villa A.: A new design methodology for large-scale logistic integrated networks, in the Proceedings of TRISTAN IV Conference, 3, 507-512, 2001
  • Buzzi C., Grippo L., Marco Sciandrone: Convergent Decomposition Techniques for Training RBF Neural Networks, Neural Computation 13, 1891-1920, 2001
  • Cabibbo L., Torlone R.: An architecture for data Warehousing Supporting Data Independence and Interoperability, International Journal of Cooperative Information Systems 10, 377-397, 2001
  • Cappella P., Tomasoni D., Faretta M., Lupi M., Montalenti F., Banzato F., D'Incalci M., Ubezio P.: Cell cycle effects of gemcitabine, International Journal of Cancer 93, 401-408, 2001
  • Caramia M., Dell'Olmo P.: Iterative Coloring Extension of a Maximum Clique, Naval Research Logistics 48, 1-33, 2001
  • Caramia M., Dell'Olmo P.: A Lower Bound on the Chromatic Number of Mycielski Graphs, Discrete Mathematics 235, 79-86, 2001
  • Chiorino G., Metz J.A., Tomasoni D., Ubezio P.: Desynchronization rate in cell populations: mathematical modeling and experimental data, Journal of Theoretical Biology 208, 185-199, 2001
  • Citterio F., Di Pinto A., Borzi M.T., Scatà M.C., Foco M., Pozzetto U., Castagneto M.: Azithromycin Treatment of Gingival Hyperplasia in Kidney Transplant Recipients is Effective and Safe, Transplantation Proceedings 33, 1-000, 2001
  • Colagrossi A., De Nardis P., Scaringella A.: Gli aspetti artistici e sociali dell'acqua nel sistema Euro-Mediterraneo SEMIDE/EMWIS, in the Proceedings of 7$^o$ Congresso Associazione italiana per l'intelligenza artificiale, 2001
  • Confessore G., Dell'Olmo P., Giordani S.: An Approximation Result for a Periodic Allocation Problem, Discrete Applied Mathematics 112, 53-72, 2001
  • d'Onofrio A., Pourabbas E.: Formalization of Temporal Thematic Map Contents, in the Proceedings of 9th ACM International Symposium on Advances in Geographical Information Systems (ACM GIS'01), 2001
  • Dalla Mora M., Germani A., Nardecchia A.: Restoration of images corrupted by additive non-Gaussian noise, IEEE Transactions on Circuits and Systems I-Fundamental Theory and Applications 48, 859-875, 2001
  • De Angelis V., Giovanni Felici, Impelluso P.: Simulation Based Decision Support System for the Optimal Planning of a Transfusion Centre, in the Proceedings of Proceedings of Operational Research Applied to Health Services (ORAHS) 2001 Conference, 2001
  • De Santis A., Germani A., Jetto L.: Space-Variant Two-Dimensional Filtering of Noisy Images, in: Advances in Imaging and Electron Physics, 119, Academic Press, 2001
  • De Simone C.: On the Chromatic Polynomial of a Graph, in the Proceedings of MAX-CLIQUE'0-1 WORKSHOP, 2001
  • Di Pasquale A., Nardelli E.: A Very Efficient Order Preserving Scalable Distributed Data Structure, Lecture Notes in Computer Science, 2113, Springer-Verlag, 186-199, 2001
  • Di Pasquale A., Nardelli E.: ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs, Lecture Notes in Computer Science, 2234, Springer-Verlag, 211-222, 2001
  • Draoli M., Patriarca R.: Performance Analysis of a Multiservice Scenario over a Differentiated Service Network: a Case Study, in the Proceedings of Atti del Convegno Nazionale CMG (Computer Measurement Group), Roma, Giugno, 2001, CMG, 2001
  • Droubay X., Justin J., Pirillo G.: Epi-Sturmian words and some constructions of de Luca and Rauzy, Theoretical Computer Science 255 (1-2), 539-553, 2001
  • Eder J., Michele Missikoff: Ontologies for Managing Knowledge About Forms for Government Processes, in the Proceedings of International Workshop on Knowledge Management in e-Government, 2001
  • Elf M., Gutwenger C., Jünger M., Giovanni Rinaldi: Branch-and-Cut Algorithms for Combinatorial Optimization and their Implementation in ABACUS, Jünger M., Naddef D. eds., Lecture Notes in Computer Science, 2241, Springer-Verlag, 157-222, 2001
  • Fabriani P., Michele Missikoff, Velardi P.: Using Text Processing Techniques to Automatically enrich a Domain Ontology, in the Proceedings of FOIS-2001, ACM International Conference on Formal Ontology in Information Systems, 2001
  • Fachini E., Körner J., Monti A.: A better bound for locally thin set families, Journal of Combinatorial Theory Series A 95, 209-218, 2001
  • Giovanni Felici, Giovanni Rinaldi, Sforza A., Truemper K.: A Logic Programming Approach for Traffic Signal Setting, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse., 2001
  • Giovanni Felici, Giovanni Rinaldi, Sforza A., Truemper K.: Logic Programming and Simulation for Traffic Signal Control, in the Proceedings of ISCS 2001, 2001
  • Giovanni Felici, Truemper K.: Computing Vote Distribution for Data Mining, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse, 2001
  • Ferri F., Pourabbas E., Maurizio Rafanelli: The Syntactic and Semantic Correctness of Pictorial Configurations to Query Geographic Databases by PQL, in the Proceedings of 17th ACM Annual Symposium on Applied Computing (ACM SAC 2002), 2001
  • Ferri F., Pourabbas E., Maurizio Rafanelli, Ricci F.L.: Linking Geographic and Multidimesional Databases by Functional Attributes, in the Proceedings of Nono Convegno Nazionale su Sistemi Evoluti Per Basi di Dati (SEBD 2001), 2001
  • Fioravanti F.: Verification of Infinite-State Systems by Specialization of CLP Programs, in the Proceedings of 7th International Conference on Constraint Programming, 2001
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automated Strategies for Specializing Constraint Logic Programs, Lecture Notes in Computer Science, 2042, Springer-Verlag, 124-146, 2001
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying CTL Properties of Infinite State Systems by Specializing Constraint Logic Programs, in the Proceedings of ACM-Sigplan International Workshop on Verification and Computational Logic, VCL'2001, Florence, Italy, September 4, 2001, pp. 85-96., 2001
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifcation of Sets of Infinite State Systems Using Program Transformation, in the Proceedings of Eleventh International Workshop on Logic-based Program Synthesis and Transformation, 2001
  • Flammini M., Nardelli E., Guido Proietti: ATM Layouts with Bounded Hop Count and Congestion, Distributed Computing 14, 65-73, 2001
  • Anna Formica, Michele Missikoff: Semantic Integration of Tourism Enterprises: an Ontological Approach, in the Proceedings of XVI Brazilian Symposium on DataBases (SBBD'01), 2001
  • Formisano A., Omodeo E., Temperini M.: An experimental approach put to trial on sets, Theoretical Computer Science, Electronic Notes 48, 1-28, 2001
  • Formisano A., Omodeo E., Temperini M.: Instructing equational set-reasoning with Otter, in the Proceedings of First International Joint Conference IJCAR (CADE+FTP+TABLEAUX), Lecture Notes in Artificial Intelligence, 2001
  • Frangioni A., Claudio Gentile: New Preconditioners for Solving Network Problems with Interior Point Methods, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse., 2001
  • Carlo Gaibisso, Guido Proietti, Tan R.: Efficient Management of Transient Station Failures in Linear Radio Communication Networks with Bases, in the Proceedings of 2nd International Workshop on Approximation and Randomized Algorithms in Communication Networks (ARACNE'01), 2001
  • Anna Galluccio: Optimization via Enumeration: Pfaffian method for Max Cut and for Ising problem, in the Proceedings of Algorithmic Techniques in Physics, 2001
  • Anna Galluccio, Goddyn L.A., Hell P.: High-girth graphs avoiding a minor are nearly bipartite, Journal of Combinatorial Theory Series B 83, 1-14, 2001
  • Anna Galluccio, Loebl M., Vondřak J.: Optimization via enumeration: a new algorithm for the Max Cut problem, Mathematical Programming 90, 273-290, 2001
  • Anna Galluccio, Guido Proietti: Polynomial-time algorithms for edge-connectivity augmentation of Hamiltonian paths, Lecture Notes in Computer Science, 2223, Springer-Verlag, 345-354, 2001
  • Germani A., Manes C.: On the existence of the linearizing state-feedback for nonlinear delay systems, in the Proceedings of 40th IEEE Conf. on Decision and Control, (CDC'01), 2001
  • Germani A., Manes C., Pasquale Palumbo: Optimal linear filtering for stochastic non-Gaussian descriptor systems, in the Proceedings of 40th IEEE Conf. on Decision and Control, (CDC01), 2001
  • Germani A., Manes C., Pepe P.: An asymptotic state observer for a class of nonlinear delay systems, Kybernetika 37, 459-478, 2001
  • Germani A., Manes C., Pepe P.: State observer for nonlinear systems with large output delays, in the Proceedings of 5th IFAC Symp. on Nonlinear Control Systems, (NOLCOS?01), 2001
  • Gniuli D., Liverani E., Greco A.V., Armuzzi A., Manco M., Gasbarrini G., Castagneto M., Mingrone G.: Glucose disposal in morbidly obese patients in the early post-operative period, Obesity Surgery 11 (6), 686-92, 2001
  • Grippo L., Marco Sciandrone: Nonmonotone gradient methods for neural network training, in the Proceedings of 20th IFIP TC7 Conference on System Modelling and Optimization, 2001
  • Grumbach S., Tininini L.: Automatic Aggregation using Explicit Metadata, in the Proceedings of Ninth Italian Symposium on Advanced Database Systems (SEBD 2001), 2001
  • Iovino F., Mauro Pittiruti, Buononato M., Lo Schiavo F.: Central venous catheterization: complications of different placements, Annales de Chirurgie 126 (10), 1001-1006, 2001
  • Justin J., Pirillo G.: Fractional powers in Sturmian words, Theoretical Computer Science 255 (1-2), 363-376, 2001
  • Körner J., Monti A.: Compact representations of the intersection structure of families of finite sets, SIAM Journal on Discrete Mathematics 14, 181-192, 2001
  • Lampariello F.: A new method for estimating the labeled cell proportion from immunofluorescence histograms with weak labeling, in the Proceedings of XVIII Conferenza Nazionale di Citometria, 2001
  • Lampariello F., Marco Sciandrone: Efficient Training of RBF Neural Networks for Pattern Recognition, IEEE Transactions on Neural Networks 12, 1235-1242, 2001
  • Lampariello F., Marco Sciandrone: Global Convergence Technique for the Newto