Gianfranco Ciardo
Iowa State University
H-index: 46
North America-United States
Top articles of Gianfranco Ciardo
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Computing Under-approximations of Multivalued Decision Diagrams | Seyedehzahra Hosseini Gianfranco Ciardo | 2023/5/28 | |
Transactions on Petri Nets and Other Models of Concurrency XVII | Susanna Donatelli Kurt Jensen | 2010 | |
Research Directions in Decision Diagram Technology | Gianfranco Ciardo Andrew S Miner | 2023/7/5 | |
The footprint form of a matrix: Definition, properties, and an application | Linear Algebra and its Applications | Elvio G Amparore Gianfranco Ciardo Andrew S Miner | 2022/10/15 |
BDDL: a type system for binary decision diagrams | Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings | Yousra Lembachar Ryan Rusich Iulian Neamtiu Gianfranco Ciardo | 2022/6/21 |
HyperPCTL Model Checking by Probabilistic Decomposition | Eshita Zaman Gianfranco Ciardo Erika Ábrahám Borzoo Bonakdarpour | 2022/6/1 | |
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions | International Journal on Software Tools for Technology Transfer | Junaid Babar Gianfranco Ciardo Andrew Miner | 2022/2 |
Variable order metrics for decision diagrams in system verification | International Journal on Software Tools for Technology Transfer | Elvio G Amparore Susanna Donatelli Gianfranco Ciardo | 2020/10 |