Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems-Reference-Cited by-同舟云学术

Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems

Published: Issue: Volume: Page:34-49
ISSN:0302-9743
Container-title:Theoretical Aspects of Computing – ICTAC 2007
language:
Short-container-title:

Author:

Chen Yinghua,Xia Bican,Yang Lu,Zhan Naijun,Zhou Chaochen

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-75292-9_3.pdf

Reference27 articles.

1. Lecture Notes in Computer Science;M. Braverman,2006

2. Lecture Notes in Computer Science;A. Bradley,2005

3. Lecture Notes in Computer Science;B. Cook,2006

4. Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. J. of Symbolic Computation 12, 299–328 (1991)

5. Lecture Notes in Computer Science;M. Colón,2001

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates;Lecture Notes in Computer Science;2024

2. Nondeterministic Evaluation Mechanism for User Recruitment in Mobile Crowd-Sensing;ACM Transactions on Sensor Networks;2023-04-05

3. Neural termination analysis;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

4. Large-scale analysis of non-termination bugs in real-world OSS projects;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

5. Scalable linear invariant generation with Farkas’ lemma;Proceedings of the ACM on Programming Languages;2022-10-31