Program Verification using Constraint Handling Rules and Array Constraint Generalizations⋆ Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

Source URL: www.sci.unich.it

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

Source URL: vgc.poly.edu

Program Verification using Constraint Handling Rules and Array Constraint Generalizations Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University

Source URL: www.sci.unich.it

On Randomness Extraction in AC0 Oded Goldreich1 , Emanuele Viola2 , and Avi Wigderson3 1 2

Source URL: drops.dagstuhl.de

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

Source URL: krishnan.caltech.edu

• Seismology
• Mechanics
• Engineering
• Earthquake engineering
• Earthquake
• Synthetic seismogram
• Seismogram
• Seismic scale
• Peak ground acceleration
• Earthquake casualty estimation

    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

Source URL: www.virtualclassroom.org

Verifying Programs via Iterated Specialization Emanuele De Angelis, Fabio Fioravanti University G. D’Annunzio, Pescara, Italy {deangelis,fioravanti}@sci.unich.it

Source URL: www.iasi.cnr.it

Emanuele Coviello, PhD Contact Information , , phone

Source URL: acsweb.ucsd.edu

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

Source URL: vgc.poly.edu

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’,

Source URL: www.sci.unich.it