dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Gianfranco Balbo Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis: Computing first passage time distributions in stochastic well-formed nets. ICPE 2011: 7-18
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco 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)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara 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)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesca 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)
2010
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessio 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
2009
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucia 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis: Tagged Generalized Stochastic Petri Nets. EPEW 2009: 1-15
2007
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo: Introduction to Generalized Stochastic Petri Nets. SFM 2007: 83-131
2005
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRossano 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)
2002
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Steven C. Bruell, Matteo Sereno: Product Form Solution for Generalized Stochastic Petri Nets. IEEE Trans. Software Eng. 28(10): 915-932 (2002)
2000
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo: Introduction to Stochastic Petri Nets. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 84-155
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Ajmone Marsan, Gianfranco Balbo, Gianni Conte: The Early Days of GSPNs. Performance Evaluation 2000: 505-512
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco 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)
1998
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Azéma, Gianfranco Balbo: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings Springer 1997
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Sereno, Gianfranco Balbo: Mean Value Analysis of Stochastic Petri Nets. Perform. Eval. 29(1): 35-62 (1997)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Giuseppe Serazzi: Asymptotic Analysis of Multiclass Closed Queueing Networks: Multiple Bottlenecks. Perform. Eval. 30(3): 115-152 (1997)
1996
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Giuseppe Serazzi: Asymptotic Analysis of Multiclass Closed Queueing Networks: Common Bottleneck. Perform. Eval. 26(1): 51-72 (1996)
1994
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Steven C. Bruell, Matteo Sereno: Arrival Theorems for Product-Form Stochastic Petri Nets. SIGMETRICS 1994: 87-97
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco 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)
1993
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo: Performance Evaluation and Concurrent Programming. MMB 1993: 1-14
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni 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)
1992
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo: Performance Issues in Parallel Programming. Application and Theory of Petri Nets 1992: 1-23
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco 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)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis: Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distrib. Comput. 15(3): 171-187 (1992)
1990
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
1989
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven C. Bruell, Pozung Chen, Gianfranco Balbo: Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets. PNPM 1989: 187-197
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Giovanni Chiola: Stochastic petri net simulation. Winter Simulation Conference 1989: 266-276
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
1988
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco 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)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni 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)
1987
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte: Applicability of Stochastic Petri Nets to Performance Modeling. Computer Performance and Reliability 1987: 517-534
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco 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
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte: Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities. PNPM 1987: 44-53
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte: Modeling the Software Architecture of a Prototype Parallel Machine. SIGMETRICS 1987: 175-185
1986
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Ajmone Marsan, Gianfranco Balbo, Gianni Conte: Performance models of multiprocessor systems. MIT Press 1986: I-XIV, 1-280
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco 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)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco 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)
1985
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco 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
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani: On Petri Nets with Stochastic Timing. PNPM 1985: 80-87
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Steven C. Bruell, Subbarao Ghanta: Modeling Priority Schemes. SIGMETRICS 1985: 15-26
1984
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Antonio Di Leva, Giovanni Maria Sacco: Adaptive Query Optimization in Point-To-Point Networks. DDSS 1984: 119-129
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito: Dynamics Analysis in Database Design. ICDE 1984: 238-243
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven 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)
1983
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Ajmone Marsan, Gianfranco Balbo, Gianni Conte: A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems. SIGMETRICS 1983: 198-199
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Steven C. Bruell: Computational aspects of aggregation in multiple class queueing networks. Perform. Eval. 3(3): 177-185 (1983)
1982
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Ajmone Marsan, Gianfranco Balbo, Gianni Conte: Comparative Performance Analysis of Single Bus Multiprocessor Architectures. IEEE Trans. Computers 31(12): 1179-1191 (1982)
1981
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Steven C. Bruell: Aggregation in Multiclass Queueing Networks. Int. CMG Conference 1981: 92-96
1979
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Peter J. Denning: Homogeneous Approximations of General Queueing Networks. Performance 1979: 353-374
1977
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco Balbo, Steven C. Bruell, Herbert D. Schwetman: Customer Classes and Closed Network Models-A Solution Technique. IFIP Congress 1977: 559-564

Coauthor Index

1P. V. Afshari [8]
2Alessio Angius [50]
3Pierre Azéma [40]
4Marco Beccuti [53] [54]
5Andrea Bobbio [13] [25]
6Steven C. Bruell [1] [3] [5] [8] [12] [14] [15] [17] [24] [27] [28] [31] [36] [45] [46]
7Giorgio Bruno [29]
8Federico Bussolino [49] [51]
9Raffaele Calogero [52]
10Pozung Chen [27] [28] [31]
11Giovanni Chiola [13] [16] [19] [20] [21] [22] [23] [25] [26] [27] [31] [33]
12Gianni Conte [4] [6] [7] [9] [13] [18] [19] [20] [22] [25] [33] [41] [43]
13Francesca Cordero [49] [50] [51] [52]
14Aldo Cumani [13] [25]
15G. Barbara Demo [10]
16Peter J. Denning [2]
17Susanna Donatelli [16] [30] [35] [41]
18Chiara Fornari [52]
19Giuliana Franceschinis [21] [30] [35] [41] [48] [53] [54]
20Rossano Gaeta [46]
21Subbarao Ghanta [12] [14] [15] [17] [24]
22Piercarlo Giolito [10]
23Francesco Gregoretti [6]
24Marco Gribaudo [46]
25András Horváth [49] [50] [51]
26Antonio Di Leva [10] [11]
27Daniele Manini [49] [50] [51] [52]
28Marco Ajmone Marsan [4] [6] [7] [9] [13] [16] [18] [19] [20] [22] [23] [25] [29] [33] [41] [43]
29Antonino Mazzeo [35]
30Nicola Mazzocca [35]
31Lucia Napione [49] [51]
32Fabio Neri [29]
33Simona Pavan [49] [51]
34Andrea Picco [49] [51]
35Massimiliano De Pierro [48] [49] [51] [53] [54]
36Marina Ribaudo [35]
37G. Molinar Roet [21]
38Giovanni Maria Sacco [11]
39Herbert D. Schwetman [1]
40Giuseppe Serazzi [37] [38]
41Matteo Sereno [36] [39] [45] [46] [49] [51]
42Andrea Veglio [49] [51]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page