Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

965 Publications


2011 | Mastersthesis | LibreCat-ID: 2902
Märtens, Marcus. The Monotone Complexity of Computing K-Clique on Random Graphs. 2011.
LibreCat
 

2011 | Dissertation | LibreCat-ID: 2910
Naewe, Stefanie. Algorithms for Lattice Problems with Respect to General Norms. Universität Paderborn, 2011.
LibreCat | Download (ext.)
 

2011 | Journal Article | LibreCat-ID: 2953
Gries, Thomas, and Wim Naudé. “Entrepreneurship and Human Development - A Capability Approach.” Journal of Public Economics, vol. 95, no. 3–4, 2011, pp. 216–24, doi:10.1016/j.jpubeco.2010.11.008.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 2954
Gries, Thomas, and Wim Naudé. “Entrepreneurship, Structural Change and a Global Economic Crisis.” Entrepreneurship Research Journal, vol. 1, no. 3, 4, 2011, doi:10.2202/2157-5665.1029.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 2955
Gries, Thomas, and Axel Wieneke. “SME Performance in Transition Economies: The Financial Regulation and Firm Level Corruption Nexus.” Journal of Comparative Economics, vol. 39, no. 2, 2011, pp. 221–29, doi:10.1016/j.jce.2010.09.001.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 2985
Ackermann, Marcel R., et al. Hardness and Non-Approximability of Bregman Clustering Problems. 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 2986
Blömer, Johannes. “How to Share a Secret.” Algorithms Unplugged, Springer Berlin Heidelberg, 2011, pp. 159–68, doi:10.1007/978-3-642-15328-0_17.
LibreCat | DOI
 

2011 | Preprint | LibreCat-ID: 2987
Blömer, Johannes, and Stefanie Naewe. “Solving the Closest Vector Problem with Respect to Lp Norms.” ArXiv:1104.3720, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 3052
Gries, Thomas, et al. “Income Determination and Income Discrimination in Shenzhen.” Urban Studies, vol. 48, no. 7, 2011, pp. 1457–75, doi:10.1177/0042098010375317.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3053
Gries, Thomas, et al. “Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean.” Applied Economics, vol. 43, no. 30, 2011, pp. 4729–39, doi:10.1080/00036846.2010.498352.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3054
Gries, Thomas, et al. “Causal Linkages Between Domestic Terrorism and Economic Growth.” Defence and Peace Economics, vol. 22, no. 5, 2011, pp. 493–508, doi:10.1080/10242694.2010.532943.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3058
Gries, Thomas, et al. “Interregional Migration, Self-Selection and the Returns to Education in Brazil.” The Annals of Regional Science, vol. 46, no. 3, 2011, pp. 707–32, doi:10.1007/s00168-009-0344-1.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3137
Hofheinz, Dennis, et al. “Short Signatures from Weaker Assumptions.” Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings, 2011, pp. 647--666, doi:10.1007/978-3-642-25385-0_35.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3138
Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.” Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422, doi:10.1145/2046707.2046756.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3183
Schneider, Steve, et al. “Bounded Retransmission in Event-B{\(\parallel\)}CSP: A Case Study.” Electr. Notes Theor. Comput. Sci., 2011, pp. 69--80, doi:10.1016/j.entcs.2011.11.019.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3184
Derrick, John, et al. “Mechanically Verified Proof Obligations for Linearizability.” {ACM} Trans. Program. Lang. Syst., no. 1, 2011, pp. 4:1--4:43, doi:10.1145/1889997.1890001.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth, Thomas, et al. “ReL: {A} Generic Refactoring Language for Specification and Execution.” 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90, doi:10.1109/SEAA.2011.22.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3186
Derrick, John, et al. “Verifying Linearisability with Potential Linearisation Points.” {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:10.1007/978-3-642-21437-0_25.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3187
Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.” Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim{\~{a}}o and Carroll Morgan, 2011, pp. 92--107, doi:10.1007/978-3-642-25032-3_7.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3188
Schneider, Steve, et al. “A {CSP} Account of Event-B Refinement.” Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick et al., 2011, pp. 139--154, doi:10.4204/EPTCS.55.9.
LibreCat | DOI
 

Filters and Search Terms

year=2011

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed