@inproceedings{conf/fmics/LensinkSE07, title = {Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization.}, author = {Leonard Lensink and Sjaak Smetsers and Marko C. J. D. van Eekelen}, booktitle = {FMICS}, crossref = {conf/fmics/2007}, editor = {Stefan Leue and Pedro Merino}, pages = {115-132}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2007.html#LensinkSE07}, volume = {4916}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2191357fe89c5b31d0d3e0e7e01039207/dblp}, description = {dblp}, date = {2008-06-24}, ee = {http://dx.doi.org/10.1007/978-3-540-79707-4_10}, isbn = {978-3-540-79706-7}, keywords = {dblp } } @book{lensink2001, title = {Investment, capital market imperfections, and uncertainty : theory and empirical results}, address = {Elgar}, annote = {IX, 155 S}, author = {{Robert} Lensink and {Hong} Bo and {Elmer} Sterken}, howpublished = {Cheltenham [u.a.]}, url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+320945472&sourceid=fbw_bibsonomy}, year = {2001}, biburl = {http://www.bibsonomy.org/bibtex/2e9b651e9b0e0a14cfa8215bf7db65040/fbw}, description = {imported}, isbn = {1-8406-4085-5}, keywords = {Entscheidung_bei_Unsicherheit Investition Unvollkommener_Kapitalmarkt } } @article{Garretsen2004, title = {Growth, financial development, societal norms and legal institutions*}, author = {Harry Garretsen and Robert Lensink and Elmer Sterken}, journal = {Journal of International Financial Markets, Institutions and Money}, month = {Apr}, number = {2}, pages = {165--183}, url = {http://www.sciencedirect.com/science/article/B6VGT-49V9JKD-2/1/797552802241d76d3d323d1753b6b58b}, volume = {14}, year = {2004}, biburl = {http://www.bibsonomy.org/bibtex/273b6c128c90265513371337fc26ea26b/smicha}, keywords = {Finance } } @article{Gupta1997, title = {Financial repression and fiscal policy}, author = {Kanhaya L. Gupta and Robert Lensink}, journal = {Journal of Policy Modeling}, month = {Aug}, number = {4}, pages = {351--373}, url = {http://www.sciencedirect.com/science/article/B6V82-3SX0S03-1/1/922746efe0bdfa5a12b3e3dec04afdb9}, volume = {19}, year = {1997}, biburl = {http://www.bibsonomy.org/bibtex/21f146a6e8e89fbb9b4263456d1df4cc0/smicha}, keywords = {Financial repression } } @article{Thissen2001, title = {Macroeconomic effects of a currency devaluation in Egypt: An analysis with a computable general equilibrium model with financial markets and forward-looking expectations}, author = {Mark Thissen and Robert Lensink}, journal = {Journal of Policy Modeling}, month = {May}, number = {4}, pages = {411--419}, url = {http://www.sciencedirect.com/science/article/B6V82-43SV7C4-5/1/ecb3ccf0a50ef2d0d20ac3dfe9a59b68}, volume = {23}, year = {2001}, biburl = {http://www.bibsonomy.org/bibtex/2e785c9abd7b163d79c760f729215a3c3/smicha}, keywords = {Computable equilibrium general } } @article{Lensink1995, title = {Foreign exchange constraints and developing countries}, author = {Robert Lensink}, journal = {Economic Modelling}, month = {Apr}, number = {2}, pages = {179--191}, url = {http://www.sciencedirect.com/science/article/B6VB1-3XWS03V-P/1/bddb48c90c6a3649d03ad0a5e1f64c2c}, volume = {12}, year = {1995}, biburl = {http://www.bibsonomy.org/bibtex/214c858d1dc18b5f8a21254af79e80026/smicha}, keywords = {World model } } @article{Lensink2001, title = {Asymmetric information, option to wait to invest and the optimal level of investment}, author = {Robert Lensink and Elmer Sterken}, journal = {Journal of Public Economics}, month = {Feb}, number = {2}, pages = {365--374}, url = {http://www.sciencedirect.com/science/article/B6V76-41TMV3N-5/1/5dfbd7111dcf961c6c07b6a7124fef54}, volume = {79}, year = {2001}, biburl = {http://www.bibsonomy.org/bibtex/21eb8eecd243f451c3c6aebfe6744d820/smicha}, keywords = {Irreversible investment } } @article{Lensink2000, title = {Capital flight and political risk}, author = {Robert Lensink and Niels Hermes and Victor Murinde}, journal = {Journal of International Money and Finance}, month = {Feb}, number = {1}, pages = {73--92}, url = {http://www.sciencedirect.com/science/article/B6V9S-3YGDD6G-4/1/b0b237431235632408907b011a92d83b}, volume = {19}, year = {2000}, biburl = {http://www.bibsonomy.org/bibtex/2828e899fe5ee89a75c029f572597b2f4/smicha}, keywords = {Capital flight } } @article{Lensink2008, title = {Bank efficiency and foreign ownership: Do good institutions matter?}, author = {Robert Lensink and Aljar Meesters and Ilko Naaborg}, journal = {Journal of Banking \& Finance}, month = {May}, number = {5}, pages = {834--844}, url = {http://www.sciencedirect.com/science/article/B6VCY-4PGPVSK-1/1/7d576935f6f50e5a34250ab3f768f59b}, volume = {32}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2c2d0694f2c065e77aa0d8bfa07191023/smicha}, description = {Journal of Banking & Finance}, keywords = {Banks } } @article{Hermes2000, title = {Financial system development in transition economies}, author = {Niels Hermes and Robert Lensink}, journal = {Journal of Banking \& Finance}, month = {Apr}, number = {4}, pages = {507--524}, url = {http://www.sciencedirect.com/science/article/B6VCY-3YS38GD-1/1/a74949646df557600453b223a03b436d}, volume = {24}, year = {2000}, biburl = {http://www.bibsonomy.org/bibtex/2a37e93612d81b1dbc3bf5464f898789d/smicha}, description = {Journal of Banking & Finance}, keywords = {Financial systems } }