BibSonomy :: author  ::

bookmarks

publications

(27)

• Towards SMT Model Checking of Array-Based Systems.
  Silvio Ghilardi and Enrica Nicolini and Silvio Ranise and Daniele Zucchelli IJCAR 67-82 (2008)
  to dblp by dblp on 2008-09-05 00:00:00
  | URL | BibTeX  
• From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.
  Silvio Ghilardi and Silvio Ranise and Enrica Nicolini and Daniele Zucchelli Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Optimal Unemployment Insurance
  HugoA. Hopenhayn and JuanPablo Nicolini Journal of Political Economy 105 412--438 (1997)
  to imported by smicha on 2008-04-24 23:09:04
  | URL | BibTeX  
• Optimal Fiscal and Monetary Policy: Equivalence Results
  Isabel Correia and JuanPablo Nicolini and Pedro Teles Journal of Political Economy 116 141--170 (2008)
  to imported by smicha on 2008-04-24 23:09:04
  | URL | BibTeX  
• More on the time consistency of monetary policy
  Juan Pablo Nicolini Journal of Monetary Economics 41 333--350 (1998)
  to Monetary policy by smicha on 2008-04-23 22:05:04
  | URL | BibTeX  
• Inside-outside money competition
  Ramon Marimon and Juan Pablo Nicolini and Pedro Teles Journal of Monetary Economics 50 1701--1718 (2003)
  to Electronic money by smicha on 2008-04-23 22:05:04
  | URL | BibTeX  
• Optimal maturity of government debt without state contingent bonds
  Francisco Buera and Juan Pablo Nicolini Journal of Monetary Economics 51 531--554 (2004)
  to Government debt by smicha on 2008-04-23 22:05:04
  | URL | BibTeX  
• Ruling out speculative hyperinflations The role of the government
  Juan Pablo Nicolini Journal of Economic Dynamics and Control 20 791--809 (1996)
  to Speculative hyperinflations by smicha on 2008-04-22 15:17:45
  | URL | BibTeX  
• A comprehensive combination framework.
  Silvio Ghilardi and Enrica Nicolini and Daniele Zucchelli ACM Trans. Comput. Log. 9 (2008)
  to dblp by dblp on 2008-04-08 00:00:00
  | URL | BibTeX  
• Collective Processing and Neural States
  John J. Hopfield Modelling and Analysis in Biomedicine (1984)
  to nn by idsia and 1 other person on 2008-03-11 14:52:34
  | BibTeX