Anindya. Banerjee

Anindya. Banerjee's AcademicInfluence.com Rankings

Anindya. Banerjee

Economics

#3364

World Rank

#3815

Historical Rank

Econometrics

#87

World Rank

#90

Historical Rank

economics Degrees

Download Badge

Economics

Anindya. Banerjee's Degrees

Masters Economics Jawaharlal Nehru University
Bachelors Economics Jawaharlal Nehru University

Similar Degrees You Can Earn

Why Is Anindya. Banerjee Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Anindya. Banerjee's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Co-Integration, Error Correction, and the Econometric Analysis of Non-Stationary Data (1993) (2349)
Error‐correction Mechanism Tests for Cointegration in a Single‐equation Framework (1998) (2006)
Testing for a Unit Root (1993) (1227)
Recursive and Sequential Tests of the Unit Root and Trend Break Hypothesis: Theory and International Evidence (1990) (809)
Recursive and Sequential Tests of the Unit-Root and Trend-Break Hypotheses: Theory and International Evidence (1992) (447)
A core calculus of dependency (1999) (424)
Some Cautions on the Use of Panel Methods for Integrated Series of Macroeconomic Data (2004) (418)
Testing for PPP: Should we use panel methods? (2001) (347)
Exploring Equilibrium Relationships in Econometrics through Static Models: Some Monte-Carlo Evidence (2009) (288)
Modelling structural breaks, long memory and stock market volatility: an overview (2005) (225)
Error Correction and the Econometric Analysis of Non-Stationary Data (1996) (218)
Cointegration in Panel Data with Breaks and Cross-Section Dependence (2006) (200)
Factor Forecasts for the UK (2005) (193)
Secure information flow and pointer con .nement in a java-like language (2002) (184)
Leading Indicators for Euro-Area Inflation and GDP Growth (2003) (181)
Testing for Panel Cointegration Using Common Correlated Effects Estimators (2011) (180)
Stack-based access control and secure information flow (2005) (173)
A logic for information flow in object-oriented programs (2006) (160)
Are There Any Reliable Leading Indicators for U.S. Inflation and GDP Growth? (2003) (154)
Merlin: specification inference for explicit information flow problems (2009) (152)
Automata-Based Confidentiality Monitoring (2006) (144)
Some Cautions on the Use of Panel Methods for Integrated Series of Macro-Economic Data (2000) (130)
An I(2) analysis of inflation and the markup (2001) (130)
Regional Logic for Local Reasoning about Global Invariants (2008) (123)
Information Flow Analysis in Logical Form (2004) (120)
Expressive Declassification Policies and Modular Static Enforcement (2008) (120)
Ownership confinement ensures representation independence for object-oriented programs (2002) (111)
Mechanized verification of fine-grained concurrent programs (2015) (110)
Forecasting Macroeconomic Variables Using Diffusion Indexes in Short Samples with Structural Change (2008) (109)
A new foundation for control dependence and slicing for modern program structures (2007) (106)
Representation independence, confinement and access control [extended abstract] (2002) (97)
Measuring Long-Run Exchange Rate Pass-Through (2007) (92)
Verification of Information Flow and Access Control Policies with Dependent Types (2011) (90)
Forecasting with Factor-Augmented Error Correction Models (2010) (89)
Cointegration in Panel Data with Structural Breaks and Cross‐Section Dependence (2015) (86)
TESTING INTEGRATION AND COINTEGRATION: AN OVERVIEW (1992) (83)
The Relationship between the Markup and Inflation in the G7 Economies and Australia (2001) (79)
On some simple tests for cointegration: the cost of simplicity (1993) (79)
Factor-Augmented Error Correction Models (2008) (71)
A modular, polyvariant and type-based closure analysis (1997) (65)
History-Based Access Control and Secure Information Flow (2004) (65)
Using access control for secure information flow in a Java-like language (2003) (60)
Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model (2007) (59)
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity (2014) (59)
Dynamic Specification and Testing for Unit Roots and Cointegration (1995) (57)
Inflation and measures of the markup (2005) (55)
Effectively-Propositional Reasoning about Reachability in Linked Data Structures (2013) (54)
Forecasting Macroeconomic Variables for the New Member States of the European Union (2005) (53)
Dependent Type Theory for Verification of Information Flow and Access Control Policies (2013) (53)
A New Look at the Feldstein-Horioka Puzzle Using an Integrated Panel (2005) (51)
The long-run Phillips curve and non-stationary inflation (2008) (51)
State Based Ownership, Reentrance, and Encapsulation (2005) (50)
Estimating Intertemporal Quadratic Adjustment Cost Models with Integrated Series (1991) (48)
How Do Anticipated Changes to Short-Term Market Rates Influence Banks' Retail Interest Rates? Evidence from the Four Major Euro Area Economies (2012) (46)
Towards a new early warning system of financial crises (2002) (46)
Design and Correctness of Program Transformations Based on Control-Flow Analysis (2001) (44)
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language (2004) (41)
A New Foundation for Control-Dependence and Slicing for Modern Program Structures (2005) (40)
A logic for information flow analysis with an application to forward slicing of simple imperative programs (2007) (39)
Relational Logic with Framing and Hypotheses (2016) (34)
Dynamic Specification and Linear Transformations of the Autoregressive-Distributed Lag Model (2009) (33)
Region analysis and the polymorphic lambda calculus (1999) (33)
Local Reasoning for Global Invariants, Part I: Region Logic (2013) (32)
Modular reasoning about heap paths via effectively propositional formulas (2014) (30)
Boogie Meets Regions: A Verification Experience Report (2008) (30)
Panel Methods to Test for Unit Roots and Cointegration (2009) (29)
A reinvestigation of the markup and the business cycle (2004) (28)
Hoare-style specifications as correctness conditions for non-linearizable concurrent objects (2015) (26)
MORAL HAZARD, LIMITED LIABILITY AND TAXATION: A PRINCIPAL-AGENT MODEL' (1990) (25)
Verification condition generation for conditional information flow (2007) (25)
Modular control-flow analysis with rank 2 intersection types (2003) (24)
A Simple Semantics and Static Analysis for Java Security (2001) (24)
Structural FECM: Cointegration in Large-Scale Structural FAVAR Models (2014) (24)
What You Lose is What You Leak: Information Leakage in Declassification Policies (2007) (24)
Bootstrapping Sequential Tests for Multiple Structural Breaks (1998) (22)
Industry structure and the dynamics of price adjustment (2000) (21)
Concurrent Data Structures Linked in Time (2016) (21)
Coffee Market Liberalisation and the Implications for Producers in Brazil, Guatemala and India (2012) (20)
The Central and Eastern European Countries and the European Union (2010) (19)
Efficiency in hierarchies: implementing the first-best solution by sequential actions (1989) (19)
TESTS OF THE LIFE CYCLE-PERMANENT INCOME HYPOTHESIS IN THE PRESENCE OF RANDOM WALKS: ASYMPTOTIC THEORY AND SMALL-SAMPLE INTERPRETATIONS* (1988) (18)
The Relationship between the Markup and Inflation in the G7 plus One Economies (2000) (18)
The Changing Role of Expectations in US Monetary Policy: A New Look Using the Livingston Survey (2012) (17)
Local Reasoning for Global Invariants, Part II: Dynamic Boundaries (2013) (17)
Inflation, relative price variability and the markup: Evidence from the United States and the United Kingdom (2007) (16)
The Econometrics of Economic Policy (1997) (16)
Forecasting Macroeconomic Variables for the Acceding Countries (2004) (16)
Breaking panel data cointegration (2005) (16)
Mg2+ Is Not Catalytically Required in the Intrinsic and Kirromycin-stimulated GTPase Action of Thermus thermophilus EF-Tu* (2001) (16)
Modelling declassification policies using abstract domain completeness (2011) (15)
ECM tests for cointegration in a single equation framework (1997) (15)
A Multiple Break Panel Approach to Estimating United States Phillips Curves (2011) (14)
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients (2010) (14)
Towards a logical account of declassification (2007) (14)
Stackability in the Simply-Typed Call-by-Value lambda Calculus (1998) (14)
The Econometric Analysis of Economic Policy (2009) (14)
Recursive and sequential tests for unít roots and structural breaks in long annual GNP series (1990) (13)
Decision Procedures for Region Logic (2012) (13)
A Markup Model for Forecasting Inflation for the Euro (2002) (12)
Specifying concurrent programs in separation logic: morphisms and simulations (2019) (11)
State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings (2013) (11)
A Logical Analysis of Framing for Specifications with Pure Method Calls (2014) (11)
An Overview of the Factor-augmented Error-Correction Model (2016) (10)
Interest rate pass-through in the major European economies - the role of expectations (2010) (10)
A language for information flow: dynamic tracking in multiple interdependent dimensions (2009) (10)
The Long-Run Relationship among Relative Price Variability, Inflation and the Markup (2002) (10)
A Relational Program Logic with Data Abstraction and Dynamic Framing (2019) (10)
Mechanized Verification of Fine-grained Concurrent Programs Accompanying tutorial and code commentary for PLDI 2015 artifact evaluation (2015) (9)
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (2010) (9)
Forecasting with Factor-augmented Error Correction (2010) (9)
A Theory of Slicing for Probabilistic Control Flow Graphs (2016) (9)
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures (2013) (7)
On the Power of Cointegration Tests: Dimension Invariance vs. Common Factors (1995) (7)
Rejections of orthogonality in rational expectations models: Further Monte Carlo results for an extended set of regressors (1987) (7)
Ownership : transfer , sharing , and encapsulation (6)
Modelling Thirty Five Years of Coffee Prices in Brazil, Guatemala and India and the Law of One Price (2008) (6)
On algebraic abstractions for concurrent separation logics (2020) (6)
Verification of software barriers (2012) (6)
On Automation in the Verification of Software Barriers: Experience Report (2014) (6)
Do we reject rational expectations models too often?: Interpreting evidence using Nagar expansions☆ (1987) (5)
The Markup and the Business Cycle Reconsidered (2000) (5)
Automaton-based Non-interference Monitoring (2006) (5)
A Logic for Information Flow Analysis of Pointer Programs (2006) (4)
The Response of Retail Interest Rates to Factor Forecasts of Money Market Rates in Major European Economies (2010) (4)
The Semantics and Implementation of Bindings in Higher-Order Programming Languages (1995) (4)
A Theory of Slicing for Imperative Probabilistic Programs (2020) (4)
Programming Paradigm Driven Heap Analysis (2012) (3)
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs (2009) (3)
Hyperkähler isometries of K3 surfaces (2020) (3)
Proceedings Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday: Dave Schmidt: a Lifetime of Scholarship (2013) (3)
A RE-INTERPRETATION OF THE LINEAR-QUADRATIC MODEL WHEN INVENTORIES AND SALES ARE POLYNOMIALLY COINTEGRATED (2006) (3)
ESTIMATING EULER EQUATIONS WITH INTEGRATED SERIES (1989) (2)
Boogie Meets Regions: a Verification Experience Report (Extended Version) (2008) (2)
Orthogonality tests with de-trended data: Interpreting Monte-Carlo results using Nagar expansions (1990) (2)
Properties of Integrated Processes (1993) (2)
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013 (2013) (2)
Concurrent Data Structures Linked in Time (Artifact) (2017) (2)
Linear Transformations, Error Correction, and the Long Run in Dynamic Regression (1993) (2)
Interaction of the Vanadyl (VO2+) Cation with Guanosine Nucleotides and Elongation Factor Tu (1998) (2)
Verification of ML Systems via Reparameterization (2020) (2)
Data Abstraction and Relational Program Logic (2019) (2)
A Static Analysis for Instance-based Confinement in Java (2002) (2)
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning (2022) (2)
A Categorical Interpretation of Landin's Correspondence Principle (1993) (2)
Sequential Methods for Detecting Structural Breaks in Cointegrated Systems (1998) (2)
Simultanenous Versus Sequential Move Structures in Principal-Agent Models (1992) (2)
Biofuels Supply Chain Characterization (2008) (2)
Solving Burglary Offences: Building a Model to Predict Clearance of Burglary Following Initial Investigation (2019) (1)
Regression With Integrated Variables (1993) (1)
A Semantics for Probabilistic Control-Flow Graphs (2017) (1)
Information Flow Analysis in Logical Form ? ( May 27 , 2004 ) (1)
Navigating the Seismic Shift of Post-Moore Computer Systems Design (2021) (1)
Mechanized Verification of Fine-grained Concurrent Programs in Fine-grained Concurrent Separation Logic User Manual and Code Commentary (2017) (1)
Inflation Measures of the Markup (2002) (1)
Verification Condition Generation for Conditional Information Flow∗ **DRAFT** as of June 17, 2007 (2007) (1)
Call-Site Heuristics for Scalable Context-Sensitive Interprocedural Analysis (2009) (1)
Micro-Finance and Credit Access in the Agricultural Sector of Nicaragua (2015) (1)
A Logical Account of Secure Declassification ( extended abstract ) (2006) (1)
A survey of adsorption process parameter optimization related to degradation of environmental pollutants (2021) (1)
A Simple Semantics and Static Analysis for Stack Inspection (2013) (1)
An Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems (2009) (1)
How to use SETAR models in gretl (2015) (1)
A Modular, Polyvariant, and Type-Based Closure Analysis (1997) (0)
03411 Final Report - Language Based Security (2003) (0)
ON THE EURO AREA OUTLOOK AUTUMN 2003 (2002) (0)
Editorial Collaborators (1999) (0)
State based encapsulation and generics December 20 , 2004 (2004) (0)
Relational Logic with Framing and Hypotheses: Technical Report (2016) (0)
03411 Abstracts Collection - Language Based Security (2003) (0)
On Automation in the Verification of Software Barriers: Experience Report (2013) (0)
Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources (2017) (0)
Co‐Integration in Systems of Equations (1993) (0)
Modular Verification of Object-Based Programs - Abstract of Invited Talk (2011) (0)
Session details: Static analysis III (2009) (0)
Scalable Interprocedural Analysis A Pragmatic Approach (2009) (0)
Editorial Introduction to Special Issue on Large Data Sets (2013) (0)
University of Dundee Inflation and measures of the markup (2017) (0)
Ten years after the start of the euro crisis: lessons for financial markets and macroeconomic policies (2021) (0)
Storeless Semantics and Separation Logic ( many preliminary ideas , few technical results ! ) (0)
Moral Hazard and Limited Liability in the Market for Loans: Credit Restriction Versus Credit Rationing (1988) (0)
Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008 (2009) (0)
The effects of climate change on crop and livestock choices (2018) (0)
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (2010) (0)
Information in economics forecasting (2005) (0)
Investigating Structural Breaks in Uk Manufacturing Trade (1995) (0)
The effect of PROCAMPO on farms’ technical efficiency: A Stochastic Frontier Analysis (2018) (0)
A Logical Account of Hoare's Mismatch Information Hiding via Second Order Framing in Region Logic (2009) (0)
Techniques for space reservation in a storage environment (2015) (0)
Language-Based Security, 5.-10. October 2003 (2005) (0)
Final Report on Seminar 03411: Language-Based Security (2003) (0)
Co‐Integration in Individual Equations (1993) (0)
Language-Based Security (Dagstuhl Seminar 03411) (2021) (0)
Ownership transfer and abstraction KSU CIS TR 2004-1 October , 2003 (2003) (0)
Factor Forecasts for the Us (2002) (0)
Information and contracts : a study of principal-agent relationships (1987) (0)
A language for information flow: dynamic tracking in multiple interdependent dimensions (abstract only) (2009) (0)
Structural Factor Analysis of Interest Rate Pass Through In Four Large Euro Area Economies (2019) (0)
The Central and Eastern European Countries and the European Union: Introduction (2006) (0)
Competition, the Lisbon Strategy and the Euro (2004) (0)
Semantics and Enforcement of Expressive Information Flow Policies (2009) (0)
Representation Independence , State Based Ownership , and Reentrancy December (2011) (0)
Information and contracts (1987) (0)
The WhyRel Prototype for Relational Verification (2023) (0)
The WhyRel Prototype for Modular Relational Verification of Pointer Programs (2023) (0)
Resource Morphisms for Specifying Concurrent Programs in Separation Logic (2019) (0)
Modular Enforcement of Information Flow Policies in Data Structures (2012) (0)
Constraining parameters of effective field theory of inflation from Planck data (2015) (0)
Language-Based Security Dagstuhl Seminar (2005) (0)
International Capital Flows , Economic Growth and Financial Market Efficiency Lusine Lusinyan (2002) (0)
Concurrent Data Structures Linked in Time Extended Version (2016) (0)
Frontiers in Time Series Analysis: Introduction (2006) (0)
Making Relational Hoare Logic Alignment Complete (2022) (0)
REU Supplemental Funding Request : An Information Flow Analyzer for Java Context (2008) (0)
Editorial Collaborators (1998) (0)
Dark Matter Halo Properties as Deduced from the Observed H I Scale Height Data (2009) (0)
Guaranteeing Eventual Coherency across Data Copies, in a Highly Available Peer-to-Peer Distributed File System (2009) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Anindya. Banerjee?

Anindya. Banerjee is affiliated with the following schools:

Anindya. Banerjee's Academic­Influence.com Rankings