Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarGianfranco 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
maintained by 
, founded at 
, founded at 
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
the dblp computer science bibliography is funded by:
