Cited By
View all- Cui WTzimpragos GTao YMcmahan JDangwal DTsiskaridze NMichelogiannakis GVasudevan DSherwood T(2019)Language Support for Navigating Architecture Design in Closed FormACM Journal on Emerging Technologies in Computing Systems10.1145/336004716:1(1-28)Online publication date: 25-Oct-2019
- Aref Mten Cate BGreen TKimelfeld BOlteanu DPasalic EVeldhuizen TWashburn GSellis TDavidson SIves Z(2015)Design and Implementation of the LogicBlox SystemProceedings of the 2015 ACM SIGMOD International Conference on Management of Data10.1145/2723372.2742796(1371-1382)Online publication date: 27-May-2015
- Peter SGivargis T(2015)Component-Based Synthesis of Embedded Systems Using Satisfiability Modulo TheoriesACM Transactions on Design Automation of Electronic Systems10.1145/274623520:4(1-27)Online publication date: 28-Sep-2015
- Show More Cited By