D'Antoni, Loris

2 publications

IJCAI 2017 Weighted Model Integration with Orthogonal Transformations David Merrell, Aws Albarghouthi, Loris D'Antoni

IJCAI 2013 Automated Grading of DFA Constructions Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan