Ritam Nag

Orcid: 0000-0002-9874-0159

According to our database¹, Ritam Nag authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Pyrosome: Verified Compilation for Modular Metatheory.

[DOI]

Proc. ACM Program. Lang., 2025

2024

Agent Motion Planning as Block Asynchronous Cellular Automata: Pushing, Pulling, Suplexing, and More.

[DOI]

Proceedings of the Unconventional Computation and Natural Computation, 2024