Gianfranco Ciardo

Cytowane przez

	Wszystkie	Od 2020
Cytowania	10048	1110
h-indeks	47	13
i10-indeks	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 33

Dostęp publiczny

Wyświetl wszystko

11 artykułów

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Kishor TrivediChaired Professor of Electrical and Computer Engineering, Duke UniversityZweryfikowany adres z duke.edu
Jogesh K. MuppalaFormer Associate Professor of Computer Science and Engineering, Hong Kong University of Science andZweryfikowany adres z cse.ust.hk
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)Zweryfikowany adres z di.unito.it
Yang ZhaoPh.D on Computer ScienceZweryfikowany adres z cs.ucr.edu
Xiaoqing JinApple Inc.Zweryfikowany adres z cs.ucr.edu
Min WanUniversity of California, RiversideZweryfikowany adres z cs.ucr.edu
Stefano LonardiProfessor of Computer Science, University of California, RiversideZweryfikowany adres z cs.ucr.edu
Timothy J CloseUniversity of CaliforniaZweryfikowany adres z ucr.edu
Francesca CorderoResearcher, University of Torino, ItalyZweryfikowany adres z di.unito.it
Marco Ajmone MarsanIMDEA Networks Institute, SpainZweryfikowany adres z imdea.org
Gianni Conteprofessore di ingegneria informatica, Università di ParmaZweryfikowany adres z unipr.it
Tomas RokickiZweryfikowany adres z cs.stanford.edu
Ming-Cheng LuoUniversity of California, DavisZweryfikowany adres z ucdavis.edu
Antonio PuliafitoUniversità di MessinaZweryfikowany adres z unime.it
Ekkart KindlerTechnical University of Denmark, DTU ComputeZweryfikowany adres z dtu.dk
Paul L. E. GriecoProfessor of Economics, Pennsylvania State UniversityZweryfikowany adres z psu.edu
Marek ChrobakUniversity of California at RiversideZweryfikowany adres z cs.ucr.edu
Roberto SegalaUniversità di VeronaZweryfikowany adres z univr.it

Obserwuj

Gianfranco Ciardo

Iowa State University

Zweryfikowany adres z iastate.edu - Strona główna

Formal Methods Stochastic Models Petri Nets


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
A physical, genetic and functional sequence assembly of the barley genome International Barley Genome Sequencing Consortium Nature 491 (7426), 711-716, 2012	1579	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	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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy