Publications
Publications found: 407
- Principal Types and Unification For a Simple Intersection Type System
Mario Coppo, Paola Giannini
Published on Information and Computation 122, 1995, Pages: 70--96 - Use of GSPNs for concurrent software validation in EPOCA
Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo
Published on Information & Software Technology Vol. 36 n. 7, 1994, Pages: 443-448 - On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs
G. Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo
Published on Perform. Eval. Vol. 19 n. 2-3, 1994, Pages: 195-222 - Bounds for Quasi-Lumpable Markow Chains
Giuliana Franceschinis, Richard R. Muntz
Published on Perform. Eval. Vol. 20 n. 1-3, 1994, Pages: 223-243 - Software Architecture of the EPOCA Integrated Environment
Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo
Published on Computer Performance Evaluation, 1994, Pages: 335-352 - Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets
Giuliana Franceschinis, Richard R. Muntz
Published on IEEE Trans. Software Eng. Vol. 20 n. 7, 1994, Pages: 516-525 - Modeling Symmetric Computer Architectures by SWNs
Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta
Published on Application and Theory of Petri Nets, 1994, Pages: 139-158 - A Decidable Intersection Type System based on Relevance
Ferruccio Damiani, Paola Giannini
Published on TACS'94, Ed. Springer, 1994, Pages: 707-725 - A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline
Paola Giannini, Simona Ronchi Della Rocca
Published on Information and Computation 110, 1994, Pages: 115 - 173 - Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Published on IEEE Trans. Computers Vol. 42 n. 11, 1993, Pages: 1343-1360
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 > »
