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

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, Pasquale Palumbo, 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., Pettorossi A., 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., Pettorossi A., 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
  • 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
  • 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
  • Fioravanti F., Pettorossi A., 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 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Pasquale Palumbo, 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
  • 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
  • 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -