Year |
Citation |
Score |
2015 |
Chadderdon DJ, Xin L, Qi J, Brady B, Miller JA, Sun K, Janik MJ, Li W. Selective Oxidation of 1,2-Propanediol in Alkaline Anion-Exchange Membrane Electrocatalytic Flow Reactors: Experimental and DFT Investigations Acs Catalysis. 5: 6926-6936. DOI: 10.1021/acscatal.5b01085 |
0.44 |
|
2011 |
Brady BA, Bryant RE, Seshia SA. Learning conditional abstractions 2011 Formal Methods in Computer-Aided Design, Fmcad 2011. 116-124. |
0.68 |
|
2011 |
Holcomb D, Brady B, Seshia S. Abstraction-based performance verification of NoCs Proceedings - Design Automation Conference. 492-497. |
0.68 |
|
2011 |
Brady BA, Holcomb D, Seshia SA. Counterexample-guided SMT-driven optimal buffer sizing Proceedings -Design, Automation and Test in Europe, Date. 329-334. |
0.68 |
|
2010 |
Brady BA, Bryant RE, Seshia SA, O'Leary JW. ATLAS: Automatic term-level abstraction of RTL designs 8th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2010. 31-40. DOI: 10.1109/MEMCOD.2010.5558624 |
0.68 |
|
2009 |
Bryant RE, Kroening D, Ouaknine J, Seshia SA, Strichman O, Brady B. An abstraction-based decision procedure for bit-vector arithmetic International Journal On Software Tools For Technology Transfer. 11: 95-104. DOI: 10.1007/s10009-009-0101-x |
0.68 |
|
2007 |
Bryant RE, Kroening D, Ouaknine J, Seshia SA, Strichman O, Brady B. Deciding bit-vector arithmetic with abstraction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4424: 358-372. |
0.68 |
|
2007 |
Jha S, Brady BA, Seshia SA. Symbolic reachability analysis of lazy linear hybrid automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4763: 241-256. |
0.68 |
|
2004 |
Brady BA, Jones AK, Kourtev IS. Efficient CAD development for emerging technologies using Objective-C and Cocoa 11th Ieee International Conference On Electronics, Circuits and Systems, Icecs 2004. 369-372. |
0.68 |
|
Show low-probability matches. |