Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper). | 0 | 0.34 | 2021 |
| Algebra-Based Loop Synthesis. | 0 | 0.34 | 2020 |
| Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. | 5 | 0.42 | 2016 |