[{"year":"2000","citation":{"bibtex":"@article{Betz_2000, title={Qualitätskostencontrolling auf Basis des Half-Life-Konzepts}, volume={54}, journal={Betrieb und Wirtschaft}, author={Betz, Stefan}, year={2000}, pages={749–755} }","mla":"Betz, Stefan. “Qualitätskostencontrolling auf Basis des Half-Life-Konzepts.” Betrieb und Wirtschaft, vol. 54, 2000, pp. 749–55.","chicago":"Betz, Stefan. “Qualitätskostencontrolling auf Basis des Half-Life-Konzepts.” Betrieb und Wirtschaft 54 (2000): 749–55.","ama":"Betz S. Qualitätskostencontrolling auf Basis des Half-Life-Konzepts. Betrieb und Wirtschaft. 2000;54:749-755.","apa":"Betz, S. (2000). Qualitätskostencontrolling auf Basis des Half-Life-Konzepts. Betrieb und Wirtschaft, 54, 749–755.","ieee":"S. Betz, “Qualitätskostencontrolling auf Basis des Half-Life-Konzepts,” Betrieb und Wirtschaft, vol. 54, pp. 749–755, 2000.","short":"S. Betz, Betrieb und Wirtschaft 54 (2000) 749–755."},"type":"journal_article","page":"pp. 749-755","language":[{"iso":"ger"}],"date_updated":"2022-01-06T06:57:13Z","_id":"2586","intvolume":" 54","volume":54,"publication_status":"published","status":"public","date_created":"2018-05-03T10:46:03Z","author":[{"first_name":"Stefan","full_name":"Betz, Stefan","last_name":"Betz","id":"54"}],"department":[{"_id":"193"}],"publication":"Betrieb und Wirtschaft","title":"Qualitätskostencontrolling auf Basis des Half-Life-Konzepts","user_id":"21811","extern":"1"},{"date_updated":"2022-01-06T06:59:07Z","_id":"3247","type":"journal_article","year":"2000","citation":{"chicago":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS}, 2000, 92--101.","ama":"Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Bulletin of the {EATCS}. 2000:92--101.","apa":"Fischer, C., & Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Bulletin of the {EATCS}, 92--101.","bibtex":"@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101} }","mla":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS}, 2000, pp. 92--101.","short":"C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.","ieee":"C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method,” Bulletin of the {EATCS}, pp. 92--101, 2000."},"page":"92--101","title":"Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method","user_id":"29719","status":"public","date_created":"2018-06-14T07:17:49Z","author":[{"full_name":"Fischer, Clemens","first_name":"Clemens","last_name":"Fischer"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"department":[{"_id":"77"}],"publication":"Bulletin of the {EATCS}"},{"citation":{"ieee":"H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” Formal Asp. Comput., no. 3, pp. 147--164, 2000.","short":"H. Wehrheim, Formal Asp. Comput. (2000) 147--164.","bibtex":"@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={10.1007/s001650070026}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} }","mla":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” Formal Asp. Comput., no. 3, 2000, pp. 147--164, doi:10.1007/s001650070026.","chicago":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” Formal Asp. Comput., no. 3 (2000): 147--164. https://doi.org/10.1007/s001650070026.","ama":"Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. Formal Asp Comput. 2000;(3):147--164. doi:10.1007/s001650070026","apa":"Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. Formal Asp. Comput., (3), 147--164. https://doi.org/10.1007/s001650070026"},"year":"2000","type":"journal_article","page":"147--164","issue":"3","doi":"10.1007/s001650070026","_id":"3248","date_updated":"2022-01-06T06:59:07Z","status":"public","date_created":"2018-06-14T07:19:50Z","author":[{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"department":[{"_id":"77"}],"publication":"Formal Asp. Comput.","user_id":"29719","title":"Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications"},{"series_title":"Lecture Notes in Computer Science","page":"469--483","type":"conference","year":"2000","citation":{"ieee":"C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented Formalisms,” in Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.","short":"C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.","mla":"Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 2000, pp. 469--483, doi:10.1007/3-540-45499-3_33.","bibtex":"@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={10.1007/3-540-45499-3_33}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }","ama":"Fischer C, Wehrheim H. Behavioural Subtyping Relations for Object-Oriented Formalisms. In: Rus T, ed. Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Lecture Notes in Computer Science. ; 2000:469--483. doi:10.1007/3-540-45499-3_33","apa":"Fischer, C., & Wehrheim, H. (2000). Behavioural Subtyping Relations for Object-Oriented Formalisms. In T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings (pp. 469--483). https://doi.org/10.1007/3-540-45499-3_33","chicago":"Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” In Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-45499-3_33."},"date_updated":"2022-01-06T06:59:07Z","_id":"3249","doi":"10.1007/3-540-45499-3_33","department":[{"_id":"77"}],"publication":"Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings","author":[{"last_name":"Fischer","full_name":"Fischer, Clemens","first_name":"Clemens"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"editor":[{"full_name":"Rus, Teodor","first_name":"Teodor","last_name":"Rus"}],"date_created":"2018-06-14T07:20:56Z","status":"public","title":"Behavioural Subtyping Relations for Object-Oriented Formalisms","user_id":"29719"},{"title":"Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods","user_id":"29719","editor":[{"first_name":"T.","full_name":"S. E. Maibaum, T.","last_name":"S. E. Maibaum"}],"status":"public","date_created":"2018-06-14T07:22:20Z","author":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"publication":"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","doi":"10.1007/3-540-46428-X_23","_id":"3250","date_updated":"2022-01-06T06:59:07Z","year":"2000","citation":{"short":"H. Wehrheim, in: T. S. E. Maibaum (Ed.), 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, 2000, pp. 334--348.","ieee":"H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods,” in 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, 2000, pp. 334--348.","ama":"Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In: S. E. Maibaum T, ed. 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. Lecture Notes in Computer Science. ; 2000:334--348. doi:10.1007/3-540-46428-X_23","apa":"Wehrheim, H. (2000). Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In T. S. E. Maibaum (Ed.), 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 (pp. 334--348). https://doi.org/10.1007/3-540-46428-X_23","chicago":"Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” In 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, edited by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-46428-X_23.","mla":"Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” 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, edited by T. S. E. Maibaum, 2000, pp. 334--348, doi:10.1007/3-540-46428-X_23.","bibtex":"@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}, DOI={10.1007/3-540-46428-X_23}, 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}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor}, year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science} }"},"type":"conference","page":"334--348","series_title":"Lecture Notes in Computer Science"},{"page":"213--231","type":"conference","year":"2000","citation":{"mla":"Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” 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}, edited by Scott F. Smith and Carolyn L. Talcott, 2000, pp. 213--231, doi:10.1007/978-0-387-35520-7_11.","bibtex":"@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural Subtyping and Property Preservation}, DOI={10.1007/978-0-387-35520-7_11}, 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}}, author={Wehrheim, Heike}, editor={F. Smith, Scott and L. Talcott, CarolynEditors}, year={2000}, pages={213--231}, collection={{IFIP} Conference Proceedings} }","apa":"Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In S. F. Smith & C. L. Talcott (Eds.), 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} (pp. 213--231). https://doi.org/10.1007/978-0-387-35520-7_11","ama":"Wehrheim H. Behavioural Subtyping and Property Preservation. In: F. Smith S, L. Talcott C, eds. 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}. {IFIP} Conference Proceedings. ; 2000:213--231. doi:10.1007/978-0-387-35520-7_11","chicago":"Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In 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}, edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings, 2000. https://doi.org/10.1007/978-0-387-35520-7_11.","ieee":"H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in 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}, 2000, pp. 213--231.","short":"H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), 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}, 2000, pp. 213--231."},"series_title":"{IFIP} Conference Proceedings","doi":"10.1007/978-0-387-35520-7_11","date_updated":"2022-01-06T06:59:07Z","_id":"3251","date_created":"2018-06-14T07:25:14Z","status":"public","editor":[{"first_name":"Scott","full_name":"F. Smith, Scott","last_name":"F. Smith"},{"last_name":"L. Talcott","full_name":"L. Talcott, Carolyn","first_name":"Carolyn"}],"department":[{"_id":"77"}],"publication":"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}","author":[{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"user_id":"29719","title":"Behavioural Subtyping and Property Preservation"},{"place":"Opladen","extern":"1","user_id":"27503","title":"Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung","publication":"Kompendium Weiterbildung","department":[{"_id":"452"}],"author":[{"last_name":"Harteis","id":"27503","first_name":"Christian","orcid":"https://orcid.org/0000-0002-3570-7626","full_name":"Harteis, Christian"}],"publisher":"Leske+Budrich","date_created":"2018-07-23T10:57:12Z","status":"public","editor":[{"last_name":"Harteis","full_name":"Harteis, Christian","first_name":"Christian"},{"last_name":"Heid","full_name":"Heid, Helmut","first_name":"Helmut"},{"first_name":"Susanne","full_name":"Kraft, Susanne","last_name":"Kraft"}],"date_updated":"2022-01-06T06:59:27Z","_id":"3602","page":"209--217","year":"2000","type":"book_chapter","citation":{"mla":"Harteis, Christian. “Beschäftigte Im Spannungsfeld Ökonomischer Und Pädagogischer Prinzipien Betrieblicher Personal-Und Organisationsentwicklungsentwicklung.” Kompendium Weiterbildung, edited by Christian Harteis et al., Leske+Budrich, 2000, pp. 209--217.","bibtex":"@inbook{Harteis_2000, place={Opladen}, title={Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung}, booktitle={Kompendium Weiterbildung}, publisher={Leske+Budrich}, author={Harteis, Christian}, editor={Harteis, Christian and Heid, Helmut and Kraft, SusanneEditors}, year={2000}, pages={209--217} }","apa":"Harteis, C. (2000). Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung. In C. Harteis, H. Heid, & S. Kraft (Eds.), Kompendium Weiterbildung (pp. 209--217). Opladen: Leske+Budrich.","ama":"Harteis C. Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung. In: Harteis C, Heid H, Kraft S, eds. Kompendium Weiterbildung. Opladen: Leske+Budrich; 2000:209--217.","chicago":"Harteis, Christian. “Beschäftigte Im Spannungsfeld Ökonomischer Und Pädagogischer Prinzipien Betrieblicher Personal-Und Organisationsentwicklungsentwicklung.” In Kompendium Weiterbildung, edited by Christian Harteis, Helmut Heid, and Susanne Kraft, 209--217. Opladen: Leske+Budrich, 2000.","ieee":"C. Harteis, “Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung,” in Kompendium Weiterbildung, C. Harteis, H. Heid, and S. Kraft, Eds. Opladen: Leske+Budrich, 2000, pp. 209--217.","short":"C. Harteis, in: C. Harteis, H. Heid, S. Kraft (Eds.), Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000, pp. 209--217."}},{"type":"book_editor","citation":{"mla":"Harteis, Christian, et al., editors. Kompendium Weiterbildung. Leske+Budrich, 2000.","bibtex":"@book{Harteis_Heid_Kraft_2000, place={Opladen}, title={Kompendium Weiterbildung}, publisher={Leske+Budrich}, year={2000} }","ama":"Harteis C, Heid H, Kraft S, eds. Kompendium Weiterbildung. Opladen: Leske+Budrich; 2000.","apa":"Harteis, C., Heid, H., & Kraft, S. (Eds.). (2000). Kompendium Weiterbildung. Opladen: Leske+Budrich.","chicago":"Harteis, Christian, Helmut Heid, and Susanne Kraft, eds. Kompendium Weiterbildung. Opladen: Leske+Budrich, 2000.","ieee":"C. Harteis, H. Heid, and S. Kraft, Eds., Kompendium Weiterbildung. Opladen: Leske+Budrich, 2000.","short":"C. Harteis, H. Heid, S. Kraft, eds., Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000."},"year":"2000","date_updated":"2022-01-06T06:59:29Z","_id":"3669","department":[{"_id":"452"}],"publisher":"Leske+Budrich","editor":[{"id":"27503","last_name":"Harteis","full_name":"Harteis, Christian","orcid":"https://orcid.org/0000-0002-3570-7626","first_name":"Christian"},{"first_name":"Helmut","full_name":"Heid, Helmut","last_name":"Heid"},{"full_name":"Kraft, Susanne","first_name":"Susanne","last_name":"Kraft"}],"date_created":"2018-07-23T13:11:33Z","status":"public","extern":"1","place":"Opladen","title":"Kompendium Weiterbildung","user_id":"27503"},{"place":"München","title":"Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung","user_id":"27503","publisher":"Neuer Merkur","author":[{"id":"27503","last_name":"Harteis","orcid":"https://orcid.org/0000-0002-3570-7626","full_name":"Harteis, Christian","first_name":"Christian"}],"department":[{"_id":"452"}],"status":"public","date_created":"2018-07-23T13:19:50Z","_id":"3674","date_updated":"2022-01-06T06:59:29Z","type":"book","year":"2000","citation":{"mla":"Harteis, Christian. Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung. Neuer Merkur, 2000.","bibtex":"@book{Harteis_2000, place={München}, title={Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung}, publisher={Neuer Merkur}, author={Harteis, Christian}, year={2000} }","ama":"Harteis C. Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung. München: Neuer Merkur; 2000.","apa":"Harteis, C. (2000). Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung. München: Neuer Merkur.","chicago":"Harteis, Christian. Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung. München: Neuer Merkur, 2000.","ieee":"C. Harteis, Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung. München: Neuer Merkur, 2000.","short":"C. Harteis, Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung, Neuer Merkur, München, 2000."}},{"place":"Berlin, Heidelberg","title":"Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices","user_id":"25078","publication":"Automata, Languages and Programming","department":[{"_id":"64"}],"author":[{"full_name":"Blömer, Johannes","first_name":"Johannes","id":"23","last_name":"Blömer"}],"publisher":"Springer Berlin Heidelberg","publication_status":"published","publication_identifier":{"issn":["0302-9743"],"isbn":["9783540677154","9783540450221"]},"date_created":"2018-06-05T08:27:28Z","status":"public","_id":"3023","date_updated":"2022-01-06T06:58:51Z","doi":"10.1007/3-540-45022-x_22","page":"248-259","citation":{"ieee":"J. Blömer, “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices,” in Automata, Languages and Programming, Berlin, Heidelberg: Springer Berlin Heidelberg, 2000, pp. 248–259.","short":"J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.","bibtex":"@inbook{Blömer_2000, place={Berlin, Heidelberg}, title={Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices}, DOI={10.1007/3-540-45022-x_22}, booktitle={Automata, Languages and Programming}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes}, year={2000}, pages={248–259} }","mla":"Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.” Automata, Languages and Programming, Springer Berlin Heidelberg, 2000, pp. 248–59, doi:10.1007/3-540-45022-x_22.","apa":"Blömer, J. (2000). Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices. In Automata, Languages and Programming (pp. 248–259). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-45022-x_22","ama":"Blömer J. Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices. In: Automata, Languages and Programming. Berlin, Heidelberg: Springer Berlin Heidelberg; 2000:248-259. doi:10.1007/3-540-45022-x_22","chicago":"Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.” In Automata, Languages and Programming, 248–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. https://doi.org/10.1007/3-540-45022-x_22."},"type":"book_chapter","year":"2000"}]