Follow
Gianfranco Ciardo
Gianfranco Ciardo
Verified email at iastate.edu - Homepage
Title
Cited by
Cited by
Year
A physical, genetic and functional sequence assembly of the barley genome
International Barley Genome Sequencing Consortium
Nature 491 (7426), 711-716, 2012
15562012
SPNP: stochastic Petri net package
G Ciardo, J Muppala, K Trivedi
Proceedings of the Third International Workshop on Petri Nets and …, 1989
9021989
Automated generation and analysis of Markov reward models using stochastic reward nets
G Ciardo, A Blakemore, PF Chimento Jr, JK Muppala, KS Trivedi
Linear Algebra, Markov Chains, and Queueing Models, 145-191, 1993
4191993
A decomposition approach for stochastic reward net models
G Ciardo, KS Trivedi
Performance Evaluation 18 (1), 37-59, 1993
3961993
A characterization of the stochastic process underlying a stochastic Petri net
G Ciardo, R German, C Lindemann
IEEE Transactions on Software Engineering 20 (7), 506-515, 1994
3571994
Stochastic reward nets for reliability prediction
J Muppala, G Ciardo, KS Trivedi
Communications in reliability, maintainability and serviceability 1 (2), 9-20, 1994
2621994
Efficient reachability set generation and storage using decision diagrams
A Miner, G Ciardo
Application and Theory of Petri Nets 1999, 691-691, 1999
2311999
Saturation: An efficient iteration strategy for symbolic state-space generation
G Ciardo, G Lüttgen, R Siminiceanu
Tools and Algorithms for the Construction and Analysis of Systems, 328-342, 2001
2212001
Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models
P Buchholz, G Ciardo, S Donatelli, P Kemper
INFORMS Journal on Computing 12 (3), 203-222, 2000
1972000
Workload-aware load balancing for clustered web servers
Q Zhang, A Riska, W Sun, E Smirni, G Ciardo
IEEE Transactions on Parallel and Distributed Systems 16 (3), 219-233, 2005
1962005
Performability analysis using semi-Markov reward processes
G Ciardo, RA Marie, B Sericola, KS Trivedi
IEEE transactions on computers 39 (10), 1251-1264, 1990
1931990
A data structure for the efficient Kronecker solution of GSPNs
G Ciardo, AS Miner
Proceedings 8th International Workshop on Petri Nets and Performance Models …, 1999
1911999
Discrete-event simulation of fluid stochastic Petri nets
G Ciardo, DM Nicol, KS Trivedi
IEEE transactions on software engineering 25 (2), 207-217, 1999
1521999
On the solution of GSPN reward models
G Ciardo, J Muppala, KS Trivedi
Performance Evaluation 12 (4), 237-253, 1991
1511991
Distributed state space generation of discrete-state stochastic models
G Ciardo, J Gluckman, DM Nicol
INFORMS Journal on Computing 10 (1), 82-93, 1998
1421998
EQUILOAD: a load balancing policy for clustered web servers
G Ciardo, A Riska, E Smirni
Performance Evaluation 46 (2), 101-124, 2001
1412001
On the use of Kronenecker operators for the solution of Generalized Stochastic Petri Nets
G Ciardo, M Tilgner
INSTITUTE FOR COMPUTER APPLICATIONS IN SCIENCE AND ENGINEERING HAMPTON VA, 1996
133*1996
Petri nets with marking-dependent arc cardinality: Properties and analysis
G Ciardo
Application and Theory of Petri Nets 1994, 179-198, 1994
1311994
Saturation unbound
G Ciardo, R Marmorstein, R Siminiceanu
International Conference on Tools and Algorithms for the Construction and …, 2003
1262003
Analysis of deterministic and stochastic Petri nets
G Ciardo, C Lindemann
Proceedings of 5th International Workshop on Petri Nets and Performance …, 1993
1221993
The system can't perform the operation now. Try again later.
Articles 1–20