Gianfranco Balbo
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2016
- [j32]Alessio Angius, András Horváth, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo:
Exploiting flow equivalent server in transient analysis. Comput. Syst. Sci. Eng. 31(4) (2016) - 2015
- [j31]Chiara Fornari, Gianfranco Balbo, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Raffaele Calogero, Francesca Cordero, Marco Beccuti:
A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression. BMC Systems Biology 9(S-3): S1 (2015) - [j30]Marco Beccuti, Chiara Fornari, Giuliana Franceschinis, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo:
From Symmetric Nets to Differential Equations exploiting Model Symmetries. Comput. J. 58(1): 23-39 (2015) - [j29]Gianfranco Balbo, Maria Grazia Vigliotti:
On the Analysis of a M/M/1 Queue with Bulk Services. Comput. J. 58(1): 57-74 (2015) - [j28]Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich:
Approximate analysis of biological systems by hybrid switching jump diffusion. Theor. Comput. Sci. 587: 49-72 (2015) - [c37]Alessio Angius, András Horváth, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo:
Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks. ASMTA 2015: 15-29 - 2014
- [c36]Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo:
Analysis of Petri Net Models through Stochastic Differential Equations. Petri Nets 2014: 273-293 - [i2]Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo:
Analysis of Petri Net Models through Stochastic Differential Equations. CoRR abs/1404.0975 (2014) - [i1]Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich:
Approximate analysis of biological systems by hybrid switching jump diffusion. CoRR abs/1406.1352 (2014) - 2013
- [j27]Francesca Cordero, Marco Beccuti, Chiara Fornari, Stefania Lanzardo, Laura Conti, Federica Cavallo, Gianfranco Balbo, Raffaele Calogero:
Multi-level model for the investigation of oncoantigen-driven vaccination effect. BMC Bioinformatics 14(S-6): S11 (2013) - [e3]Gianfranco Balbo, Monika Heiner:
Proceedings of the International Workshop on Biological Processes & Petri Nets, Milano, Italy, June 24, 2013. CEUR Workshop Proceedings 988, CEUR-WS.org 2013 [contents] - [e2]Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf:
Transactions on Petri Nets and Other Models of Concurrency VII. Lecture Notes in Computer Science 7480, Springer 2013, ISBN 978-3-642-38142-3 [contents] - 2012
- [c35]Gianfranco Balbo:
Titans talk on "modeling and simulation of complex systems: are petri nets useful?". Winter Simulation Conference 2012: 321:1 - 2011
- [j26]Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis:
First Passage Time Computation in Tagged GSPNs with Queue Places. Comput. J. 54(5): 653-673 (2011) - [j25]Chiara Fornari, Francesca Cordero, Daniele Manini, Gianfranco Balbo, Raffaele Calogero:
Mathematical Approach to Predict the Drug Effects on Cancer Stem Cell Models. Electr. Notes Theor. Comput. Sci. 277: 29-39 (2011) - [j24]Francesca Cordero, András Horváth, Daniele Manini, Lucia Napione, Massimiliano De Pierro, Simona Pavan, Andrea Picco, Andrea Veglio, Matteo Sereno, Federico Bussolino, Gianfranco Balbo:
Simplification of a complex signal transduction model using invariants and flow equivalent servers. Theor. Comput. Sci. 412(43): 6036-6057 (2011) - [c34]Francesca Cordero, Stefania Lanzardo, Maddalena Arigoni, Chiara Fornari, Laura Conti, Gianfranco Balbo, Federica Cavallo, Daniele Manini, Raffaele Calogero:
Cancer stem cell based adjuvant for oncoantingen-driven vaccination. BCB 2011: 564-568 - [c33]Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis:
Computing first passage time distributions in stochastic well-formed nets. ICPE 2011: 7-18 - 2010
- [c32]Alessio Angius, Gianfranco Balbo, Francesca Cordero, András Horváth, Daniele Manini:
Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server. ACSD/Petri Nets Workshops 2010: 55-69 - [c31]Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis:
Stochastic Petri Nets Sensitivity to Token Scheduling Policies. OR 2010: 181-186
2000 – 2009
- 2009
- [c30]Lucia Napione, Daniele Manini, Francesca Cordero, András Horváth, Andrea Picco, Massimiliano De Pierro, Simona Pavan, Matteo Sereno, Andrea Veglio, Federico Bussolino, Gianfranco Balbo:
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process. CMSB 2009: 281-295 - [c29]Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis:
Tagged Generalized Stochastic Petri Nets. EPEW 2009: 1-15 - 2007
- [c28]
- 2005
- [j23]Rossano Gaeta, Gianfranco Balbo, Steven C. Bruell, Marco Gribaudo, Matteo Sereno:
A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks. Perform. Eval. 62(1-4): 1-16 (2005) - 2003
- [c27]Gianfranco Balbo, Steven C. Bruell, Matteo Sereno:
On the relations between BCMP queueing networks and product form solution stochastic petri nets. PNPM 2003: 103-112 - 2002
- [j22]Gianfranco Balbo, Steven C. Bruell, Matteo Sereno:
Product Form Solution for Generalized Stochastic Petri Nets. IEEE Trans. Software Eng. 28(10): 915-932 (2002) - 2001
- [c26]Gianfranco Balbo, Steven C. Bruell, Matteo Sereno:
Embedded Processes in Generalized Stochastic Petri Nets. PNPM 2001: 71-80 - [c25]Simona Bernardi, Gianfranco Balbo:
Concurrent Generalized Petri Nets: Regenerative Conditions. PNPM 2001: 125-134 - 2000
- [j21]Gianfranco Balbo:
Review: Performance Modeling with Deterministic and Stochastic Petri Nets - Christoph Lindemann, Wiley-Interscience Series in Systems and Optimization, Wiley, New York, 1998, 405 pages, ISBN 0-471-97646-6. Sci. Comput. Program. 38(1-3): 143-146 (2000) - [c24]Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte:
The Early Days of GSPNs. Performance Evaluation 2000: 505-512 - [c23]Gianfranco Balbo:
Introduction to Stochastic Petri Nets. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 84-155
1990 – 1999
- 1998
- [j20]Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis:
Modelling with Generalized Stochastic Petri Nets. SIGMETRICS Performance Evaluation Review 26(2): 2 (1998) - 1997
- [j19]Matteo Sereno, Gianfranco Balbo:
Mean Value Analysis of Stochastic Petri Nets. Perform. Eval. 29(1): 35-62 (1997) - [j18]Gianfranco Balbo, Giuseppe Serazzi:
Asymptotic Analysis of Multiclass Closed Queueing Networks: Multiple Bottlenecks. Perform. Eval. 30(3): 115-152 (1997) - [e1]Pierre Azéma, Gianfranco Balbo:
Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings. Lecture Notes in Computer Science 1248, Springer 1997, ISBN 3-540-63139-9 [contents] - 1996
- [j17]Gianfranco Balbo, Giuseppe Serazzi:
Asymptotic Analysis of Multiclass Closed Queueing Networks: Common Bottleneck. Perform. Eval. 26(1): 51-72 (1996) - 1995
- [c22]
- 1994
- [j16]Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo:
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. Perform. Eval. 19(2-3): 195-222 (1994) - [c21]Gianfranco Balbo, Steven C. Bruell, Matteo Sereno:
Arrival Theorems for Product-Form Stochastic Petri Nets. SIGMETRICS 1994: 87-97 - 1993
- [j15]Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte:
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications. IEEE Trans. Software Eng. 19(2): 89-107 (1993) - [c20]
- [c19]Matteo Sereno, Gianfranco Balbo:
Computational algorithms for product form solution stochastic Petri nets. PNPM 1993: 98-107 - 1992
- [j14]Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis:
Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distrib. Comput. 15(3): 171-187 (1992) - [j13]Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen:
An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm. IEEE Trans. Parallel Distrib. Syst. 3(2): 221-240 (1992) - [c18]Gianfranco Balbo:
Performance Issues in Parallel Programming. Application and Theory of Petri Nets 1992: 1-23 - 1990
- [j12]Marco Ajmone Marsan, Gianfranco Balbo, Giorgio Bruno, Fabio Neri:
TOPNET: A Tool for the Visual Simulation of Communication Networks. IEEE Journal on Selected Areas in Communications 8(9): 1735-1747 (1990)
1980 – 1989
- 1989
- [j11]Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani:
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets. IEEE Trans. Software Eng. 15(7): 832-846 (1989) - [c17]Steven C. Bruell, Pozung Chen, Gianfranco Balbo:
Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets. PNPM 1989: 187-197 - [c16]Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen:
An Example of Validation and Evaluation ofa Concurrent Program: Lamport's Fast Mutual Exclusion Algorithm. SIGMETRICS 1989: 222 - [c15]Gianfranco Balbo, Giovanni Chiola:
Stochastic petri net simulation. Winter Simulation Conference 1989: 266-276 - 1988
- [j10]Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo:
Product-Form Solution Techniques for the Performance Analysis of Multiple-Bus Multiprocessor Systems with Nonuniform Memory References. IEEE Trans. Computers 37(5): 532-540 (1988) - [j9]Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta:
Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System Behavior. IEEE Trans. Computers 37(10): 1251-1268 (1988) - 1987
- [c14]Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet:
Generalized stochastic Petri nets for the performance evaluation of FMS. ICRA 1987: 1013-1018 - [c13]Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte:
Applicability of Stochastic Petri Nets to Performance Modeling. Computer Performance and Reliability 1987: 517-534 - [c12]Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte:
Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities. PNPM 1987: 44-53 - [c11]Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet:
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. PNPM 1987: 136-145 - [c10]Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte:
Modeling the Software Architecture of a Prototype Parallel Machine. SIGMETRICS 1987: 175-185 - 1986
- [b1]Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte:
Performance models of multiprocessor systems. MIT Press series in computer systems, MIT Press 1986, ISBN 978-0-262-01093-1, pp. I-XIV, 1-280 - [j8]Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta:
The solution of homogeneous queueing networks with many job classes. Journal of Systems and Software 6(1-2): 41-53 (1986) - [j7]Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Susanna Donatelli:
On the product-form solution of a class of multiple-bus multiprocessor system models. Journal of Systems and Software 6(1-2): 117-124 (1986) - [j6]Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta:
Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of Some Software Blocking Phenomena. IEEE Trans. Software Eng. 12(4): 561-576 (1986) - 1985
- [c9]Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani:
On Petri Nets with Stochastic Timing. PNPM 1985: 80-87 - [c8]Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta:
Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of a Software Blocking Phenomenon. PNPM 1985: 208-225 - [c7]Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta:
Modeling Priority Schemes. SIGMETRICS 1985: 15-26 - 1984
- [j5]Steven C. Bruell, Gianfranco Balbo, P. V. Afshari:
Mean value analysis of mixed, multiple class BCMP networks with load dependent service stations. Perform. Eval. 4(4): 241-260 (1984) - [j4]Marco Ajmone Marsan, Gianni Conte, Gianfranco Balbo:
A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Trans. Comput. Syst. 2(2): 93-122 (1984) - [c6]Gianfranco Balbo, Antonio Di Leva, Giovanni Maria Sacco:
Adaptive Query Optimization in Point-To-Point Networks. DDSS 1984: 119-129 - [c5]Gianfranco Balbo, G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito:
Dynamics Analysis in Database Design. ICDE 1984: 238-243 - 1983
- [j3]Gianfranco Balbo, Steven C. Bruell:
Computational aspects of aggregation in multiple class queueing networks. Perform. Eval. 3(3): 177-185 (1983) - [j2]Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Francesco Gregoretti:
Modeling Bus Contention and Memory Interference in a Multiprocessor System. IEEE Trans. Computers 32(1): 60-72 (1983) - [c4]Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte:
A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems. SIGMETRICS 1983: 198-199 - 1982
- [j1]Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte:
Comparative Performance Analysis of Single Bus Multiprocessor Architectures. IEEE Trans. Computers 31(12): 1179-1191 (1982) - 1981
- [c3]Gianfranco Balbo, Steven C. Bruell:
Aggregation in Multiclass Queueing Networks. Int. CMG Conference 1981: 92-96
1970 – 1979
- 1979
- [c2]Gianfranco Balbo, Peter J. Denning:
Homogeneous Approximations of General Queueing Networks. Performance 1979: 353-374 - 1977
- [c1]Gianfranco Balbo, Steven C. Bruell, Herbert D. Schwetman:
Customer Classes and Closed Network Models-A Solution Technique. IFIP Congress 1977: 559-564
Coauthor Index
last updated on 2018-12-01 21:05 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint