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.
645 Publications
2003 | Journal Article | LibreCat-ID: 26158
@article{Peukert_Schmid_2003, title={Herausforderungen für die Lehre am Beispiel der mechanischen Verfahrenstechnik}, volume={75}, DOI={10.1002/cite.200390035}, number={3}, journal={Chemie Ingenieur Technik}, author={Peukert, W. and Schmid, Hans-Joachim}, year={2003}, pages={177–183} }
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 26159
@article{Artelt_Schmid_Peukert_2003, title={On the relevance of accounting for the evolution of the fractal dimension in aerosol process simulations}, volume={34}, DOI={10.1016/s0021-8502(03)00005-3}, number={5}, journal={Journal of Aerosol Science}, author={Artelt, C. and Schmid, Hans-Joachim and Peukert, W.}, year={2003}, pages={511–534} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 26263
@inproceedings{Ziegler_2003, title={Stability versus Speed in a Computable Algebraic Model}, booktitle={Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA}, author={Ziegler, Martin}, year={2003}, pages={47–64} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 26277
@inproceedings{Ziegler_2003, series={Informatik Berichte}, title={Computable Operators on Regular Sets}, volume={302–8/2003}, booktitle={Computability and Complexity in Analysis}, author={Ziegler, Martin}, year={2003}, pages={389–406}, collection={Informatik Berichte} }
LibreCat
2003 | Journal Article | LibreCat-ID: 26815
@article{Grüßing_Hellmich_2003, title={Viele Inhalte, viele Kontexte, viele Aktivitäten – eine Rahmenkonzeption für Sachaufgaben}, volume={2}, journal={Grundschulunterricht}, author={Grüßing, Meike and Hellmich, Frank}, year={2003}, pages={13–15} }
LibreCat
2003 | Book Chapter | LibreCat-ID: 26818
@inbook{Hellmich_Moschner_2003, place={Hildesheim}, title={Was interessiert Grundschulkinder an Mathematikaufgaben?}, booktitle={Beiträge zum Mathematikunterricht 2003}, publisher={Franzbecker}, author={Hellmich, Frank and Moschner, Barbara}, editor={Henn, Hans-Wolfgang }, year={2003}, pages={285–288} }
LibreCat
2003 | Journal Article | LibreCat-ID: 3236
@article{Wehrheim_2003, title={Behavioral Subtyping Relations for Active Objects}, DOI={10.1023/A:1024764232069}, number={2}, journal={Formal Methods in System Design}, author={Wehrheim, Heike}, year={2003}, pages={143--170} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Preserving Properties Under Change}, DOI={10.1007/978-3-540-30101-1_16}, booktitle={Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}, author={Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2003}, pages={330--343}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Inheritance of Temporal Logic Properties}, DOI={10.1007/978-3-540-39958-2_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={79--93}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
@inproceedings{Rasch_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Checking Consistency in {UML} Diagramms: Classes and State Machines}, DOI={10.1007/978-3-540-39958-2_16}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={229--243}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI