| Title | Pages / Words | Save |
| Comparing a* Search and Von Neumann Machines with DOT | 8 / 2247 |  |
| Popl | 2 / 461 | |
| An Analysis of Red-Black Trees with Sordes | 8 / 2257 | |
| Empathic, Virtual, Real-Time Methodologies | 8 / 2286 | |
| Architecting Digital-to-Analog Converters Using Game-Theoretic Configurations | 9 / 2697 | |
| The Relationship Between Vacuum Tubes and Lambda Calculus | 9 / 2533 | |
