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

2011  [top]
  • Amodeo G., Amati G., Gambosi G.: On relevance, time and query expansion, in the Proceedings of 20th, ACM International Conference on Information and Knowledge Management, 2011
  • Amodeo G., Brefeld U, Blanco R.: Hybrid models for future event prediction, in the Proceedings of 20th, ACM International Conference on Information and Knowledge Management, 2011
  • Anagnostopoulos A, Becchetti L, Leonardi S, Ida Mele, Sankowski P: Stochastic query covering, ACM International Conference on Web Search and Data Mining, 2011
  • 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
  • Bianchi D., Alessandro Borri, Castillo-Toledo B., Di Benedetto M. D., Di Gennaro S.: Active Control of Vehicle Attitude with Roll Dynamics, Proceedings of the 18th IFAC World Congress, Milan, Italy, pp. 7174-7179, 2011
  • Bianchi D., Alessandro Borri, Castillo-Toledo B., Di Benedetto M. D., Di Gennaro S.: Smart Management of Actuator Saturation in Integrated Vehicle Control, Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011), Orlando, FL, USA, pp. 2529-2534, 2011
  • Alessandro Borri, Bopardikar S. D., Hespanha J. P., Di Benedetto M. D.: Hide-and-Seek with Directional Sensing, Proceedings of the 18th IFAC World Congress, Milan, Italy, pp. 9343-9348, 2011
  • Alessandro Borri, Pola G., Di Benedetto M. D.: Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems affected by Disturbances, Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011), Orlando, FL, USA, pp. 552-557, 2011
  • Bruni C., Koch G., Federico Papa: Measurement Saving Versus Estimate Accuracy in Linear Filtering Problems, IFAC Proceedings Volumes, 44, 2011
  • Cacace F., Germani A., Manes C.: The Roots of Unity and a Direct Method for the Computation of Stable Internal Positive Representations of Linear Systems, 50th IEEE Conference on Decision and Control & 11th European Control Conference (CDC-ECC 2011), 2011
  • Cacace F., Germani A., Pasquale Palumbo: A state observer approach to filter stochastic nonlinear differential systems, 50th IEEE Conference on Decision and Control & 11th European Control Conference (CDC-ECC 2011), 2011
  • Cacace F., Germani A., Pasquale Palumbo: A new approach to nonlinear filtering via a mixed state observer and polynomial Kalman-Bucy scheme, in the Proceedings of 18th, IFAC World Congress on Automatic Control, 2011
  • Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Synthesizing Concurrent Programs using Answer Set Programming, in the Proceedings of International Workshop on Concurrency, Specification and Programming (CS&P 2011), Pultusk, Poland, 28-30 Sept. 2011, 2011
  • Del Grosso E., Smith F., Suttner H, Francesco Taglino: Innovative EI Services, in: The COIN Book: Enterprise Collaboration and Interoperability, Verlag-Mainz, 2011
  • Giovanni Felici, Arbib C., Servilio M.: Finding a Linear Arrangement that Minimizes Tardy Jobs, 10-th Cologne-Twente Workshop on graphs and combinatorial optimization, 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
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Controlling Polyvariance for Specialization-Based Verification, in the Proceedings of 26th Italian Conference on Computational Logic (CILC'11), Fioravanti F ed., CEUR-WS, 2011
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Using Real Relaxations During Program Specialization, in the Proceedings of 21st International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2011), Univ. of Southern Denmark, Odense, Denmark, pp. 96-111, 2011
  • Bruno Luigi Martino, Federici M, Lotti S: GFORC: A fast expandable and cheap computer cluster devoted to Geant4, 2011
  • Sara Mattia: The Two Layer Network Design Problem, in the Proceedings of INOC 2011, Lecture Notes in Computer Science, 6701, pp. 145--149, 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
  • Michele Missikoff, Maurizio Proietti, Smith F.: Querying Business Processes and Ontologies in a Logic Programming Environment, in the Proceedings of 19th Italian Symposium on Advanced Database Systems, SEBD 2011, Maratea, Italy, 2011
  • Muzi F, De Sanctis A, Pasquale Palumbo: Distance protection for smart grids with massive generation from renewable sources, 6th IASME/WSEAS Conference on Energy & Environment (EE'11), 2011
  • Pasquale Palumbo, Pepe P., Simona Panunzi, De Gaetano A.: Glucose control by subcutaneous insulin administration: a DDE modelling approach, in the Proceedings of 18th, IFAC World Congress on Automatic Control, 2011
  • Pasquale Palumbo, Pizzichelli G, Simona Panunzi, Pepe P., De Gaetano A.: Tests on a virtual patient for an observer-based, closed-loop control of plasma glycemia, 50th IEEE Conference on Decision and Control & 11th European Control Conference (CDC-ECC 2011), 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -