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
2003 | Conference Paper | LibreCat-ID: 3240
@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={10.1007/3-540-44880-2_10}, booktitle={{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\’{e}}n, MarinaEditors}, year={2003}, pages={127--147}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2003 | Book | LibreCat-ID: 3379
@book{Gries_Jungmittag_Welfens_2003, place={Heidelberg}, title={Neue Wachstums- und Innovationspolitik in Europa}, publisher={Physica-Verlag}, author={Gries, Thomas and Jungmittag, Andre and Welfens, Paul J.J.}, year={2003} }
LibreCat
2003 | Book Chapter | LibreCat-ID: 3652
@inbook{Gruber_Festner_Harteis_Meier_Meling_Stamouli_2003, place={Bielefeld}, title={Evaluation von Online-Seminaren--warum und wie?}, booktitle={Online-Lehre und Lernen in der Weiterbildung. Gestaltung und Perspektiven}, publisher={W Bertelsmann}, author={Gruber, Hans and Festner, Dagmar and Harteis, Christian and Meier, Bettina and Meling, Patrick and Stamouli, Elena}, editor={Apel, Heinz and Kraft, SusanneEditors}, year={2003}, pages={261–274} }
LibreCat
2003 | Journal Article | LibreCat-ID: 3707
@article{Harteis_2003, title={Lernende Organisationen zwischen Anspruch und Wirklichkeit}, volume={55}, journal={Wirtschaft und Erziehung}, author={Harteis, Christian}, year={2003}, pages={306–312} }
LibreCat
2003 | Journal Article | LibreCat-ID: 3708
@article{Harteis_2003, title={Learning organizations as seen by workers}, volume={29}, number={1}, journal={European Journal for Vocational Training}, author={Harteis, Christian}, year={2003}, pages={15–24} }
LibreCat
2003 | Dissertation | LibreCat-ID: 2914
@book{May_2003, title={New RSA Vulnerabilities Using Lattice Reduction Methods}, publisher={Universität Paderborn}, author={May, Alexander}, year={2003} }
LibreCat
| Download (ext.)
2003 | Book Chapter | LibreCat-ID: 3016
@inbook{Blömer_May_2003, place={Berlin, Heidelberg}, title={New Partial Key Exposure Attacks on RSA}, DOI={10.1007/978-3-540-45146-4_2}, booktitle={Advances in Cryptology - CRYPTO 2003}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2003}, pages={27–43} }
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 3018
@inbook{Blömer_Seifert_2003, place={Berlin, Heidelberg}, title={Fault Based Cryptanalysis of the Advanced Encryption Standard (AES)}, DOI={10.1007/978-3-540-45126-6_12}, booktitle={Financial Cryptography}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and Seifert, Jean-Pierre}, year={2003}, pages={162–181} }
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 27927
@inbook{Schlegel-Matthies_2003, title={Bildung für Lebensführung – eine neue Aufgabe für die Schule?!}, booktitle={Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts}, publisher={Baltmannsweiler }, author={Schlegel-Matthies, Kirsten}, editor={Methfessel, Barbara and Schlegel-Matthies, Kirsten}, year={2003}, pages={71–83} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 21056
@inproceedings{Meschut_2003, place={Stuttgart}, title={Kleben und Mechanisches Fügen – Verbindungstechniken im Produktlebenszyklus von Leichtbaustrukturen}, author={Meschut, Gerson}, year={2003} }
LibreCat