---
_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.” <i>Safety and Reliability</i>. 2019:58-82. doi:<a href="https://doi.org/10.1080/09617353.2018.1552477">10.1080/09617353.2018.1552477</a>
  apa: Dridger, A., Caylak, I., Mahnken, R., &#38; Penner, E. (2019). “A possibilistic
    finite element method for sparse data.” <i>Safety and Reliability</i>, 58–82.
    <a href="https://doi.org/10.1080/09617353.2018.1552477">https://doi.org/10.1080/09617353.2018.1552477</a>
  bibtex: '@article{Dridger_Caylak_Mahnken_Penner_2019, title={“A possibilistic finite
    element method for sparse data”}, DOI={<a href="https://doi.org/10.1080/09617353.2018.1552477">10.1080/09617353.2018.1552477</a>},
    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.’” <i>Safety and Reliability</i>, 2019, 58–82.
    <a href="https://doi.org/10.1080/09617353.2018.1552477">https://doi.org/10.1080/09617353.2018.1552477</a>.
  ieee: A. Dridger, I. Caylak, R. Mahnken, and E. Penner, “‘A possibilistic finite
    element method for sparse data,’” <i>Safety and Reliability</i>, pp. 58–82, 2019.
  mla: Dridger, A., et al. “‘A Possibilistic Finite Element Method for Sparse Data.’”
    <i>Safety and Reliability</i>, 2019, pp. 58–82, doi:<a href="https://doi.org/10.1080/09617353.2018.1552477">10.1080/09617353.2018.1552477</a>.
  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.” <i>Computer Methods in Applied Mechanics and Engineering</i>.
    2019:297-329. doi:<a href="https://doi.org/10.1016/j.cma.2019.01.031">10.1016/j.cma.2019.01.031</a>
  apa: Ju, X., &#38; Mahnken, R. (2019). “Goal-oriented h-type adaptive finite elements
    for micromorphic elastoplasticity.” <i>Computer Methods in Applied Mechanics and
    Engineering</i>, 297–329. <a href="https://doi.org/10.1016/j.cma.2019.01.031">https://doi.org/10.1016/j.cma.2019.01.031</a>
  bibtex: '@article{Ju_Mahnken_2019, title={“Goal-oriented h-type adaptive finite
    elements for micromorphic elastoplasticity”}, DOI={<a href="https://doi.org/10.1016/j.cma.2019.01.031">10.1016/j.cma.2019.01.031</a>},
    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.’” <i>Computer Methods in Applied Mechanics
    and Engineering</i>, 2019, 297–329. <a href="https://doi.org/10.1016/j.cma.2019.01.031">https://doi.org/10.1016/j.cma.2019.01.031</a>.
  ieee: X. Ju and R. Mahnken, “‘Goal-oriented h-type adaptive finite elements for
    micromorphic elastoplasticity,’” <i>Computer Methods in Applied Mechanics and
    Engineering</i>, pp. 297–329, 2019.
  mla: Ju, Xiaozhe, and Rolf Mahnken. “‘Goal-Oriented h-Type Adaptive Finite Elements
    for Micromorphic Elastoplasticity.’” <i>Computer Methods in Applied Mechanics
    and Engineering</i>, 2019, pp. 297–329, doi:<a href="https://doi.org/10.1016/j.cma.2019.01.031">10.1016/j.cma.2019.01.031</a>.
  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.” <i>GAMM-Mitteilungen</i>. 2019. doi:<a href="https://doi.org/10.1002/gamm.201900005">10.1002/gamm.201900005</a>
  apa: Mäck, M., Caylak, I., Edler, P., Freitag, S., Hanss, M., Mahnken, R., … Penner,
    E. (2019). “Optimization with constraints considering polymorphic uncertainties.”
    <i>GAMM-Mitteilungen</i>. <a href="https://doi.org/10.1002/gamm.201900005">https://doi.org/10.1002/gamm.201900005</a>
  bibtex: '@article{Mäck_Caylak_Edler_Freitag_Hanss_Mahnken_Meschke_Penner_2019, title={“Optimization
    with constraints considering polymorphic uncertainties”}, DOI={<a href="https://doi.org/10.1002/gamm.201900005">10.1002/gamm.201900005</a>},
    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.’” <i>GAMM-Mitteilungen</i>, 2019. <a href="https://doi.org/10.1002/gamm.201900005">https://doi.org/10.1002/gamm.201900005</a>.
  ieee: M. Mäck <i>et al.</i>, “‘Optimization with constraints considering polymorphic
    uncertainties,’” <i>GAMM-Mitteilungen</i>, 2019.
  mla: Mäck, Markus, et al. “‘Optimization with Constraints Considering Polymorphic
    Uncertainties.’” <i>GAMM-Mitteilungen</i>, e201900005, 2019, doi:<a href="https://doi.org/10.1002/gamm.201900005">10.1002/gamm.201900005</a>.
  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. <i>Requirements Engineering im OTF-Computing: Informationsextraktion
    und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis</i>.
    Universität Paderborn; 2019.'
  apa: 'Friesen, E. (2019). <i>Requirements Engineering im OTF-Computing: Informationsextraktion
    und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis</i>.
    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. <i>Requirements Engineering im OTF-Computing: Informationsextraktion
    und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis</i>.
    Universität Paderborn, 2019.'
  ieee: 'E. Friesen, <i>Requirements Engineering im OTF-Computing: Informationsextraktion
    und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis</i>.
    Universität Paderborn, 2019.'
  mla: 'Friesen, Edwin. <i>Requirements Engineering im OTF-Computing: Informationsextraktion
    und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis</i>.
    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: '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: <i>Computer Aided Chemical
    Engineering</i>. Eindhoven, Netherlands: 29th European Symposium on Computer Aided
    Process Engineering; 2019. doi:<a href="https://doi.org/10.1016/b978-0-12-818634-3.50138-7">10.1016/b978-0-12-818634-3.50138-7</a>'
  apa: 'Manavi, S. A., &#38; Kenig, E. (2019). Numerical Simulation of Forced Convection
    in a Microchannel with Realistic Roughness of 3D Printed Surface. In <i>Computer
    Aided Chemical Engineering</i>. Eindhoven, Netherlands: 29th European Symposium
    on Computer Aided Process Engineering. <a href="https://doi.org/10.1016/b978-0-12-818634-3.50138-7">https://doi.org/10.1016/b978-0-12-818634-3.50138-7</a>'
  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={<a href="https://doi.org/10.1016/b978-0-12-818634-3.50138-7">10.1016/b978-0-12-818634-3.50138-7</a>},
    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 <i>Computer Aided Chemical Engineering</i>. Eindhoven, Netherlands: 29th European
    Symposium on Computer Aided Process Engineering, 2019. <a href="https://doi.org/10.1016/b978-0-12-818634-3.50138-7">https://doi.org/10.1016/b978-0-12-818634-3.50138-7</a>.'
  ieee: S. A. Manavi and E. Kenig, “Numerical Simulation of Forced Convection in a
    Microchannel with Realistic Roughness of 3D Printed Surface,” in <i>Computer Aided
    Chemical Engineering</i>, 2019.
  mla: Manavi, Seyed Alborz, and Eugeny Kenig. “Numerical Simulation of Forced Convection
    in a Microchannel with Realistic Roughness of 3D Printed Surface.” <i>Computer
    Aided Chemical Engineering</i>, 29th European Symposium on Computer Aided Process
    Engineering, 2019, doi:<a href="https://doi.org/10.1016/b978-0-12-818634-3.50138-7">10.1016/b978-0-12-818634-3.50138-7</a>.
  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: <i>Proceedings of the 8th IFAC Workshop
    on Distributed Estimation and Control in Networked Systems</i>. ; 2019.'
  apa: Redder, A., Ramaswamy, A., &#38; Quevedo, D. (2019). Deep reinforcement learning
    for scheduling in large-scale networked control systems. In <i>Proceedings of
    the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems</i>.
    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 <i>Proceedings
    of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems</i>,
    2019.
  ieee: A. Redder, A. Ramaswamy, and D. Quevedo, “Deep reinforcement learning for
    scheduling in large-scale networked control systems,” in <i>Proceedings of the
    8th IFAC Workshop on Distributed Estimation and Control in Networked Systems</i>,
    Chicago, USA, 2019.
  mla: Redder, Adrian, et al. “Deep Reinforcement Learning for Scheduling in Large-Scale
    Networked Control Systems.” <i>Proceedings of the 8th IFAC Workshop on Distributed
    Estimation and Control in Networked Systems</i>, 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. <i>Industrial Marketing Management</i>. 2019;79:13--20.'
  apa: 'Eggert, A., Kleinaltenkamp, M., &#38; Kashyap, V. (2019). Mapping Value in
    Business Markets: An Integrative Framework. <i>Industrial Marketing Management</i>,
    <i>79</i>, 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.” <i>Industrial Marketing
    Management</i> 79 (2019): 13--20.'
  ieee: 'A. Eggert, M. Kleinaltenkamp, and V. Kashyap, “Mapping Value in Business
    Markets: An Integrative Framework,” <i>Industrial Marketing Management</i>, vol.
    79, pp. 13--20, 2019.'
  mla: 'Eggert, Andreas, et al. “Mapping Value in Business Markets: An Integrative
    Framework.” <i>Industrial Marketing Management</i>, 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. <i>Journal
    of the Academy of Marketing Science</i>. 2019;47(4):595--616.'
  apa: 'Garnefeld, I., Eggert, A., Husemann-Kopetzky, M., &#38; Boehm, E. (2019).
    Exploring the link between payment schemes and customer fraud: a mental accounting
    perspective. <i>Journal of the Academy of Marketing Science</i>, <i>47</i>(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.” <i>Journal of the Academy of Marketing Science</i> 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,”
    <i>Journal of the Academy of Marketing Science</i>, 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.” <i>Journal of the Academy of Marketing
    Science</i>, 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., &#38; 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. <i>Service Growth by Acquisition – An Event Study</i>.
    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. <i>Journal of Marketing</i>. 2019.
  apa: Eggert, A., Steinhoff, L., &#38; Witte, C. (2019). Gift Purchases as Catalysts
    for Strengthening Customer–Brand Relationships. <i>Journal of Marketing</i>.
  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.” <i>Journal of Marketing</i>,
    2019.
  ieee: A. Eggert, L. Steinhoff, and C. Witte, “Gift Purchases as Catalysts for Strengthening
    Customer–Brand Relationships,” <i>Journal of Marketing</i>, 2019.
  mla: Eggert, Andreas, et al. “Gift Purchases as Catalysts for Strengthening Customer–Brand
    Relationships.” <i>Journal of Marketing</i>, 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. <i>Intelligente Herstellung Zuverlässiger Kupferbondverbindungen</i>.
    Vol VIII. Springer Verlag; 2019. doi:<a href="https://doi.org/10.1007/978-3-662-55146-2">10.1007/978-3-662-55146-2</a>
  apa: Sextro, W., &#38; Brökelmann, M. (2019). <i>Intelligente Herstellung zuverlässiger
    Kupferbondverbindungen</i> (Vol. VIII). Springer Verlag. <a href="https://doi.org/10.1007/978-3-662-55146-2">https://doi.org/10.1007/978-3-662-55146-2</a>
  bibtex: '@book{Sextro_Brökelmann_2019, title={Intelligente Herstellung zuverlässiger
    Kupferbondverbindungen}, volume={VIII}, DOI={<a href="https://doi.org/10.1007/978-3-662-55146-2">10.1007/978-3-662-55146-2</a>},
    publisher={Springer Verlag}, author={Sextro, Walter and Brökelmann, Michael},
    year={2019} }'
  chicago: Sextro, Walter, and Michael Brökelmann. <i>Intelligente Herstellung Zuverlässiger
    Kupferbondverbindungen</i>. Vol. VIII. Springer Verlag, 2019. <a href="https://doi.org/10.1007/978-3-662-55146-2">https://doi.org/10.1007/978-3-662-55146-2</a>.
  ieee: W. Sextro and M. Brökelmann, <i>Intelligente Herstellung zuverlässiger Kupferbondverbindungen</i>,
    vol. VIII. Springer Verlag, 2019.
  mla: Sextro, Walter, and Michael Brökelmann. <i>Intelligente Herstellung Zuverlässiger
    Kupferbondverbindungen</i>. Vol. VIII, Springer Verlag, 2019, doi:<a href="https://doi.org/10.1007/978-3-662-55146-2">10.1007/978-3-662-55146-2</a>.
  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. <i>Formal Asp Comput</i>.
    2019;31(1):1. doi:<a href="https://doi.org/10.1007/s00165-018-00477-6">10.1007/s00165-018-00477-6</a>
  apa: Fränzle, M., Kapur, D., Wehrheim, H., &#38; Zhan, N. (2019). Editorial. <i>Formal
    Asp. Comput.</i>, <i>31</i>(1), 1. <a href="https://doi.org/10.1007/s00165-018-00477-6">https://doi.org/10.1007/s00165-018-00477-6</a>
  bibtex: '@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31},
    DOI={<a href="https://doi.org/10.1007/s00165-018-00477-6">10.1007/s00165-018-00477-6</a>},
    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.”
    <i>Formal Asp. Comput.</i> 31, no. 1 (2019): 1. <a href="https://doi.org/10.1007/s00165-018-00477-6">https://doi.org/10.1007/s00165-018-00477-6</a>.'
  ieee: M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” <i>Formal Asp.
    Comput.</i>, vol. 31, no. 1, p. 1, 2019.
  mla: Fränzle, Martin, et al. “Editorial.” <i>Formal Asp. Comput.</i>, vol. 31, no.
    1, 2019, p. 1, doi:<a href="https://doi.org/10.1007/s00165-018-00477-6">10.1007/s00165-018-00477-6</a>.
  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. <i>Fortschritte
    der Akustik - DAGA 2019</i>. Vol 45. Rostock: Deutsche Gesellschaft für Akustik;
    2019:1055-1058.'
  apa: 'Johannesmann, S., Springer, D., Thiel, C., &#38; Henning, B. (2019). Störeffektunterdrückung
    in 2D-Messdaten mittels DiscoGAN. In D. Gesellschaft für Akustik e.V. (Ed.), <i>Fortschritte
    der Akustik - DAGA 2019</i> (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 <i>Fortschritte
    der Akustik - DAGA 2019</i>, 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 <i>Fortschritte der Akustik - DAGA 2019</i>,
    Rostock, 2019, vol. 45, pp. 1055–1058.
  mla: Johannesmann, Sarah, et al. “Störeffektunterdrückung in 2D-Messdaten mittels
    DiscoGAN.” <i>Fortschritte der Akustik - DAGA 2019</i>, 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: '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. <i>{NASA} Formal Methods - 11th International
    Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>. Vol 11460.
    Lecture Notes in Computer Science. Springer; 2019:263-279. doi:<a href="https://doi.org/10.1007/978-3-030-20652-9\_18">10.1007/978-3-030-20652-9\_18</a>'
  apa: König, J., &#38; Wehrheim, H. (2019). Data Independence for Software Transactional
    Memory. In J. M. Badger &#38; K. Yvonne Rozier (Eds.), <i>{NASA} Formal Methods
    - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>
    (Vol. 11460, pp. 263–279). Springer. <a href="https://doi.org/10.1007/978-3-030-20652-9\_18">https://doi.org/10.1007/978-3-030-20652-9\_18</a>
  bibtex: '@inproceedings{König_Wehrheim_2019, series={Lecture Notes in Computer Science},
    title={Data Independence for Software Transactional Memory}, volume={11460}, DOI={<a
    href="https://doi.org/10.1007/978-3-030-20652-9\_18">10.1007/978-3-030-20652-9\_18</a>},
    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 <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
    Houston, TX, USA, May 7-9, 2019, Proceedings</i>, edited by Julia M. Badger and
    Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer,
    2019. <a href="https://doi.org/10.1007/978-3-030-20652-9\_18">https://doi.org/10.1007/978-3-030-20652-9\_18</a>.
  ieee: J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,”
    in <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston,
    TX, USA, May 7-9, 2019, Proceedings</i>, 2019, vol. 11460, pp. 263–279.
  mla: König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional
    Memory.” <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
    Houston, TX, USA, May 7-9, 2019, Proceedings</i>, edited by Julia M. Badger and
    Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:<a href="https://doi.org/10.1007/978-3-030-20652-9\_18">10.1007/978-3-030-20652-9\_18</a>.
  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. <i>Proceedings of the 24th {ACM} {SIGPLAN}
    Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington,
    DC, USA, February 16-20, 2019</i>. {ACM}; 2019:355-365. doi:<a href="https://doi.org/10.1145/3293883.3295702">10.1145/3293883.3295702</a>'
  apa: Doherty, S., Dongol, B., Wehrheim, H., &#38; Derrick, J. (2019). Verifying
    C11 programs operationally. In J. K. Hollingsworth &#38; I. Keidar (Eds.), <i>Proceedings
    of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
    PPoPP 2019, Washington, DC, USA, February 16-20, 2019</i> (pp. 355–365). {ACM}.
    <a href="https://doi.org/10.1145/3293883.3295702">https://doi.org/10.1145/3293883.3295702</a>
  bibtex: '@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2019, title={Verifying C11
    programs operationally}, DOI={<a href="https://doi.org/10.1145/3293883.3295702">10.1145/3293883.3295702</a>},
    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 <i>Proceedings of the 24th {ACM} {SIGPLAN} Symposium
    on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC,
    USA, February 16-20, 2019</i>, edited by Jeffrey K. Hollingsworth and Idit Keidar,
    355–65. {ACM}, 2019. <a href="https://doi.org/10.1145/3293883.3295702">https://doi.org/10.1145/3293883.3295702</a>.
  ieee: S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying C11 programs
    operationally,” in <i>Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles
    and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February
    16-20, 2019</i>, 2019, pp. 355–365.
  mla: Doherty, Simon, et al. “Verifying C11 Programs Operationally.” <i>Proceedings
    of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
    PPoPP 2019, Washington, DC, USA, February 16-20, 2019</i>, edited by Jeffrey K.
    Hollingsworth and Idit Keidar, {ACM}, 2019, pp. 355–65, doi:<a href="https://doi.org/10.1145/3293883.3295702">10.1145/3293883.3295702</a>.
  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'
...
---
_id: '10093'
author:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Marie-Christine
  full_name: Jakobs, Marie-Christine
  last_name: Jakobs
- first_name: Thomas
  full_name: Lemberger, Thomas
  last_name: Lemberger
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Combining Verifiers in Conditional
    Model Checking via Reducers. In: Becker S, Bogicevic I, Herzwurm G, Wagner S,
    eds. <i>Software Engineering and Software Management (SE/SWM 2019), Stuttgart,
    Germany, February 18-22, 2019</i>. Vol P-292. LNI. GI; 2019:151--152. doi:<a href="https://doi.org/10.18420/se2019-46">10.18420/se2019-46</a>'
  apa: Beyer, D., Jakobs, M.-C., Lemberger, T., &#38; Wehrheim, H. (2019). Combining
    Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic,
    G. Herzwurm, &#38; S. Wagner (Eds.), <i>Software Engineering and Software Management
    (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019</i> (Vol. P-292, pp. 151--152).
    GI. <a href="https://doi.org/10.18420/se2019-46">https://doi.org/10.18420/se2019-46</a>
  bibtex: '@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2019, series={LNI}, title={Combining
    Verifiers in Conditional Model Checking via Reducers}, volume={P-292}, DOI={<a
    href="https://doi.org/10.18420/se2019-46">10.18420/se2019-46</a>}, booktitle={Software
    Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February
    18-22, 2019}, publisher={GI}, author={Beyer, Dirk and Jakobs, Marie-Christine
    and Lemberger, Thomas and Wehrheim, Heike}, editor={Becker, Steffen and Bogicevic,
    Ivan and Herzwurm, Georg and Wagner, StefanEditors}, year={2019}, pages={151--152},
    collection={LNI} }'
  chicago: Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim.
    “Combining Verifiers in Conditional Model Checking via Reducers.” In <i>Software
    Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February
    18-22, 2019</i>, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and
    Stefan Wagner, P-292:151--152. LNI. GI, 2019. <a href="https://doi.org/10.18420/se2019-46">https://doi.org/10.18420/se2019-46</a>.
  ieee: D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers
    in Conditional Model Checking via Reducers,” in <i>Software Engineering and Software
    Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019</i>, 2019,
    vol. P-292, pp. 151--152.
  mla: Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via
    Reducers.” <i>Software Engineering and Software Management (SE/SWM 2019), Stuttgart,
    Germany, February 18-22, 2019</i>, edited by Steffen Becker et al., vol. P-292,
    GI, 2019, pp. 151--152, doi:<a href="https://doi.org/10.18420/se2019-46">10.18420/se2019-46</a>.
  short: 'D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic,
    G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM
    2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.'
date_created: 2019-06-03T08:08:39Z
date_updated: 2022-01-06T06:50:28Z
ddc:
- '004'
department:
- _id: '77'
doi: 10.18420/se2019-46
editor:
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
- first_name: Ivan
  full_name: Bogicevic, Ivan
  last_name: Bogicevic
- first_name: Georg
  full_name: Herzwurm, Georg
  last_name: Herzwurm
- first_name: Stefan
  full_name: Wagner, Stefan
  last_name: Wagner
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2019-08-26T09:31:55Z
  date_updated: 2019-08-26T09:31:55Z
  file_id: '12956'
  file_name: 46.pdf
  file_size: 472426
  relation: main_file
  success: 1
file_date_updated: 2019-08-26T09:31:55Z
has_accepted_license: '1'
language:
- iso: eng
page: 151--152
project:
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
publication: Software Engineering and Software Management (SE/SWM 2019), Stuttgart,
  Germany, February 18-22, 2019
publisher: GI
series_title: LNI
status: public
title: Combining Verifiers in Conditional Model Checking via Reducers
type: conference
user_id: '477'
volume: P-292
year: '2019'
...
---
_id: '10094'
author:
- first_name: Arnab
  full_name: Sharma, Arnab
  id: '67200'
  last_name: Sharma
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Sharma A, Wehrheim H. Testing Balancedness of ML Algorithms. In: Becker S,
    Bogicevic I, Herzwurm G, Wagner S, eds. <i>Software Engineering and Software Management,
    {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019</i>. Vol {P-292}. {LNI}.
    {GI}; 2019:157-158. doi:<a href="https://doi.org/10.18420/se2019-48">10.18420/se2019-48</a>'
  apa: Sharma, A., &#38; Wehrheim, H. (2019). Testing Balancedness of ML Algorithms.
    In S. Becker, I. Bogicevic, G. Herzwurm, &#38; S. Wagner (Eds.), <i>Software Engineering
    and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019</i>
    (Vol. {P-292}, pp. 157–158). {GI}. <a href="https://doi.org/10.18420/se2019-48">https://doi.org/10.18420/se2019-48</a>
  bibtex: '@inproceedings{Sharma_Wehrheim_2019, series={{LNI}}, title={Testing Balancedness
    of ML Algorithms}, volume={{P-292}}, DOI={<a href="https://doi.org/10.18420/se2019-48">10.18420/se2019-48</a>},
    booktitle={Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
    Germany, February 18-22, 2019}, publisher={{GI}}, author={Sharma, Arnab and Wehrheim,
    Heike}, editor={Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner,
    StefanEditors}, year={2019}, pages={157–158}, collection={{LNI}} }'
  chicago: Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.”
    In <i>Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
    Germany, February 18-22, 2019</i>, edited by Steffen Becker, Ivan Bogicevic, Georg
    Herzwurm, and Stefan Wagner, {P-292}:157–58. {LNI}. {GI}, 2019. <a href="https://doi.org/10.18420/se2019-48">https://doi.org/10.18420/se2019-48</a>.
  ieee: A. Sharma and H. Wehrheim, “Testing Balancedness of ML Algorithms,” in <i>Software
    Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February
    18-22, 2019</i>, 2019, vol. {P-292}, pp. 157–158.
  mla: Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.”
    <i>Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany,
    February 18-22, 2019</i>, edited by Steffen Becker et al., vol. {P-292}, {GI},
    2019, pp. 157–58, doi:<a href="https://doi.org/10.18420/se2019-48">10.18420/se2019-48</a>.
  short: 'A. Sharma, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner
    (Eds.), Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
    Germany, February 18-22, 2019, {GI}, 2019, pp. 157–158.'
