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

2010  [top]
  • Amati G., Amodeo G., Capozio V., Carlo Gaibisso, Gambosi G.: On performance of Topical Opinion Retrieval, in the Proceedings of 33rd international ACM SIGIR conference on Research and development in information retrieval, ACM-SIGIR Conference, 2010
  • Amati G., Amodeo G., Capozio V., Carlo Gaibisso, Gambosi G.: A study on the evaluation of opinion retrieval systems, in the Proceedings of First Italian Information Retrieval Workshop, Italian Information Retrieval Workshop, 1st, 2010
  • Amati G., Amodeo G., Capozio V., Gambosi G., Carlo Gaibisso: Assessing the quality of opinion retrieval systems, in the Proceedings of The First International Workshop on Opinion Mining for Business Intelligence, IEEE Computer Society Press, 2010
  • Angelucci D., Barbagallo A., Di Mascio T., Michele Missikoff, Francesco Taglino: A social platform for enterprise ontology building, in the Proceedings of Proceedings of the Open Knowledge Models (OKM 2010) workshop. 11th October-15th October 2010 - Lisbon, Portugal, Proceedings in Informatics, 2010
  • Barbagallo A., De Nicola A., Michele Missikoff: eGovernment Ontologies: Social Participation in Building and Evolution, in the Proceedings of Forty-Third Annual Hawaii International Conference on System Sciences, IEEE Computer Society Press, 2010
  • Baruah S., Vincenzo Bonifaci, D'Angelo G., Li H., Marchetti Spaccamela A., Megow N., Stougie L.: Scheduling Real-Time Mixed-Criticality Jobs, in the Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 2010
  • 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
  • Vincenzo Bonifaci, Chan H.-L., Marchetti Spaccamela A., Megow N.: Algorithms and Complexity for Periodic Real-Time Scheduling, in the Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM Proceedings in Applied Mathematics, 2010
  • Vincenzo Bonifaci, Marchetti Spaccamela A.: Feasibility Analysis of Sporadic Real-Time Multiprocessor Task Systems, in the Proceedings of the 18th Annual European Symposium on Algorithms, Lecture Notes in Computer Science, 2010
  • Bopardikar S. D., Alessandro Borri, Hespanha J. P., Prandini M., Di Benedetto M. D.: Randomized Sampling for Large Zero-Sum Games, Proceedings of the 49th IEEE Conference on Decision and Control (CDC 2010), Atlanta, GA, USA, pp. 7675-7680, 2010
  • Alessandro Borri, Pola G., Di Benedetto M. D.: An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications, Proceedings of the 49th IEEE Conference on Decision and Control (CDC 2010), Atlanta, GA, USA, pp. 1528-1533, 2010
  • Cacace F., Farina L., Germani A., Pasquale Palumbo: Discrete-time models for gene transcriptional regulation networks, 49th IEEE Conference on Decision and Control (CDC 2010), 2010
  • Francesco Carravetta, Pasquale Palumbo, Pepe P.: Quadratic optimal control of linear systems with time-varying input delay, 49th IEEE Conference on Decision and Control (CDC 2010), 2010
  • D'Ambrosio C., Frangioni A., Liberti L., Lodi A.: Experiments with a Feasibility Pump Approach for Non-Convex MINLPs, in the Proceedings of Lecture Notes in Computer Science, Festa P. ed., 9th International Symposium on Experimental Algorithms - SEA 2010, 6049, 2010
  • De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for Business Process Knowledge Base Management, in the Proceedings of 18th Italian Symposium on Advanced Database Systems, SEBD 2010, Rimini, Italy, 2010
  • De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: An Open Platform for Business Process Modeling and Verification, in the Proceedings of International Conference on Database and Expert Systems Applications, DEXA, September 2010, Lecture Notes in Computer Science, 6261, 2010
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, in the Proceedings of 20th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2010), July 23-25, 2010, Hagenberg, Austria, RISC-Linz Report Series No. 10-14., Alpuente M ed., 2010
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, in the Proceedings of 25th Italian Conference on Computational Logic (CILC'10), Leone N., Faber W. eds., CEUR-WS, 598, 2010
  • Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic Search for Enterprises Competencies Management, in the Proceedings of Int. Conf. on Knowledge Engineering and Ontology Development (KEOD), 2010
  • Forni F., Galeani S., Nesic D., Zaccarian L.: Lazy sensors for the scheduling of measurement samples transmission in linear closed loops over networks, 49th IEEE Conference on Decision and Control (CDC 2010), 2010
  • Forni F., Galeani S., Zaccarian L.: An almost anti-windup scheme for plants with magnitude, rate and curvature saturation, in the Proceedings of American Control Conference, June 2010, Baltimore, Maryland, US., 2010
  • Forni F., Nesic D., Zaccarian L.: Results on passification of nonlinear controllers via a suitable time-regular reset map, in the Proceedings of Symposium on Nonlinear Control Systems (NOLCOS), Bologna, Italy, 2010
  • Forni F., Teel A.R.: Stability for a class of homogeneous hybrid systems by annular Lyapunov analysis, 49th IEEE Conference on Decision and Control (CDC 2010), 2010
  • Forni F., Teel A.R.: Instability and overshoots of solutions for a class of homogeneous hybrid systems by Lyapunov-like analysis, 49th IEEE Conference on Decision and Control (CDC 2010), 2010
  • Frangioni A., Claudio Gentile, Grande E., Pacifici A.: Projected Perspective Reformulations for MIQP problems, in the Proceedings of Proceedings of the European Workshop on Mixed Integer Nonlinear Programming, 2010
  • Frangioni A., Perez Sanchez L.: Searching the Best (Formulation, Solver, Configuration) for Structured Problems, in the Proceedings of Complex Systems Design & Management, Bretaudeau F., Aiguier M., Krob D. eds., First International Conference on Complex Systems Design & Management CSDM 2010, 2010
  • Gmati I., Michele Missikoff, Nurcan S.: A Systematic Method for the Intentional Modelling and Verification of Business Applications, itAIS Conference on Information Technology and Innovation Trends, 2010
  • Michele Missikoff, Maurizio Proietti, Smith F.: A Business Process Knowledge Base for Composite Services Development, in the Proceedings of International Workshop on Business System Management and Engineering, BSME, Malaga, 2010
  • Michele Missikoff, Maurizio Proietti, Smith F.: Reasoning on Business Processes and Ontologies in a Logic Programming Environment, in the Proceedings of 3rd Interop-Vlab.It Workshop, CEUR-WS, 653, 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
  • Pasquale Palumbo, Pepe P., Simona Panunzi, De Gaetano A.: Digital closed-loop control of plasma glycemia, 49th IEEE Conference on Decision and Control (CDC 2010), 2010
  • Federico Papa: A model of the tumour spheroid response to radiation: identifiability analysis, BIOSIGNALS 2010, Proceeding of the 3rd International Conference on Bio-Inspired Systems and Signal Processing, 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.: A Transformation Strategy for Verifying Logic Programs on Infinite Lists, in the Proceedings of 25th Italian Conference on Computational Logic (CILC'10), Leone N., Faber W. eds., CEUR-WS, 598, 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -