Gianfranco Balbo
Orcid: 0000-0001-8719-9267
According to our database1,
Gianfranco Balbo
authored at least 76 papers
between 1977 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
2020
Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice.
Fundam. Informaticae, 2020
A computational framework for modeling and studying pertussis epidemiology and vaccination.
BMC Bioinform., 2020
2019
A computational approach based on the colored Petri net formalism for studying multiple sclerosis.
BMC Bioinform., December, 2019
Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019
On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems.
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019
2016
Exploiting flow equivalent server in transient analysis.
Comput. Syst. Sci. Eng., 2016
2015
Theor. Comput. Sci., 2015
Comput. J., 2015
A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression.
BMC Syst. Biol., 2015
Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2015
2014
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
2013
BMC Bioinform., 2013
2012
Proceedings of the Winter Simulation Conference, 2012
2011
Simplification of a complex signal transduction model using invariants and flow equivalent servers.
Theor. Comput. Sci., 2011
Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 2011
Proceedings of the ICPE'11, 2011
Proceedings of the ACM International Conference on Bioinformatics, 2011
2010
Proceedings of the Operations Research Proceedings 2010, 2010
Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server.
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010
2009
Proceedings of the Computer Performance Engineering, 2009
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009
2007
Proceedings of the Formal Methods for Performance Evaluation, 2007
2005
A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks.
Perform. Evaluation, 2005
2003
On the relations between BCMP queueing networks and product form solution stochastic petri nets.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003
2002
IEEE Trans. Software Eng., 2002
2001
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
2000
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., 2000
Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000
Proceedings of the Performance Evaluation: Origins and Directions, 2000
1998
SIGMETRICS Perform. Evaluation Rev., 1998
1997
Perform. Evaluation, 1997
1996
Perform. Evaluation, 1996
1995
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995
1994
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs.
Perform. Evaluation, 1994
Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1994
1993
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications.
IEEE Trans. Software Eng., 1993
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993
1992
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., 1992
J. Parallel Distributed Comput., 1992
Proceedings of the Application and Theory of Petri Nets 1992, 1992
1990
IEEE J. Sel. Areas Commun., 1990
1989
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets.
IEEE Trans. Software Eng., 1989
Proceedings of the 21st Winter Simulation Conference, 1989
An Example of Validation and Evaluation ofa Concurrent Program: Lamport's Fast Mutual Exclusion Algorithm.
Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1989
Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989
1988
Product-Form Solution Techniques for the Performance Analysis of Multiple-Bus Multiprocessor Systems with Nonuniform Memory References.
IEEE Trans. Computers, 1988
Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System Behavior.
IEEE Trans. Computers, 1988
1987
Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1987
Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities.
Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets.
Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987
Applicability of Stochastic Petri Nets to Performance Modeling.
Proceedings of the Computer Performance and Reliability, 1987
Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987
1986
Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of Some Software Blocking Phenomena.
IEEE Trans. Software Eng., 1986
On the product-form solution of a class of multiple-bus multiprocessor system models.
J. Syst. Softw., 1986
J. Syst. Softw., 1986
Performance models of multiprocessor systems.
MIT Press series in computer systems, MIT Press, ISBN: 978-0-262-01093-1, 1986
1985
Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1985
On Petri Nets with Stochastic Timing.
Proceedings of the International Workshop on Timed Petri Nets, 1985
Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of a Software Blocking Phenomenon.
Proceedings of the International Workshop on Timed Petri Nets, 1985
1984
A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems
ACM Trans. Comput. Syst., 1984
Mean value analysis of mixed, multiple class BCMP networks with load dependent service stations.
Perform. Evaluation, 1984
Proceedings of the First International Conference on Data Engineering, 1984
Adaptive Query Optimization in Point-To-Point Networks.
Proceedings of the Distributed Data Sharing Systems, 1984
1983
IEEE Trans. Computers, 1983
Perform. Evaluation, 1983
A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 1983
1982
IEEE Trans. Computers, 1982
1981
Proceedings of the Seventh International Computer Measurement Group Conference, 1981
1979
Homogeneous Approximations of General Queueing Networks.
Proceedings of the Performance of Computer Systems, 1979
1977
Customer Classes and Closed Network Models-A Solution Technique.
Proceedings of the Information Processing, 1977