Andrew S Miner photo

Andrew S Miner

Associate Professor

Contact

asminer@iastate.edu

+1 515 294 2392

233 Atanasoff

Ames

,

IA

50011-1041

Research Area

Education

Ph.D., Computer Science, College of William and Mary, 2000
M.S., Computer Science, College of William and Mary, 1995
B.S., Physics and Computer Science, Randolph–Macon College, 1993

Recent Publications

Eshita Zaman, Christopher Johannsen, Andrew S. Miner, Gianfranco Ciardo, Samik Basu:
CTL Model Checking Partially Specified Systems. iFM 2025: 81-98
Gianfranco Ciardo, Andrew S. Miner, Lichuan Deng, Junaid Babar:
RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams. DAC 2024: 319:1-319:6
Dave Gomboc, Christian R. Shelton, Andrew S. Miner, Gianfranco Ciardo:
Comparing Lossless Compression Methods for Chess Endgame Data. ECAI 2024: 4116-4123
Gianfranco Ciardo, Andrew S. Miner:
Research Directions in Decision Diagram Technology. JVA 2023: 46-53
Junaid Babar, Gianfranco Ciardo, Andrew S. Miner:
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. Int. J. Softw. Tools Technol. Transf. 24(1): 89-109 (2022)

More Publications