Gianfranco Ciardo
Gianfranco Ciardo
Verified email at iastate.edu - Homepage
TitleCited byYear
A physical, genetic and functional sequence assembly of the barley genome
International Barley Genome Sequencing Consortium
Nature 491 (7426), 711-716, 2012
10122012
SPNP: stochastic Petri net package
G Ciardo, J Muppala, K Trivedi
Proceedings of the Third International Workshop on Petri Nets and …, 1989
7981989
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
3551993
A decomposition approach for stochastic reward net models
G Ciardo, KS Trivedi
Performance Evaluation 18 (1), 37-59, 1993
3441993
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
2911994
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
214*2000
Efficient reachability set generation and storage using decision diagrams
A Miner, G Ciardo
Application and Theory of Petri Nets 1999, 691-691, 1999
2111999
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
1922001
Stochastic reward nets for reliability prediction
J Muppala, G Ciardo, KS Trivedi
Communications in reliability, maintainability and serviceability 1 (2), 9-20, 1994
1821994
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
1791999
Performability analysis using semi-Markov reward processes
G Ciardo, RA Marie, B Sericola, KS Trivedi
IEEE transactions on computers 39 (10), 1251-1264, 1990
1611990
Logic and stochastic modeling with SMART
G Ciardo, RL Jones III, AS Miner, RI Siminiceanu
Performance Evaluation 63 (6), 578-608, 2006
155*2006
Discrete-event simulation of fluid stochastic Petri nets
G Ciardo, DM Nicol, KS Trivedi
IEEE transactions on software engineering 25 (2), 207-217, 1999
1451999
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
1352005
On the solution of GSPN reward models
G Ciardo, J Muppala, KS Trivedi
Performance Evaluation 12 (4), 237-253, 1991
1351991
Distributed state space generation of discrete-state stochastic models
G Ciardo, J Gluckman, DM Nicol
INFORMS Journal on Computing 10 (1), 82-93, 1998
1321998
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
1251996
EQUILOAD: a load balancing policy for clustered web servers
G Ciardo, A Riska, E Smirni
Performance Evaluation 46 (2), 101-124, 2001
1192001
Saturation unbound
G Ciardo, R Marmorstein, R Siminiceanu
International Conference on Tools and Algorithms for the Construction and …, 2003
1162003
Petri nets with marking-dependent arc cardinality: Properties and analysis
G Ciardo
Application and Theory of Petri Nets 1994, 179-198, 1994
1151994
The system can't perform the operation now. Try again later.
Articles 1–20