|
Publications of Maurizio Proietti
|
|
|
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 Proietti M., in the category Articles in Collections and Proceedings
(or show them all): (Items found: 6)
2012 [top]
- 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
- 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
- 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
|
|
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
|
