Fabio - PDFSEARCH.IO - Document Search Engine

Fabio
Results: 1279

#	Item
351	Polarization as a Tool at HERA Fabio Metlica Imperial College, London (ZEUS) on behalf of the H1 and ZEUS collaborations and POL2000Structure Function Working Group Add to Reading List Source URL: giroz.desy.de Language: English
352	Identifying Cyber Attacks via Local Model Information Fabio Pasqualetti, Ruggero Carli, Antonio Bicchi, and Francesco Bullo Abstract— This work considers the problem of detecting corrupted components in a large scale d Add to Reading List Source URL: www.fabiopas.it Language: English - Date: 2010-09-15 15:12:55
353	Secure Group Services for Storage Area Networks Yongdae Kim University of Minnesota - Twin Cities Fabio Maino Add to Reading List Source URL: syssec.kaist.ac.kr Language: English - Date: 2012-09-03 21:42:56
354	Branching Preserving Specialization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2012-10-22 15:04:00
355	Generation of test data structures using Constraint Logic Programming? Valerio Senni1 and Fabio Fioravanti2 1 2 Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2013-07-17 03:25:30
356	Verification of Programs by Transformation of Constraint Logic Programs Emanuele De Angelis (University “d’Annunzio”, Pescara, Italy), Fabio Fioravanti (University “d’Annunzio”, Pescara, Italy), Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2013-09-19 22:49:42
357	Specialization with Constrained Generalization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Add to Reading List Source URL: www.iasi.cnr.it Language: English - Date: 2013-03-14 08:11:04
358	EFSUMB – European Course Book Editor: Christoph F. Dietrich Liver Transplantation Fabio Piscaglia1 MD PhD, Paul Sidhu2 BSc MBBS MRCP FRCR, Knut Brabrand3 MD and Alberto Borghi4 MD PhD Add to Reading List Source URL: www.kosmos-host.co.uk Language: English - Date: 2014-02-04 15:52:43
359	Software Model Checking by Program Specialization Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 and Maurizio Proietti3 1 University Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2012-10-26 14:38:25
360	VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2014-01-16 13:38:07

UPDATE