Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Dominique Borrione

Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings

IFIP Advances in Information and Communication Technology

Computer Networks

Information Systems

English

Design Error Diagnosis in Sequential Circuits

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Semantics of a Verification-Oriented Subset of VHDL

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Constrained Symbolic Simulation With Mathematica and ACL2

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Validation of Asynchronous Circuit Specifications Using IF/CADP

English

Related publications

Conditional Risk Premia in Currency Markets and Other Asset Classes

Journal of Financial Economics

English

Delegated Asset Management, Investment Mandates, and Capital Immobility

Journal of Financial Economics

English

How Do Staggered Boards Affect Shareholder Value? Evidence From a Natural Experiment

Journal of Financial Economics

English

The Unintended Consequences of the Zero Lower Bound Policy

Journal of Financial Economics

English

Displacement Risk and Asset Returns

Journal of Financial Economics

English

Endogenous Intermediation in Over-The-Counter Markets

Journal of Financial Economics

English

Corporate Ownership Structure and the Choice Between Bank Debt and Public Debt

Journal of Financial Economics

English

Time-To-Produce, Inventory, and Asset Prices

Journal of Financial Economics

English

Money and Liquidity in Financial Markets

Journal of Financial Economics

English

Volatility of Aggregate Volatility and Hedge Fund Returns

Journal of Financial Economics

English