Proshanto Mukherji
Graduate Student,
Department of Computer Science,
University of Rochester.
[.ps] [.pdf](Ph.D. Thesis) Proshanto
Mukherji. 2006. Discovering Laws as Anomalies in Logical
Worlds. Ph.D. thesis, University of Rochester, Rochester, NY.
[.pdf]
Proshanto Mukherji and Lenhart K. Schubert. 2006.
State-based Discovery and Verification of Propositional
Invariants. In H. R. Arabnia, editor, Proceedings of the 2006 International
Conference on Artificial Intelligence (ICAI 2006). CSREA
Press, Las Vegas, NV.
[.pdf] Proshanto Mukherji and
Lenhart K. Schubert. 2005. Discovering Planning Invariants as Anomalies
in State Descriptions. In Proceedings
of the Fifteenth International Conference on Automatic Planning and
Scheduling (ICAPS 2005). AAAI Press.
[.pdf]
Proshanto Mukherji and Lenhart K. Schubert. 2005. State-based
Discovery and Verification of Propositional Invariants. Technical
Report 871, Computer Science Department, University of Rochester.
Lane A. Hemaspaandra, Proshanto Mukherji, and Till Tantau. Context-free
Languages Can Be Accepted With Absolutely No Space Overhead. Information and Computation, 203(2):163-180, 2005.
[.pdf]
Lane A. Hemaspaandra, Proshanto Mukherji and Till Tantau. 2004.
Overhead-Free Computation, DCFLs, and CFLs. Technical Report 844,
Computer Science Department, University of Rochester.
Lane A. Hemaspaandra, Proshanto Mukherji, and Till Tantau. 2003.
Computation with Absolutely No Space Overhead. In Zoltán
Ésik and Zoltán Fülöp, editors, Proceedings of the Seventh International
Conference on Developments in Language Theory (DLT 2003). Volume
2710 of Lecture Notes in Computer Science, pages 325-336.
Springer-Verlag, 2003.
[.ps]
Proshanto Mukherji and Lenhart K. Schubert. 2003.
Discovering Laws as Anomalies in Logical Worlds. Technical Report
828, Computer Science Department, University of Rochester.
[.ps]
Lane A. Hemaspaandra, Proshanto Mukherji and Till Tantau. 2002.
Computation with Absolutely No Space Overhead. Technical Report
779, Computer Science Department, University of Rochester (revised July
2003).
CSC244/444 students, please go here.