BALBO, Gianfranco
BALBO, Gianfranco
INFORMATICA
30 Years of GreatSPN
2016-01-01 Elvio G, Amparore; Gianfranco, Balbo; Marco, Beccuti; Susanna, Donatelli; Giuliana, Franceschinis
A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems
1984-01-01 M. Ajmone Marsan; G. Balbo; G. Conte
A computational approach based on the colored Petri net formalism for studying multiple sclerosis
2019-01-01 Pernice S.; Pennisi M.; Romano G.; Maglione A.; Cutrupi S.; Pappalardo F.; Balbo G.; Beccuti M.; Cordero F.; Calogero R.A.
A computational framework for modeling and studying pertussis epidemiology and vaccination
2020-01-01 Castagno P.; Pernice S.; Ghetti G.; Povero M.; Pradelli L.; Paolotti D.; Balbo G.; Sereno M.; Beccuti M.
A mathematical-biological joint effort to investigate the tumor-initiating ability of cancer stem cells.
2014-01-01 Fornari C;Beccuti M;Lanzardo S;Conti L;Balbo G;Cavallo F;Calogero RA;Cordero F
A Mean Value Analysis Based Package for the Solution of Product-Form Queueing Network Models
1984-01-01 S.C. Bruell; G. Balbo; S. Ghanta; P.V. Afshari
A New Framework for Modeling Complex Biological Systems
2011-01-01 Francesca Cordero; Daniele Manini; Marco Gribaudo; Gianfranco Balbo
A Performance Tool for Testing Distributed Query Processing Algorithms
1981-01-01 R. Ferrero; D. Gillone; G. Balbo; A. Di Leva; D. Magnani
A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks
2005-01-01 R. GAETA; G. BALBO; S. C. BRUELL; M. GRIBAUDO; M. SERENO
A Software Tool for the Automatic Analysis of Generalized Stochastic Petri Net Models
1984-01-01 M. Ajmone Marsan; G. Balbo; G. Ciardo; G. Conte
A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression
2015-01-01 Fornari, Chiara; Balbo, Gianfranco; Halawani, Sami M; Ba-Rukab, Omar; Ahmad, Ab; Calogero, Raffaele A; Cordero, Francesca; Beccuti, Marco
Adaptive Query Optimization in Point to Point Networks
1984-01-01 G. Balbo; A. Di Leva; G. M. Sacco
Aggregation in Multiclass Queueing Networks
1981-01-01 G. Balbo; S.C. Bruell
Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Petri Nets
1989-01-01 P. Chen; S.C. Bruell; G. Balbo
An Example of Modelling and Evaluation of a Concurrent Program using Coloured Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm
1992-01-01 G. BALBO; G. CHIOLA; S.C. BRUELL; P. CHEN
An Introduction to Generalized Stochastic Petri Nets
1991-01-01 M. AJMONE MARSAN; G. BALBO; G. CHIOLA; G. CONTE; S. DONATELLI; G. FRANCESCHINIS
An intuitive object-oriented methodology to model biological pathways
2009-01-01 Francesca Cordero; Daniele Manini; Marco Gribaudo; Gianfranco Balbo
Analysis of Petri Net Models through Stochastic Differential Equations
2014-01-01 Marco Beccuti; Enrico Bibbona; Andras Horvath; Roberta Sirovich; Alessio Angius; Gianfranco Balbo
Applicability of Stochastic Petri Nets to Performance Modeling
1987-01-01 M. Ajmone Marsan; G. Balbo; G. Chiola; G. Conte
Approximate analysis of biological systems by hybrid switching jump diffusion
2015-01-01 Angius Alessio; Balbo Gianfranco; Beccuti Marco; Bibbona Enrico; Horvath Andras; Sirovich Roberta