Cited By
View all- Zhu SKincaid Z(2024)Breaking the Mold: Nonlinear Ranking Function Synthesis Without TemplatesComputer Aided Verification10.1007/978-3-031-65627-9_21(431-452)Online publication date: 26-Jul-2024
- Endrullis JOverbeek R(2024)Generalized Weighted Type Graphs for Termination of Graph Transformation SystemsGraph Transformation10.1007/978-3-031-64285-2_3(39-58)Online publication date: 2-Jul-2024
- Alon YDavid CRoychoudhury ACadar CKim M(2022)Using graph neural networks for program terminationProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3549095(910-921)Online publication date: 7-Nov-2022
- Show More Cited By