Gianfranco Ciardo

Citado por

	Todos	Desde 2020
Citações	10044	1105
Índice h	47	13
Índice i10	107	23

580

290

145

435

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202533 60 79 147 135 197 189 117 162 211 239 229 268 306 351 309 377 446 293 381 321 357 365 561 520 453 460 402 356 392 250 254 197 211 163 29

Acesso público

Ver tudo

11 artigos

0 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Kishor TrivediChaired Professor of Electrical and Computer Engineering, Duke UniversityEmail confirmado em duke.edu
Jogesh K. MuppalaFormer Associate Professor of Computer Science and Engineering, Hong Kong University of Science andEmail confirmado em cse.ust.hk
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)Email confirmado em di.unito.it
Yang ZhaoPh.D on Computer ScienceEmail confirmado em cs.ucr.edu
Xiaoqing JinApple Inc.Email confirmado em cs.ucr.edu
Min WanUniversity of California, RiversideEmail confirmado em cs.ucr.edu
Stefano LonardiProfessor of Computer Science, University of California, RiversideEmail confirmado em cs.ucr.edu
Timothy J CloseUniversity of CaliforniaEmail confirmado em ucr.edu
Francesca CorderoResearcher, University of Torino, ItalyEmail confirmado em di.unito.it
Marco Ajmone MarsanIMDEA Networks Institute, SpainEmail confirmado em imdea.org
Gianni Conteprofessore di ingegneria informatica, Università di ParmaEmail confirmado em unipr.it
Tomas RokickiEmail confirmado em cs.stanford.edu
Ming-Cheng LuoUniversity of California, DavisEmail confirmado em ucdavis.edu
Antonio PuliafitoUniversità di MessinaEmail confirmado em unime.it
Ekkart KindlerTechnical University of Denmark, DTU ComputeEmail confirmado em dtu.dk
Paul L. E. GriecoProfessor of Economics, Pennsylvania State UniversityEmail confirmado em psu.edu
Marek ChrobakUniversity of California at RiversideEmail confirmado em cs.ucr.edu
Roberto SegalaUniversità di VeronaEmail confirmado em univr.it

Seguir

Gianfranco Ciardo

Iowa State University

Email confirmado em iastate.edu - Página inicial

Formal Methods Stochastic Models Petri Nets


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
A physical, genetic and functional sequence assembly of the barley genome International Barley Genome Sequencing Consortium Nature 491 (7426), 711-716, 2012	1577	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	393	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	129	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

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores