Gianfranco Balbo

According to our database1, Gianfranco Balbo authored at least 74 papers between 1977 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice.
Fundam. Informaticae, 2020

Multiple Sclerosis disease: a computational approach for investigating its drug interactions.
CoRR, 2020

A computational framework for modeling and studying pertussis epidemiology and vaccination.
BMC Bioinform., 2020

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
Approximate analysis of biological systems by hybrid switching jump diffusion.
Theor. Comput. Sci., 2015

From Symmetric Nets to Differential Equations exploiting Model Symmetries.
Comput. J., 2015

On the Analysis of a M/M/1 Queue with Bulk Services.
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
Analysis of Petri Net Models through Stochastic Differential Equations.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013
Multi-level model for the investigation of oncoantigen-driven vaccination effect.
BMC Bioinform., 2013

2012
Titans talk on "modeling and simulation of complex systems: are petri nets useful?".
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

Mathematical Approach to Predict the Drug Effects on Cancer Stem Cell Models.
Electron. Notes Theor. Comput. Sci., 2011

First Passage Time Computation in Tagged GSPNs with Queue Places.
Comput. J., 2011

Computing first passage time distributions in stochastic well-formed nets.
Proceedings of the ICPE'11, 2011

Cancer stem cell based adjuvant for oncoantingen-driven vaccination.
Proceedings of the ACM International Conference on Bioinformatics, 2011

2010
Stochastic Petri Nets Sensitivity to Token Scheduling Policies.
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
Tagged Generalized Stochastic Petri Nets.
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
Introduction to Generalized Stochastic Petri Nets.
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
Product Form Solution for Generalized Stochastic Petri Nets.
IEEE Trans. Software Eng., 2002

2001
Concurrent Generalized Petri Nets: Regenerative Conditions.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Embedded Processes in Generalized Stochastic Petri Nets.
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

Introduction to Stochastic Petri Nets.
Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

The Early Days of GSPNs.
Proceedings of the Performance Evaluation: Origins and Directions, 2000

1998
Modelling with Generalized Stochastic Petri Nets.
SIGMETRICS Perform. Evaluation Rev., 1998

1997
Mean Value Analysis of Stochastic Petri Nets.
Perform. Evaluation, 1997

Asymptotic Analysis of Multiclass Closed Queueing Networks: Multiple Bottlenecks.
Perform. Evaluation, 1997

1996
Asymptotic Analysis of Multiclass Closed Queueing Networks: Common Bottleneck.
Perform. Evaluation, 1996

1995
On the success of stochastic Petri nets.
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

Arrival Theorems for Product-Form Stochastic Petri Nets.
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

Computational algorithms for product form solution stochastic Petri nets.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

Performance Evaluation and Concurrent Programming.
Proceedings of the Messung, 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

Understanding Parallel Program Behavior through Petri Net Models.
J. Parallel Distributed Comput., 1992

Performance Issues in Parallel Programming.
Proceedings of the Application and Theory of Petri Nets 1992, 1992

1990
TOPNET: A Tool for the Visual Simulation of Communication Networks.
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

Stochastic petri net simulation.
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
Modeling the Software Architecture of a Prototype Parallel Machine.
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

Generalized stochastic Petri nets for the performance evaluation of FMS.
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

The solution of homogeneous queueing networks with many job classes.
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
Modeling Priority Schemes.
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

Dynamics Analysis in Database Design.
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
Modeling Bus Contention and Memory Interference in a Multiprocessor System.
IEEE Trans. Computers, 1983

Computational aspects of aggregation in multiple class queueing networks.
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
Comparative Performance Analysis of Single Bus Multiprocessor Architectures.
IEEE Trans. Computers, 1982

1981
Aggregation in Multiclass Queueing Networks.
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


  Loading...