Gianfranco Ciardo

Citado por

	Total	Desde 2019
Citas	9850	1362
Índice h	46	16
Índice i10	106	29

560

280

140

420

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202433 61 76 144 124 189 198 118 154 214 237 221 254 308 350 315 374 444 292 388 332 349 359 551 522 455 451 396 351 381 243 253 205 214 65

Acceso público

Ver todo

8 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Kishor TrivediChaired Professor of Electrical and Computer Engineering, Duke UniversityDirección de correo verificada de duke.edu
Jogesh K. MuppalaFormer Associate Professor of Computer Science and Engineering, Hong Kong University of Science andDirección de correo verificada de cse.ust.hk
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)Dirección de correo verificada de di.unito.it
Yang ZhaoPh.D on Computer ScienceDirección de correo verificada de cs.ucr.edu
Xiaoqing JinApple Inc.Dirección de correo verificada de cs.ucr.edu
Min WanUniversity of California, RiversideDirección de correo verificada de cs.ucr.edu
Stefano LonardiProfessor of Computer Science, University of California, RiversideDirección de correo verificada de cs.ucr.edu
Timothy J CloseUniversity of CaliforniaDirección de correo verificada de ucr.edu
Francesca CorderoResearcher, University of Torino, ItalyDirección de correo verificada de di.unito.it
Marco Ajmone MarsanIMDEA Networks Institute, SpainDirección de correo verificada de imdea.org
Gianni Conteprofessore di ingegneria informatica, Università di ParmaDirección de correo verificada de unipr.it
Tomas RokickiDirección de correo verificada de cs.stanford.edu
Antonio PuliafitoUniversità di MessinaDirección de correo verificada de unime.it
Ming-Cheng LuoUniversity of California, DavisDirección de correo verificada de ucdavis.edu
Ekkart KindlerTechnical University of Denmark, DTU ComputeDirección de correo verificada de dtu.dk
Paul L. E. GriecoProfessor of Economics, Pennsylvania State UniversityDirección de correo verificada de psu.edu
Marek ChrobakUniversity of California at RiversideDirección de correo verificada de cs.ucr.edu
Roberto SegalaUniversità di VeronaDirección de correo verificada de univr.it

Seguir

Gianfranco Ciardo

Iowa State University

Dirección de correo verificada de iastate.edu - Página principal

Formal Methods Stochastic Models Petri Nets


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
A physical, genetic and functional sequence assembly of the barley genome International Barley Genome Sequencing Consortium Nature 491 (7426), 711-716, 2012	1534	2012
SPNP: stochastic Petri net package G Ciardo, J Muppala, K Trivedi Proceedings of the Third International Workshop on Petri Nets and …, 1989	893	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	417	1993
A decomposition approach for stochastic reward net models G Ciardo, KS Trivedi Performance Evaluation 18 (1), 37-59, 1993	392	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	350	1994
Stochastic reward nets for reliability prediction J Muppala, G Ciardo, KS Trivedi Communications in reliability, maintainability and serviceability 1 (2), 9-20, 1994	255	1994
Efficient reachability set generation and storage using decision diagrams A Miner, G Ciardo Application and Theory of Petri Nets 1999, 691-691, 1999	230	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	215	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	192	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	192	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	189	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	151	1999
On the solution of GSPN reward models G Ciardo, J Muppala, KS Trivedi Performance Evaluation 12 (4), 237-253, 1991	146	1991
Distributed state space generation of discrete-state stochastic models G Ciardo, J Gluckman, DM Nicol INFORMS Journal on Computing 10 (1), 82-93, 1998	144	1998
EQUILOAD: a load balancing policy for clustered web servers G Ciardo, A Riska, E Smirni Performance Evaluation 46 (2), 101-124, 2001	141	2001
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	128	1994
Saturation unbound G Ciardo, R Marmorstein, R Siminiceanu International Conference on Tools and Algorithms for the Construction and …, 2003	125	2003
Analysis of deterministic and stochastic Petri nets G Ciardo, C Lindemann Proceedings of 5th International Workshop on Petri Nets and Performance …, 1993	120	1993

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores