default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGianfranco Balbo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i4]Gianfranco Balbo, Andrea Marin, Diletta Olliaro, Matteo Sereno:
Computational Algorithms for the Product Form Solution of Closed Queuing Networks with Finite Buffers and Skip-Over Policy. CoRR abs/2409.08075 (2024)- 2023
- [c40]Diletta Olliaro
, Gianfranco Balbo, Andrea Marin, Matteo Sereno:
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions. QEST 2023: 110-126 - 2020
- [j34]Paolo Castagno, Simone Pernice, Gianni Ghetti, Massimiliano Povero, Lorenzo Pradelli, Daniela Paolotti, Gianfranco Balbo, Matteo Sereno, Marco Beccuti:
A computational framework for modeling and studying pertussis epidemiology and vaccination. BMC Bioinform. 21-S(8): 344 (2020) - [j33]Simone Pernice, Laura Follia, Gianfranco Balbo, Luciano Milanesi, Giulia Sartini, Niccoló Totis, Pietro Lió, Ivan Merelli, Francesca Cordero, Marco Beccuti:
Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice. Fundam. Informaticae 171(1-4): 367-392 (2020) - [i3]Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero:
Multiple Sclerosis disease: a computational approach for investigating its drug interactions. CoRR abs/2006.00813 (2020)
2010 – 2019
- 2019
- [j32]Simone Pernice, Marzio Pennisi, Greta Romano, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Gianfranco Balbo, Marco Beccuti, Francesca Cordero, Raffaele A. Calogero:
A computational approach based on the colored Petri net formalism for studying multiple sclerosis. BMC Bioinform. 20-S(6): 623 (2019) - [c39]Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero:
Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions. CIBB 2019: 299-308 - [p1]Gianfranco Balbo, Gianfranco Ciardo:
On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems. Carl Adam Petri: Ideas, Personality, Impact 2019: 173-185 - 2016
- [j31]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
- [j30]Chiara Fornari, Gianfranco Balbo, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Raffaele A. Calogero, Francesca Cordero, Marco Beccuti:
A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression. BMC Syst. Biol. 9(S-3): S1 (2015) - [j29]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) - [j28]Gianfranco Balbo, Maria Grazia Vigliotti:
On the Analysis of a M/M/1 Queue with Bulk Services. Comput. J. 58(1): 57-74 (2015) - [j27]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) - [c38]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
- [c37]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
- [j26]Francesca Cordero, Marco Beccuti, Chiara Fornari, Stefania Lanzardo, Laura Conti, Federica Cavallo, Gianfranco Balbo, Raffaele A. Calogero:
Multi-level model for the investigation of oncoantigen-driven vaccination effect. BMC Bioinform. 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
- [c36]Gianfranco Balbo:
Titans talk on "modeling and simulation of complex systems: are petri nets useful?". WSC 2012: 321:1 - 2011
- [j25]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) - [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) - [c35]Francesca Cordero, Stefania Lanzardo, Maddalena Arigoni, Chiara Fornari, Laura Conti, Gianfranco Balbo, Federica Cavallo, Daniele Manini, Raffaele A. Calogero:
Cancer stem cell based adjuvant for oncoantingen-driven vaccination. BCB 2011: 564-568 - [c34]Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis:
Computing first passage time distributions in stochastic well-formed nets. ICPE 2011: 7-18 - [c33]Chiara Fornari, Francesca Cordero, Daniele Manini, Gianfranco Balbo, Raffaele A. Calogero:
Mathematical Approach to Predict the Drug Effects on Cancer Stem Cell Models. CS2Bio@DisCoTec 2011: 29-39 - 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]Gianfranco Balbo:
Introduction to Generalized Stochastic Petri Nets. SFM 2007: 83-131 - 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. Evaluation 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 Perform. Evaluation Rev. 26(2): 2 (1998) - 1997
- [j19]Matteo Sereno, Gianfranco Balbo:
Mean Value Analysis of Stochastic Petri Nets. Perform. Evaluation 29(1): 35-62 (1997) - [j18]Gianfranco Balbo, Giuseppe Serazzi:
Asymptotic Analysis of Multiclass Closed Queueing Networks: Multiple Bottlenecks. Perform. Evaluation 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. Evaluation 26(1): 51-72 (1996) - 1995
- [c22]Gianfranco Balbo:
On the success of stochastic Petri nets. PNPM 1995: 2-9 - 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. Evaluation 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]Gianfranco Balbo:
Performance Evaluation and Concurrent Programming. MMB 1993: 1-14 - [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 Distributed 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 Distributed 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 J. Sel. Areas Commun. 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. WSC 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
- [b2]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. J. Syst. Softw. 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. J. Syst. Softw. 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. Evaluation 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. Evaluation 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
- [b1]Gianfranco Balbo:
Approximate solutions of queueing network models of computer systems. Purdue University, USA, 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-14 23:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
