bioSyntax: syntax highlighting for computational biology A Babaian, A Ebou, A Fegen, HY Kam, GE Novakovsky, J Wong, D Aïssi, ... BMC bioinformatics 19, 1-6, 2018 | 4 | 2018 |
Automated Analysis of Halo2 Circuits FH Soureshjani, M Hall-Andersen, MM Jahanara, J Kam, J Gorzny, ... 21st International Workshop on Satisfiability Modulo Theories (SMT 2023), 3-17, 2023 | 3 | 2023 |