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.
1363 Publications
2011 | Journal Article | LibreCat-ID: 2954
@article{Gries_Naudé_2011, title={Entrepreneurship, Structural Change and a Global Economic Crisis}, volume={1}, DOI={10.2202/2157-5665.1029}, number={34}, journal={Entrepreneurship Research Journal}, author={Gries, Thomas and Naudé, Wim}, year={2011} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 2955
@article{Gries_Wieneke_2011, title={SME performance in transition economies: The financial regulation and firm level corruption nexus}, volume={39}, DOI={10.1016/j.jce.2010.09.001}, number={2}, journal={Journal of Comparative Economics}, author={Gries, Thomas and Wieneke, Axel}, year={2011}, pages={221–229} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 2985
@article{Ackermann_Blömer_Scholz_2011, series={Electronic Colloquium on Computational Complexity (ECCC)}, title={Hardness and Non-Approximability of Bregman Clustering Problems.}, author={Ackermann, Marcel R and Blömer, Johannes and Scholz, Christoph}, year={2011}, collection={Electronic Colloquium on Computational Complexity (ECCC)} }
LibreCat
2011 | Book Chapter | LibreCat-ID: 2986
@inbook{Blömer_2011, place={Berlin, Heidelberg}, title={How to Share a Secret}, DOI={10.1007/978-3-642-15328-0_17}, booktitle={Algorithms Unplugged}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes}, year={2011}, pages={159–168} }
LibreCat
| DOI
2011 | Preprint | LibreCat-ID: 2987
@article{Blömer_Naewe_2011, title={Solving the Closest Vector Problem with respect to Lp Norms}, journal={arXiv:1104.3720}, author={Blömer, Johannes and Naewe, Stefanie}, year={2011} }
LibreCat
2011 | Journal Article | LibreCat-ID: 3052
@article{Gries_Gravemeyer_Xue_2011, title={Income Determination and Income Discrimination in Shenzhen}, volume={48}, DOI={10.1177/0042098010375317}, number={7}, journal={Urban Studies}, author={Gries, Thomas and Gravemeyer, Stefan and Xue, Jinjun}, year={2011}, pages={1457–1475} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3053
@article{Gries_Kraft_Meierrieks_2011, title={Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean}, volume={43}, DOI={10.1080/00036846.2010.498352}, number={30}, journal={Applied Economics}, author={Gries, Thomas and Kraft, Manfred and Meierrieks, Daniel}, year={2011}, pages={4729–4739} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3054
@article{Gries_Krieger_Meierrieks_2011, title={Causal Linkages Between Domestic Terrorism and Economic Growth}, volume={22}, DOI={10.1080/10242694.2010.532943}, number={5}, journal={Defence and Peace Economics}, author={Gries, Thomas and Krieger, Tim and Meierrieks, Daniel}, year={2011}, pages={493–508} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3058
@article{Gries_Kraft_Piek_2011, title={Interregional Migration, Self-selection and the Returns to Education in Brazil}, volume={46}, DOI={10.1007/s00168-009-0344-1}, number={3}, journal={The Annals of Regional Science}, author={Gries, Thomas and Kraft, Manfred and Piek, Christina}, year={2011}, pages={707–732} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3137
@inproceedings{Hofheinz_Jager_Kiltz_2011, title={Short Signatures from Weaker Assumptions}, DOI={10.1007/978-3-642-25385-0_35}, booktitle={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}, author={Hofheinz, Dennis and Jager, Tibor and Kiltz, Eike}, year={2011}, pages={647--666} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3138
@inproceedings{Jager_Somorovsky_2011, title={How to break XML encryption}, DOI={10.1145/2046707.2046756}, booktitle={Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011}, author={Jager, Tibor and Somorovsky, Juraj}, year={2011}, pages={413--422} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3183
@article{Schneider_Treharne_Wehrheim_2011, title={Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study}, DOI={10.1016/j.entcs.2011.11.019}, journal={Electr. Notes Theor. Comput. Sci.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, year={2011}, pages={69--80} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3184
@article{Derrick_Schellhorn_Wehrheim_2011, title={Mechanically verified proof obligations for linearizability}, DOI={10.1145/1889997.1890001}, number={1}, journal={{ACM} Trans. Program. Lang. Syst.}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, year={2011}, pages={4:1--4:43} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
@inproceedings{Ruhroth_Wehrheim_Ziegert_2011, title={ReL: {A} Generic Refactoring Language for Specification and Execution}, DOI={10.1109/SEAA.2011.22}, booktitle={37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011}, author={Ruhroth, Thomas and Wehrheim, Heike and Ziegert, Steffen}, year={2011}, pages={83--90} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
@inproceedings{Derrick_Schellhorn_Wehrheim_2011, series={Lecture Notes in Computer Science}, title={Verifying Linearisability with Potential Linearisation Points}, DOI={10.1007/978-3-642-21437-0_25}, booktitle={{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={J. Butler, Michael and Schulte, WolframEditors}, year={2011}, pages={323--337}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
@inproceedings{Steenken_Wehrheim_Wonisch_2011, series={Lecture Notes in Computer Science}, title={Sound and Complete Abstract Graph Transformation}, DOI={10.1007/978-3-642-25032-3_7}, booktitle={Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, editor={da Silva Sim{\~{a}}o, Adenilso and Morgan, CarrollEditors}, year={2011}, pages={92--107}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
@inproceedings{Schneider_Treharne_Wehrheim_2011, series={{EPTCS}}, title={A {CSP} Account of Event-B Refinement}, DOI={10.4204/EPTCS.55.9}, booktitle={Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors}, year={2011}, pages={139--154}, collection={{EPTCS}} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 26981
@inproceedings{Sondermann-Wölke_Sextro_Reinold_Trächtler_2011, title={Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs}, booktitle={Technische Zuverlässigkeit TTZ}, author={Sondermann-Wölke, Christoph and Sextro, Walter and Reinold, Peter and Trächtler, Ansgar}, year={2011} }
LibreCat
2011 | Dissertation | LibreCat-ID: 26982
@book{Krol_2011, title={Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)}, volume={Band 293}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293}, author={Krol, Rafal}, year={2011} }
LibreCat
2011 | Journal Article | LibreCat-ID: 27010
@article{Diethelm_Remer_Jilani_Kunz_Buyken_2011, title={Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood}, DOI={10.1016/j.clnu.2011.05.004}, journal={Clinical Nutrition}, author={Diethelm, Katharina and Remer, Thomas and Jilani, Hannah and Kunz, Clemens and Buyken, Anette}, year={2011}, pages={640–646} }
LibreCat
| DOI