World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
49
Citations
9915
World Ranking
5872
National Ranking
2660

Overview

Gianfranco Ciardo is affiliated with Iowa State University in the United States. Their research primarily lies within the broader field of Computer Science, with additional work in Business, Management and Accounting.

Their main areas of study include:

  • Computational Theory and Mathematics
  • Artificial Intelligence
  • Software
  • Management of Technology and Innovation
  • Management Science and Operations Research

Regarding research topics, Gianfranco Ciardo has contributed to several key areas including:

  • Formal Methods in Verification
  • Model-Driven Software Engineering Techniques
  • Advanced Software Engineering Methodologies
  • Petri Nets in System Modeling
  • Software Reliability and Analysis Research
  • Product Development and Customization
  • Multi-Criteria Decision Making

The scientist's recent publications encompass works that address both theoretical foundations and practical applications. Among these are:

  • "CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions" (2022) published in the International Journal on Software Tools for Technology Transfer
  • "The footprint form of a matrix: Definition, properties, and an application" (2022) published in Linear Algebra and its Applications

The venues in which their research has been published reflect a focus on software tools and mathematical applications. These venues include:

  • International Journal on Software Tools for Technology Transfer
  • Linear Algebra and its Applications

Collaborations form an important part of their scholarly work. Frequent co-authors include:

  • Andrew S. Miner
  • Junaid Babar
  • Elvio Gilberto Amparore
  • Eshita Zaman
  • Erika Ábrahám

In addition to articles, Gianfranco Ciardo has contributed to book publications. One documented example is a contribution to a volume published by Springer Science+Business Media titled "Transactions on Petri Nets and Other Models of Concurrency XVII" (2023).

Best Publications

  • A physical, genetic and functional sequence assembly of the barley genome

    Klaus F.X. Mayer;Robbie Waugh;Peter Langridge;Timothy J. Close

  • SPNP: stochastic Petri net package

    G. Ciardo;J. Muppala;K. Trivedi

  • Automated Generation and Analysis of Markov Reward Models using Stochastic Reward Nets

    G. Ciardo;A. Blakemore;P.F. Chimento;J.K. Muppala

  • A decomposition approach for stochastic reward net models

    Gianfranco Ciardo;Kishor S. Trivedi

  • A characterization of the stochastic process underlying a stochastic Petri net

    G. Ciardo;R. German;C. Lindemann

  • Applications and Theory of Petri Nets 2005

    Gianfranco Ciardo;Philippe Darondeau

  • Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets

    Gianfranco Ciardo;Alex Blakemore;Philip F. ChimentoJr.;Jogesh K. Muppala

  • Efficient Reachability Set Generation and Storage Using Decision Diagrams

    Andrew S. Miner;Gianfranco Ciardo

  • Saturation: An efficient iteration strategy for symbolic state-space generation

    Gianfranco Ciardo;Gerald Lüttgen;Radu Siminiceanu

  • Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models

    Peter Buchholz;Gianfranco Ciardo;Susanna Donatelli;Peter Kemper

  • Performability analysis using semi-Markov reward processes

    G. Ciardo;R.A. Marie;B. Sericola;K.S. Trivedi

  • A data structure for the efficient Kronecker solution of GSPNs

    G. Ciardo;A.S. Miner

  • Stochastic Reward Nets for Reliability Prediction

    J.K. Muppala;G. Ciardo;K.S. Trivedi

  • Workload-aware load balancing for clustered Web servers

    Qi Zhang;A. Riska;W. Sun;E. Smirni

  • Discrete-event simulation of fluid stochastic Petri nets

    G. Ciardo;D.M. Nicol;K.S. Trivedi

  • Distributed State Space Generation of Discrete-State Stochastic Models

    Gianfranco Ciardo;Joshua Gluckman;David Nicol

  • On the solution of GSPN reward models

    Gianfranco Ciardo;Jogesh Muppala;Kishor S. Trivedi

  • EQUILOAD: a load balancing policy for clustered web servers

    Gianfranco Ciardo;Alma Riska;Evgenia Smirni

  • Logic and stochastic modeling with SMART

    G. Ciardo;R. L. Jones;A. S. Miner;R. I. Siminiceanu

  • ADAPTLOAD: effective balancing in clustered web servers under transient load conditions

    A. Riska;Wei Sun;E. Smirni;G. Ciardo

  • SPNP: The Stochastic Petri Net Package

    Gianfranco Ciardo;Jogesh Muppala;Kishor S. Trivedi

Frequent Co-Authors

Kishor S. Trivedi
Kishor S. Trivedi Duke University
Evgenia Smirni
Evgenia Smirni William & Mary
Timothy J. Close
Timothy J. Close University of California, Riverside
Stefano Lonardi
Stefano Lonardi University of California, Riverside
David M. Nicol
David M. Nicol University of Illinois at Urbana-Champaign
Reinhard German
Reinhard German University of Erlangen-Nuremberg
Yonghui Wu
Yonghui Wu Google (United States)
Andrea Bobbio
Andrea Bobbio University of Eastern Piedmont Amadeo Avogadro
John W. S. Brown
John W. S. Brown James Hutton Institute

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to a variety of academic and career options, including flexible online programs. For professionals seeking leadership roles in technology-driven organizations, pursuing an online executive mba can provide critical business skills tailored to tech environments.

Tech enthusiasts interested in information management may consider an MLIS, or Master of Library and Information Science. The mlis degree online cost varies, but affordable options are increasingly available for those who want to combine technology and library sciences.

Many universities now offer affordable masters degrees online in a wide range of fields, including computer science, data analytics, and cybersecurity. These programs allow students to balance work, life, and study while advancing their technical expertise.

For those aiming for top leadership positions or academia, pursuing an online doctorate leadership program can equip you with in-depth knowledge and research skills applicable across industries.

Best Scientists Citing Gianfranco Ciardo

Trending Scientists

Recently Published Articles