161![Program Verification using Constraint Handling Rules and Array Constraint Generalizations⋆ Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Program Verification using Constraint Handling Rules and Array Constraint Generalizations⋆ Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1](https://www.pdfsearch.io/img/26b8d14f17ead045c4562252b9e089cb.jpg) | Add to Reading ListSource URL: www.sci.unich.itLanguage: English - Date: 2014-07-10 04:18:43
|
---|
162![Examining Statistics of Workflow Evolution Provenance: A First Study Lauro Lins, David Koop, Erik W. Anderson, Steven P. Callahan, Emanuele Santos, Carlos E. Scheidegger, Juliana Freire, and Cl´audio T. Silva SCI Instit Examining Statistics of Workflow Evolution Provenance: A First Study Lauro Lins, David Koop, Erik W. Anderson, Steven P. Callahan, Emanuele Santos, Carlos E. Scheidegger, Juliana Freire, and Cl´audio T. Silva SCI Instit](https://www.pdfsearch.io/img/d8a481383d52a129714160340c293ae1.jpg) | Add to Reading ListSource URL: vgc.poly.eduLanguage: English - Date: 2011-07-06 09:51:56
|
---|
163![Program Verification using Constraint Handling Rules and Array Constraint Generalizations Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University Program Verification using Constraint Handling Rules and Array Constraint Generalizations Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University](https://www.pdfsearch.io/img/e367786416f20819daa27e0711122107.jpg) | Add to Reading ListSource URL: www.sci.unich.itLanguage: English - Date: 2014-06-19 06:26:53
|
---|
164![On Randomness Extraction in AC0 Oded Goldreich1 , Emanuele Viola2 , and Avi Wigderson3 1 2 On Randomness Extraction in AC0 Oded Goldreich1 , Emanuele Viola2 , and Avi Wigderson3 1 2](https://www.pdfsearch.io/img/e4a3fdd9650d549ff56c1307bb43f0d6.jpg) | Add to Reading ListSource URL: drops.dagstuhl.deLanguage: English - Date: 2015-05-27 10:18:38
|
---|
165![Rapid Estimation of Damage to Tall Buildings Using Near Real-Time Earthquake and Archived Structural Simulations Swaminathan Krishnan1 , Emanuele Casarotti2 , Jim Goltz3 , Chen Ji4 , Dimitri Komatitsch5 , Ramses Mourhatc Rapid Estimation of Damage to Tall Buildings Using Near Real-Time Earthquake and Archived Structural Simulations Swaminathan Krishnan1 , Emanuele Casarotti2 , Jim Goltz3 , Chen Ji4 , Dimitri Komatitsch5 , Ramses Mourhatc](https://www.pdfsearch.io/img/f8a147f3f1b9e4618ca0fc3e6f64a69e.jpg) | Add to Reading ListSource URL: krishnan.caltech.eduLanguage: English - Date: 2014-10-05 03:48:33
|
---|
166![COMPLIMENTI agli studenti della classe IV B: Sara Abbadessa, Alice Acconcia, Niccolò Bonacina, Emanuele Caviglia, Filippo Chiarelli, Benedetta Gifoli, Martina Madeo, Matteo Mantua, Chiara Montini, Lucia Pallesc
COMPLIMENTI agli studenti della classe IV B: Sara Abbadessa, Alice Acconcia, Niccolò Bonacina, Emanuele Caviglia, Filippo Chiarelli, Benedetta Gifoli, Martina Madeo, Matteo Mantua, Chiara Montini, Lucia Pallesc](https://www.pdfsearch.io/img/a4f66608a3a66606895718dc67006035.jpg) | Add to Reading ListSource URL: www.virtualclassroom.orgLanguage: Italian - Date: 2015-06-06 11:23:00
|
---|
167![Verifying Programs via Iterated Specialization Emanuele De Angelis, Fabio Fioravanti University G. D’Annunzio, Pescara, Italy {deangelis,fioravanti}@sci.unich.it Verifying Programs via Iterated Specialization Emanuele De Angelis, Fabio Fioravanti University G. D’Annunzio, Pescara, Italy {deangelis,fioravanti}@sci.unich.it](https://www.pdfsearch.io/img/fda151a93deca330815656f9841aa0c2.jpg) | Add to Reading ListSource URL: www.iasi.cnr.itLanguage: English - Date: 2013-07-25 06:11:11
|
---|
168![Emanuele Coviello, PhD Contact Information , , phone Emanuele Coviello, PhD Contact Information , , phone](https://www.pdfsearch.io/img/b7787ddf9c64d76bd13b9fe1889f402e.jpg) | Add to Reading ListSource URL: acsweb.ucsd.eduLanguage: English |
---|
169![Using Workflow Medleys to Streamline Exploratory Tasks Emanuele Santos1,2 , David Koop1,2 , Huy T. Vo1,2 , Erik W. Anderson1,2 , Juliana Freire2 , and Cl´audio Silva1,2 1 Using Workflow Medleys to Streamline Exploratory Tasks Emanuele Santos1,2 , David Koop1,2 , Huy T. Vo1,2 , Erik W. Anderson1,2 , Juliana Freire2 , and Cl´audio Silva1,2 1](https://www.pdfsearch.io/img/b12115283d0ae889e4cf29a9b64972f4.jpg) | Add to Reading ListSource URL: vgc.poly.eduLanguage: English - Date: 2011-07-16 10:04:53
|
---|
170![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
|
---|