Multicast Protocols for Jinni Agents. - Satyam Tyagi; Paul Tarau; Armin R. Mikler (IICS, 2001)

A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. - Satyam Tyagi; Paul Tarau (PADL, 2001)

Multiplicative Modular Nim (MuM). - Satyam Tyagi (CoRR, 2025)

Product-Congruence Games: A Unified Impartial-Game Framework for RSA (ϕ-MuM) and AES (poly-MuM). - Satyam Tyagi (CoRR, 2025)