( en | de | ru )

 

Disambiguation of "Banerjee, Anindya"

Author of the publication

copydeleteadd this publication to your clipboard
Effectively-Propositional Reasoning about Reachability in Linked Data Structures.

, , , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 756-772. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Abhishek Banerjee

Prabuddha Banerjee

Mita Banerjee

Nandakishore Banerjee

Ishan Banerjee

 

Other publications of authors with the same name

A Theory of Slicing for Probabilistic Control-Flow Graphs., and . CoRR, (2017)Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity., , and . CoRR, (2014)Design and Correctness of Program Transformations Based on Control-Flow Analysis., , and . TACS, volume 2215 of Lecture Notes in Computer Science, page 420-447. Springer, (2001)Information Flow Analysis in Logical Form., and . SAS, volume 3148 of Lecture Notes in Computer Science, page 100-115. Springer, (2004)Automata-Based Confidentiality Monitoring., , , and . ASIAN, volume 4435 of Lecture Notes in Computer Science, page 75-89. Springer, (2006)Programming Paradigm Driven Heap Analysis., , and . CC, volume 7210 of Lecture Notes in Computer Science, page 41-60. Springer, (2012)Co-Integration, Error Correction, and the Econometric Analysis of Non-Stationary Data., , , and . Advanced texts in econometrics Oxford University Press, (1993)Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning., , and . Proc. ACM Program. Lang., 7 (PLDI): 1-24 (2023)Are there any reliable leading indicators for US inflation and GDP growth?, and . International Journal of Forecasting, 22 (1): 137--151 (00 2006)Stackability in the Simply-Typed Call-by-Value Lambda Calculus., and . SAS, volume 864 of Lecture Notes in Computer Science, page 131-146. Springer, (1994)