| 2006 |
|---|
| 5 | | Lenhart K. Schubert,
Proshanto Mukherji:
State-based Discovery and Verification of Propositional Planning Invariants.
IC-AI 2006: 465-471 |
| 2005 |
|---|
| 4 | | Proshanto Mukherji,
Lenhart K. Schubert:
Discovering Planning Invariants as Anomalies in State Descriptions.
ICAPS 2005: 223-230 |
| 3 | EE | Lane A. Hemaspaandra,
Proshanto Mukherji,
Till Tantau:
Context-free languages can be accepted with absolutely no space overhead.
Inf. Comput. 203(2): 163-180 (2005) |
| 2004 |
|---|
| 2 | EE | Lane A. Hemaspaandra,
Proshanto Mukherji,
Till Tantau:
Overhead-Free Computation, DCFLs, and CFLs
CoRR cs.CC/0410035: (2004) |
| 2003 |
|---|
| 1 | EE | Lane A. Hemaspaandra,
Proshanto Mukherji,
Till Tantau:
Computation with Absolutely No Space Overhead.
Developments in Language Theory 2003: 325-336 |
