Anindya Banerjee

From MaRDI portal
Person:859952

Available identifiers

zbMath Open banerjee.anindyaWikidataQ102427981 ScholiaQ102427981MaRDI QIDQ859952

List of research outcomes





PublicationDate of PublicationType
A categorical interpretation of Landin's correspondence principle2023-04-28Paper
Comments on summing over bordisms in TQFT2023-01-31Paper
https://portal.mardi4nfdi.de/entity/Q49946992021-06-21Paper
Hyperkähler isometries of K3 surfaces2021-03-29Paper
https://portal.mardi4nfdi.de/entity/Q46365582018-04-19Paper
https://portal.mardi4nfdi.de/entity/Q45936842017-11-22Paper
Orthogonality tests with de-trended data: interpreting Monte-Carlo results using Nagar expansions2017-11-09Paper
A logic for information flow in object-oriented programs2017-08-21Paper
A modular, polyvariant and type-based closure analysis2017-08-21Paper
Testing for Panel Cointegration Using Common Correlated Effects Estimators2017-07-21Paper
A Theory of Slicing for Probabilistic Control Flow Graphs2016-06-10Paper
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity2016-04-26Paper
Do we reject rational expectations models too often?: Interpreting evidence using Nagar expansions2016-01-01Paper
What You Lose is What You Leak: Information Leakage in Declassification Policies2015-07-10Paper
On automation in the verification of software barriers: experience report2015-06-23Paper
Representation independence, confinement and access control [extended abstract]2015-03-17Paper
Modular reasoning about heap paths via effectively propositional formulas2014-04-10Paper
Local Reasoning for Global Invariants, Part I2014-02-17Paper
Local Reasoning for Global Invariants, Part II2014-02-17Paper
Decision Procedures for Region Logic2012-06-15Paper
Modelling declassification policies using abstract domain completeness2011-12-08Paper
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions2010-05-04Paper
Ownership confinement ensures representation independence for object-oriented programs2008-12-21Paper
A logic for information flow analysis with an application to forward slicing of simple imperative programs2007-01-22Paper
https://portal.mardi4nfdi.de/entity/Q57144522006-01-02Paper
Programming Languages and Systems2005-09-13Paper
Static Analysis2005-08-24Paper
Static Analysis2005-08-24Paper
Some cautions on the use of panel methods for integrated series of macroeconomic data2005-07-04Paper
Stack-based access control and secure information flow2005-05-03Paper
Stackability in the simply-typed call-by-value lambda calculus2000-07-05Paper
Co-integration, Error Correction, and the Econometric Analysis of Non-Stationary Data1998-11-25Paper
Error-correction Mechanism Tests for Cointegration in a Single-equation Framework1998-08-09Paper
Estimating Intertemporal Quadratic Adjustment Cost Models with Integrated Series1991-01-01Paper

Research outcomes over time

This page was built for person: Anindya Banerjee