Andrew Miner
Iowa State University
H-index: 22
North America-United States
Top articles of Andrew Miner
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Research Directions in Decision Diagram Technology | Gianfranco Ciardo Andrew S Miner | 2023/7/5 | |
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 |
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 |
Inference and test generation using program invariants in chemical reaction networks | Michael C Gerten Alexis L Marsh James I Lathrop Myra B Cohen Andrew S Miner | 2022 | |
Reachability set generation using hybrid relation compatible saturation | Shruti Biswal Andrew S Miner | 2020 |