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.
751 Publications
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