Anindya. Banerjee
#155,662
Most Influential Person Now
Anindya. Banerjee's AcademicInfluence.com Rankings
Anindya. Banerjeeeconomics Degrees
Economics
#3364
World Rank
#3815
Historical Rank
Econometrics
#87
World Rank
#90
Historical Rank

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)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: