Pubblicazioni
Pubblicazioni trovate: 393
- An Analysis of the Burrows-Wheeler Transform
Giovanni Manzini
Apparso su Journal of the ACM 48 3, 2001, Pagine: 407-430
- Parametric Stochastic Well-Formed Nets and Compositional Modelling
Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis
Apparso su ICATPN, 2000, Pagine: 43-62
- Exploiting Partial Symmetries for Markov Chain Aggregation
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-michel Ilié
Apparso su Electr. Notes Theor. Comput. Sci. Vol. 39 n. 3, 2000, Pagine: 231-257
- Type-Based Useless-Code Elimination for Functional Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
Apparso su PLI Workshop - SAIG'00, Ed. Springer, 2000, Pagine: 172--189
- Automatic useless-code detection and elimination for HOT functional programs
Ferruccio Damiani, Paola Giannini
Apparso su Journal of Functional Programming 10 6, Ed. Cambridge University Press, 2000, Pagine: 509-559
- Stochastic Colored Petri Net Models for Rainbow Optical Networks
Giuliana Franceschinis, Andrea Fumagalli, A. Silinguelli
Apparso su Application of Petri Nets to Communication Networks, 1999, Pagine: 273-303
- Towards Performance Analysis with Partially Symmetrical SWN
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-michel Ilié
Apparso su MASCOTS, 1999, Pagine: 148-155
- Hilbert Function and Complexity Lower Bounds for Symmetric Boolean Functions
Anna Bernasconi, Lavinia Egidi
Apparso su Inf. Comput. Vol. 153 n. 1, 1999, Pagine: 1-25
- A Filter Model for Mobile Processes
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Apparso su Mathematical Structures in Computer Science 9 1, Ed. Cambridge University Press, 1999, Pagine: 63-101
- Compression of Low Entropy Strings with Lempel-Ziv Algorithms
Rao Kosaraju, Giovanni Manzini
Apparso su SIAM Journal on Computing 29 3, 1999, Pagine: 893--911
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 > »
