Publications
Publications found: 409
- Automatic useless-code detection and elimination for HOT functional programs
Ferruccio Damiani, Paola Giannini
Published on Journal of Functional Programming 10 6, Ed. Cambridge University Press, 2000, Pages: 509-559 - Stochastic Colored Petri Net Models for Rainbow Optical Networks
Giuliana Franceschinis, Andrea Fumagalli, A. Silinguelli
Published on Application of Petri Nets to Communication Networks, 1999, Pages: 273-303 - Towards Performance Analysis with Partially Symmetrical SWN
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-michel Ilié
Published on MASCOTS, 1999, Pages: 148-155 - Hilbert Function and Complexity Lower Bounds for Symmetric Boolean Functions
Anna Bernasconi, Lavinia Egidi
Published on Inf. Comput. Vol. 153 n. 1, 1999, Pages: 1-25 - A Filter Model for Mobile Processes
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Published on Mathematical Structures in Computer Science 9 1, Ed. Cambridge University Press, 1999, Pages: 63-101 - Compression of Low Entropy Strings with Lempel-Ziv Algorithms
Rao Kosaraju, Giovanni Manzini
Published on SIAM Journal on Computing 29 3, 1999, Pages: 893--911 - Performance Analysis of a WDM Bus Network Based on GSPN Models
Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso
Published on Computer Performance Evaluation (Tools), 1998, Pages: 207-218 - Modelling with Generalized Stochastic Petri Nets
Marco Ajmone Marsan, G. Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis
Published on SIGMETRICS Performance Evaluation Review Vol. 26 n. 2, 1998, Pages: 2 - A quantifier elimination for the theory of -adic numbers.
Lavinia Egidi
Published on Computational Complexity Vol. 7 n. 3, 1998, Pages: 205-263 - A quantifier elimination for the theory of -adic numbers
Lavinia Egidi
Published on Computational Complexity Vol. 7 n. 3, 1998, Pages: 205-263
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 > »
