1![An Eco-Cognitive Model of Ignorance Immunization Selene Arfini () Department of Philosophy, Education and Economical-quantitative Sciences, University of Chieti and Pescara Chieti-Pescara, 66013 Ita An Eco-Cognitive Model of Ignorance Immunization Selene Arfini () Department of Philosophy, Education and Economical-quantitative Sciences, University of Chieti and Pescara Chieti-Pescara, 66013 Ita](https://www.pdfsearch.io/img/243c013492ee19cb455eb30831da1efc.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2015-08-07 07:25:17
|
---|
2![Removing Unnecessary Variables from Horn Clause Verification Conditions E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy Removing Unnecessary Variables from Horn Clause Verification Conditions E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy](https://www.pdfsearch.io/img/e355f03cc182330139f1c81a1cf8d608.jpg) | Add to Reading ListSource URL: hcvs2016.it.uu.se- Date: 2016-04-08 07:01:12
|
---|
3![Semantics-based generation of verification conditions by program specialization E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy Semantics-based generation of verification conditions by program specialization E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy](https://www.pdfsearch.io/img/cda22e34a2be8ddbc92a8762a7ffd1bb.jpg) | Add to Reading ListSource URL: www.sci.unich.itLanguage: English - Date: 2015-07-15 04:16:46
|
---|
4![Semantics-based generation of verification conditions by program specialization E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy Semantics-based generation of verification conditions by program specialization E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy](https://www.pdfsearch.io/img/b10b89c8d69cce17452397da3a030670.jpg) | Add to Reading ListSource URL: www.sci.unich.itLanguage: English - Date: 2015-07-15 04:16:46
|
---|
5![Software Verification and Synthesis using Constraints and Program Transformation Emanuele De Angelis University ‘G. d’Annunzio’ of Chieti–Pescara Convegno Italiano di Logica Computazionale 2015 Genova, 1 July, 20 Software Verification and Synthesis using Constraints and Program Transformation Emanuele De Angelis University ‘G. d’Annunzio’ of Chieti–Pescara Convegno Italiano di Logica Computazionale 2015 Genova, 1 July, 20](https://www.pdfsearch.io/img/6f63b21cae0d7cc15bc28f26646d7fd1.jpg) | Add to Reading ListSource URL: www.sci.unich.itLanguage: English - Date: 2015-10-03 15:32:56
|
---|
6![Synthesizing Concurrent Programs using Answer Set Programming E. De Angelis1 , A. Pettorossi2 , M. Proietti3 1 University of Chieti-Pescara ‘G. D’Annunzio’ Synthesizing Concurrent Programs using Answer Set Programming E. De Angelis1 , A. Pettorossi2 , M. Proietti3 1 University of Chieti-Pescara ‘G. D’Annunzio’](https://www.pdfsearch.io/img/fc2f4d70774b148d8178aa10b4d1daf8.jpg) | Add to Reading ListSource URL: www.sci.unich.itLanguage: English - Date: 2012-10-22 15:02:02
|
---|
7![VeriMAP A Tool for Verifying Programs through Transformations Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti University of Chieti – Pescara ‘G. d’Annunzio’, VeriMAP A Tool for Verifying Programs through Transformations Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti University of Chieti – Pescara ‘G. d’Annunzio’,](https://www.pdfsearch.io/img/f6e69c4fc77be3bab0165cf235b4d753.jpg) | Add to Reading ListSource URL: www.sci.unich.itLanguage: English - Date: 2015-01-15 17:01:04
|
---|
8![Microsoft Word - Posteri i Masterit Cultural Heritage.doc Microsoft Word - Posteri i Masterit Cultural Heritage.doc](https://www.pdfsearch.io/img/594a7825359e78cc3bdeb4fae7d26d0b.jpg) | Add to Reading ListSource URL: www.chtmbal.comLanguage: English - Date: 2012-11-16 05:00:52
|
---|
9![Spatial Network Sampling in Small Area Estimation Roberto Benedetti1, Stefano Marchetti2, Federica Piersimoni3, Monica Pratesi4,5 1 University “G. d’Annunzio” of Chieti-Pescara, ITALY 2,4 University of Pisa, ITALY Spatial Network Sampling in Small Area Estimation Roberto Benedetti1, Stefano Marchetti2, Federica Piersimoni3, Monica Pratesi4,5 1 University “G. d’Annunzio” of Chieti-Pescara, ITALY 2,4 University of Pisa, ITALY](https://www.pdfsearch.io/img/103411ef91142dc32812cadc716e5de2.jpg) | Add to Reading ListSource URL: www.statistics.gov.hkLanguage: English - Date: 2013-08-22 04:39:19
|
---|
10![Spatial Network Sampling in Small Area Estimation Roberto Benedetti University “G. d’Annunzio” of Chieti-Pescara, Italy Stefano Marchetti University of Pisa, Italy Fe Spatial Network Sampling in Small Area Estimation Roberto Benedetti University “G. d’Annunzio” of Chieti-Pescara, Italy Stefano Marchetti University of Pisa, Italy Fe](https://www.pdfsearch.io/img/b1a28a6172a28d66e0de9151c22c58c8.jpg) | Add to Reading ListSource URL: www.statistics.gov.hkLanguage: English - Date: 2013-08-22 04:39:19
|
---|