-
Computational suite of models with heterogeneous agents: Multi-country real b...
International audience -
Comparison of solutions to the multi-country real business cycle model
International audience -
Handling Algebraic Properties in Automatic Analysis of Security Protocols
This paper extends the approximation-based theoretical framework in which the security problem secrecy preservation against an intruder may be semi-decided through a... -
Automatic Verification of Security Protocols Using Approximations
Security protocols are widely used in open modern networks to ensure safe communications. It is now recognized that formal analysis can provide the level of assurance... -
A Set-Covering Approach for SONET Network Design
In this paper we formalize a graph-partitioning problem that arises in the design of SONET networks as a Set-Covering problem. We then improve the general performance...
