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
@inbook{Steckmann_Hellmich_2005, place={Oldenburg}, title={Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund}, booktitle={Lehren und Lernen nach IGLU - Grundschulunterricht heute}, publisher={BIS}, author={Steckmann, J and Hellmich, Frank}, editor={Hellmich, Frank}, year={2005}, pages={103–115} }
LibreCat
2005 | Journal Article | LibreCat-ID: 3227
@article{Olderog_Wehrheim_2005, title={Specification and (property) inheritance in {CSP-OZ}}, DOI={10.1016/j.scico.2004.05.017}, number={1–3}, journal={Sci. Comput. Program.}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, year={2005}, pages={227--257} }
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3228
@article{Wehrheim_2005, title={Slicing techniques for verification re-use}, DOI={10.1016/j.tcs.2005.06.020}, number={3}, journal={Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2005}, pages={509--528} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3229
@inproceedings{Rasch_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Checking the Validity of Scenarios in {UML} Models}, DOI={10.1007/11494881_5}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Steffen, Martin and Zavattaro, GianluigiEditors}, year={2005}, pages={67--82}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3230
@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={10.1007/11576280_25}, booktitle={Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Lau, Kung{-}Kiu and Banach, RichardEditors}, year={2005}, pages={360--374}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3231
@inproceedings{Derrick_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Non-atomic Refinement in {Z} and {CSP}}, DOI={10.1007/11415787_3}, booktitle={{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}, author={Derrick, John and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={24--44}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3232
@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing Object-Z Specifications for Verification}, DOI={10.1007/11415787_24}, booktitle={{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}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={414--433}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 3297
@article{Gries_2005, title={Endogenous Formation of Regions in Developing Countries}, volume={1}, number={1}, journal={Journal of Development Perspective}, author={Gries, Thomas}, year={2005}, pages={29–62} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 3298
@inbook{Gries_Sievert_Wieneke_2005, title={Rent a Bureaucrat}, booktitle={Finanzwissenschaft im Wandel}, publisher={Peter Lang Verlagsgruppe}, author={Gries, Thomas and Sievert, Gerhard and Wieneke, Axel}, editor={Napp, Hans-GeorgEditor}, year={2005} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 3301
@inbook{Gries_Jungblut_2005, place={Heidelberg}, title={Employment Effects of Foreign Direct Investments - A Theoretical Analysis with Heterogenous Labour}, booktitle={Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South-African Perspectives}, publisher={Physica-Verlag}, author={Gries, Thomas and Jungblut, Stefan}, editor={Gilroy, Bernard Michael and Gries, Thomas and Naudé, Willem A.Editors}, year={2005}, pages={229–245} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 3330
@inbook{Gries_Naudé_2005, place={Heidelberg}, title={On Global Economic Growth and the Prospects for Africa to Catch Up}, booktitle={Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South African Perspectives}, publisher={Physica-Verlag}, author={Gries, Thomas and Naudé, Wim}, editor={Gilroy, Bernard Michael and Gries, Thomas and Naudé, Willem A.Editors}, year={2005}, pages={7–36} }
LibreCat
2005 | Book | LibreCat-ID: 3377
@book{Gries_Gilroy_Naudé_2005, place={Heidelberg}, title={Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South African Perspectives}, publisher={Physica-Verlag}, author={Gries, Thomas and Gilroy, Bernard Michael and Naudé, Willem A.}, year={2005} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 3626
@inbook{Harteis_Bauer_Festner_Gruber_Heid_2005, place={Regensburg}, title={Employment Between Economic and Educational Considerations: How Employees Decide in Dilemma Situations}, booktitle={Bridging individual, organisational, and cultural aspects of professional learning}, publisher={Roderer}, author={Harteis, Christian and Bauer, Johannes and Festner, Dagmar and Gruber, Hans and Heid, Helmut}, editor={Gruber, Hans and Harteis, Christian and Mulder, Regina and Rehrl, MonikaEditors}, year={2005}, pages={275–290} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 3635
@inproceedings{Harteis_Gruber_2005, title={Learning from Mistakes: An Interview-study in German Enterprises; Paper Presented at the 86th Annual Meeting of the American Educational Research Association, Montreal, Canada}, publisher={AERA}, author={Harteis, Christian and Gruber, Hans}, year={2005} }
LibreCat
2005 | Book (Editor) | LibreCat-ID: 3636
@book{Heid_Harteis_2005, place={Wiebaden}, title={Verwertbarkeit - ein Qualitätskriterium (erziehungs-)wissenschaftlichen Wissens?}, publisher={VS Verlag für Sozialwissenschaften}, year={2005} }
LibreCat
2005 | Journal Article | LibreCat-ID: 3644
@article{Gruber_Harteis_Rehrl_2005, title={Arbeiten und Lernen zugleich? Die Analyse von Professional Learning}, number={17}, journal={Blick in die Wissenschaft}, author={Gruber, Hans and Harteis, Christian and Rehrl, Monika}, year={2005}, pages={18--25} }
LibreCat
2005 | Book (Editor) | LibreCat-ID: 3653
@book{Gruber_Harteis_Mulder_Rehrl_2005, place={Regensburg}, title={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)}, publisher={Roderer}, year={2005} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 3671
@inbook{Harteis_2005, title={Zur Tauglichkeit des Marktprinzips für die Lösung bildungspolitischer Verteilungsprobleme}, booktitle={Verwertbarkeit}, author={Harteis, Christian}, editor={Hans, Helmut and Harteis, ChristianEditors}, year={2005}, pages={281--291} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 28987
@inproceedings{Schindelhauer_Schomaker_2005, title={Weighted distributed hash tables}, DOI={10.1145/1073970.1074008}, booktitle={SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA}, author={Schindelhauer, Christian and Schomaker, Gunnar}, year={2005} }
LibreCat
| DOI
2005 | Dissertation | LibreCat-ID: 2913
@book{Otto_2005, title={Fault Attacks and Countermeasures}, publisher={Universität Paderborn}, author={Otto, Martin}, year={2005} }
LibreCat
| Download (ext.)