Gianfranco Ciardo

Citée par

	Toutes	Depuis 2020
Citations	10050	1111
indice h	47	13
indice i10	107	24

580

290

145

435

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202533 60 79 147 135 197 189 117 162 211 239 230 268 306 351 309 377 446 292 381 321 357 365 561 520 453 460 402 355 392 250 254 197 211 164 34

Accès public

Tout afficher

11 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Kishor TrivediChaired Professor of Electrical and Computer Engineering, Duke UniversityAdresse e-mail validée de duke.edu
Jogesh K. MuppalaFormer Associate Professor of Computer Science and Engineering, Hong Kong University of Science andAdresse e-mail validée de cse.ust.hk
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)Adresse e-mail validée de di.unito.it
Yang ZhaoPh.D on Computer ScienceAdresse e-mail validée de cs.ucr.edu
Xiaoqing JinApple Inc.Adresse e-mail validée de cs.ucr.edu
Min WanUniversity of California, RiversideAdresse e-mail validée de cs.ucr.edu
Stefano LonardiProfessor of Computer Science, University of California, RiversideAdresse e-mail validée de cs.ucr.edu
Timothy J CloseUniversity of CaliforniaAdresse e-mail validée de ucr.edu
Francesca CorderoResearcher, University of Torino, ItalyAdresse e-mail validée de di.unito.it
Marco Ajmone MarsanIMDEA Networks Institute, SpainAdresse e-mail validée de imdea.org
Gianni Conteprofessore di ingegneria informatica, Università di ParmaAdresse e-mail validée de unipr.it
Tomas RokickiAdresse e-mail validée de cs.stanford.edu
Ming-Cheng LuoUniversity of California, DavisAdresse e-mail validée de ucdavis.edu
Antonio PuliafitoUniversità di MessinaAdresse e-mail validée de unime.it
Ekkart KindlerTechnical University of Denmark, DTU ComputeAdresse e-mail validée de dtu.dk
Paul L. E. GriecoProfessor of Economics, Pennsylvania State UniversityAdresse e-mail validée de psu.edu
Marek ChrobakUniversity of California at RiversideAdresse e-mail validée de cs.ucr.edu
Roberto SegalaUniversità di VeronaAdresse e-mail validée de univr.it

Suivre

Gianfranco Ciardo

Iowa State University

Adresse e-mail validée de iastate.edu - Page d'accueil

Formal Methods Stochastic Models Petri Nets


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
A physical, genetic and functional sequence assembly of the barley genome International Barley Genome Sequencing Consortium Nature 491 (7426), 711-716, 2012	1580	2012
SPNP: stochastic Petri net package G Ciardo, J Muppala, K Trivedi Proceedings of the Third International Workshop on Petri Nets and …, 1989	904	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	421	1993
A decomposition approach for stochastic reward net models G Ciardo, KS Trivedi Performance Evaluation 18 (1), 37-59, 1993	394	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	358	1994
Stochastic reward nets for reliability prediction J Muppala, G Ciardo, KS Trivedi Communications in reliability, maintainability and serviceability 1 (2), 9-20, 1994	266	1994
Efficient reachability set generation and storage using decision diagrams A Miner, G Ciardo Application and Theory of Petri Nets 1999, 691-691, 1999	231	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	225	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	198	2000
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	197	2005
Performability analysis using semi-Markov reward processes G Ciardo, RA Marie, B Sericola, KS Trivedi IEEE transactions on computers 39 (10), 1251-1264, 1990	189	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	188	1999
Discrete-event simulation of fluid stochastic Petri nets G Ciardo, DM Nicol, KS Trivedi IEEE transactions on software engineering 25 (2), 207-217, 1999	152	1999
On the solution of GSPN reward models G Ciardo, J Muppala, KS Trivedi Performance Evaluation 12 (4), 237-253, 1991	152	1991
EQUILOAD: a load balancing policy for clustered web servers G Ciardo, A Riska, E Smirni Performance Evaluation 46 (2), 101-124, 2001	141	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	140	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	125	1993

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs