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


2012  [top]
  • Baruah S., Vincenzo Bonifaci, D'Angelo G., Li H., Marchetti Spaccamela A., van der Ster S., Stougie L.: The Preemptive Uniprocessor Scheduling of Mixed-Criticality Implicit-Deadline Sporadic Task Systems, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2012
  • Baruah S., Vincenzo Bonifaci, Marchetti Spaccamela A., Stougie L., Wiese A.: A Generalized Parallel Task Model for Recurrent Real-Time Processes, in the Proceedings of Real-Time Systems Symposium, IEEE Computer Society Press, 2012
  • Vincenzo Bonifaci, Mehlhorn K., Varma G.: Physarum Can Compute Shortest Paths, in the Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM Proceedings in Applied Mathematics, 2012
  • Alessandro Borri, Pola G., Di Benedetto M. D.: A Symbolic Approach to the Design of Nonlinear Networked Control Systems, Mitchell I., Dang T. eds., Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, ser. HSCC 2012, New York, NY, USA, pp. 255-264, 2012
  • Alessandro Borri, Pola G., Di Benedetto M. D.: Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems, Proceedings of the 51st IEEE Conference on Decision and Control (CDC 2012), Maui, HI, USA, pp. 1374-1379, 2012
  • Francesco Carravetta: Some Results on the Problem of Global Exact Bilinearization for Nonlinear Delay Systems., 2012
  • Francesco Carravetta: On the Equivalence between Nonlinear- and Fractional Bilinear- Control Systems, 2012
  • Francesco Carravetta, Palumbo P., Pepe P.: Memoryless solution to the infinite horizon optimal control of linear time-invariant systems with delayed input, IASTED Asian Conference on Modeling, Identification and Control (AsiaMIC2012), 2012
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Software Model Checking by Program Specialization, in the Proceedings of 27th Italian Conference on Computational Logic (CILC-2012), CEUR-WS, 857, 2012
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Branching Preserving Specialization for Software Model Checking, in the Proceedings of 22nd International Symposium on Logic-Based Program Synhesis and Transformation (LOPSTR 2012), Albert E. ed., 2012
  • Giovanni Felici, Weitschek E.: Mining Logic Models in the Presence of Noisy Data, in the Proceedings of Fort Lauderdale FL., January 9-11, ISAIM - International Symposium on Artificial Intelligence and Mathematics, 2012
  • Anna Formica, Mauro Mazzei, Elaheh Pourabbas, Maurizio Rafanelli: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, in the Proceedings of Proc. of Int. Cross-Domain Conf. and Workshop on Availability, Reliability, and Security, CD-ARES 2012,, Quirchmayr G. ed., Lecture Notes in Computer Science, 7465, 2012
  • Giorgetti A, Senni V.: Specification and Validation of Algorithms Generating Planar Lehman Words, in the Proceedings of 8th International Conference on random generation of combinatorial structures (GASCom'12, ), June 25-27, 2012, LaBRI, Bordeaux, 2012
  • Lotti S, Perinati E, Natalucci L, Piro L, Mineo T, Colasanti L, Macculi C, Federici M, Bruno Luigi Martino: An efficient method for reducing the background of microcalorimeters applied to ATHENA-XMS, 2012
  • Bruno Luigi Martino, Federici M: An high availability data storage subsystem for the INTEGRAL data analysisis, 2012
  • Bruno Luigi Martino, Federici M, Natalucci L, Ubertini P: AVES: A Computer Cluster System approach for INTEGRAL Scientific Analysis, 2012
  • Ida Mele, Bonchi F, Gionis A: The early-adopter graph and its application to web-page recommendation, ACM International Conference on Information and Knowledge Management, 2012
  • Sara Nicoloso, Pietropaoli U.: EURO XXV, EURO XXV, 2012
  • Palumbo P., Pepe P., Simona Panunzi, De Gaetano A.: Observer-based glucose control via subcutaneous insulin administration, 8th IFAC Symposium on Biological and Medical Systems (BMS2012), 2012
  • Elaheh Pourabbas, Shoshani A., Wu K.: Minimizing Index Size by Reordering Rows and Columns, Bowers Shawn, Ailamaki Anastasi eds., 24th Internaional Conference on Scientific and Statistical Database Management-SSDBM 2012, Lecture Notes in Computer Science 7338, 2012
  • Elaheh Pourabbas, Francesco Taglino: A Semantic Platform for Enterprise Knowledge Interoperability, Poler Raul, Doumeingts Guy, Katzy Bernhard, Chalmeta Ricardo eds., Proceedings of the I-ESA Conferences 6, I-ESA 2012, Enterprise Interoperability V, Shaping Enterprise Interoperability in the Future Internet, 5, 2012
  • Senni V., Fioravanti F.: Generation of Test Data Structures Using Constraint Logic Programming, in the Proceedings of 6th International Conference on Tests and Proofs (TAP 2012), Lecture Notes in Computer Science, 7305, 2012
  • Weitschek E., Giovanni Felici, Paola Bertolazzi: MALA: A Microarray clustering and classification software, Wagner R.R., Tjoa A.M., Hameurlain A eds., DEXA - Database and Expert Systems Applications, 2012
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -