--- _id: '13397' author: - first_name: Christian full_name: Wecker, Christian id: '29891' last_name: Wecker - first_name: Andreas full_name: Schulz, Andreas id: '63109' last_name: Schulz - first_name: Jens full_name: Heine, Jens last_name: Heine - first_name: Hans-Joerg full_name: Bart, Hans-Joerg last_name: Bart - first_name: Eugeny full_name: Kenig, Eugeny id: '665' last_name: Kenig citation: ama: 'Wecker C, Schulz A, Heine J, Bart H-J, Kenig E. Stofftransport und Fluidmechanik bei der Tropfenbildung unter Berücksichtigung von Marangonikonvektion mittels CFD. In: Muttenz, Schweiz: Jahrestreffen der ProcessNet-Fachgruppe Extraktion; 2019.' apa: 'Wecker, C., Schulz, A., Heine, J., Bart, H.-J., & Kenig, E. (2019). Stofftransport und Fluidmechanik bei der Tropfenbildung unter Berücksichtigung von Marangonikonvektion mittels CFD. Presented at the Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz: Jahrestreffen der ProcessNet-Fachgruppe Extraktion.' bibtex: '@inproceedings{Wecker_Schulz_Heine_Bart_Kenig_2019, place={Muttenz, Schweiz}, title={Stofftransport und Fluidmechanik bei der Tropfenbildung unter Berücksichtigung von Marangonikonvektion mittels CFD}, publisher={Jahrestreffen der ProcessNet-Fachgruppe Extraktion}, author={Wecker, Christian and Schulz, Andreas and Heine, Jens and Bart, Hans-Joerg and Kenig, Eugeny}, year={2019} }' chicago: 'Wecker, Christian, Andreas Schulz, Jens Heine, Hans-Joerg Bart, and Eugeny Kenig. “Stofftransport Und Fluidmechanik Bei Der Tropfenbildung Unter Berücksichtigung von Marangonikonvektion Mittels CFD.” Muttenz, Schweiz: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, 2019.' ieee: C. Wecker, A. Schulz, J. Heine, H.-J. Bart, and E. Kenig, “Stofftransport und Fluidmechanik bei der Tropfenbildung unter Berücksichtigung von Marangonikonvektion mittels CFD,” presented at the Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019. mla: Wecker, Christian, et al. Stofftransport Und Fluidmechanik Bei Der Tropfenbildung Unter Berücksichtigung von Marangonikonvektion Mittels CFD. Jahrestreffen der ProcessNet-Fachgruppe Extraktion, 2019. short: 'C. Wecker, A. Schulz, J. Heine, H.-J. Bart, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019.' conference: location: Muttenz, Schweiz name: Jahrestreffen der ProcessNet-Fachgruppe Extraktion date_created: 2019-09-20T09:06:19Z date_updated: 2022-01-06T06:51:34Z department: - _id: '9' - _id: '145' language: - iso: eng place: Muttenz, Schweiz project: - _id: '52' name: Computing Resources Provided by the Paderborn Center for Parallel Computing publisher: Jahrestreffen der ProcessNet-Fachgruppe Extraktion status: public title: Stofftransport und Fluidmechanik bei der Tropfenbildung unter Berücksichtigung von Marangonikonvektion mittels CFD type: conference_abstract user_id: '29891' year: '2019' ... --- _id: '13398' author: - first_name: Jens full_name: Heine, Jens last_name: Heine - first_name: Christian full_name: Wecker, Christian id: '29891' last_name: Wecker - first_name: Eugeny full_name: Kenig, Eugeny id: '665' last_name: Kenig - first_name: Hans-Joerg full_name: Bart, Hans-Joerg last_name: Bart citation: ama: 'Heine J, Wecker C, Kenig E, Bart H-J. Stofftransport bei der Tropfenbildung. In: Muttenz, Schweiz: Jahrestreffen der ProcessNet-Fachgruppe Extraktion; 2019.' apa: 'Heine, J., Wecker, C., Kenig, E., & Bart, H.-J. (2019). Stofftransport bei der Tropfenbildung. Presented at the Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz: Jahrestreffen der ProcessNet-Fachgruppe Extraktion.' bibtex: '@inproceedings{Heine_Wecker_Kenig_Bart_2019, place={Muttenz, Schweiz}, title={Stofftransport bei der Tropfenbildung}, publisher={Jahrestreffen der ProcessNet-Fachgruppe Extraktion}, author={Heine, Jens and Wecker, Christian and Kenig, Eugeny and Bart, Hans-Joerg}, year={2019} }' chicago: 'Heine, Jens, Christian Wecker, Eugeny Kenig, and Hans-Joerg Bart. “Stofftransport Bei Der Tropfenbildung.” Muttenz, Schweiz: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, 2019.' ieee: J. Heine, C. Wecker, E. Kenig, and H.-J. Bart, “Stofftransport bei der Tropfenbildung,” presented at the Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019. mla: Heine, Jens, et al. Stofftransport Bei Der Tropfenbildung. Jahrestreffen der ProcessNet-Fachgruppe Extraktion, 2019. short: 'J. Heine, C. Wecker, E. Kenig, H.-J. Bart, in: Jahrestreffen der ProcessNet-Fachgruppe Extraktion, Muttenz, Schweiz, 2019.' conference: location: Muttenz, Schweiz name: Jahrestreffen der ProcessNet-Fachgruppe Extraktion date_created: 2019-09-20T09:09:13Z date_updated: 2022-01-06T06:51:34Z department: - _id: '9' - _id: '145' language: - iso: eng place: Muttenz, Schweiz project: - _id: '52' name: Computing Resources Provided by the Paderborn Center for Parallel Computing publisher: Jahrestreffen der ProcessNet-Fachgruppe Extraktion status: public title: Stofftransport bei der Tropfenbildung type: conference_abstract user_id: '29891' year: '2019' ... --- _id: '13399' author: - first_name: Alexander full_name: Zibart, Alexander last_name: Zibart - first_name: Eugeny full_name: Kenig, Eugeny id: '665' last_name: Kenig citation: ama: 'Zibart A, Kenig E. Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode. In: Frankfurt: ProcessNet-Fachgruppe Computational Fluid Dynamics; 2019.' apa: 'Zibart, A., & Kenig, E. (2019). Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode. Presented at the ProcessNet-Fachgruppe Computational Fluid Dynamics, Frankfurt: ProcessNet-Fachgruppe Computational Fluid Dynamics.' bibtex: '@inproceedings{Zibart_Kenig_2019, place={Frankfurt}, title={Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode}, publisher={ProcessNet-Fachgruppe Computational Fluid Dynamics}, author={Zibart, Alexander and Kenig, Eugeny}, year={2019} }' chicago: 'Zibart, Alexander, and Eugeny Kenig. “Reduktion von Parasitären Strömungen in Mehrphasensimulationen Durch Verwendung Der Height-Function Methode.” Frankfurt: ProcessNet-Fachgruppe Computational Fluid Dynamics, 2019.' ieee: A. Zibart and E. Kenig, “Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode,” presented at the ProcessNet-Fachgruppe Computational Fluid Dynamics, Frankfurt, 2019. mla: Zibart, Alexander, and Eugeny Kenig. Reduktion von Parasitären Strömungen in Mehrphasensimulationen Durch Verwendung Der Height-Function Methode. ProcessNet-Fachgruppe Computational Fluid Dynamics, 2019. short: 'A. Zibart, E. Kenig, in: ProcessNet-Fachgruppe Computational Fluid Dynamics, Frankfurt, 2019.' conference: location: Frankfurt name: ProcessNet-Fachgruppe Computational Fluid Dynamics date_created: 2019-09-20T09:16:42Z date_updated: 2022-01-06T06:51:34Z department: - _id: '9' - _id: '145' language: - iso: eng place: Frankfurt project: - _id: '52' name: Computing Resources Provided by the Paderborn Center for Parallel Computing publisher: ProcessNet-Fachgruppe Computational Fluid Dynamics status: public title: Reduktion von parasitären Strömungen in Mehrphasensimulationen durch Verwendung der Height-Function Methode type: conference_abstract user_id: '29891' year: '2019' ... --- _id: '13431' author: - first_name: A. full_name: Dridger, A. last_name: Dridger - first_name: I. full_name: Caylak, I. last_name: Caylak - first_name: R. full_name: Mahnken, R. last_name: Mahnken - first_name: E. full_name: Penner, E. last_name: Penner citation: ama: Dridger A, Caylak I, Mahnken R, Penner E. “A possibilistic finite element method for sparse data.” Safety and Reliability. 2019:58-82. doi:10.1080/09617353.2018.1552477 apa: Dridger, A., Caylak, I., Mahnken, R., & Penner, E. (2019). “A possibilistic finite element method for sparse data.” Safety and Reliability, 58–82. https://doi.org/10.1080/09617353.2018.1552477 bibtex: '@article{Dridger_Caylak_Mahnken_Penner_2019, title={“A possibilistic finite element method for sparse data”}, DOI={10.1080/09617353.2018.1552477}, journal={Safety and Reliability}, author={Dridger, A. and Caylak, I. and Mahnken, R. and Penner, E.}, year={2019}, pages={58–82} }' chicago: Dridger, A., I. Caylak, R. Mahnken, and E. Penner. “‘A Possibilistic Finite Element Method for Sparse Data.’” Safety and Reliability, 2019, 58–82. https://doi.org/10.1080/09617353.2018.1552477. ieee: A. Dridger, I. Caylak, R. Mahnken, and E. Penner, “‘A possibilistic finite element method for sparse data,’” Safety and Reliability, pp. 58–82, 2019. mla: Dridger, A., et al. “‘A Possibilistic Finite Element Method for Sparse Data.’” Safety and Reliability, 2019, pp. 58–82, doi:10.1080/09617353.2018.1552477. short: A. Dridger, I. Caylak, R. Mahnken, E. Penner, Safety and Reliability (2019) 58–82. date_created: 2019-09-20T12:44:28Z date_updated: 2022-01-06T06:51:36Z department: - _id: '154' doi: 10.1080/09617353.2018.1552477 language: - iso: eng page: 58-82 publication: Safety and Reliability publication_identifier: issn: - 0961-7353 - 2469-4126 publication_status: published status: public title: '"A possibilistic finite element method for sparse data"' type: journal_article user_id: '78813' year: '2019' ... --- _id: '13432' author: - first_name: Xiaozhe full_name: Ju, Xiaozhe last_name: Ju - first_name: Rolf full_name: Mahnken, Rolf last_name: Mahnken citation: ama: Ju X, Mahnken R. “Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity.” Computer Methods in Applied Mechanics and Engineering. 2019:297-329. doi:10.1016/j.cma.2019.01.031 apa: Ju, X., & Mahnken, R. (2019). “Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity.” Computer Methods in Applied Mechanics and Engineering, 297–329. https://doi.org/10.1016/j.cma.2019.01.031 bibtex: '@article{Ju_Mahnken_2019, title={“Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity”}, DOI={10.1016/j.cma.2019.01.031}, journal={Computer Methods in Applied Mechanics and Engineering}, author={Ju, Xiaozhe and Mahnken, Rolf}, year={2019}, pages={297–329} }' chicago: Ju, Xiaozhe, and Rolf Mahnken. “‘Goal-Oriented h-Type Adaptive Finite Elements for Micromorphic Elastoplasticity.’” Computer Methods in Applied Mechanics and Engineering, 2019, 297–329. https://doi.org/10.1016/j.cma.2019.01.031. ieee: X. Ju and R. Mahnken, “‘Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity,’” Computer Methods in Applied Mechanics and Engineering, pp. 297–329, 2019. mla: Ju, Xiaozhe, and Rolf Mahnken. “‘Goal-Oriented h-Type Adaptive Finite Elements for Micromorphic Elastoplasticity.’” Computer Methods in Applied Mechanics and Engineering, 2019, pp. 297–329, doi:10.1016/j.cma.2019.01.031. short: X. Ju, R. Mahnken, Computer Methods in Applied Mechanics and Engineering (2019) 297–329. date_created: 2019-09-20T12:53:03Z date_updated: 2022-01-06T06:51:36Z department: - _id: '154' doi: 10.1016/j.cma.2019.01.031 language: - iso: eng page: 297-329 publication: Computer Methods in Applied Mechanics and Engineering publication_identifier: issn: - 0045-7825 publication_status: published status: public title: '"Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity"' type: journal_article user_id: '78813' year: '2019' ... --- _id: '13434' article_number: e201900005 author: - first_name: Markus full_name: Mäck, Markus last_name: Mäck - first_name: Ismail full_name: Caylak, Ismail last_name: Caylak - first_name: Philipp full_name: Edler, Philipp last_name: Edler - first_name: Steffen full_name: Freitag, Steffen last_name: Freitag - first_name: Michael full_name: Hanss, Michael last_name: Hanss - first_name: Rolf full_name: Mahnken, Rolf last_name: Mahnken - first_name: Günther full_name: Meschke, Günther last_name: Meschke - first_name: Eduard full_name: Penner, Eduard last_name: Penner citation: ama: Mäck M, Caylak I, Edler P, et al. “Optimization with constraints considering polymorphic uncertainties.” GAMM-Mitteilungen. 2019. doi:10.1002/gamm.201900005 apa: Mäck, M., Caylak, I., Edler, P., Freitag, S., Hanss, M., Mahnken, R., … Penner, E. (2019). “Optimization with constraints considering polymorphic uncertainties.” GAMM-Mitteilungen. https://doi.org/10.1002/gamm.201900005 bibtex: '@article{Mäck_Caylak_Edler_Freitag_Hanss_Mahnken_Meschke_Penner_2019, title={“Optimization with constraints considering polymorphic uncertainties”}, DOI={10.1002/gamm.201900005}, number={e201900005}, journal={GAMM-Mitteilungen}, author={Mäck, Markus and Caylak, Ismail and Edler, Philipp and Freitag, Steffen and Hanss, Michael and Mahnken, Rolf and Meschke, Günther and Penner, Eduard}, year={2019} }' chicago: Mäck, Markus, Ismail Caylak, Philipp Edler, Steffen Freitag, Michael Hanss, Rolf Mahnken, Günther Meschke, and Eduard Penner. “‘Optimization with Constraints Considering Polymorphic Uncertainties.’” GAMM-Mitteilungen, 2019. https://doi.org/10.1002/gamm.201900005. ieee: M. Mäck et al., “‘Optimization with constraints considering polymorphic uncertainties,’” GAMM-Mitteilungen, 2019. mla: Mäck, Markus, et al. “‘Optimization with Constraints Considering Polymorphic Uncertainties.’” GAMM-Mitteilungen, e201900005, 2019, doi:10.1002/gamm.201900005. short: M. Mäck, I. Caylak, P. Edler, S. Freitag, M. Hanss, R. Mahnken, G. Meschke, E. Penner, GAMM-Mitteilungen (2019). date_created: 2019-09-20T13:21:03Z date_updated: 2022-01-06T06:51:36Z department: - _id: '154' doi: 10.1002/gamm.201900005 language: - iso: eng publication: GAMM-Mitteilungen publication_identifier: issn: - 0936-7195 publication_status: published status: public title: '"Optimization with constraints considering polymorphic uncertainties"' type: journal_article user_id: '78813' year: '2019' ... --- _id: '13435' author: - first_name: Edwin full_name: Friesen, Edwin last_name: Friesen citation: ama: 'Friesen E. Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn; 2019.' apa: 'Friesen, E. (2019). Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn.' bibtex: '@book{Friesen_2019, title={Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis}, publisher={Universität Paderborn}, author={Friesen, Edwin}, year={2019} }' chicago: 'Friesen, Edwin. Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn, 2019.' ieee: 'E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn, 2019.' mla: 'Friesen, Edwin. Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn, 2019.' short: 'E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis, Universität Paderborn, 2019.' date_created: 2019-09-20T14:58:49Z date_updated: 2022-01-06T06:51:36Z department: - _id: '36' - _id: '1' - _id: '579' language: - iso: ger project: - _id: '1' name: SFB 901 - _id: '3' name: SFB 901 - Project Area B - _id: '9' name: SFB 901 - Subproject B1 publisher: Universität Paderborn status: public supervisor: - first_name: Eyke full_name: Hüllermeier, Eyke id: '48129' last_name: Hüllermeier - first_name: Michaela full_name: Geierhos, Michaela id: '42496' last_name: Geierhos orcid: 0000-0002-8180-5606 title: 'Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis' type: bachelorsthesis user_id: '477' year: '2019' ... --- _id: '13436' author: - first_name: Alan Adam full_name: Camberg, Alan Adam id: '60544' last_name: Camberg - first_name: Ina full_name: Stratmann, Ina last_name: Stratmann - first_name: Thomas full_name: Tröster, Thomas id: '553' last_name: Tröster citation: ama: 'Camberg AA, Stratmann I, Tröster T. TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES. In: Technologies for Economical and Functional Lightweight Design. Berlin, Heidelberg; 2019. doi:10.1007/978-3-662-58206-0_12' apa: Camberg, A. A., Stratmann, I., & Tröster, T. (2019). TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES. In Technologies for economical and functional lightweight design. Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-58206-0_12 bibtex: '@inbook{Camberg_Stratmann_Tröster_2019, place={Berlin, Heidelberg}, title={TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES}, DOI={10.1007/978-3-662-58206-0_12}, booktitle={Technologies for economical and functional lightweight design}, author={Camberg, Alan Adam and Stratmann, Ina and Tröster, Thomas}, year={2019} }' chicago: Camberg, Alan Adam, Ina Stratmann, and Thomas Tröster. “TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES.” In Technologies for Economical and Functional Lightweight Design. Berlin, Heidelberg, 2019. https://doi.org/10.1007/978-3-662-58206-0_12. ieee: A. A. Camberg, I. Stratmann, and T. Tröster, “TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES,” in Technologies for economical and functional lightweight design, Berlin, Heidelberg, 2019. mla: Camberg, Alan Adam, et al. “TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES.” Technologies for Economical and Functional Lightweight Design, 2019, doi:10.1007/978-3-662-58206-0_12. short: 'A.A. Camberg, I. Stratmann, T. Tröster, in: Technologies for Economical and Functional Lightweight Design, Berlin, Heidelberg, 2019.' date_created: 2019-09-22T17:33:23Z date_updated: 2022-01-06T06:51:36Z department: - _id: '149' doi: 10.1007/978-3-662-58206-0_12 language: - iso: eng place: Berlin, Heidelberg project: - _id: '52' name: Computing Resources Provided by the Paderborn Center for Parallel Computing publication: Technologies for economical and functional lightweight design publication_identifier: isbn: - '9783662582053' - '9783662582060' issn: - 2524-4787 - 2524-4795 publication_status: published status: public title: TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES type: book_chapter user_id: '60544' year: '2019' ... --- _id: '13442' author: - first_name: Seyed Alborz full_name: Manavi, Seyed Alborz last_name: Manavi - first_name: Eugeny full_name: Kenig, Eugeny id: '665' last_name: Kenig citation: ama: 'Manavi SA, Kenig E. Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface. In: Computer Aided Chemical Engineering. Eindhoven, Netherlands: 29th European Symposium on Computer Aided Process Engineering; 2019. doi:10.1016/b978-0-12-818634-3.50138-7' apa: 'Manavi, S. A., & Kenig, E. (2019). Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface. In Computer Aided Chemical Engineering. Eindhoven, Netherlands: 29th European Symposium on Computer Aided Process Engineering. https://doi.org/10.1016/b978-0-12-818634-3.50138-7' bibtex: '@inproceedings{Manavi_Kenig_2019, place={Eindhoven, Netherlands}, title={Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface}, DOI={10.1016/b978-0-12-818634-3.50138-7}, booktitle={Computer Aided Chemical Engineering}, publisher={29th European Symposium on Computer Aided Process Engineering}, author={Manavi, Seyed Alborz and Kenig, Eugeny}, year={2019} }' chicago: 'Manavi, Seyed Alborz, and Eugeny Kenig. “Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface.” In Computer Aided Chemical Engineering. Eindhoven, Netherlands: 29th European Symposium on Computer Aided Process Engineering, 2019. https://doi.org/10.1016/b978-0-12-818634-3.50138-7.' ieee: S. A. Manavi and E. Kenig, “Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface,” in Computer Aided Chemical Engineering, 2019. mla: Manavi, Seyed Alborz, and Eugeny Kenig. “Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface.” Computer Aided Chemical Engineering, 29th European Symposium on Computer Aided Process Engineering, 2019, doi:10.1016/b978-0-12-818634-3.50138-7. short: 'S.A. Manavi, E. Kenig, in: Computer Aided Chemical Engineering, 29th European Symposium on Computer Aided Process Engineering, Eindhoven, Netherlands, 2019.' date_created: 2019-09-23T07:06:11Z date_updated: 2022-01-06T06:51:36Z department: - _id: '9' - _id: '145' doi: 10.1016/b978-0-12-818634-3.50138-7 language: - iso: eng place: Eindhoven, Netherlands project: - _id: '52' name: Computing Resources Provided by the Paderborn Center for Parallel Computing publication: Computer Aided Chemical Engineering publication_identifier: isbn: - '9780128186343' issn: - 1570-7946 publication_status: published publisher: 29th European Symposium on Computer Aided Process Engineering status: public title: Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface type: conference user_id: '29891' year: '2019' ... --- _id: '13443' abstract: - lang: eng text: "This work considers the problem of control and resource allocation in networked\r\nsystems. To this end, we present DIRA a Deep reinforcement learning based Iterative Resource\r\nAllocation algorithm, which is scalable and control-aware. Our algorithm is tailored towards\r\nlarge-scale problems where control and scheduling need to act jointly to optimize performance.\r\nDIRA can be used to schedule general time-domain optimization based controllers. In the present\r\nwork, we focus on control designs based on suitably adapted linear quadratic regulators. We\r\napply our algorithm to networked systems with correlated fading communication channels. Our\r\nsimulations show that DIRA scales well to large scheduling problems." author: - first_name: Adrian full_name: Redder, Adrian id: '52265' last_name: Redder orcid: https://orcid.org/0000-0001-7391-4688 - first_name: Arunselvan full_name: Ramaswamy, Arunselvan id: '66937' last_name: Ramaswamy orcid: https://orcid.org/ 0000-0001-7547-8111 - first_name: Daniel full_name: Quevedo, Daniel last_name: Quevedo citation: ama: 'Redder A, Ramaswamy A, Quevedo D. Deep reinforcement learning for scheduling in large-scale networked control systems. In: Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems. ; 2019.' apa: Redder, A., Ramaswamy, A., & Quevedo, D. (2019). Deep reinforcement learning for scheduling in large-scale networked control systems. In Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems. Chicago, USA. bibtex: '@inproceedings{Redder_Ramaswamy_Quevedo_2019, title={Deep reinforcement learning for scheduling in large-scale networked control systems}, booktitle={Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems}, author={Redder, Adrian and Ramaswamy, Arunselvan and Quevedo, Daniel}, year={2019} }' chicago: Redder, Adrian, Arunselvan Ramaswamy, and Daniel Quevedo. “Deep Reinforcement Learning for Scheduling in Large-Scale Networked Control Systems.” In Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019. ieee: A. Redder, A. Ramaswamy, and D. Quevedo, “Deep reinforcement learning for scheduling in large-scale networked control systems,” in Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, Chicago, USA, 2019. mla: Redder, Adrian, et al. “Deep Reinforcement Learning for Scheduling in Large-Scale Networked Control Systems.” Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019. short: 'A. Redder, A. Ramaswamy, D. Quevedo, in: Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019.' conference: end_date: 2019-09-17 location: Chicago, USA name: 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems - NECSYS 2019 start_date: 2019-09-16 date_created: 2019-09-23T16:00:58Z date_updated: 2022-01-06T06:51:36Z ddc: - '620' file: - access_level: local content_type: application/pdf creator: aredder date_created: 2019-09-23T15:48:33Z date_updated: 2019-09-23T16:21:16Z file_id: '13444' file_name: ifacconf.pdf file_size: 371429 relation: main_file file_date_updated: 2019-09-23T16:21:16Z has_accepted_license: '1' keyword: - Networked control systems - deep reinforcement learning - large-scale systems - resource scheduling - stochastic control language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1905.05992 oa: '1' project: - _id: '52' name: Computing Resources Provided by the Paderborn Center for Parallel Computing publication: Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems publication_status: published status: public title: Deep reinforcement learning for scheduling in large-scale networked control systems type: conference user_id: '52265' year: '2019' ... --- _id: '13454' author: - first_name: Andreas full_name: Eggert, Andreas last_name: Eggert - first_name: Michael full_name: Kleinaltenkamp, Michael last_name: Kleinaltenkamp - first_name: Vishal full_name: Kashyap, Vishal last_name: Kashyap citation: ama: 'Eggert A, Kleinaltenkamp M, Kashyap V. Mapping Value in Business Markets: An Integrative Framework. Industrial Marketing Management. 2019;79:13--20.' apa: 'Eggert, A., Kleinaltenkamp, M., & Kashyap, V. (2019). Mapping Value in Business Markets: An Integrative Framework. Industrial Marketing Management, 79, 13--20.' bibtex: '@article{Eggert_Kleinaltenkamp_Kashyap_2019, title={Mapping Value in Business Markets: An Integrative Framework}, volume={79}, journal={Industrial Marketing Management}, author={Eggert, Andreas and Kleinaltenkamp, Michael and Kashyap, Vishal}, year={2019}, pages={13--20} }' chicago: 'Eggert, Andreas, Michael Kleinaltenkamp, and Vishal Kashyap. “Mapping Value in Business Markets: An Integrative Framework.” Industrial Marketing Management 79 (2019): 13--20.' ieee: 'A. Eggert, M. Kleinaltenkamp, and V. Kashyap, “Mapping Value in Business Markets: An Integrative Framework,” Industrial Marketing Management, vol. 79, pp. 13--20, 2019.' mla: 'Eggert, Andreas, et al. “Mapping Value in Business Markets: An Integrative Framework.” Industrial Marketing Management, vol. 79, 2019, pp. 13--20.' short: A. Eggert, M. Kleinaltenkamp, V. Kashyap, Industrial Marketing Management 79 (2019) 13--20. date_created: 2019-09-30T07:22:24Z date_updated: 2022-01-06T06:51:36Z department: - _id: '180' intvolume: ' 79' language: - iso: eng page: 13--20 publication: Industrial Marketing Management status: public title: 'Mapping Value in Business Markets: An Integrative Framework' type: journal_article user_id: '57352' volume: 79 year: '2019' ... --- _id: '13455' author: - first_name: Ina full_name: Garnefeld, Ina last_name: Garnefeld - first_name: Andreas full_name: Eggert, Andreas last_name: Eggert - first_name: Markus full_name: Husemann-Kopetzky, Markus last_name: Husemann-Kopetzky - first_name: Eva full_name: Boehm, Eva last_name: Boehm citation: ama: 'Garnefeld I, Eggert A, Husemann-Kopetzky M, Boehm E. Exploring the link between payment schemes and customer fraud: a mental accounting perspective. Journal of the Academy of Marketing Science. 2019;47(4):595--616.' apa: 'Garnefeld, I., Eggert, A., Husemann-Kopetzky, M., & Boehm, E. (2019). Exploring the link between payment schemes and customer fraud: a mental accounting perspective. Journal of the Academy of Marketing Science, 47(4), 595--616.' bibtex: '@article{Garnefeld_Eggert_Husemann-Kopetzky_Boehm_2019, title={Exploring the link between payment schemes and customer fraud: a mental accounting perspective}, volume={47}, number={4}, journal={Journal of the Academy of Marketing Science}, author={Garnefeld, Ina and Eggert, Andreas and Husemann-Kopetzky, Markus and Boehm, Eva}, year={2019}, pages={595--616} }' chicago: 'Garnefeld, Ina, Andreas Eggert, Markus Husemann-Kopetzky, and Eva Boehm. “Exploring the Link between Payment Schemes and Customer Fraud: A Mental Accounting Perspective.” Journal of the Academy of Marketing Science 47, no. 4 (2019): 595--616.' ieee: 'I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, and E. Boehm, “Exploring the link between payment schemes and customer fraud: a mental accounting perspective,” Journal of the Academy of Marketing Science, vol. 47, no. 4, pp. 595--616, 2019.' mla: 'Garnefeld, Ina, et al. “Exploring the Link between Payment Schemes and Customer Fraud: A Mental Accounting Perspective.” Journal of the Academy of Marketing Science, vol. 47, no. 4, 2019, pp. 595--616.' short: I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, E. Boehm, Journal of the Academy of Marketing Science 47 (2019) 595--616. date_created: 2019-09-30T07:27:46Z date_updated: 2022-01-06T06:51:36Z department: - _id: '180' intvolume: ' 47' issue: '4' language: - iso: eng page: 595--616 publication: Journal of the Academy of Marketing Science status: public title: 'Exploring the link between payment schemes and customer fraud: a mental accounting perspective' type: journal_article user_id: '57352' volume: 47 year: '2019' ... --- _id: '13456' author: - first_name: Andreas full_name: Eggert, Andreas last_name: Eggert - first_name: Eva full_name: Boehm, Eva last_name: Boehm - first_name: Rodi full_name: Akalan, Rodi last_name: Akalan - first_name: Heiko full_name: Gebauer, Heiko last_name: Gebauer citation: ama: Eggert A, Boehm E, Akalan R, Gebauer H. Service Growth by Acquisition – An Event Study. 2019. apa: Eggert, A., Boehm, E., Akalan, R., & Gebauer, H. (2019). Service Growth by Acquisition – An Event Study. bibtex: '@article{Eggert_Boehm_Akalan_Gebauer_2019, series={9th BMM-EMAC Biennial International Conference on Business Market Management}, title={Service Growth by Acquisition – An Event Study}, author={Eggert, Andreas and Boehm, Eva and Akalan, Rodi and Gebauer, Heiko}, year={2019}, collection={9th BMM-EMAC Biennial International Conference on Business Market Management} }' chicago: Eggert, Andreas, Eva Boehm, Rodi Akalan, and Heiko Gebauer. “Service Growth by Acquisition – An Event Study.” 9th BMM-EMAC Biennial International Conference on Business Market Management, 2019. ieee: A. Eggert, E. Boehm, R. Akalan, and H. Gebauer, “Service Growth by Acquisition – An Event Study.” 2019. mla: Eggert, Andreas, et al. Service Growth by Acquisition – An Event Study. 2019. short: A. Eggert, E. Boehm, R. Akalan, H. Gebauer, (2019). date_created: 2019-09-30T07:35:33Z date_updated: 2022-01-06T06:51:36Z department: - _id: '19' - _id: '180' language: - iso: eng series_title: 9th BMM-EMAC Biennial International Conference on Business Market Management status: public title: Service Growth by Acquisition – An Event Study type: conference user_id: '57352' year: '2019' ... --- _id: '13457' author: - first_name: Andreas full_name: Eggert, Andreas last_name: Eggert - first_name: Lena full_name: Steinhoff, Lena last_name: Steinhoff - first_name: Carina full_name: Witte, Carina last_name: Witte citation: ama: Eggert A, Steinhoff L, Witte C. Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships. Journal of Marketing. 2019. apa: Eggert, A., Steinhoff, L., & Witte, C. (2019). Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships. Journal of Marketing. bibtex: '@article{Eggert_Steinhoff_Witte_2019, title={Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships}, journal={Journal of Marketing}, author={Eggert, Andreas and Steinhoff, Lena and Witte, Carina}, year={2019} }' chicago: Eggert, Andreas, Lena Steinhoff, and Carina Witte. “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships.” Journal of Marketing, 2019. ieee: A. Eggert, L. Steinhoff, and C. Witte, “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships,” Journal of Marketing, 2019. mla: Eggert, Andreas, et al. “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships.” Journal of Marketing, 2019. short: A. Eggert, L. Steinhoff, C. Witte, Journal of Marketing (2019). date_created: 2019-09-30T07:42:15Z date_updated: 2022-01-06T06:51:36Z department: - _id: '180' language: - iso: eng publication: Journal of Marketing status: public title: Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships type: journal_article user_id: '57352' year: '2019' ... --- _id: '10002' abstract: - lang: ger text: Dieses Buch beschreibt basierend auf dem gleichnamigen Innovationsprojekt im Spitzencluster it’s OWL die Entwicklung intelligenter Verfahren und Systeme, um auch unter variablen Produktionsbedingungen eine zuverlässige Massenfertigung von Kupferbondverbindungen sicherzustellen.Dabei wird der gesamte Prozess der Ultraschall-Verbindungsbildung modelliert. Dies beinhaltet u. a. ein Reibmodell mit gekoppeltem Anbindungsmodell, den Ultraschall-Erweichungseffekt und den Verschleiß des Bondwerkzeugs. Zudem wird das Konzept einer selbstoptimierenden Bondmaschine vorgestellt, welche Prozessparameter in Abhängigkeit von Störgrößen wie Verschleiß anpasst.Das Ultraschallbonden mit Aluminiumdraht ist ein etabliertes Fertigungsverfahren zur Kontaktierung von Leistungshalbleitern. Zukünftige Leistungshalbleiterchips erfordern jedoch einen Technologiewechsel zu Kupferdraht. Die Prozessparameter unterscheiden sich dabei deutlich von den bekannten Aluminiumprozessen, ihre Wechselwirkungen sind weitestgehend unbekannt. author: - first_name: Walter full_name: Sextro, Walter id: '21220' last_name: Sextro - first_name: Michael full_name: Brökelmann, Michael last_name: Brökelmann citation: ama: Sextro W, Brökelmann M. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol VIII. Springer Verlag; 2019. doi:10.1007/978-3-662-55146-2 apa: Sextro, W., & Brökelmann, M. (2019). Intelligente Herstellung zuverlässiger Kupferbondverbindungen (Vol. VIII). Springer Verlag. https://doi.org/10.1007/978-3-662-55146-2 bibtex: '@book{Sextro_Brökelmann_2019, title={Intelligente Herstellung zuverlässiger Kupferbondverbindungen}, volume={VIII}, DOI={10.1007/978-3-662-55146-2}, publisher={Springer Verlag}, author={Sextro, Walter and Brökelmann, Michael}, year={2019} }' chicago: Sextro, Walter, and Michael Brökelmann. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol. VIII. Springer Verlag, 2019. https://doi.org/10.1007/978-3-662-55146-2. ieee: W. Sextro and M. Brökelmann, Intelligente Herstellung zuverlässiger Kupferbondverbindungen, vol. VIII. Springer Verlag, 2019. mla: Sextro, Walter, and Michael Brökelmann. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol. VIII, Springer Verlag, 2019, doi:10.1007/978-3-662-55146-2. short: W. Sextro, M. Brökelmann, Intelligente Herstellung Zuverlässiger Kupferbondverbindungen, Springer Verlag, 2019. date_created: 2019-05-27T10:31:35Z date_updated: 2022-01-06T06:50:22Z department: - _id: '151' doi: 10.1007/978-3-662-55146-2 keyword: - Abschlussbericht zum Spitzenclusterprojekt InCuB language: - iso: eng page: '67' publisher: Springer Verlag status: public title: Intelligente Herstellung zuverlässiger Kupferbondverbindungen type: book user_id: '55222' volume: VIII year: '2019' ... --- _id: '10011' author: - first_name: Martin full_name: Fränzle, Martin last_name: Fränzle - first_name: Deepak full_name: Kapur, Deepak last_name: Kapur - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim - first_name: Naijun full_name: Zhan, Naijun last_name: Zhan citation: ama: Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. Formal Asp Comput. 2019;31(1):1. doi:10.1007/s00165-018-00477-6 apa: Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6 bibtex: '@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31}, DOI={10.1007/s00165-018-00477-6}, number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }' chicago: 'Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.' ieee: M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp. Comput., vol. 31, no. 1, p. 1, 2019. mla: Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi:10.1007/s00165-018-00477-6. short: M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1. date_created: 2019-05-28T06:32:57Z date_updated: 2022-01-06T06:50:22Z department: - _id: '77' doi: 10.1007/s00165-018-00477-6 intvolume: ' 31' issue: '1' language: - iso: eng page: '1' publication: Formal Asp. Comput. status: public title: Editorial type: journal_article user_id: '29719' volume: 31 year: '2019' ... --- _id: '10042' author: - first_name: Sarah full_name: Johannesmann, Sarah id: '29190' last_name: Johannesmann - first_name: Dimitri full_name: Springer, Dimitri last_name: Springer - first_name: Christian full_name: Thiel, Christian last_name: Thiel - first_name: Bernd full_name: Henning, Bernd id: '213' last_name: Henning citation: ama: 'Johannesmann S, Springer D, Thiel C, Henning B. Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In: Gesellschaft für Akustik e.V. D, ed. Fortschritte der Akustik - DAGA 2019. Vol 45. Rostock: Deutsche Gesellschaft für Akustik; 2019:1055-1058.' apa: 'Johannesmann, S., Springer, D., Thiel, C., & Henning, B. (2019). Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019 (Vol. 45, pp. 1055–1058). Rostock: Deutsche Gesellschaft für Akustik.' bibtex: '@inproceedings{Johannesmann_Springer_Thiel_Henning_2019, place={Rostock}, title={Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN}, volume={45}, booktitle={Fortschritte der Akustik - DAGA 2019}, publisher={Deutsche Gesellschaft für Akustik}, author={Johannesmann, Sarah and Springer, Dimitri and Thiel, Christian and Henning, Bernd}, editor={Gesellschaft für Akustik e.V., DeutscheEditor}, year={2019}, pages={1055–1058} }' chicago: 'Johannesmann, Sarah, Dimitri Springer, Christian Thiel, and Bernd Henning. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” In Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., 45:1055–58. Rostock: Deutsche Gesellschaft für Akustik, 2019.' ieee: S. Johannesmann, D. Springer, C. Thiel, and B. Henning, “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN,” in Fortschritte der Akustik - DAGA 2019, Rostock, 2019, vol. 45, pp. 1055–1058. mla: Johannesmann, Sarah, et al. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., vol. 45, Deutsche Gesellschaft für Akustik, 2019, pp. 1055–58. short: 'S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft für Akustik, Rostock, 2019, pp. 1055–1058.' conference: end_date: 2019-03-21 location: Rostock name: 45. Jahrestagung der Akustik start_date: 2019-03-19 date_created: 2019-05-31T08:28:20Z date_updated: 2022-01-06T06:50:27Z department: - _id: '49' editor: - first_name: Deutsche full_name: Gesellschaft für Akustik e.V., Deutsche last_name: Gesellschaft für Akustik e.V. intvolume: ' 45' language: - iso: ger page: 1055-1058 place: Rostock publication: Fortschritte der Akustik - DAGA 2019 publication_status: published publisher: Deutsche Gesellschaft für Akustik status: public title: Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN type: conference user_id: '29190' volume: 45 year: '2019' ... --- _id: '10090' article_number: '056943451984647' author: - first_name: Thomas full_name: Gries, Thomas id: '186' last_name: Gries citation: ama: 'Gries T. A New Theory of Demand-Restricted Growth: The Basic Idea. The American Economist. 2019. doi:10.1177/0569434519846477' apa: 'Gries, T. (2019). A New Theory of Demand-Restricted Growth: The Basic Idea. The American Economist. https://doi.org/10.1177/0569434519846477' bibtex: '@article{Gries_2019, title={A New Theory of Demand-Restricted Growth: The Basic Idea}, DOI={10.1177/0569434519846477}, number={056943451984647}, journal={The American Economist}, author={Gries, Thomas}, year={2019} }' chicago: 'Gries, Thomas. “A New Theory of Demand-Restricted Growth: The Basic Idea.” The American Economist, 2019. https://doi.org/10.1177/0569434519846477.' ieee: 'T. Gries, “A New Theory of Demand-Restricted Growth: The Basic Idea,” The American Economist, 2019.' mla: 'Gries, Thomas. “A New Theory of Demand-Restricted Growth: The Basic Idea.” The American Economist, 056943451984647, 2019, doi:10.1177/0569434519846477.' short: T. Gries, The American Economist (2019). date_created: 2019-06-03T07:46:47Z date_updated: 2022-01-06T06:50:28Z department: - _id: '19' - _id: '200' - _id: '475' - _id: '202' doi: 10.1177/0569434519846477 language: - iso: eng publication: The American Economist publication_identifier: issn: - 0569-4345 - 2328-1235 publication_status: published status: public title: 'A New Theory of Demand-Restricted Growth: The Basic Idea' type: journal_article user_id: '186' year: '2019' ... --- _id: '10091' author: - first_name: Jürgen full_name: König, Jürgen id: '22358' last_name: König - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim citation: ama: 'König J, Wehrheim H. Data Independence for Software Transactional Memory. In: M. Badger J, Yvonne Rozier K, eds. {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Vol 11460. Lecture Notes in Computer Science. Springer; 2019:263-279. doi:10.1007/978-3-030-20652-9\_18' apa: König, J., & Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger & K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Vol. 11460, pp. 263–279). Springer. https://doi.org/10.1007/978-3-030-20652-9\_18 bibtex: '@inproceedings{König_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Data Independence for Software Transactional Memory}, volume={11460}, DOI={10.1007/978-3-030-20652-9\_18}, booktitle={{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings}, publisher={Springer}, author={König, Jürgen and Wehrheim, Heike}, editor={M. Badger, Julia and Yvonne Rozier, KristinEditors}, year={2019}, pages={263–279}, collection={Lecture Notes in Computer Science} }' chicago: König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” In {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-20652-9\_18. ieee: J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,” in {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, 2019, vol. 11460, pp. 263–279. mla: König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9\_18. short: 'J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.' date_created: 2019-06-03T07:51:26Z date_updated: 2022-01-06T06:50:28Z department: - _id: '77' doi: 10.1007/978-3-030-20652-9\_18 editor: - first_name: Julia full_name: M. Badger, Julia last_name: M. Badger - first_name: Kristin full_name: Yvonne Rozier, Kristin last_name: Yvonne Rozier intvolume: ' 11460' language: - iso: eng page: 263-279 project: - _id: '78' name: Validation of Software Transactional Memory publication: '{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings' publisher: Springer series_title: Lecture Notes in Computer Science status: public title: Data Independence for Software Transactional Memory type: conference user_id: '22358' volume: 11460 year: '2019' ... --- _id: '10092' author: - first_name: Simon full_name: Doherty, Simon last_name: Doherty - first_name: Brijesh full_name: Dongol, Brijesh last_name: Dongol - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim - first_name: John full_name: Derrick, John last_name: Derrick citation: ama: 'Doherty S, Dongol B, Wehrheim H, Derrick J. Verifying C11 programs operationally. In: K. Hollingsworth J, Keidar I, eds. Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019. {ACM}; 2019:355-365. doi:10.1145/3293883.3295702' apa: Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2019). Verifying C11 programs operationally. In J. K. Hollingsworth & I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019 (pp. 355–365). {ACM}. https://doi.org/10.1145/3293883.3295702 bibtex: '@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2019, title={Verifying C11 programs operationally}, DOI={10.1145/3293883.3295702}, booktitle={Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019}, publisher={{ACM}}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, editor={K. Hollingsworth, Jeffrey and Keidar, IditEditors}, year={2019}, pages={355–365} }' chicago: Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Verifying C11 Programs Operationally.” In Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, 355–65. {ACM}, 2019. https://doi.org/10.1145/3293883.3295702. ieee: S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying C11 programs operationally,” in Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, 2019, pp. 355–365. mla: Doherty, Simon, et al. “Verifying C11 Programs Operationally.” Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, {ACM}, 2019, pp. 355–65, doi:10.1145/3293883.3295702. short: 'S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.' date_created: 2019-06-03T07:59:36Z date_updated: 2022-01-06T06:50:28Z department: - _id: '77' doi: 10.1145/3293883.3295702 editor: - first_name: Jeffrey full_name: K. Hollingsworth, Jeffrey last_name: K. Hollingsworth - first_name: Idit full_name: Keidar, Idit last_name: Keidar language: - iso: eng page: 355-365 project: - _id: '78' name: Validation of Software Transactional Memory publication: Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019 publisher: '{ACM}' status: public title: Verifying C11 programs operationally type: conference user_id: '29719' year: '2019' ...