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 Collections (or show them all):   (Items found: 292)


2018 | 2017 | 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

2018  [top]
  • Guzzi R., Colombo T, Paola Paci: Inverse Problems in Systems Biology: A Critical Review, in: Systems Biology, Bizzarri M ed., Methods in Molecular Biology, 1702, Humana Press, New York, NY, 69-94, 2018
  • Russo F, Giulia Fiscon, Conte F, Rizzo M, Paola Paci, Pellegrini M: Interplay between long non-coding RNAs and microRNAs in cancer, in: Computational Cell Biology: Methods and Protocols, von Stechow L, Santos Delgado A eds., Methods in Molecular Biology, 1819, Humana Press, New York, NY, 75-92, 2018
  • Tieri P, Farina L., Petti M, Astolfi L, Paola Paci, Castiglione F.: Network inference and reconstruction in Bioinformatics, in: Encyclopedia of Bioinformatics and Computational Biology, Gribskov M, Ranganathan S, Nakai K, Schnbach C eds., Reference Module in Life Sciences, 2, Elsevier, 805-813, 2018

2017  [top]
  • Elaheh Pourabbas, Antonio D'Uffizi, Fabrizio Ricci: A Conceptual Approach for Modelling Social Care Services: the INSPIRE project, Schneider Reinhard, Da Silveira Marcos, Pruski Cédric eds., Lecture Notes in Computer Science, 10649 LNBI, Springer, 53-66, 2017

2015  [top]
  • Giampaolo Liuzzi, Lucidi S., Piccialli V.: Global Optimization of Simulation Based Complex Systems, in: Uncertainty Management in Simulation-Optimization of Complex Systems, Meloni C., Dellino G. eds., Operations Research/Computer Science Interfaces Series, 59, Springer, 173-202, 2015
  • Weitschek E., Giulia Fiscon, Fustaino V, Giovanni Felici, Paola Bertolazzi: Clustering and Classification Techniques for Gene Expression Profiles Pattern Analysis, in: Pattern Recognition in Computational Molecular Biology: Techniques and Approaches, Elloumi M, Zomaya AY eds., Wiley Series in Bioinformatics, Wiley, 2015

2014  [top]
  • Bertuzzi A, Fasano A., Carmela Sinisgalli: Conservation laws in cancer modeling, in: Mathematical Oncology 2013, Mathematical Oncology 2013, Springer Heidelberg Dordrecht London New York, New York (Stati Uniti d'America), 2014
  • De Gaetano A., Simona Panunzi, Palumbo P., Gaz C., Hardy T.: Data-driven modeling of diabetes progression, in: Data-driven models for Diabetes. Diagnosis and Treatment, Mitsis G, Marmarelis V eds., Lecture Notes in Bioengineering, Springer-Verlag Berlin Heidelberg, 165-186, 2014
  • Kong J.D., Kumar S.S., Palumbo P.: DDE models of the glucose-insulin system: a useful tool for the artificial pancreas, in: Managing Complexity, Reducing Perplexity in Biological Systems, Ajomne-Marsan G, Delitala M eds., Proceedings in Mathematics and Statistics, 67, Springer, 109-117, 2014
  • Palumbo P., Pepe P., Simona Panunzi, De Gaetano A.: DDE model-based control of glycemia via sub-cutaneous insulin administration, in: Delay Systems. From Theory to Numerics and Applications, Sipahi R, Vyhlidal T, Lafay J-F eds., Advances in Delays and Dynamics, 1, Springer International Publishing, 229-240, 2014
  • Simona Panunzi, De Gaetano A.: Pitfalls in Model Identification: Examples from Glucose-Insulin Modelling, in: Data-driven Modeling for Diabetes, Mitsis G, Marmarelis V eds., Lecture Notes in Bioengineering, Springer-Verlag Berlin Heidelberg, 117-129, 2014
  • Smith F., Maurizio Proietti: Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework, in: Agents and Artificial Intelligence, Communications in Computer and Information Science, 449, Springer, 293-313, 2014
  • Smith F., Storti E., Francesco Taglino: Towards Semantic Collective Awareness Platforms for Business Innovation, in: Advanced Information Systems Engineering Workshops, Lecture Notes in Artificial Intelligence, 178, Springer, 226-237, 2014

2013  [top]
  • Vincenzo Bonifaci, Leonardi S.: Algorithms for Auctions and Games, in: The Power of Algorithms, Petreschi R., Ausiello G. eds., Springer Berlin, 207-234, 2013
  • d'Onofrio A., Gandolfi A.: Bounded stochastic perturbations may induce nongenetic resistance to antitumor chemotherapy, in: Bounded Noises in Physics, Biology, and Engineering, d'Onofrio A ed., Modeling and Simulation in Science, Engineering and Technology, Birkhauser New York, 171-187, 2013
  • Fasano A., Gandolfi A.: The steady state of multicellular tumour spheroids: a modelling challenge, in: Mathematical Methods and Models in Biomedicine,, Friedman A., Ledzewicz U., Schaettler H., Kashdan E. eds., Lecture Notes on Mathematical Modelling in the Life Sciences, 1, Springer New York, 179-202, 2013
  • Hoffman K.L., Padberg M., Giovanni Rinaldi: Traveling Salesman Problem, in: Encyclopedia of Operations Research and Management Science - 3rd Edition, Gass S.I., Fu M.C. eds., Encyclopedia of Operations Research and Management Science, Springer New York Heidelberg Dordrecht London, 1573-1578, 2013

2012  [top]
  • Di Pillo G., Giampaolo Liuzzi, Lucidi S.: An exact augmented lagrangian algorithm exploiting negative curvature directions, in: Recent Advances in Nonlinear Optimization and Equilibrium Problems: a Tribute to Marco D'Apuzzo, De Simone V, Toraldo G., Di Serafino D eds., Quaderni di matematica - Dipartimento di matematica della Seconda Università di Napoli, 27, Seconda Università di Napoli, 117-136, 2012
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Using Real Relaxations During Program Specialization, in: Logic-based Program Synthesis and Transformation, Selected papers, Vidal G. ed., Lecture Notes in Computer Science, 7225, Springer Berlin, Heidelberg, 106-122, 2012
  • Anna Galluccio, Claudio Gentile, Paolo Ventura: The stable set polytope of claw-free graphs with stability number greater than three, in: Operations Research Proceedings 2011, Selected Papers of the International Conference on Operations Research (OR 2011), August 30 - September 2, 2011, Zurich, Switzerland, Schmedders K., Luethi H.-J., Klatte D. eds., Operations Research Proceedings, Springer Heidelberg Germania, 47-52, 2012
  • Giampaolo Liuzzi, Lucidi S., Piccialli V.: Partitioning techniques for global optimization, in: Recent Advances in Nonlinear Optimization and Equilibrium Problems: a Tribute to Marco D'Apuzzo, De Simone V, Toraldo G., Di Serafino D eds., Quaderni di matematica - Dipartimento di matematica della Seconda Università di Napoli, 27, Seconda Università di Napoli, 253-272, 2012
  • Palagi L., Piccialli V., Rendl F., Giovanni Rinaldi, Wiegele A.: Computational Approaches to Max-Cut, in: Handbook on Semidefinite, Conic and Polynomial Optimization, Lasserre J.B., Anjos M.F. eds., International Series in Operations Research and Management Science, 166, Springer, 821-848, 2012
  • Smith F., Bianchini D.: Semi-Automatic Process Composition via Semantics- Enabled Sub-Process Selection and Ranking, in: Proceedings of the 6th International Conference on Interoperability for Enterprise Systems and Applications, Enterprise Interoperability, Volume 5, Springer, 177-187, 2012
  • Smith F., Michele Missikoff, Maurizio Proietti: Ontology-Based Querying of Composite Services, in: Business System Management and Engineering, Lecture Notes in Computer Science, 7350, Springer Berlin, 159-180, 2012
  • Francesco Taglino, Smith F., Maurizio Proietti: Knowledge-Based Support to Business Innovation, in: New Generation Enterprise and Business Innovation Systems 2012 (NGEBIS 2012), CEUR-WS, 864, 37-44, 2012
  • Francesco Taglino, Smith F., Maurizio Proietti: A Software Platform for Semantics-based Enterprise Knowledge Management, in: Proceedings of the Fifth Interop-Vlab.It Workshop on Complexity of Systems, Complexity of Interoperability, CEUR-WS, 915, 43-50, 2012

2011  [top]
  • Ausiello G., Vincenzo Bonifaci, Escoffier B.: Complexity and Approximation in Reoptimization, Sorbi A., Cooper S.B. eds., Computability in Context, Imperial College Press, 101-130, 2011
  • Del Grosso E., Smith F., Suttner H, Francesco Taglino: Innovative EI Services, in: The COIN Book: Enterprise Collaboration and Interoperability, Verlag-Mainz, 2011
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, in: Logic-Based Program Synthesis and Transformation, 20th International Symposium, LOPSTR '10, Revised Selected Papers, Alpuente M ed., Lecture Notes in Computer Science, 6564, Springer Berlin Heidelberg, 164-183, 2011
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Improving Reachability Analysis of Infinite State Systems by Specialization, in: Reachability Problems (RP 2011), Delzanno G, Potapov I eds., Lecture Notes in Computer Science, 6945, Springer Berlin Heidelberg, 165-179, 2011
  • Michele Missikoff, Maurizio Proietti, Smith F.: Querying Semantically Enriched Business Processes, in: 22nd International Conference on Database and Expert Systems Applications (DEXA 2011), Lecture Notes in Computer Science, 6861, Springer Berlin Heidelberg, 294-302, 2011
  • Senni V., Ringeissen C.: Modular Termination and Combinability for Superposition Modulo Counter Arithmetic, in: 8th International Symposium Frontiers of Combining Systems FroCoS 2011, Lecture Notes in Artificial Intelligence, 6989, Springer Berlin, 211-226, 2011

2010  [top]
  • Paola Bertolazzi, Giovanni Felici, Lancia G.: Application of Feature Selection and Classification to Computational Molecular Biology, in: Biological data Mining, Chen J.K., Lonardi S. eds., 257-294, 2010
  • Michele Missikoff, Smith F., Francesco Taglino: Semantic Services for Business Documents Reconciliation, in: Interoperability in Digital Public Services and Administration: Bridging E-Government and E-Business, Charalabidis Y. ed., 279-299, 2010
  • Alberto Pettorossi, Maurizio Proietti, Senni V.: Deciding Full Branching Time Logic by Program Transformation, in: 19th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR '09), Revised Selected Papers, De Schreye D. ed., Lecture Notes in Computer Science, 6037, Springer, 5-21, 2010
  • Alberto Pettorossi, Maurizio Proietti, Senni V.: The Transformational Approach to Program Development, in: A 25 Year Perspective on Logic Programming, Pontelli E., Dovier A. eds., Lecture Notes in Computer Science, 6125, Springer, 112-135, 2010

2009  [top]

2008  [top]
  • Alessandro Bertuzzi, Fasano A., Gandolfi A., Carmela Sinisgalli: Tumour cords and their response to anticancer agents, in: Selected Topics in Cancer Modeling, Chaplain M., Bellomo N., De Angelis E. eds., Modeling and Simulation in Science, Engineering and Technology, Birkhauser Boston, 183-206, 2008
  • Caschera M.C., D'Ulizia A., Tininini L.: Visual Query Languages, Representation Techniques and Data Models, in: Selected Readings on Database Technologies and Applications, Halpin T. ed., Information Science Reference, 174-189, 2008
  • De Nicola A., Michele Missikoff, Tininini L.: Ad-Hoc Maintenance Program Composition: an Ontological Approach, in: Interdisciplinary Aspects of Information Systems Studies, Casalino N., D'Atri A., De Marco M. eds., Business and Economics, Physica-Verlag HD, 319-326, 2008
  • De Nicola A., Michele Missikoff, Tininini L.: Process Composition in Logistics: an Ontological Approach, in: Enterprise Interoperability III, Xu X., Mertins K., Ruggaber R., Popplewell K. eds., Engineering, Springer London, 571-581, 2008
  • Caterina De Simone, Anna Galluccio: A combinatorial algorithm to optimally colour the edges of the graphs that are join of regular graphs, in: Combinatorial optimization and applications, Lecture Notes in Computer Science, 5165, 351-360, 2008
  • Giovanni Felici, Gatta V.: The Analysis of Service Quality Through Stated Preferences and Rule-Based Classification, Vercellis C., Felici G. eds., 65-81, 2008
  • Giovanni Felici, Claudio Gentile, Giovanni Rinaldi, Peri F., Farina V.: Un approccio integrato per l'ottimizzazione della distribuzione di prodotti petroliferi greggi via mare, in: Scienza delle decisioni in Italia: applicazioni della ricerca operativa a problemi aziendali, Felici G., Sciomachen A. eds., ECIG, 385-398, 2008
  • Anna Formica, Michele Missikoff, Elaheh Pourabbas, Francesco Taglino: Weighted Ontology for Semantic Search, Lecture Notes in Computer Science, 5332, Springer Berlin / Heidelberg, 1289-1303, 2008
  • Anna Galluccio, Claudio Gentile, Paolo Ventura: On the stable set polytope of claw-free graphs, in: COCOA 2008, Lecture Notes in Computer Science, 5165, 339-350, 2008
  • Nuzzo G., Giovannini I., Giuliante F., Ardito F., Carlo Chiarla: Sepsis after liver resection: predisposition, clinical relevance and synergism with liver dysfunction, Dionigi R. ed., Recent Advances in Liver Surgery, Landes Bioscience, 2008
  • Alberto Pettorossi, Maurizio Proietti, Renault S.: Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism, Henglein F., Danvy O., Pettorossi A., Mairson H. eds., Automatic Program Development, Springer Heidelberg, 130-177, 2008

2007  [top]
  • Ausiello G., Vincenzo Bonifaci, Leonardi S., Marchetti Spaccamela A.: Prize-collecting traveling salesman and related problems, Gonzalez T. ed., Handbook of Approximation Algorithms and Metaheuristics, CRC Press, 40.1-40.13, 2007
  • Alessandro Bertuzzi, Fasano A., Gandolfi A., Carmela Sinisgalli: The transport of specific monoclonal antibodies in tumour cords, in: Math Everywhere: Deterministic and Stochastic Modelling in Biomedicine, Economics and Industry, Morale D., Aletti G., Burger M., Micheletti A. eds., 151-164, 2007
  • Caschera M.C., D'Ulizia A., Tininini L.: Visual Query Languages, Representation Techniques and Data Models, in: Visual Languages for Interactive Computing: Definitions and Formalizations, Ferri F. ed., Information Science Reference, 142-157, 2007
  • D'Ulizia A., Maurizio Rafanelli: Classification of ambiguities, in: Visual Languages for Interactive Computing: Definitions and Formalization, Ferri F. ed., 2007
  • De Nicola A., Kabilan V., Michele Missikoff, Mojtahed V.: Practical Issues in Ontology Modeling: The Case of Defence Conceptual Modeling Framework-Ontology, in: Enterprise Interoperability, Morel G., Doumeingts G., Muller J., Vallespir B. eds., Engineering, Springer London, 265-274, 2007
  • Jacovitti G., Alberto Pettorossi, Consolo R., Senni V.: Information Science and Technology for the New Century, in: Quaderni Sefir no. 7, Senni V., Pettorossi A., Jacovitti G., Consolo R. eds., 2007
  • Palumbo P., De Gaetano A.: State-feedback control of the glucose-insulin system, in: Math Everywhere: Deterministic and Stochastic Modelling in Biomedicine, Economics and Industry, Aletti G., Burger M., Micheletti A., Morale D. eds., Springer Heidelberg, 241-252, 2007
  • Sindoni G., Tininini L.: Statistical Dissemination Systems and the Web, in: Handbook of Research on Public Information Technology, Khosrow-Pour M., Garson G.D. eds., Information Science Reference, 578-591, 2007

2006  [top]
  • Caramia M., Giovanni Felici: Web Mining in Thematic Search Engine, in: Encyclopedia of Data Warehousng and Mining, Wang J. ed., Idea Group Reference, 1201-1205, 2006
  • De Angelis V., Giovanni Felici, Mancinelli G.: Feature Selection for Data Mining, in: Data Mining and Knowledge Discovery Apporaches Based on Rule Induction Techniques, Felici G., Triantaphyllou E. eds., Massive Computing Serie, Springer, 227-252, 2006
  • De Gaetano A., Simona Panunzi, Beck B., Boulanger B.: Statistical Modeling in Pharmaceutical Research \& Development, in: Computers in Drug Discovery, Ekins S. ed., John Wiley, 2006
  • Fasano A., Alessandro Bertuzzi, Gandolfi A.: Mathematical Modelling of Tumour Growth and Treatment, in: Complex Systems in Biomedicine, Veneziani A., Quarteroni A., Formaggia L. eds., 71-108, 2006
  • Giovanni Felici, Fushing S., Truemper K.: Learning Logic Formulas and Related Error Distributions, in: Data Mining and Knowledge Discovery Apporaches Based on Rule Induction Techniques, Felici G., Triantaphyllou E. eds., Massive Computing Serie, Springer, 193-226, 2006
  • Giovanni Felici, Fushing S., Truemper K.: Learning Logic Formulas and Related Error Distributions, in: Data Mining and Knowledge Discovery Apporaches Based on Rule Induction Techniques, Felici G., Triantaphyllou E. eds., Massive Computing Serie, Springer, 193-226, 2006
  • Giovanni Felici, Galante M.A., Torosantucci L.: Logic Mining for Financial Data, in: Computational Science - ICCS 2006, Dongarra J.J., Alexandrov V.N., van Albada G.D., Sloot P.M.A. eds., Lecture Notes in Computer Science, 3994, 460-467, 2006
  • Giovanni Felici, Triantaphyllou E., Wang X., Zhu P.: Future Trends in Some Data Mining Areas, in: Data Mining and Knowledge Discovery Apporaches Based on Rule Induction Techniques, Felici G., Triantaphyllou E. eds., Massive Computing Serie, Springer, 695-716, 2006
  • Giovanni Felici, Truemper K.: The Lsquare System for Mining Logic Data, in: Encyclopedia of Data Warehousng and Mining, Wang J. ed., Idea Group Reference, 693-697, 2006
  • Giovannini I., Carlo Chiarla: Le basi fisiopatologiche della nutrizione parenterale, in: Nutrizione Artificiale, Di Salvo L. ed., Edises Napoli, 29-40, 2006
  • Alberto Pettorossi, Maurizio Proietti, Senni V.: Proving Properties of Constraint Logic Programs by Eliminating Existential Variables, in: Proceedings of the 22nd International Conference on Logic Programming (ICLP '06), Etalle S., Truszczynski M. eds., Lecture Notes in Computer Science, 4079, Springer-Verlag, 179-195, 2006
  • Gabriele Sganga: Le infezioni intra-addominali complicate, in: Quaderni SITA (Società Italiana di Terapia Antinfettiva), Carocci Editore Roma, 2006
  • Gabriele Sganga: Classificazione delle infezioni intra-addominali, in: In Quaderni SITA (Società Italiana di Terapia Antinfettiva): Le infezioni intra-addominali complicate, Sganga G. ed., Carocci Editore Roma, 7-10, 2006
  • Gabriele Sganga, Spada P.L.: Principi di trattamento chirurgico, in: In Quaderni SITA (Società Italiana di Terapia Antinfettiva): Le infezioni intra-addominali complicate, Sganga G. ed., Carocci Editore Roma, 49-64, 2006
  • Tininini L.: Aggregate Query Rewriting in Multidimensional Databases, in: Encyclopedia of Data Warehousing and Mining, Wang J. ed., Idea Group Publishing, 28-32, 2006
  • Tininini L.: Efficient Computation of Data Cubes and Aggregate Views, in: Encyclopedia of Data Warehousing and Mining, Wang J. ed., Idea Group Publishing, 421-426, 2006

2005  [top]
  • Brisinda G., Maria G., Castagneto M., Gabriele Sganga: Infections of the peritoneum including pancreas, mediastinum, pleura, wounds, and urinary tract, in: Infection control in the intensive care unit, Van Saene H., Silvestri L., De La Cal M. eds., Springer, USA, 379-414, 2005
  • De Gaetano A., Simona Panunzi: Nonlinear Estimation and Confidence Regions: a Biological Case Study, in: Mathematical Models for Bioengineering and Probabilistic Systems, Misra J.C. ed., Narosa, New Delhi, 2005
  • Eisenbrand F., Oriolo G., Stauffer G., Paolo Ventura: Circular Ones Matrices and the Stable Set Polytope of Quasi-Line Graphs, in: Integer Programming and Combinatorial Optimization - IPCO XI, Lecture Notes in Computer Science, 3509, 291-305, 2005
  • Giovanni Felici, Caramia M.: Data Mining in a Web Search Engine, in: Encyclopedia of Data Warehousing and Mining, Wang J. ed., II, Idea Group Reference, 2005
  • Giovanni Felici, Truemper K.: The Lsquare System for Mining Logic Data, in: Encyclopedia of Data Warehousing and Mining, Wang J. ed., II, Idea Group Reference, 2005
  • Ferri F., Maurizio Rafanelli: Syntactically and Semantically Correctness in Pictorial Queries for GIS, in: Enciclopedia of Database Technologies and Applications, Idea Grouping Publ., Hershey, London, Melbourne, Singapore, Beijing (ISBN 1-59140-560-2), 671-676, 2005
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automatic Proofs of Protocols via Program Transformation., in: Monitoring, Security, and Rescue Techniques in Multiagent Systems, Advances in Soft Computing Series, Skowron A., Dunin-Keplicz B., Jankowski A., Szczuka M. eds., Advances in Soft Computing, 99-116, 2005
  • Giovannini I., Carlo Chiarla, Giuliante F., Vellone M., Zadak Z., Nuzzo G.: Hypocholesterolemia in surgical trauma, sepsis, other acute conditions and critical illness, in: Trends in Cholesterol Research, Kramer M.A. ed., Nova Science Publisher, Hauppauge, USA, 2005
  • Elaheh Pourabbas: Hierarchies in Multidimensional Databases, in: Encyclopedia of Information Science and Technology, III, 1327-1332, 2005
  • Elaheh Pourabbas: Cooperation of Geographic and Multidimensional Databases, in: Encyclopedia of Information Science and Technology, I, 596-602, 2005
  • Maurizio Rafanelli: Basic Notions on Multidimensional Databases. , in: Encyclopedia of Information Science and Technology , Khosrow-Pour M. ed., Idea Grouping Publ., Hershey, London, Melbourne, Singapore, Beijing (ISBN: 1-59140-553-X), 211-216., 2005
  • Tininini L.: Querying Multidimensional Data. , in: Encyclopedia of Information Science and Technology, Khosrow-Pour M. ed., Idea Group Publishing, ISBN: 1-59140-553-X, 2392-2396, 2005

2004  [top]
  • Conforti M., Anna Galluccio, Guido Proietti: Edge-connectivity augmentation and network matrices, in: Graph-Theoretic Concepts in Computer Science, Hromkovic J., Nagl M., Westfechtel B. eds., Lecture Notes in Computer Science, 3353, 355-364, 2004
  • Claudio Gentile, Haus U.-U., Köppe M., Giovanni Rinaldi, Weismantel R.: On the way to perfection: Primal Operations for Stable Sets in Graphs, in: The sharpest cut, Grötschel M. ed., MPS/SIAM Series on Optimization, SIAM, 51-76, 2004
  • Giovannini I., Carlo Chiarla, Boldrini G., Giuliante F., Nuzzo G.: Bases Fisiologicas da Monitoracao Cardiorrespiratoria, in: Monitorizacao Hemodinamica em UTI - Vol. I - Basico, Araùjo S., Terzi R.G.G. eds., 51-79, 2004
  • Liers F., Jünger M., Reinelt G., Giovanni Rinaldi: Computing exact ground states of hard Ising spin glass problems by branch-and-cut, in: New Optimization Algorithms in Physics, Hartmann A.K., Rieger H. eds., Wiley-VCH Verlag, 47-69, 2004
  • Michele Missikoff, Navigli R., Velardi P.: Web Ontology Learning and Engineering: an Integrated Approach,, in: Intelligent Technologies for Information Analysis, Liu J., Zhong N. eds., 2004
  • Michele Missikoff, Francesco Taglino: The Architecture of an Ontology-based Platform for Semantic interoperability, in: Handbook on Ontologies, Staab S., Studer R. eds., Handbooks in Information Systems, Springer, 617-634, 2004
  • Alberto Pettorossi, Maurizio Proietti, Fioravanti F.: Transformation rules for locally stratified constraint logic programs, in: Program Development in Computational Logic, Bruynooghe M., Lau K.-K. eds., Lecture Notes in Computer Science, 3049, Springer Heidelberg, 291-339, 2004
  • Gabriele Sganga: Damage Control Surgery, in: Procedimenti Operativi nel Trauma Grave (TOP), Dipartimento di Medicina Perioperatoria, Terapia Intensiva e Emergenza dell'Università di Trieste, 72-74, 2004
  • Gabriele Sganga, Azzaretto M., Piscitelli P.: Farmacologia Generale, in: Manuale di Terapia Medico Chirurgica, Gui D., Piscitelli P., Azzaretto M. eds., CIC Edizioni Internazionali, 1087-1158, 2004
  • Gabriele Sganga, Brisinda G., Maria G.: Disfunzione gastrointestinale, in: Sepsi, Gullo A. ed., Anestesia e Medicina Critica, Springer Verlag, 131-139, 2004
  • Gabriele Sganga, Gullo A.: Percorsi diagnostici e strategie chirurgiche nel trauma addominale, in: Procedimenti Operativi nel Trauma Grave (TOP), Dipartimento di Medicina Perioperatoria, Terapia Intensiva e Emergenza dell'Università di Trieste, 67-71, 2004

2003  [top]
  • Böckenhauer H.J., Bongartz D., Hromkovič J., Klasing R., Guido Proietti, Seibert S., Unger W.: On $k$-Edge-Connectivity Problems with Sharpened Triangle Inequality, in: 5th Italian Conference on Algorithms and Complexity (CIAC'03), Lecture Notes in Computer Science, 2653, Springer-Verlag, 189-200, 2003
  • Carlo Chiarla, Giovannini I.: Le emulsioni lipidiche in nutrizione parenterale: le miscele MCT-LCT e gli acidi grassi polinsaturi omega-3, in: Attualità in Nutrizione Parenterale, Wichtig Editore, Milano, 19-26, 2003
  • Colagrossi A., Sciarrone F., Seccaroni C.: Using Neural Networks to Automate the Classification of Works of Art, in: LEONARDO, 36, 2003
  • Di Pasquale A., Forlizzi L., Jensen C.S., Manolopoulos Y., Nardelli E., Pfoser D., Guido Proietti, Saltenis S., Theodoridis Y., Tzouramanis T., Vassilakopoulos M.: Access Methods and Query Processing Techniques, in: Spatio-Temporal Databases: The CHOROCHRONOS Approach, Koubarakis M., Sellis T.K., Frank A.U., Grumbach S., Güting R.H., Jensen C.S., Lorentzos N.A., Manolopoulos Y., Nardelli E., Pernici B., Schek H., Scholl M., Theodoulidis B., Tryfona N. eds., Lecture Notes in Computer Science, 2520, Springer-Verlag, 203-261, 2003
  • Di Pasquale A., Nardelli E., Guido Proietti: An RP$^*$ Extension with Amortized Almost Constant Costs, in: 5th International Workshop on Distributed Data \& Structures (WDAS'03), Proceedings in Informatics, Carleton Scientific, 2003
  • Di Pillo G., Giampaolo Liuzzi, Lucidi S., Palagi L.: Fruitful uses of smooth exact merit functions in constrained optimization, in: High Performance Algorithms and Software for Nonlinear Optimization, Murli A., Di Pillo G. eds., Series in Applied Optimization, Kluwer, 198-222, 2003
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation, in: 12th International Symposium on Logic-based Program Develpment and Transformation, Leuschel M. ed., Lecture Notes in Computer Science, 2664, 160-181, 2003
  • Forlizzi L., Kuijpers B., Nardelli E.: Region-Based Query Languages for Spatial Databases in the Topological Data Model, in: 8th International Symposium on Advances in Spatial and Temporal Databases {(SSTD'03)}, Lecture Notes in Computer Science, 2750, Springer-Verlag Santorini Island, Greece, 344-361, 2003
  • Carlo Gaibisso, Guido Proietti, Tan R.: Optimal MST Maintenance for Transient Deletion of Every Node in Planar Graphs, in: Proceedings of the 9th Annual Int. Computing and Combinatorics Conf. (COCOON'03), Lecture Notes in Computer Science, 2697, Springer-Verlag, 404-414, 2003
  • Giovannini I., Carlo Chiarla: Le emulsioni lipidiche in nutrizione parenterale: aspetti tecnologici e clinici, in: Attualità in Nutrizione Parenterale, Comi D., Crippa A., D'Andrea F., Sukkar S.G., Canotti A. eds., Wichtig Editore, Milano, 11-18, 2003
  • Nuzzo G., Giuliante F., Vellone M., Giovannini I.: Morbidity and survival in liver resection for colorectal metastases, in: Advances in Abdominal Surgery 2002, Farinon A.M. ed., Kluwer Academic Publishers, 95-113, 2003
  • Pirillo G.: A characterization for a set of trinucleotides to be a circular code, in: Determinism, Holism, and Complexity, Pellegrini C., Cerrai P., Freguglia P., Benci V., Israel G. eds., Kluwer, 2003
  • Elaheh Pourabbas: Chapter 13: Cooperation with Geographical Databases, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., 393-432, 2003
  • Elaheh Pourabbas, Maurizio Rafanelli: Chapter 4. Hierarchies, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., Idea Group Inc., 91-115, 2003
  • Elaheh Pourabbas, Shoshani A.: Answering Joint Queries from Multiple Aggregate OLAP Databases, Lecture Notes in Computer Science, 2737, 24-34, 2003
  • Maurizio Rafanelli: Chapter 1. Basic Notions, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., Idea Group Inc. Hershey, PA - USA, 1-45, 2003
  • Maurizio Rafanelli: Operators for Multidimensional Aggregate Data, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., Idea Group Inc., 116-165, 2003
  • Tininini L.: Querying Multidimensional Databases, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., Idea Group Inc., 252-281, 2003
  • Torlone R.: Chapter 3. Conceptual Multidimensional Models, in: {Multidimensional Databases}: Problems and Solutions, Rafanelli M. ed., Idea Group Inc., 69-90, 2003

2002  [top]
  • Brewer D.D., Garrett S.B., Giovanni Rinaldi: Patterns in the Recall of Sexual and Drug Injection Partners, in: Advances in Medical Sociology, Levy J.A., Pescosolido B.A. eds., Social Network and Health, 8, Elsevier Science Ltd., 131-149, 2002
  • Böckenhauer H.J., Bongartz D., Hromkovič J., Klasing R., Guido Proietti, Seibert S., Unger W.: On the Hardness of Constructing Minimal Biconnected Spanning Subgraphs in Complete Graphs with Sharpened Triangle Inequality, in: 22nd Int. Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'02), Lecture Notes in Computer Science, 2556, Springer-Verlag, 59-70, 2002
  • Cavaliere F., Pennisi M.A., Pittiruti M., Petrino R., Olliveri F.: Procedure invasive, non invasive e di monitoraggio in emergenza, in: Manuale di medicina d'emergenza, Della Corte F., Olliveri F., Enrichens F. eds., McGraw Hill Milano, 1033-1070, 2002
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Sets of Infinite State Systems Using Program Transformation, in: Logic Based Program Synthesis and Transformation, Pettorossi A. ed., Lecture Notes in Computer Science, 2372, 111-128, 2002
  • Anna Galluccio, Guido Proietti: A Faster Approximation Algorithm for 2-Edge-Connectivity Augmentation, in: Proc. 13th Annual International Symposium on Algorithms and Computation (ISAAC'02), Lecture Notes in Computer Science, 2518, Springer-Verlag, 150-162, 2002
  • Claudio Gentile, Haus U.-U., Köppe M., Giovanni Rinaldi, Weismantel R.: A Primal Approach to the Stable Set Problem, in: Algoriths - ESA 2002, Möring R., Raman R. eds., Lecture Notes in Computer Science, 2461, Springer, 525-537, 2002
  • Giovannini I., Carlo Chiarla, Nuzzo G.: La nutrizione parenterale nella sepsi, in: Archivio ed Atti della Società Italiana di Chirurgia, 2, Edizioni Luigi Pozzi Roma, 111-122, 2002
  • Naddef D., Giovanni Rinaldi: Branch and cut algorithms for the vehicle routing problem, in: The Vehicle Routing Problem, Vigo D., Toth P. eds., SIAM Monographs on Discrete Mathematics and Applications, SIAM, 53-84, 2002
  • Alberto Pettorossi, Maurizio Proietti: Program Derivation = Rules + Strategies, Lecture Notes in Artificial Intelligence, 2407, 273-309, 2002
  • Gabriele Sganga: Identificazione del paziente chirurgico a rischio, in: Congress Reports, Anno VII, 6 (III), Mediprint Editore, 4-10, 2002
  • Gabriele Sganga, Brisinda G., Castagneto M.: Trauma operative procedures: timing of surgery and priorities, in: Anaesthesia, Pain, Intensive Care and Emergency Medicine, Gullo A. ed., 16, Springer Verlag, 447-467, 2002
  • Gabriele Sganga, Brisinda G., Maria G.: Abdominal Trauma, in: Anaesthesia, Pain, Intensive Care and Emergency Medicine, Gullo A. ed., 16, Springer Verlag, 15-436, 2002
  • Tininini L., Paolucci M., Sindoni G., De Francisci S.: Spatio-temporal Information Systems in a Statistical Context, in: 8th International Conference on Extending Database Technology (EDBT 2001), Lecture Notes in Computer Science, 2287, Springer-Verlag, 307-316, 2002

2001  [top]
  • 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
  • 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
  • De Santis A., Alfredo Germani, Jetto L.: Space-Variant Two-Dimensional Filtering of Noisy Images, in: Advances in Imaging and Electron Physics, 119, Academic Press, 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
  • 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
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automated Strategies for Specializing Constraint Logic Programs, Lecture Notes in Computer Science, 2042, Springer-Verlag, 124-146, 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
  • Nardelli E., Guido Proietti, Widmayer P.: Finding the Most Vital Node of a Shortest Path, Lecture Notes in Computer Science, 2108, Springer-Verlag, 278-287, 2001
  • Pirillo G.: A curious characteristic property of standard Sturmian words, in: Algebraic combinatorics and computer science, Springer Italia, Milan, 541-546, 2001

2000  [top]
  • Avis D., Caterina De Simone, Nobili P.: Two conjectures on the chromatic polynomial, in: LATIN 2000: Theoretical Informatics, Gonnet G.H., Panario D., Viola A. eds., Lecture Notes in Computer Science, 1776, Springer-Verlag, 154-162, 2000
  • Paola Bertolazzi, Fugini M.G., Pernici B.: Information System Design based on Reuse of Conceptual Components, in: Information Modelling in the Next Millenium, Rossi M. ed., IDEA group, 2000
  • Alessandro Bertuzzi, Fasano A., Gandolfi A.: A mathematical model for the growth of tumor cords incorporating the dynamics of a nutrient, in: Free Boundary Problems: Theory and Applications II, Kenmochi N. ed., Gakuto International Series: Mathematical Sciences and Applications, 14, Gakkotosho, 31-46, 2000
  • Bielli M., Carotenuto P., Confessore G.: A new hybrid approach for transport network design, in: Spatial Economic Science: New frontiers in theory and methodology, Reggiani A. ed., Springer-Verlag, 2000
  • Broggio G., Falcomatà S., Giovanni Felici, Claudio Gentile, Paoletti B.: An optimization framework for ground staff roster management using integer programming, in: Handbook of Airline Operations, Butler G.F., Keller M.R. eds., McGraw-Hill, New York, 349-369, 2000
  • Nardelli E., Di Pasquale A.: Distributed Searching of $k$-Dimensional Data with Almost Constant Costs, in: Current Issues in Databases and Information Systems - Advances in Databases and Information Systems (ADBIS 2000), Stuller J., Pokorn{ý} J., Thalheim B., Masunaga Y. eds., Lecture Notes in Computer Science, 1884, Springer-Verlag, 239-250, 2000
  • Nardelli E., Guido Proietti: Size Estimation of the Intersection Join Between Two Line Segment Datasets, in: Current Issues in Databases and Information Systems - Advances in Databases and Information Systems (ADBIS 2000), Stuller J., Pokorn{ý} J., Thalheim B., Masunaga Y. eds., Lecture Notes in Computer Science, 1884, Springer-Verlag, 229-238, 2000
  • Nardelli E., Guido Proietti, Widmayer P.: Maintaining a Minimimum Spanning Tree Under Transient Node Failures, in: Algorithms - Annual European Symposium (ESA 2000), Peterson M. ed., Lecture Notes in Computer Science, 1879, Springer-Verlag, 346-355, 2000
  • Guido Proietti: Dynamic Maintenance Versus Swapping: an Experimental Study on Shortest Paths Trees, in: Algorithm Engineering (WAE 2000), Näher S., Wagner D. eds., Lecture Notes in Computer Science, 1982, Springer-Verlag, 207-217, 2000

1999  [top]
  • Andreatta G., Brunetta L., Dell'Olmo P.: Valutazione della capacità di un terminal aereoportuale, in: Scienza delle decisioni e trasporti, Pallottino S., Sciomachen A. eds., Franco Angeli, 244-261, 1999
  • Bianco L., Dell'Olmo P., Ricciardelli S.: Il controllo del traffico aereo, in: Scienza delle decisioni e trasporti, Pallottino S., Sciomachen A. eds., Franco Angeli, 284-305, 1999
  • Giovanni Felici, Giovanni Rinaldi: Programmazione Logica, in: Science delle decisioni per i trasporti, Pallottino S., Sciomachen A. eds., Franco Angeli, 856-868, 1999
  • Giovanni Felici, Giovanni Rinaldi, Cantarella D., Sforza A.: Modelli e metodi per la regolazione semaforica, in: Science delle decisioni per i trasporti, Pallottino S., Sciomachen A. eds., Franco Angeli, 538-584, 1999
  • Giovannini I., Carlo Chiarla, Boldrini G., Nuzzo G., Giuliante F., Lemmo G., Castagneto M.: Easy quantification of the respiratory and metabolic impact of blood O2-CO2 exchange interactions in critical illness, in: Adv. Exp. Med. Biol (Oxygen Transport to Tissue XII), Kluwer Academic/Plenum Publisher New York, 389-393), 1999
  • Pirillo G.: Maximal circular codes and applications to theoretical biology, in: Mathematical and computational biology (Aizu-Wakamatsu City, 1997), Lectures on Mathematics in the Life Sciences, 26, Amer. Math. Soc. Providence, RI, 187-190, 1999
  • Gabriele Sganga, Giovannini I., Carlo Chiarla, Castagneto M.: Regional and systemic metabolic effects after surgical injury, in: Metabolism and Artificial Nutrition in the Critically Ill, Springer, 85-92, 1999

1998  [top]
  • Alessandro Bertuzzi, Gandolfi A., Carmela Sinisgalli, Starace G.: Stima di parametri cinetici di popolazioni cellulari mediante citometria a flusso, in: Manuale GIC - Citometria a Flusso, Starace G. ed., Gruppo Italiano di Citometria, 177-189, 1998
  • Bianco L., Caramia M., Dell'Olmo P.: Solving a preemptive project scheduling problem with coloring techniques, in: Project Scheduling; Recent Models, Algorithms and Applications, Weglarz J. ed., Operations Research and Management Science, 14, Kluwer, 1998
  • Campisi D., Gastaldi M., Reverberi P.: External effects evaluation and the environmental impact reduction in freight transportation, in: Accessibility, trade, and locational behaviour, Reggiani A. ed., Averbury Aldershot, 733-754, 1998
  • Di Pillo G., Lucidi S., Palagi L., Roma M.: A controlled random search algorithm with local Newton-type search for global optimization, in: High Performance Algorithms and Software in Nonlinear Optimization, Toraldo G., De Leone R., Murli A., Pardalos P. eds., 143-159, 1998
  • Gould N., Lucidi S., Roma M., Toint Ph.: A linesearch algorithm with memory for unconstrained optimization, in: High Performance Algorithms and Software in Nonlinear Optimization, Toraldo G., De Leone R., Murli A., Pardalos P. eds., 207-223, 1998
  • Lampariello F.: Analisi delle distribuzioni del contenuto di DNA cellulare, in: Manuale GIC - Citometria a Flusso, Starace G. ed., Gruppo Italiano di Citometria, 163-175, 1998
  • Lampariello F.: Analisi delle distribuzioni di immunofluorescenza, in: Manuale GIC - Citometria a Flusso, Starace G. ed., Gruppo Italiano di Citometria, 325-340, 1998
  • Alberto Pettorossi, Maurizio Proietti: Transformation of Logic Programs, Hogger C.J., Gabbay D.M., Robinson J.A. eds., Handbook of Logic in Artificial Intelligence and Logic Programming, 5, 697-787, 1998
  • Pittiruti M., Gui D.: Il Trauma e la risposta sistemica al Trauma, in: Trattato di Medicina legale e scienze affini, CEDAM, 1998

1997  [top]
  • Becchetti L., Carlo Gaibisso: Lower Bounds for the Virtual Path Layout Problem in ATM Networks, in: Proceedings of SOFSEM '97: Theory and Practice of Informatics, Milovy, Repubblica Ceca, 22-29 novembre 1997., Jeffrey K.G., Plášil F. eds., Lecture Notes in Computer Science, 1338, Springer-Verlag, 375-382, 1997
  • Bertoli P., Cioni G., Colagrossi A., Terlizzi P.: A Sequent Calculus Machine for Symbolic Computation Systems, in: Advanced in the Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 217-229, 1997
  • Bianco L., Confessore G., Reverberi P.: A Combinatorial Optimization Approach to Locate Traffic Counting Points in a Transport Network, in: Operations Research Proceedings 1996, Zimmermann U., others eds., Springer-Verlag, 283-288, 1997
  • Bianco L., Dell'Olmo P., Giordani S.: Models and Algorithms for Real-Time Control of Aircraft Landing, in: Operations Research Proceedings 1996, Zimmermann U., others eds., Springer-Verlag, 289-294, 1997
  • Bianco L., Dell'Olmo P., Giordani S.: Scheduling Models and Algorithms for TMA Traffic Management, in: Modelling and Simulation in Air Traffic Management, Bianco L., others eds., Transportation Analysis, Springer-Verlag, 139-167, 1997
  • Campisi D., Mancuso P., La Bella A., Nastasi A.: Firms R\&D Investments, innovation and market shares, in: Innovative behavior in space and time, Bertuglia C.S., Lombardo S., Nijkamp P. eds., 501, Springer-Verlag, 79-97, 1997
  • Ceria S., Nobili P., Sassano A.: Set Covering Problem, in: Annotated Bibliographies in Combinatorial Optimization, Dell'Amico M., Maffioli F., Martello S. eds., John Wiley and Sons, Inc., 415-428, 1997
  • Cioni G., Colagrossi A., Miola A.: Deduction and Abduction using a Sequent Calculus, in: Advanced in the Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 198-216, 1997
  • Cioni G., Patrizi G., Temperini M.: Automated Deduction by Connection Method in an Object Oriented Environment, in: Advanced in the Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 230-244, 1997
  • Dell'Olmo P., Giordani S., Speranza M.G.: Graph Models for a Duo-Processor Task Scheduling Problem, in: Operations Research Proceedings 1996, Zimmermann U., others eds., Springer-Verlag, 186-191, 1997
  • Carlo Gaibisso, Guido Proietti: Efficient Insertion of Approximately Sorted Sequences of Items into a Dictionary, in: Proceedings of SOFSEM'97: Theory and Practice of Informatics, Milovy, Repubblica Ceca, 22-29 novembre 1997, Jeffrey K.G., Plášil F. eds., Lecture Notes in Computer Science, 1338, Springer-Verlag, 399-406, 1997
  • Jünger M., Reinelt G., Giovanni Rinaldi: The Traveling Salesman Problem, in: Annotated Bibliographies in Combinatorial Optimization, Dell'Amico M., Maffioli F., Martello S. eds., John Wiley and Sons, Inc., 199-221, 1997

1996  [top]
  • Bertoli P., Cioni G., Colagrossi A., Terlizzi P.: A Sequent Calculus Machine for Symbolic Computation Systems, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 218-229, 1996
  • Carlo Chiarla, Giovannini I., Siegel J.H., Castagneto M.: Relationships of plasma arginine (ARG) and glutamine (GLN) to other amino acids (AA) in septic patients, in: The Immune Consequences of Trauma, Shock and Sepsis. Mechanisms and Therapeutic Approaches, Faist E., Baue A.E., Schildberg F.W. eds., Pabst Science Publishers Lengerich (D), 933-938, 1996
  • Cioni G., Colagrossi A., Miola A.: Deduction and Abduction using a Sequent Calculus, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 198-216, 1996
  • Cioni G., Patrizi G., Temperini M.: Automated Deduction by Connection Method in an Object Oriented Environment, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 230-244, 1996

1995  [top]
  • Alessandro Bertuzzi, Gandolfi A., Carmela Sinisgalli, Starace G.: Relationship between DNA Synthesis Rate and DNA-BrdUrd Distribution in Pulse Labelling Experiments, in: Mathematical Population Dynamics: Analysis of heterogeneity, Arino O., Axelrod D., Kimmel M. eds., Wuerz Publishing Winnipeg, 71-86, 1995
  • Bianco L., Dell'Olmo P., Speranza M.G.: Scheduling Independent Tasks with Multiple Shared Resources, in: Optimization in Industry 3, John Wiley and Sons, 35-53, 1995
  • Anna Galluccio, Simonyi G., Simonovits M.: On the structure of co-critical graphs, in: Seventh International Conference in Graph Theory, Combinatorics, Algorithms and Applications, Alavi Y., Schwenk A. eds., J. Wiley and Sons, 1053-1069, 1995
  • Giovannini I., Carlo Chiarla, Boldrini G., Nuzzo G.: Bases fisiològicas da monitoriza\c cao cardiorrespiratòria, in: Monitoriza{\c c}ao Hemodinamica e Suporte Cardiocirculatòrio do Paciente Crìtico, Terzi R.G.G., Araùjo S. eds., 157-169, 1995
  • Gui D., Pittiruti M.: Lo shock, in: Recentia in Farmacoterapia, UTET, 3380-446, 1995
  • Jünger M., Reinelt G., Giovanni Rinaldi: The traveling salesman problem, in: Network Models, Ball M.O., others eds., Handbooks in Operations Research and Management Science, 7, Elsevier Publisher B.V. Amsterdam, 225-330, 1995
  • Nuzzo G., Giuliante F., Giovannini I., Tebala G.D., Clemente G., De Cosmo G.: Liver Ischemia for hepatic resections, in: Selected Topics of HPB Surgery and Medicine, Forni E., Meriggi F. eds., 71-78, 1995

1994  [top]

1993  [top]
  • Bianco L., Bielli M.: System aspects and optimization models in ATC planning, in: Large Scale Computation and Information Processing in Air Traffic Control, Bianco L., Odoni A.R. eds., Springer-Verlag, 47-99, 1993
  • Carlo Chiarla, Giovannini I., Siegel J.H., Castagneto M.: Relationship of plasma acute-phase protein to amino acid levels during high-dose branched-chain amino acid support in sepsis, in: Host Defense Dysfunction in Trauma, Shock and Sepsis, Springer-Verlag Berlin-Heidelberg, 1029-1034, 1993
  • Anna Formica, Lam H., Michele Missikoff, Toiati M.: MOSAICO: A System for Specification and Rapid Prototyping of Object-Oriented Database Applications, in: {LOGIDATA+}: Deductive Databases with Complex Objects, Atzeni P. ed., Lecture Notes in Computer Science, 701, Springer-Verlag, 257-259, 1993
  • Anna Formica, Michele Missikoff: Modeling Semantic Integrity Constraints in Object-Oriented Database Schemas, in: {LOGIDATA+}: Deductive Databases with Complex Objects, Atzeni P. ed., Lecture Notes in Computer Science, 701, Springer-Verlag, 129-146, 1993
  • Anna Formica, Michele Missikoff: Integrity Constraint Representation in Object-Oriented Databases, in: Information and Knowledge Management, Finin T.W., Nicholas C.K., Yesha Y. eds., Lecture Notes in Computer Science, 752, Springer-Verlag, 69-85, 1993
  • Michele Missikoff, Toiati M.: MOSAICO: an Environment for the Specification and Rapid Prototyping of Object-Oriented Database Applications, in: {EDBT} Summer School on Object-Orientation in the Database World, Spaccapietra S. ed., Ecole Polytechnique Federale de Lausanne, 1-32, 1993
  • Alberto Pettorossi, Pietropoli E., Maurizio Proietti: The Use of the Tupling Strategy in the Development of Parallel Programs, in: Parallel Algorithm Derivation and Program Transformation, Paige R., Reif J., Wachter R. eds., Kluwer Academic Publishers, 111-151, 1993
  • Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Program Transformation, in: Formal Program Development, IFIP TC2/WG2.1 State-of-the-Art Report, Schuman S., Möller B., Partsch H. eds., Lecture Notes in Computer Science, 755, Springer-Verlag, 263-304, 1993

1992  [top]

1991  [top]
  • Ambrosino G., Bielli M., Boero M., Mastretta M.: Expert system approach to road traffic control, in: Concise Encyclopedia of Traffic and Transportation Systems, Papageorgiou M. ed., Pergamon Press, 124-130, 1991
  • Atzeni P., Torlone R.: Solving ambiguities in updating deductive databases, in: MFDBS'91 (Mathematical Fundamentals of Data Base Systems), Rostock, Germany, Lecture Notes in Computer Science, 495, Springer-Verlag, 104-118, 1991
  • Alessandro Bertuzzi, Gandolfi A., Starace G.: Regularized Estimates of Cell Cycle Parameters in Populations Affected by Loss from Flow Cytometry Data, in: Mathematical Population Dynamics, Arino O., Axelrod D.E., Kimmel M. eds., Marcel Dekker New York, 523-538, 1991
  • Anna Formica, Michele Missikoff, Vazzana S.: An Object-Oriented Data Model for Artificial Intelligence Applications, in: Next Generation Information System Technology, Schmidt J.W., Stogny A.A. eds., Lecture Notes in Computer Science, 504, Springer-Verlag, 1991
  • Pirillo G.: On some properties of the Thue infinite word, in: Combinatorics '88, Vol. 2 (Ravello, 1988), Research and Lecture Notes in Mathematics, Mediterranean Press Rende, 325-329, 1991
  • Maurizio Proietti, Alberto Pettorossi: Unfolding-Definition-Folding, in this Order, for Avoiding Unnecessary Variables in Logic Programs, in: Third International Symposium on Programming Language Implementation and Logic Programming, PLILP '91, Maluszynski J., Wirsing M. eds., Lecture Notes in Computer Science, 528, Springer-Verlag, 347-358, 1991
  • Maurizio Rafanelli: Data Models, in: Statistical and Scientific Databases, Computers and their applications, Michalewicz Z. ed., E. Horwood Lim., Imp. Coll. Comp. Center, Univ. of London London, 1991

1990  [top]

1989  [top]
  • Atzeni P.: Languages for Databases, in: Advanced Programming Methodologies, Cioni G., Kreczmar A. eds., Academic Press, 205-222, 1989
  • Atzeni P., Torlone R.: Approaches to Updates over Weak Instances, in: MFDBS'89 (Mathematical Fundamentals of Data Base Systems), Visegrad, Hungary, Lecture Notes in Computer Science, 364, Springer-Verlag, 12-23, 1989
  • Giovannini I., Carlo Chiarla, Boldrini G., Castagneto M.: Nutritional-metabolic interactions during total parenteral nutrition in sepsis, in: Update in Intensive Care and Emergency Medicine, Vol. VIII, Springer-Verlag Berlin, 243-247, 1989
  • Michele Missikoff, Scholl M.: An Algorithm for Insertion into a Lattice: Application to Type Classification, in: Foundation of Data Organization and Algorithms, Delobel C. ed., Lecture Notes in Computer Science, 367, Springer-Verlag Heidelberg, 64-82, 1989

1988  [top]
  • Alessandro Bertuzzi, Gandolfi A., Lucidi S.: Constrained Cross-Validation Applied to Estimation of Kinetic Parameters of Cell Populations in Perturbed Growth, in: System Modelling and Optimization, Yajima K., Iri M. eds., Lecture Notes in Control and Information Sciences, 113, Springer-Verlag Berlin, 614-624, 1988
  • Alessandro Bertuzzi, Mancinelli R., Pescatori M., Salinari S., Ghista D.N.: Models of Gastrointestinal Tract Motility., in: Handbook of Biomedical Engineering, Kline J. ed., Academic Press London, 637-654, 1988
  • Bianco L.: Mathematical models in logistic system design, in: Freitht Transport Planning and Logistics, Bianco L., La Bella A. eds., Lecture Notes in Economics and Mathematical Systems, Springer-Verlag, 1988
  • Campisi D., La Bella A.: Evaluating the Economic Impact of Transportation Investment: an Input-Output Approach, in: Freight Transport Planning and Logistics, Bianco L., La Bella A. eds., Lecture Notes in Economics and Mathematical Systems, Springer-Verlag, 443-462, 1988
  • D'Atri A., Moscarini M., Sassano A.: The Steiner Tree Problem and Homogeneous Sets, in: Mathematical Foundation of Computer Science, Chytil M.P., Janiga L., Koubek V. eds., Lecture Notes in Computer Science, 324, Springer-Verlag Berlin, 249-261, 1988
  • Gandolfi A., Strom R.: Pseudo-Cooperativity Resulting from Ring Closure in Divalent Antibody - Divalent Antigen Interactions., in: Theoretical Immunology, Part II, Perelson A.S. ed., Addison-Wesley New York, 119-134, 1988
  • Giovannini I., Carlo Chiarla, Boldrini G., Castagneto M.: Assessment of prognostic severity indices from cardiorespiratory data in critically ill surgical cirrhotic patients, in: Free Papers XXVI World Congress International Coll. of Surgeons, XIII, Monduzzi, 29-32, 1988
  • Giovannini I., Carlo Chiarla, Boldrini G., Castagneto M., Castiglioni G.C.: Metabolic response to glucose and fat infusion in sepsis and nonseptic trauma, in: Recent Advances in Artificial Nutrition with Lipids, Mazzucchelli Milano, 49-51, 1988
  • Grippo L., Lampariello F., Lucidi S.: Newton-Type Algorithms with Nonmonotone Line Search for Large-Scale Unconstrained Optimization, in: System Modelling and Optimization, Yajima K., Iri M. eds., Lecture Notes in Control and Information Sciences, 113, Springer-Verlag Berlin, 187-197, 1988
  • Pirillo G.: On permutation properties for finitely generated semigroups, in: Combinatorics '86 (Trento, 1986), Annals of Discrete Mathematics, 37, North-Holland Amsterdam, 375-376, 1988
  • Sassano A.: Minimizing Costs in Crude Oil Transportation, in: Freight Transport Planning and Logistics, Bianco L., La Bella A. eds., Springer-Verlag Berlin, 319-333, 1988

1987  [top]
  • Bianco L., Giovanni Rinaldi, Sassano A.: A combinatorial optimization approach to aircraft sequencing problem, in: NATO ASI Series, Vol.~F38, Odoni A.R., others eds., Springer-Verlag Berlin, 323-339, 1987
  • Cesarini F., Salza S.: Modeling and Measuring Methodologies, in: Database Machine Performance: Modeling Methodologies and Evaluation Strategies, Cesarini F., Salza S. eds., Lecture Notes in Computer Science, 257, Springer-Verlag Berlin, 33-49, 1987
  • Di Pillo G., Grippo L.: Recent Results on Nondifferentiable Exact Penalty Functions, in: System Modelling and Optimization, Iri M., Yajima K. eds., Springer-Verlag Berlin, 211-220, 1987
  • Alfredo Germani, Piccioni M.: Error Estimates for Finite Elements Approximation of the Zakai Equation, Engelbort H.J., Schmidt W. eds., Lecture Notes in Control and Information Sciences, 96, Springer-Verlag Berlin, 33-44, 1987
  • La Bella A.: Integrated Transportation Planning: Physical Expansion Versus Economic Constraints, in: Transportation Planning in a Social Context, Nijkamp P., Reichman S. eds., Gower Press, 1987
  • Pirillo G.: On permutation properties for semigroups, in: Group theory (Bressanone, 1986), Lecture Notes in Mathematics, 1281, Springer Berlin, 118-119, 1987
  • Salza S., Terranova M.: Database Workload Modeling, in: Database Machine Performance: Modeling Methodologies and Evaluation Strategies, Cesarini F., Salza S. eds., Lecture Notes in Computer Science, 257, Springer-Verlag Berlin, 50-94, 1987
  • Salza S., Terranova M., Velardi P.: Performance Modeling of the DBMAC Architecture, in: Database Machine Performance: Modeling Methodologies and Evaluation Strategies, Salza S., Cesarini F. eds., Lecture Notes in Computer Science, 257, Springer-Verlag Berlin, 147-165, 1987

1986  [top]
  • Atzeni P., Parker Jr. D.S.: Set Contaiment Inference, in: ICDT'86 (International Conference on Data Base Theory), Roma, Lecture Notes in Computer Science, 243, Springer-Verlag, 73-90, 1986
  • Alessandro Bertuzzi, Gandolfi A., Alfredo Germani, Vitelli R., Badaracco G., Starace G.: DNA Synthesis Rate in Neoplastic Cells in Culture, in: Modelling of Biomedical Systems, Eisenfeld J., Witten M. eds., North-Holland Amsterdam, 35-39, 1986
  • Bianco L.: Strategic control to improve efficiency of air traffic management, in: AGARD CP-410, 1986
  • D'Atri A., Moscarini M.: Recognition Algorithms and Design Methodologies for Acyclic Database Schemes, in: Advances in Computing Research, vol.3, Kannellakis P., Preparata F. eds., JAI Press, 43-68, 1986
  • Di Pillo G., Grippo L., Lucidi S.: Globally Convergent Exact Penalty Algorithms for Constrained Optimization, in: System Modelling and Optimization, Strazicky B., Prékopa A., Szelezsán J. eds., Lecture Notes in Control and Information Sciences, 84, Springer-Verlag Berlin, 694-703, 1986
  • Giovannini I., Boldrini G., Carlo Chiarla, Castagneto M., Castiglioni G.C.: Physiopathological patterns and evolutive stages of sepsis, in: Oxygen-free radicals in shock, Karger Basel, 236-240, 1986
  • Lampariello F., Lucidi S.: Analysis of DNA Distributions from Flow Cytometry By Means of an Optimization Procedure, in: System Modelling and Optimization, Strazicky B., Prékopa A., Szelezsán J. eds., Lecture Notes in Control and Information Sciences, 84, Springer-Verlag Berlin, 478-487, 1986
  • Michele Missikoff, Salza S., Terranova M.: DBMAC: A Parallel Relational Database Machine, in: Database Machines, Modern Trends and Applications, Sood A.K., Qureshi A.H. eds., Springer-Verlag Berlin, 85-126, 1986
  • Michele Missikoff, Wiederhold G.: Towards a Unified Approach for Expert and Database Systems, in: Expert Database Systems, Kerschberg L. ed., Benjamin Cummings, 383-400, 1986

1985  [top]
  • Paola Bertolazzi: Dynamic programming procedures for SIMD architectures, in: Annals of discrete mathematics 25:Analysis and design of algorithms for combinatorial problems, Ausiello G., Lucertini M. eds., NORTH-HOLLAND, 47-63, 1985
  • Maurizio Rafanelli: A management system for statistical databases: a proposal, in: The role of data in scientific progress, CODATA, Glaeser P.S. ed., North Holland Amsterdam, 353-356, 1985

1984  [top]
  • Atzeni P., Morfuni N.M.: Functional Dependencies and Disjunctive Existence Constraints in Database Relations with Null Values, in: Automata, Languages and Programming (Proc. of the 11th ICALP, Antwerp, Belgium, July 1984), Lecture Notes in Computer Science, 172, Springer-Verlag, 69-81, 1984
  • Ausiello G., D'Atri A., Moscarini M.: Minimal Coverings of Acyclic Database Schemata, in: Advances in Data Base Theory, vol. 2, Gallaire H., Minker J. eds., Plenum Press, 27-51, 1984
  • Di Pillo G., Grippo L.: A Class of Continuously Differentiable Exact Penalty Function Algorithms for Nonlinear Programming Problems, in: System Modelling and Optimization, Toft-Christensen P. ed., Springer-Verlag Berlin, 246-256, 1984
  • Alfredo Germani, Piccioni M.: Nonlinear filtering for Markov processes: an $L_2$ approach, Bensoussan A., Lions J.L. eds., Lecture Notes in Control and Information Sciences, 62, Springer-Verlag Berlin, 581-591, 1984
  • Alfredo Germani, Piccioni M.: A Galerkin approximation for the Zakai equation, Thoft-Christensen P. ed., Lecture Notes in Control and Information Sciences, 59, Springer-Verlag Berlin, 415-423, 1984
  • Lucertini M.: Models of the Task Assignment Problem in Distributed Systems, in: Algorithm Design for Computer System Design, Ausiello G., Lucertini M., Serafini P. eds., Springer-Verlag New York, 1984
  • Lucertini M., Paletta G.: Network Design with Non-simultaneous Flows, in: Algorithm Design for Computer System Design, Ausiello G., Lucertini M., Serafini P. eds., Springer-Verlag New York, 1984
  • Lucertini M., Paletta G.: A Decomposition Method for Network Design with Multicommodity Non-simultaneous Flows, in: Graph Theoretic Concepts in Computer Science, Pape U. ed., Trauner, 1984
  • Lucidi S.: A Newton-type Algorithm for a Class of Distributed Parameter Optimal Control Problems, in: Methods and Applications of Measurement and Control, Tzafestas S.G., Hamza M.H. eds., 1984
  • Alberto Pettorossi: An Algorithm for Saving Memory in Recursive Programs Using Destructive Annotations, in: Computer Program Synthesis Methodologies, Biermann , Guiho , Kodratoff eds., Macmillan Co. New York, 289-303, 1984

1983  [top]
  • Atzeni P., Carboni E.: INCOD (A System for Interactive Conceptual Design) Revisited after the Implementation of a Prototype, in: Entity-Relationship Approach to Software Engineering, Davis C.G., others eds., Elsevier Science Publishers (North-Holland), Amsterdam, 449-464, 1983
  • Batini C., Lenzerini M., Moscarini M.: Views Integration, in: Methodology and Tools for Data Base Design, North-Holland, 57-83, 1983
  • Paola Bertolazzi, Michele Missikoff, Terranova M.: CID: a VLSI Device for Lists Intersection, in: Database machines, Leilich H.O., Missikoff M. eds., Springer-Verlag, 188-204, 1983
  • Boldrini G., Giovannini I., Castagneto M., Gui D., Gabriele Sganga: Noninvasive evaluation of metabolic parameters in surgical patients submitted to total parenteral nutrition, in: Recent Developments in Mass Spectrometry in Biochemistry, Medicine and Environmental Research, Elsevier Scientific Publishing Co. Amsterdam, 61-64, 1983
  • Giovannini I., Castagneto M., Boldrini G., Tonelli M., Perla A., Gui D., Gabriele Sganga: Assessment of metabolic,respiratory and hemodynamic condition of critically ill patients by mass spectrometry, in: Recent Developments in Mass Spectrometry in Biochemistry, Medicine and Environmental Research, Elsevier Scientific Publishing Co. Amsterdam, 55-60, 1983
  • Michele Missikoff, Terranova M.: The Architecture of a Relational Database Computer Known as DBMAC, in: Advanced Database Machine Architectures, Hsiao D. ed., Prentice Hall, 87-108, 1983
  • Maurizio Rafanelli, Ricci F.L.: An integrated management model of general register files for the family doctor choice, in: Health Information systems: the Italian approach, Fernandez Perez de Talens A. ed., IFIP-IMIA, 67-72, 1983

1982  [top]

1981  [top]
  • Bianco L., Ricciardelli S.: Automated aircraft management in the near terminal area, in: Scientific Management on Transport Systems, North-Holland, 1981
  • Di Pillo G., Grippo L., Lampariello F.: A Class of Methods for the Solution of Optimization Problems with Inequalities, in: System Modelling and Optimization, Drenick R.F., Kozin K. eds., Springer-Verlag Berlin, 508-518, 1981
  • Ferrari V., Giulianelli S., Lucertini M.: Additional Constraints in the Group Theoretical Approach to Integer Programming, in: Analysis and design of algorithms in Combinatorial Optimization, Ausiello G., Lucertini M. eds., Springer-Verlag New York, 1981

1980  [top]

1979  [top]
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -