Proshanto Mukherji

Graduate Student,

Department of Computer Science,

University of Rochester.


Publications


[.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.