Publications
Publications found: 409
- A Type System for a Stochastic CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Published on MeCBIC'09 11, 2009, Pages: 91--106 - Intersection, Universally Quantified, and Reference Types
Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca
Published on CSL'09 5771, Ed. Springer, 2009, Pages: 209--224 - Featherweight Agent Language: a core calculus for agents and artifacts
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Published on 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
Published on DCM'09 9, 2009, Pages: 38--48 - Permuted Longest-Common-Prefix Array
J. Karkkainen, Giovanni Manzini, S. Puglisi
Published on Proc. 20th Symposium on Combinatorial Pattern Matching (CPM), Ed. Springer-Verlag, LNCS n. 5577, 2009, Pages: 181-192 - The myriad virtues of Wavelet trees
Paolo Ferragina, Raffaele Giancarlo, Giovanni Manzini
Published on Information and Computation 207, 2009, Pages: 849-866 - Compressing and indexing labeled trees, with applications
Paolo Ferragina, Fabrizio Luccio, Giovanni Manzini, S. Muthukrishnan
Published on J. ACM 57 1, 2009 - A Fuzzy Approach to Product Configuration on Standard Databases
Luigi Portinale
Published on Proc. 11th Int. Conference of the Italian Association for Artificial Intelligence (AIxIA09), Lecture Notes in Artificial Intelligence 5883, Ed. Springer, 2009, Pages: 486-495 - Supporting Human Interaction and Human Resources Coordination in Distributed Clinical Guidelines
Alessio Bottrighi, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio
Published on TR-INF-2009-12-09-UNIPMN, Ed. Computer Science Department, UPO, 2009 - Simulating the communication of commands and signals in a distribution grid
Daniele Codetta Raiteri, Roberto Nai
Published on TR-INF-2009-12-08-UNIPMN, Ed. Computer Science Department, UPO, 2009
Pages: « < 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 > »
