Gianfranco Ciardo

发表

Kishor S. Trivedi, Gianfranco Ciardo, Sachin Garg, 1994 .

David M. Nicol, Gianfranco Ciardo, Joshua Gluckman, 1995, INFORMS J. Comput..

Kishor S. Trivedi, Gianfranco Ciardo, Jogesh K. Muppala, 1991, Perform. Evaluation.

Kishor S. Trivedi, Gianfranco Ciardo, Jogesh K. Muppala, 1993 .

David M. Nicol, Kishor S. Trivedi, Gianfranco Ciardo, 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

Kishor S. Trivedi, D. Nicol, G. Ciardo, 1997 .

Gianfranco Ciardo, Min Wan, Gianfranco Ciardo, 2009, SOFSEM.

Kishor S. Trivedi, Gianfranco Ciardo, Jogesh K. Muppala, 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

Gianfranco Ciardo, G. Barbara Demo, Antonio Di Leva, 1985, Computer-Aided Database Design: the DATAID approach.

Gianfranco Ciardo, Reinhard German, Christoph Lindemann, 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin, 2011, ATVA.

Kishor S. Trivedi, J. Muppala, Gianfranco Ciardo, 1992, J. Parallel Distributed Comput..

Bruno Sericola, Kishor S. Trivedi, Gianfranco Ciardo, 1990, IEEE Trans. Computers.

Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, 1993, Performance/SIGMETRICS Tutorials.

Mihaela M. Martis, P. Langridge, D. Swarbreck, 2022 .

Radu I. Siminiceanu, Gerald Lüttgen, Gianfranco Ciardo, 2000, ICATPN.

Gianfranco Ciardo, Andrew S. Miner, Gianfranco Ciardo, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

Kishor S. Trivedi, Gianfranco Ciardo, Gianfranco Ciardo, 1993, Perform. Evaluation.

Gianfranco Ciardo, Marco Beccuti, Stefano Lonardi, 2013, PLoS Comput. Biol..

G. Ciardo, Gianfranco Ciardo, 1995 .

G. Ciardo, Gianfranco Ciardo, 1995 .

Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, 2000, INFORMS J. Comput..

David M. Nicol, Gianfranco Ciardo, Lawrence M. Leemis, 1995 .

Gianfranco Ciardo, Evgenia Smirni, G. Ciardo, 1999, Perform. Evaluation.

Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu, 2001, TACAS.

Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin, 2012, Trans. Petri Nets Other Model. Concurr..

G. Ciardo, G. Luettgen, Gianfranco Ciardo, 2022 .

Gianfranco Ciardo, Radu Siminiceanu, Radu I. Siminiceanu, 2002, FMCAD.

Andrew S. Miner, Junaid Babar, Gianfranco Ciardo, 2022, International Journal on Software Tools for Technology Transfer.

Gianfranco Ciardo, Christian R. Shelton, C. Shelton, 2014, J. Artif. Intell. Res..

Gianfranco Ciardo, Robert Zijal, G. Ciardo, 1996, Proceedings of MASCOTS '96 - 4th International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

Gianfranco Ciardo, Gianfranco Ciardo, 2000 .

Gianfranco Ciardo, Robert Zijaly, Gianfranco Ciardo, 1996 .

Gianfranco Ciardo, G. Ciardo, Gianfranco Ciardo, 2000 .

Gianfranco Ciardo, Alma Riska, Evgenia Smirni, 2004, IEEE Transactions on Reliability.

Gianfranco Ciardo, Alma Riska, Evgenia Smirni, 2001, Perform. Evaluation.

Fabrice Kordon, Gianfranco Ciardo, Jirí Srba, 2019, TACAS.

Gianfranco Ciardo, Benjamin Smith, Benjamin Smith, 2018, 2018 18th International Conference on Application of Concurrency to System Design (ACSD).

Robert M. Marmorstein, Radu I. Siminiceanu, G. Ciardo, 2003, TACAS.

Andrew S. Miner, G. Ciardo, S. Donatelli, 2019 .

Gianfranco Ciardo, David M. Nicol, 1997, J. Parallel Distributed Comput..

Gianfranco Ciardo, Ming-Ying Chung, Ming-Ying Chung, 2011, J. Log. Comput..

Gianfranco Ciardo, Ming-Ying Chung, Ming-Ying Chung, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

Gianfranco Ciardo, Ming-Ying Chung, Ming-Ying Chung, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

Gianfranco Ciardo, G. Ciardo, Gianfranco Ciardo, 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

Gianfranco Ciardo, G. Ciardo, Gianfranco Ciardo, 1994, Application and Theory of Petri Nets.

Gianfranco Ciardo, R. L. Jones, Andrew S. Miner, 2003, Computer Performance Evaluation / TOOLS.

Gianfranco Ciardo, Andrew S. Miner, G. Ciardo, 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

Kishor S. Trivedi, Gianfranco Ciardo, G. Ciardo, 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

Gianfranco Ciardo, Xiaoqing Jin, Yousra Lembachar, 2013, PNSE+ModPE.

Mihaela M. Martis, D. Swarbreck, S. Lonardi, 2012, Nature.