Cited By
View all- Das RTenenbaum JSolar-Lezama ATavares Z(2023)Combining Functional and Automata Synthesis to Discover Causal Reactive ProgramsProceedings of the ACM on Programming Languages10.1145/35712497:POPL(1628-1658)Online publication date: 11-Jan-2023
- Yordanov BDunn SGravill CArora HKugler HWintersteiger C(2023)The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological ModelsJournal of Computational Biology10.1089/cmb.2023.011730:9(1046-1058)Online publication date: 1-Sep-2023
- Yordanov BDunn SGravill CKugler HWintersteiger C(2022)An SMT-Based Framework for Reasoning About Discrete Biological ModelsBioinformatics Research and Applications10.1007/978-3-031-23198-8_11(114-125)Online publication date: 14-Nov-2022
- Show More Cited By