@article{2586, author = {{Betz, Stefan}}, journal = {{Betrieb und Wirtschaft}}, pages = {{pp. 749--755}}, title = {{{Qualitätskostencontrolling auf Basis des Half-Life-Konzepts}}}, volume = {{54}}, year = {{2000}}, } @article{3247, author = {{Fischer, Clemens and Wehrheim, Heike}}, journal = {{Bulletin of the {EATCS}}}, pages = {{92----101}}, title = {{{Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}}}, year = {{2000}}, } @article{3248, author = {{Wehrheim, Heike}}, journal = {{Formal Asp. Comput.}}, number = {{3}}, pages = {{147----164}}, title = {{{Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}}}, doi = {{10.1007/s001650070026}}, year = {{2000}}, } @inproceedings{3249, author = {{Fischer, Clemens and Wehrheim, Heike}}, booktitle = {{Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}}, editor = {{Rus, Teodor}}, pages = {{469----483}}, title = {{{Behavioural Subtyping Relations for Object-Oriented Formalisms}}}, doi = {{10.1007/3-540-45499-3_33}}, year = {{2000}}, } @inproceedings{3250, author = {{Wehrheim, Heike}}, booktitle = {{Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}}, editor = {{S. E. Maibaum, T.}}, pages = {{334----348}}, title = {{{Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}}}, doi = {{10.1007/3-540-46428-X_23}}, year = {{2000}}, } @inproceedings{3251, author = {{Wehrheim, Heike}}, booktitle = {{Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}}, editor = {{F. Smith, Scott and L. Talcott, Carolyn}}, pages = {{213----231}}, title = {{{Behavioural Subtyping and Property Preservation}}}, doi = {{10.1007/978-0-387-35520-7_11}}, year = {{2000}}, } @inbook{3602, author = {{Harteis, Christian}}, booktitle = {{Kompendium Weiterbildung}}, editor = {{Harteis, Christian and Heid, Helmut and Kraft, Susanne}}, pages = {{209----217}}, publisher = {{Leske+Budrich}}, title = {{{Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung}}}, year = {{2000}}, } @book{3669, editor = {{Harteis, Christian and Heid, Helmut and Kraft, Susanne}}, publisher = {{Leske+Budrich}}, title = {{{Kompendium Weiterbildung}}}, year = {{2000}}, } @book{3674, author = {{Harteis, Christian}}, publisher = {{Neuer Merkur}}, title = {{{Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung}}}, year = {{2000}}, } @inbook{3023, author = {{Blömer, Johannes}}, booktitle = {{Automata, Languages and Programming}}, isbn = {{9783540677154}}, issn = {{0302-9743}}, pages = {{248--259}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices}}}, doi = {{10.1007/3-540-45022-x_22}}, year = {{2000}}, } @inproceedings{20993, author = {{Hahn, O. and Eis, M. and Meschut, Gerson}}, booktitle = {{Tagungsband zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen”}}, location = {{Würzburg}}, pages = {{147--161}}, title = {{{Qualitätssicherung bei der Herstellung von Klebverbindungen}}}, year = {{2000}}, } @inproceedings{20994, author = {{Eis, M. and Meschut, Gerson}}, booktitle = {{Tagungsband zur Veranstaltung EndForm 2000}}, isbn = {{ISBN 3-8265-7332-3}}, location = {{Aachen}}, pages = {{135--152}}, publisher = {{Shaker Verlag}}, title = {{{Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen}}}, year = {{2000}}, } @inproceedings{20995, author = {{Hahn, O. and Koyro, M. and Meschut, Gerson}}, booktitle = {{Tagungsband zur Veranstaltung EndForm 2000}}, isbn = {{ISBN 3-8265-7332-3}}, location = {{Aachen}}, pages = {{225--241}}, publisher = {{Shaker Verlag}}, title = {{{Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen}}}, year = {{2000}}, } @inproceedings{20996, author = {{Hahn, O. and Eis, M. and Meschut, Gerson}}, booktitle = {{Tagungsband zur Swiss Bondung ´00}}, location = {{Rapperswil (CH)}}, title = {{{Erhöhung der der Bauteilsteifigkeit durch Optimierung von Unterfütterungsklebungen}}}, year = {{2000}}, } @article{20997, author = {{Hahn, O. and Besserdich, G. and Dölle, N. and Jendrny, J. and Koyro, M. and Thesing, T. and Meschut, Gerson}}, journal = {{Schweißen und Schneiden}}, number = {{5}}, pages = {{266--271}}, title = {{{Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium}}}, volume = {{50}}, year = {{2000}}, } @article{20998, author = {{Hahn, O. and Meschut, Gerson and Eis, M. and Maciej, M.}}, journal = {{Schweißen und Schneiden}}, number = {{6}}, pages = {{340--348}}, title = {{{Beeinflussung der mechanischen Eigenschaften geklebter Kunststoffverbindungen durch Diffusion von Klebstoffbestandteilen in die polymeren Fügeteile}}}, volume = {{52}}, year = {{2000}}, } @article{20999, author = {{Hahn, O. and Meschut, Gerson and Koyro, M.}}, journal = {{Schweißen und Schneiden}}, number = {{7}}, pages = {{412--418}}, title = {{{Kleben in Kombination mit Fügen durch Umformen – eine wärmearme Fügetechnik für eigenschaftsoptimierte Aluminium-Rahmenkonstruktionen}}}, volume = {{52}}, year = {{2000}}, } @techreport{21001, author = {{Hahn, O. and Meschut, Gerson and Eis, M. and Kötting, G.}}, isbn = {{ISBN 3-934238-25-4}}, publisher = {{Verlag und Vertriebsgesellschaft mbH}}, title = {{{Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile}}}, year = {{2000}}, } @article{21002, author = {{Hahn, O. and Koyro, M. and Meschut, Gerson}}, journal = {{der praktiker }}, pages = {{356--361}}, title = {{{Kleben in Kombination mit Fügen durch Umformen}}}, volume = {{9}}, year = {{2000}}, } @inproceedings{21003, author = {{Bohling, P. and Jüttner, S. and Kaiser, M. and Meschut, Gerson and Schumann, S.}}, isbn = {{ISBN 3-9805447-3-7}}, location = {{Paderborn}}, pages = {{199--210}}, title = {{{Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau}}}, year = {{2000}}, }