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