Andrew A. Adams
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1999–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CHI | Theorizing Deception: A Scoping Review of Theory in Research on Dark Patterns and Deceptive Design. | Weichen Joe Chang, Katie Seaborn, Andrew A. Adams |
| 1999 | CADE | VSDITLU: a verifiable symbolic definite integral table look-up. | Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin |
| 1999 | ISSAC | Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. | Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin |