Publications
Publications found: 407
- M4 -- The MiningMart Meta Model
Marco Botta, Klaus Dittrich, Katharina Morik
Published on Deliverable D8/9, EU Funded Project MINIG MART, 2001 - On the use of partial symmetries for lumping Markov chains
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-michel Ilié
Published on SIGMETRICS Performance Evaluation Review Vol. 28 n. 4, 2001, Pages: 33-35 - An effective translation of Fickle into Java (extended abstract)
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
Published on ICTCS'01, Ed. Springer, 2001, Pages: 215-234 - Fickle: Dynamic object re-classification
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Paola Giannini
Published on {ECOOP'01}, Ed. Springer, 2001, Pages: 130-149 - An Analysis of the Burrows-Wheeler Transform
Giovanni Manzini
Published on Journal of the ACM 48 3, 2001, Pages: 407-430 - Parametric Stochastic Well-Formed Nets and Compositional Modelling
Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis
Published on ICATPN, 2000, Pages: 43-62 - Exploiting Partial Symmetries for Markov Chain Aggregation
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-michel Ilié
Published on Electr. Notes Theor. Comput. Sci. Vol. 39 n. 3, 2000, Pages: 231-257 - Type-Based Useless-Code Elimination for Functional Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
Published on PLI Workshop - SAIG'00, Ed. Springer, 2000, Pages: 172--189 - 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
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 > »
