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.
4082 Publications
2005 | Book Chapter | LibreCat-ID: 26806
Steckmann J, Hellmich F. Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund. In: Hellmich F, ed. Lehren und Lernen nach IGLU - Grundschulunterricht heute. BIS; 2005:103-115.
LibreCat
2005 | Journal Article | LibreCat-ID: 3227
Olderog E-R, Wehrheim H. Specification and (property) inheritance in {CSP-OZ}. Sci Comput Program. 2005;(1-3):227--257. doi:10.1016/j.scico.2004.05.017
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3228
Wehrheim H. Slicing techniques for verification re-use. Theor Comput Sci. 2005;(3):509--528. doi:10.1016/j.tcs.2005.06.020
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3229
Rasch H, Wehrheim H. Checking the Validity of Scenarios in {UML} Models. In: Steffen M, Zavattaro G, eds. Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:67--82. doi:10.1007/11494881_5
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3230
Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification. In: Lau K-}Kiu, Banach R, eds. Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:360--374. doi:10.1007/11576280_25
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3231
Derrick J, Wehrheim H. Non-atomic Refinement in {Z} and {CSP}. In: Treharne H, King S, C. Henson M, A. Schneider S, eds. {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:24--44. doi:10.1007/11415787_3
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3232
Brückner I, Wehrheim H. Slicing Object-Z Specifications for Verification. In: Treharne H, King S, C. Henson M, A. Schneider S, eds. {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:414--433. doi:10.1007/11415787_24
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3297
Gries T. Endogenous Formation of Regions in Developing Countries. Journal of Development Perspective. 2005;1(1):29-62.
LibreCat
2005 | Book Chapter | LibreCat-ID: 3298
Gries T, Sievert G, Wieneke A. Rent a Bureaucrat. In: Napp H-G, ed. Finanzwissenschaft Im Wandel. Peter Lang Verlagsgruppe; 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 3301
Gries T, Jungblut S. Employment Effects of Foreign Direct Investments - A Theoretical Analysis with Heterogenous Labour. In: Gilroy BM, Gries T, Naudé WA, eds. Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South-African Perspectives. Heidelberg: Physica-Verlag; 2005:229-245.
LibreCat
2005 | Book Chapter | LibreCat-ID: 3330
Gries T, Naudé W. On Global Economic Growth and the Prospects for Africa to Catch Up. In: Gilroy BM, Gries T, Naudé WA, eds. Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South African Perspectives. Heidelberg: Physica-Verlag; 2005:7-36.
LibreCat
2005 | Book | LibreCat-ID: 3377
Gries T, Gilroy BM, Naudé WA. Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South African Perspectives. Heidelberg: Physica-Verlag; 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 3626
Harteis C, Bauer J, Festner D, Gruber H, Heid H. Employment Between Economic and Educational Considerations: How Employees Decide in Dilemma Situations. In: Gruber H, Harteis C, Mulder R, Rehrl M, eds. Bridging Individual, Organisational, and Cultural Aspects of Professional Learning. Regensburg: Roderer; 2005:275-290.
LibreCat
2005 | Conference Paper | LibreCat-ID: 3635
Harteis C, Gruber H. Learning from Mistakes: An Interview-study in German Enterprises; Paper Presented at the 86th Annual Meeting of the American Educational Research Association, Montreal, Canada. In: AERA; 2005.
LibreCat
2005 | Book (Editor) | LibreCat-ID: 3636
Heid H, Harteis C, eds. Verwertbarkeit - Ein Qualitätskriterium (Erziehungs-)Wissenschaftlichen Wissens? Wiebaden: VS Verlag für Sozialwissenschaften; 2005.
LibreCat
2005 | Journal Article | LibreCat-ID: 3644
Gruber H, Harteis C, Rehrl M. Arbeiten und Lernen zugleich? Die Analyse von Professional Learning. Blick in die Wissenschaft. 2005;(17):18--25.
LibreCat
2005 | Book (Editor) | LibreCat-ID: 3653
Gruber H, Harteis C, Mulder R, Rehrl M, eds. Bridging Individual, Organisational, and Cultural Aspects of Professional Learning/Learning and Professional Development, Special Interest Group of the European Association for Research on Learning and Instruction (EARLI). Regensburg: Roderer; 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 3671
Harteis C. Zur Tauglichkeit des Marktprinzips für die Lösung bildungspolitischer Verteilungsprobleme. In: Hans H, Harteis C, eds. Verwertbarkeit. ; 2005:281--291.
LibreCat
2005 | Conference Paper | LibreCat-ID: 28987
Schindelhauer C, Schomaker G. Weighted distributed hash tables. In: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA. ; 2005. doi:10.1145/1073970.1074008
LibreCat
| DOI
2005 | Dissertation | LibreCat-ID: 2913
Otto M. Fault Attacks and Countermeasures. Universität Paderborn; 2005.
LibreCat
| Download (ext.)