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.
9678 Publications
2005 | Journal Article | LibreCat-ID: 26278
@article{Ziegler_Fuchssteiner_2005, title={Nonlinear Reformulation of Heisenberg’s Dynamics}, DOI={10.1007/s10773-005-7048-9}, journal={International Journal of Theoretical Physics}, author={Ziegler, Martin and Fuchssteiner, Benno}, year={2005}, pages={693–717} }
LibreCat
| DOI
2005 | Book | LibreCat-ID: 26722
@book{Hellmich_2005, place={Oldenburg}, title={Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern}, publisher={BIS/DIZ}, author={Hellmich, Frank}, year={2005} }
LibreCat
2005 | Book (Editor) | LibreCat-ID: 26732
@book{Hellmich_2005, place={Oldenburg}, title={Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht}, publisher={BIS}, year={2005} }
LibreCat
2005 | Working Paper | LibreCat-ID: 2676
@book{Betz_2005, place={Paderborn}, series={Working Paper}, title={Unscharfe Produktionsprogrammplanung bei Alternativproduktion}, volume={Nr. 86}, author={Betz, Stefan}, year={2005}, collection={Working Paper} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 26801
@inbook{Hellmich_2005, place={Oldenburg}, title={Förderung selbstregulativer Fähigkeiten in der Grundschule}, booktitle={Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht }, publisher={BIS}, author={Hellmich, Frank}, editor={Hellmich, Frank}, year={2005}, pages={265–276} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 26802
@inbook{Hellmich_2005, place={Oldenburg}, title={Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?}, booktitle={Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht}, publisher={BIS}, author={Hellmich, Frank}, editor={Hellmich, Frank}, year={2005}, pages={13–29} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 26803
@inbook{Hellmich_2005, place={Oldenburg}, title={What about Rituale im Grundschulunterricht?}, booktitle={Rituale im Grundschulunterricht}, publisher={Didaktisches Zentrum (Oldenburger VorDrucke 514)}, author={Hellmich, Frank}, editor={Bohlen, Ilona}, year={2005}, pages={4} }
LibreCat
2005 | Book | LibreCat-ID: 26804
@book{Hellmich_Abt_Bruns_2005, place={Oldenburg}, title={„Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´}, publisher={Didaktisches Zentrum (Oldenburger VorDrucke 509)}, author={Hellmich, Frank and Abt, Melanie and Bruns, Heike}, year={2005} }
LibreCat
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