date_created: 2019-06-03T08:10:55Z
date_updated: 2022-01-06T06:50:28Z
department:
- _id: '77'
doi: 10.18420/se2019-48
editor:
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
- first_name: Ivan
  full_name: Bogicevic, Ivan
  last_name: Bogicevic
- first_name: Georg
  full_name: Herzwurm, Georg
  last_name: Herzwurm
- first_name: Stefan
  full_name: Wagner, Stefan
  last_name: Wagner
language:
- iso: eng
page: 157-158
publication: Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
  Germany, February 18-22, 2019
publisher: '{GI}'
series_title: '{LNI}'
status: public
title: Testing Balancedness of ML Algorithms
type: conference
user_id: '29719'
volume: '{P-292}'
year: '2019'
...
---
_id: '10095'
author:
- first_name: Cedric
  full_name: Richter, Cedric
  id: '50003'
  last_name: Richter
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Richter C, Wehrheim H. PeSCo: Predicting Sequential Combinations of Verifiers
    - (Competition Contribution). In: Beyer D, Huisman M, Kordon F, Steffen B, eds.
    <i>Tools and Algorithms for the Construction and Analysis of Systems - 25 Years
    of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic,
    April 6-11, 2019, Proceedings, Part {III}</i>. Vol 11429. Lecture Notes in Computer
    Science. Springer; 2019:229-233. doi:<a href="https://doi.org/10.1007/978-3-030-17502-3_19">10.1007/978-3-030-17502-3_19</a>'
  apa: 'Richter, C., &#38; Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations
    of Verifiers - (Competition Contribution). In D. Beyer, M. Huisman, F. Kordon,
    &#38; B. Steffen (Eds.), <i>Tools and Algorithms for the Construction and Analysis
    of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
    Czech Republic, April 6-11, 2019, Proceedings, Part {III}</i> (Vol. 11429, pp.
    229–233). Springer. <a href="https://doi.org/10.1007/978-3-030-17502-3_19">https://doi.org/10.1007/978-3-030-17502-3_19</a>'
  bibtex: '@inproceedings{Richter_Wehrheim_2019, series={Lecture Notes in Computer
    Science}, title={PeSCo: Predicting Sequential Combinations of Verifiers - (Competition
    Contribution)}, volume={11429}, DOI={<a href="https://doi.org/10.1007/978-3-030-17502-3_19">10.1007/978-3-030-17502-3_19</a>},
    booktitle={Tools and Algorithms for the Construction and Analysis of Systems -
    25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic,
    April 6-11, 2019, Proceedings, Part {III}}, publisher={Springer}, author={Richter,
    Cedric and Wehrheim, Heike}, editor={Beyer, Dirk and Huisman, Marieke and Kordon,
    Fabrice and Steffen, BernhardEditors}, year={2019}, pages={229–233}, collection={Lecture
    Notes in Computer Science} }'
  chicago: 'Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations
    of Verifiers - (Competition Contribution).” In <i>Tools and Algorithms for the
    Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as
    Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
    {III}</i>, edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard
    Steffen, 11429:229–33. Lecture Notes in Computer Science. Springer, 2019. <a href="https://doi.org/10.1007/978-3-030-17502-3_19">https://doi.org/10.1007/978-3-030-17502-3_19</a>.'
  ieee: 'C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of
    Verifiers - (Competition Contribution),” in <i>Tools and Algorithms for the Construction
    and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS}
    2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}</i>, 2019,
    vol. 11429, pp. 229–233.'
  mla: 'Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations
    of Verifiers - (Competition Contribution).” <i>Tools and Algorithms for the Construction
    and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS}
    2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}</i>, edited
    by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:<a href="https://doi.org/10.1007/978-3-030-17502-3_19">10.1007/978-3-030-17502-3_19</a>.'
  short: 'C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen
    (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25
    Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic,
    April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229–233.'
date_created: 2019-06-03T08:12:55Z
date_updated: 2022-01-06T06:50:29Z
ddc:
- '004'
department:
- _id: '77'
doi: 10.1007/978-3-030-17502-3_19
editor:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Marieke
  full_name: Huisman, Marieke
  last_name: Huisman
- first_name: Fabrice
  full_name: Kordon, Fabrice
  last_name: Kordon
- first_name: Bernhard
  full_name: Steffen, Bernhard
  last_name: Steffen
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2019-08-26T11:01:00Z
  date_updated: 2019-08-26T11:01:00Z
  file_id: '12961'
  file_name: PeSCo.pdf
  file_size: 254772
  relation: main_file
  success: 1
file_date_updated: 2019-08-26T11:01:00Z
has_accepted_license: '1'
intvolume: '     11429'
language:
- iso: eng
page: 229-233
project:
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
publication: Tools and Algorithms for the Construction and Analysis of Systems - 25
  Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic,
  April 6-11, 2019, Proceedings, Part {III}
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)'
type: conference
user_id: '29719'
volume: 11429
year: '2019'
...
---
_id: '10096'
author:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey
    and Unifying Component Framework. <i>CoRR</i>. 2019;abs/1905.08505.'
  apa: 'Beyer, D., &#38; Wehrheim, H. (2019). Verification Artifacts in Cooperative
    Verification: Survey and Unifying Component Framework. <i>CoRR</i>, <i>abs/1905.08505</i>.'
  bibtex: '@article{Beyer_Wehrheim_2019, title={Verification Artifacts in Cooperative
    Verification: Survey and Unifying Component Framework}, volume={abs/1905.08505},
    journal={CoRR}, author={Beyer, Dirk and Wehrheim, Heike}, year={2019} }'
  chicago: 'Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative
    Verification: Survey and Unifying Component Framework.” <i>CoRR</i> abs/1905.08505
    (2019).'
  ieee: 'D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification:
    Survey and Unifying Component Framework,” <i>CoRR</i>, vol. abs/1905.08505, 2019.'
  mla: 'Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification:
    Survey and Unifying Component Framework.” <i>CoRR</i>, vol. abs/1905.08505, 2019.'
  short: D. Beyer, H. Wehrheim, CoRR abs/1905.08505 (2019).
date_created: 2019-06-03T08:17:07Z
date_updated: 2022-01-06T06:50:29Z
department:
- _id: '34'
language:
- iso: eng
publication: CoRR
status: public
title: 'Verification Artifacts in Cooperative Verification: Survey and Unifying Component
  Framework'
type: journal_article
user_id: '29719'
volume: abs/1905.08505
year: '2019'
...
---
_id: '10103'
abstract:
- lang: eng
  text: We investigate the demographic characteristics, trading patterns, and performance
    of 465.926 brokerage accounts with respect to cryptocurrency trading. We find
    that cryptocurrency trading became increasingly popular across individuals of
    all different groups of age, gender, and trading patterns. Yet, men are more likely
    to engage in cryptocurrency trading, trade more frequently, and more speculative,
    respectively. As a result, men realize lower returns. Furthermore, we find that
    investors vary their trading patterns across different asset classes.
article_type: original
author:
- first_name: Tim
  full_name: Hasso, Tim
  last_name: Hasso
- first_name: Matthias
  full_name: Pelster, Matthias
  id: '67265'
  last_name: Pelster
  orcid: ' https://orcid.org/0000-0001-5740-2420'
- first_name: Bastian
  full_name: Breitmayer, Bastian
  last_name: Breitmayer
citation:
  ama: Hasso T, Pelster M, Breitmayer B. Who trades cryptocurrencies, how do they
    trade it, and how do they perform? Evidence from brokerage accounts. <i>Journal
    of Behavioral and Experimental Finance</i>. 2019;23:64-74. doi:<a href="https://doi.org/10.1016/j.jbef.2019.04.009">10.1016/j.jbef.2019.04.009</a>
  apa: Hasso, T., Pelster, M., &#38; Breitmayer, B. (2019). Who trades cryptocurrencies,
    how do they trade it, and how do they perform? Evidence from brokerage accounts.
    <i>Journal of Behavioral and Experimental Finance</i>, <i>23</i>, 64–74. <a href="https://doi.org/10.1016/j.jbef.2019.04.009">https://doi.org/10.1016/j.jbef.2019.04.009</a>
  bibtex: '@article{Hasso_Pelster_Breitmayer_2019, title={Who trades cryptocurrencies,
    how do they trade it, and how do they perform? Evidence from brokerage accounts},
    volume={23}, DOI={<a href="https://doi.org/10.1016/j.jbef.2019.04.009">10.1016/j.jbef.2019.04.009</a>},
    journal={Journal of Behavioral and Experimental Finance}, publisher={Elsevier},
    author={Hasso, Tim and Pelster, Matthias and Breitmayer, Bastian}, year={2019},
    pages={64–74} }'
  chicago: 'Hasso, Tim, Matthias Pelster, and Bastian Breitmayer. “Who Trades Cryptocurrencies,
    How Do They Trade It, and How Do They Perform? Evidence from Brokerage Accounts.”
    <i>Journal of Behavioral and Experimental Finance</i> 23 (2019): 64–74. <a href="https://doi.org/10.1016/j.jbef.2019.04.009">https://doi.org/10.1016/j.jbef.2019.04.009</a>.'
  ieee: T. Hasso, M. Pelster, and B. Breitmayer, “Who trades cryptocurrencies, how
    do they trade it, and how do they perform? Evidence from brokerage accounts,”
    <i>Journal of Behavioral and Experimental Finance</i>, vol. 23, pp. 64–74, 2019.
  mla: Hasso, Tim, et al. “Who Trades Cryptocurrencies, How Do They Trade It, and
    How Do They Perform? Evidence from Brokerage Accounts.” <i>Journal of Behavioral
    and Experimental Finance</i>, vol. 23, Elsevier, 2019, pp. 64–74, doi:<a href="https://doi.org/10.1016/j.jbef.2019.04.009">10.1016/j.jbef.2019.04.009</a>.
  short: T. Hasso, M. Pelster, B. Breitmayer, Journal of Behavioral and Experimental
    Finance 23 (2019) 64–74.
date_created: 2019-06-04T07:01:34Z
date_updated: 2022-01-06T06:50:29Z
department:
- _id: '186'
- _id: '578'
doi: 10.1016/j.jbef.2019.04.009
intvolume: '        23'
jel:
- G11
keyword:
- Cryptocurrencies Bitcoin Trading Investor returns Demographics
language:
- iso: eng
page: 64-74
publication: Journal of Behavioral and Experimental Finance
publication_status: published
publisher: Elsevier
status: public
title: Who trades cryptocurrencies, how do they trade it, and how do they perform?
  Evidence from brokerage accounts
type: journal_article
user_id: '21810'
volume: 23
year: '2019'
...
