Cited By
View all- Porncharoenwase SNelson LWang XTorlak E(2022)A formal foundation for symbolic evaluation with mergingProceedings of the ACM on Programming Languages10.1145/34987096:POPL(1-28)Online publication date: 12-Jan-2022
- Mariño JToledo C(2022)Evolving interpretable strategies for zero-sum gamesApplied Soft Computing10.1016/j.asoc.2022.108860122(108860)Online publication date: Jun-2022
- Collie BO'Boyle M(2021)Program Lifting using Gray-Box BehaviorProceedings of the 30th International Conference on Parallel Architectures and Compilation Techniques10.1109/PACT52795.2021.00012(60-74)Online publication date: 26-Sep-2021
- Show More Cited By