Nicholas Shoemaker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2023
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | IJCAI | Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. | Filip Cano Crdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjrner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Knighofer |
| 2023 | VECoS | Formal XAI via Syntax-Guided Synthesis. | Katrine Bjrner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Knighofer |
| 2020 | OOPSLA | Towards checkpoint placement for dynamic memory allocation in intermittent computing. | Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito |