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  2019, with author ALL, in the category Articles in Collections and Proceedings (or show them all):   (Items found: 16)

2019  [top]
  • Giovanni Abramo, Ciriaco Andrea D'Angelo: The regional balance of knowledge flows, 17th International Society of Scientometrics and Informetrics Conference, 2019
  • Bahrainian S A, Zarrinkalam F, Ida Mele, Crestani F: Predicting the Topic of your Next Query for Just-in-Time IR, 2019
  • Bianchi D., Alessandro Borri, Di Benedetto M. D., Ferrara A.: Decentralized Model Predictive Control of Freeway Traffic Systems over Lossy Communication Networks, Proceedings of the 2019 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2019), Bari, Italy, pp. 1084-1089, 2019
  • Alessandro Borri, Francesco Carravetta, White L.B.: A Smoother-Predictor of 3D Hidden Gauss-Markov Random Fields for Weather Forecast, Proceedings of the 2019 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2019), Bari, Italy, pp. 3311-3316, 2019
  • Alessandro Borri, Valerio Cusimano, Simona Panunzi, De Gaetano A.: Multi-agent system modeling of advection-diffusion-reaction equations, Proceedings of the 2019 European Control Conference (ECC 2019), Napoli, Italy, pp. 2430-2435, 2019
  • Alessandro Borri, Simona Panunzi, De Gaetano A.: Rapid and ultra-rapid insulin in glycemic control, Proceedings of the 2019 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2019), Bari, Italia, pp. 346-351, 2019
  • Ciriaco Andrea D'Angelo, Giovanni Abramo: The correlation between the level of internationalization of a country’s scientific production and that of relevant citing publications, 17th International Society of Scientometrics and Informetrics Conference, 2019
  • Laura D'Orsi, Mameli M., Alessandro Borri, De Gaetano A.: Assisted ventilation control based on phase and frequency estimation of respiratory drift, Proceedings of the 2019 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2019), Bari, Italy, pp. 889-895, 2019
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Lemma Generation for Horn Clause Satisfiability: A Preliminary Study, in the Proceedings of Seventh International Workshop on Verification and Program Transformation (VPT 2019), Lisitsa A., Nemytykh A. eds., Electronic Proceedings in Theoretical Computer Science, 299, 2019
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification, in the Proceedings of Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning (HCVS/PERR 2019), Electronic Proceedings in Theoretical Computer Science, 296, 2019
  • De Nicola A., Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Comparative Assessment of Ontology Weighting Methods in Semantic Similarity Search., in the Proceedings of Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, ICAART, 2019
  • Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Querying Distributed GIS with GeoPQLJ based on GeoJSON, in the Proceedings of Proceedings of the 5th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2019, Heraklion, Crete, Greece, May 3-5, 2019, 2019
  • Ida Mele, Crestani F: A Multi-Source Collection of Event-Labeled News Documents, International Conference on Theory of Information Retrieval, 2019
  • Parretti C., Pourabbas E., Rolli F., Pecoraro F., Citti P., Giorgretti A.: Robust design of web services supporting the home administration of drug infusion in pediatric oncology, in the Proceedings of MATEC Web of Conferences 301, 00013 (2019), The 13th International Conference on Axiomatic Design (ICAD 2019) Sydney, Australia, October 18-20, 2019, Liu A., Foley J. T. eds., 2019
  • Pola G., Alessandro Borri, Pepe P., Pasquale Palumbo, Di Benedetto M. D.: Symbolic models approximating possibly unstable time-delay systems with application to the artificial pancreas, Proceedings of the 2019 European Control Conference (ECC 2019), Napoli, Italy, pp. 275-280, 2019
  • Rolli F., Pecoraro F., Luzi D., Ricci F. L., Pourabbas E., Parretti C.: Clinical risk evaluation of medical device software: an axiomatic design-based methodology, in the Proceedings of MATEC Web of Conferences 301, 00005 (2019), The 13th International Conference on Axiomatic Design (ICAD 2019) Sydney, Australia, October 18-20, 2019, Foley J. T., Liu A., Puik E.C.N. eds., 2019
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -