Pubblicazioni
Pubblicazioni trovate: 402
- Parametric NdRFT for the derivation of optimal repair strategies
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Apparso su Proceedings of the International Conference on Dependable Systems and Networks, Ed. IEEE Computer Society, 2009, Pagine: 399-408 - Modeling Cascading Failure Propagation through Dynamic Bayesian Networks
Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale
Apparso su Proceedings of the Workshop on Dependable Control of Discrete Systems, Ed. IFAC, 2009, Pagine: 239-244 - The Essence of Static and Dynamic Bindings
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Apparso su ICTCS'09, 2009 - A Type System for a Stochastic CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Apparso su MeCBIC'09 11, 2009, Pagine: 91--106 - Intersection, Universally Quantified, and Reference Types
Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca
Apparso su CSL'09 5771, Ed. Springer, 2009, Pagine: 209--224 - Featherweight Agent Language: a core calculus for agents and artifacts
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Apparso su ICSOFT'09 (http://www.icsoft.org), Ed. INSTICC press, 2009 - A Type System for Required/Excluded Elements in CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Apparso su DCM'09 9, 2009, Pagine: 38--48 - Permuted Longest-Common-Prefix Array
J. Karkkainen, Giovanni Manzini, S. Puglisi
Apparso su Proc. 20th Symposium on Combinatorial Pattern Matching (CPM), Ed. Springer-Verlag, LNCS n. 5577, 2009, Pagine: 181-192 - The myriad virtues of Wavelet trees
Paolo Ferragina, Raffaele Giancarlo, Giovanni Manzini
Apparso su Information and Computation 207, 2009, Pagine: 849-866 - Compressing and indexing labeled trees, with applications
Paolo Ferragina, Fabrizio Luccio, Giovanni Manzini, S. Muthukrishnan
Apparso su J. ACM 57 1, 2009
Pagine: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
