Anindya Banerjee

Available identifiers

zbMath Open banerjee.anindyaWikidataQ102427981 ScholiaQ102427981MaRDI QIDQ859952

List of research outcomes

Publication	Date of Publication	Type
A categorical interpretation of Landin's correspondence principle	2023-04-28	Paper
Comments on summing over bordisms in TQFT	2023-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q4994699	2021-06-21	Paper
Hyperkähler isometries of K3 surfaces	2021-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4636558	2018-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4593684	2017-11-22	Paper
Orthogonality tests with de-trended data: interpreting Monte-Carlo results using Nagar expansions	2017-11-09	Paper
A logic for information flow in object-oriented programs	2017-08-21	Paper
A modular, polyvariant and type-based closure analysis	2017-08-21	Paper
Testing for Panel Cointegration Using Common Correlated Effects Estimators	2017-07-21	Paper
A Theory of Slicing for Probabilistic Control Flow Graphs	2016-06-10	Paper
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity	2016-04-26	Paper
Do we reject rational expectations models too often?: Interpreting evidence using Nagar expansions	2016-01-01	Paper
What You Lose is What You Leak: Information Leakage in Declassification Policies	2015-07-10	Paper
On automation in the verification of software barriers: experience report	2015-06-23	Paper
Representation independence, confinement and access control [extended abstract]	2015-03-17	Paper
Modular reasoning about heap paths via effectively propositional formulas	2014-04-10	Paper
Local Reasoning for Global Invariants, Part I	2014-02-17	Paper
Local Reasoning for Global Invariants, Part II	2014-02-17	Paper
Decision Procedures for Region Logic	2012-06-15	Paper
Modelling declassification policies using abstract domain completeness	2011-12-08	Paper
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions	2010-05-04	Paper
Ownership confinement ensures representation independence for object-oriented programs	2008-12-21	Paper
A logic for information flow analysis with an application to forward slicing of simple imperative programs	2007-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q5714452	2006-01-02	Paper
Programming Languages and Systems	2005-09-13	Paper
Static Analysis	2005-08-24	Paper
Static Analysis	2005-08-24	Paper
Some cautions on the use of panel methods for integrated series of macroeconomic data	2005-07-04	Paper
Stack-based access control and secure information flow	2005-05-03	Paper
Stackability in the simply-typed call-by-value lambda calculus	2000-07-05	Paper
Co-integration, Error Correction, and the Econometric Analysis of Non-Stationary Data	1998-11-25	Paper
Error-correction Mechanism Tests for Cointegration in a Single-equation Framework	1998-08-09	Paper
Estimating Intertemporal Quadratic Adjustment Cost Models with Integrated Series	1991-01-01	Paper

Research outcomes over time

This page was built for person: Anindya Banerjee