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

2012  [top]
  • 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
  • Fioravanti F., Alberto Pettorossi, 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 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
  • 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
  • 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
  • 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -