Pubblicazioni
Pubblicazioni trovate: 386
- 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
- Performance Analysis of a WDM Bus Network Based on GSPN Models
Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso
Apparso su Computer Performance Evaluation (Tools), 1998, Pagine: 207-218
- Modelling with Generalized Stochastic Petri Nets
Marco Ajmone Marsan, G. Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis
Apparso su SIGMETRICS Performance Evaluation Review Vol. 26 n. 2, 1998, Pagine: 2
- A quantifier elimination for the theory of -adic numbers.
Lavinia Egidi
Apparso su Computational Complexity Vol. 7 n. 3, 1998, Pagine: 205-263
- A quantifier elimination for the theory of -adic numbers
Lavinia Egidi
Apparso su Computational Complexity Vol. 7 n. 3, 1998, Pagine: 205-263
- Inference based analysis of functional programs: dead-code and strictness
Mario Coppo, Ferruccio Damiani, Paola Giannini
Apparso su Theories of Types and Proofs 2, Ed. Mathematical Society of Japan, 1998, Pagine: 143-176
- A Symbolic Reachability Graph for Coloured Petri Nets
Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Apparso su Theor. Comput. Sci. Vol. 176 n. 1-2, 1997, Pagine: 39-65
- An Inference Algorithm for Strictness
Ferruccio Damiani, Paola Giannini
Apparso su TLCA'97, Ed. Springer, 1997, Pagine: 129-146
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 > »
