| A physical, genetic and functional sequence assembly of the barley genome International Barley Genome Sequencing Consortium Nature 491 (7426), 711-716, 2012 | 1634 | 2012 |
| SPNP: stochastic Petri net package G Ciardo, J Muppala, K Trivedi Proceedings of the Third International Workshop on Petri Nets and …, 1989 | 902 | 1989 |
| 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 | 420 | 1993 |
| A decomposition approach for stochastic reward net models G Ciardo, KS Trivedi Performance Evaluation 18 (1), 37-59, 1993 | 389 | 1993 |
| 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 | 359 | 1994 |
| Stochastic reward nets for reliability prediction J Muppala, G Ciardo, KS Trivedi Communications in reliability, maintainability and serviceability 1 (2), 9-20, 1994 | 269 | 1994 |
| Efficient reachability set generation and storage using decision diagrams A Miner, G Ciardo Application and Theory of Petri Nets 1999, 691-691, 1999 | 234 | 1999 |
| 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 | 224 | 2001 |
| 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 | 195 | 2000 |
| Performability analysis using semi-Markov reward processes G Ciardo, RA Marie, B Sericola, KS Trivedi IEEE transactions on computers 39 (10), 1251-1264, 1990 | 193 | 1990 |
| 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 | 183 | 1999 |
| 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 | 163 | 2005 |
| Discrete-event simulation of fluid stochastic Petri nets G Ciardo, DM Nicol, KS Trivedi IEEE transactions on software engineering 25 (2), 207-217, 1999 | 155 | 1999 |
| On the solution of GSPN reward models G Ciardo, J Muppala, KS Trivedi Performance Evaluation 12 (4), 237-253, 1991 | 149 | 1991 |
| EQUILOAD: a load balancing policy for clustered web servers G Ciardo, A Riska, E Smirni Performance Evaluation 46 (2), 101-124, 2001 | 144 | 2001 |
| Distributed state space generation of discrete-state stochastic models G Ciardo, J Gluckman, DM Nicol INFORMS Journal on Computing 10 (1), 82-93, 1998 | 138 | 1998 |
| 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 | 132* | 1996 |
| Petri nets with marking-dependent arc cardinality: Properties and analysis G Ciardo Application and Theory of Petri Nets 1994, 179-198, 1994 | 130 | 1994 |
| Saturation unbound G Ciardo, R Marmorstein, R Siminiceanu International Conference on Tools and Algorithms for the Construction and …, 2003 | 128 | 2003 |
| Analysis of deterministic and stochastic Petri nets G Ciardo, C Lindemann Proceedings of 5th International Workshop on Petri Nets and Performance …, 1993 | 127 | 1993 |
Kishor TrivediChaired Professor of Electrical and Computer Engineering, Duke UniversityVerified email at duke.edu
