PaperA Note on Ambiguity of Context-Free Languages and Presentations of Semilinear SetsArnold L. RosenbergJournal of the ACM
Conference paperConstraint-based random stimuli generation for hardware verificationYehuda Naveli, Michal Rimon, et al.AAAI/IAAI 2006
Conference paperA Comparison of End-to-End Decision Forest Inference PipelinesHong Guan, Saif Masood, et al.SoCC 2023
Conference paperAdding dynamically-typed language support to a statically-typed language compiler: Performance evaluation, analysis, and tradeoffsKazuaki Ishizaki, Takeshi Ogasawara, et al.VEE 2012