Proshanto Mukherji

Publication Activity (10 Years)

Years Active: 2003-2006
Publications (10 Years): 0

Publications

Lenhart K. Schubert, Proshanto Mukherji
State-based Discovery and Verification of Propositional Planning Invariants. IC-AI (2006)
Lane A. Hemaspaandra, Proshanto Mukherji, Till Tantau
Context-free languages can be accepted with absolutely no space overhead. Inf. Comput. 203 (2) (2005)
Proshanto Mukherji, Lenhart K. Schubert
Discovering Planning Invariants as Anomalies in State Descriptions. ICAPS (2005)
Lane A. Hemaspaandra, Proshanto Mukherji, Till Tantau
Overhead-Free Computation, DCFLs, and CFLs CoRR (2004)
Lane A. Hemaspaandra, Proshanto Mukherji, Till Tantau
Computation with Absolutely No Space Overhead. Developments in Language Theory (2003)