Pubblicazioni
Pubblicazioni trovate: 401
- 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
- A Fuzzy Approach to Product Configuration on Standard Databases
Luigi Portinale
Apparso su Proc. 11th Int. Conference of the Italian Association for Artificial Intelligence (AIxIA09), Lecture Notes in Artificial Intelligence 5883, Ed. Springer, 2009, Pagine: 486-495
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 > »
