---
_id: '262'
abstract:
- lang: eng
  text: Programs from Proofs" is a generic method which generates new programs out
    of correctness proofs of given programs. The technique ensures that the new and
    given program are behaviorally equivalent and that the new program is easily verifiable,
    thus serving as an alternative to proof-carrying code concepts. So far, this generic
    method has one instantiation that verifies type-state properties of programs.
    In this paper, we present a whole range of new instantiations, all based on data
    ow analyses. More precisely, we show how an imprecise but fast data ow analysis
    can be enhanced with a predicate analysis as to yield a precise but expensive
    analysis. Out of the safety proofs of this analysis, we generate new programs,
    again behaviorally equivalent to the given ones, which are easily verifiable"
    in the sense that now the data ow analysis alone can yield precise results. An
    experimental evaluation practically supports our claim of easy verification.
author:
- first_name: Marie-Christine
  full_name: Jakobs, Marie-Christine
  last_name: Jakobs
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Jakobs M-C, Wehrheim H. Programs from Proofs of Predicated Dataflow Analyses.
    In: <i>Proceedings of the 30th Annual ACM Symposium on Applied Computing</i>.
    SAC ’15. ; 2015:1729-1736. doi:<a href="https://doi.org/10.1145/2695664.2695690">10.1145/2695664.2695690</a>'
  apa: Jakobs, M.-C., &#38; Wehrheim, H. (2015). Programs from Proofs of Predicated
    Dataflow Analyses. In <i>Proceedings of the 30th Annual ACM Symposium on Applied
    Computing</i> (pp. 1729–1736). <a href="https://doi.org/10.1145/2695664.2695690">https://doi.org/10.1145/2695664.2695690</a>
  bibtex: '@inproceedings{Jakobs_Wehrheim_2015, series={SAC ’15}, title={Programs
    from Proofs of Predicated Dataflow Analyses}, DOI={<a href="https://doi.org/10.1145/2695664.2695690">10.1145/2695664.2695690</a>},
    booktitle={Proceedings of the 30th Annual ACM Symposium on Applied Computing},
    author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2015}, pages={1729–1736},
    collection={SAC ’15} }'
  chicago: Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated
    Dataflow Analyses.” In <i>Proceedings of the 30th Annual ACM Symposium on Applied
    Computing</i>, 1729–36. SAC ’15, 2015. <a href="https://doi.org/10.1145/2695664.2695690">https://doi.org/10.1145/2695664.2695690</a>.
  ieee: M.-C. Jakobs and H. Wehrheim, “Programs from Proofs of Predicated Dataflow
    Analyses,” in <i>Proceedings of the 30th Annual ACM Symposium on Applied Computing</i>,
    2015, pp. 1729–1736.
  mla: Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated
    Dataflow Analyses.” <i>Proceedings of the 30th Annual ACM Symposium on Applied
    Computing</i>, 2015, pp. 1729–36, doi:<a href="https://doi.org/10.1145/2695664.2695690">10.1145/2695664.2695690</a>.
  short: 'M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 30th Annual ACM Symposium
    on Applied Computing, 2015, pp. 1729–1736.'
date_created: 2017-10-17T12:41:43Z
date_updated: 2022-01-06T06:57:18Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1145/2695664.2695690
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T09:35:34Z
  date_updated: 2018-03-21T09:35:34Z
  file_id: '1483'
  file_name: 262-mainSACfinal.pdf
  file_size: 554583
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T09:35:34Z
has_accepted_license: '1'
language:
- iso: eng
page: 1729-1736
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 30th Annual ACM Symposium on Applied Computing
series_title: SAC '15
status: public
title: Programs from Proofs of Predicated Dataflow Analyses
type: conference
user_id: '477'
year: '2015'
...
---
_id: '26222'
author:
- first_name: Christoph
  full_name: Peitz, Christoph
  last_name: Peitz
citation:
  ama: Peitz C. <i>Systematik zur Entwicklung einer produktlebenszyklusorientierten
    Geschäftsmodell-Roadmap</i>. Vol 337. Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn; 2015.
  apa: Peitz, C. (2015). <i>Systematik zur Entwicklung einer produktlebenszyklusorientierten
    Geschäftsmodell-Roadmap</i> (Vol. 337). Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn.
  bibtex: '@book{Peitz_2015, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn}, title={Systematik zur Entwicklung einer produktlebenszyklusorientierten
    Geschäftsmodell-Roadmap}, volume={337}, publisher={Verlagsschriftenreihe des Heinz
    Nixdorf Instituts, Paderborn}, author={Peitz, Christoph}, year={2015}, collection={Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn} }'
  chicago: Peitz, Christoph. <i>Systematik zur Entwicklung einer produktlebenszyklusorientierten
    Geschäftsmodell-Roadmap</i>. Vol. 337. Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
    2015.
  ieee: C. Peitz, <i>Systematik zur Entwicklung einer produktlebenszyklusorientierten
    Geschäftsmodell-Roadmap</i>, vol. 337. Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn, 2015.
  mla: Peitz, Christoph. <i>Systematik zur Entwicklung einer produktlebenszyklusorientierten
    Geschäftsmodell-Roadmap</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn, 2015.
  short: C. Peitz, Systematik zur Entwicklung einer produktlebenszyklusorientierten
    Geschäftsmodell-Roadmap, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
    2015.
date_created: 2021-10-15T09:24:37Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '26'
intvolume: '       337'
language:
- iso: ger
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Systematik zur Entwicklung einer produktlebenszyklusorientierten Geschäftsmodell-Roadmap
type: dissertation
user_id: '60046'
volume: 337
year: '2015'
...
---
_id: '26227'
author:
- first_name: Rafal
  full_name: Dorociak, Rafal
  last_name: Dorociak
citation:
  ama: Dorociak R. <i>Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit
    fortschrittlicher mechatronischer Systeme</i>. Vol 340. Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn; 2015.
  apa: Dorociak, R. (2015). <i>Systematik zur frühzeitigen Absicherung der Sicherheit
    und Zuverlässigkeit fortschrittlicher mechatronischer Systeme</i> (Vol. 340).
    Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
  bibtex: '@book{Dorociak_2015, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn}, title={Systematik zur frühzeitigen Absicherung der Sicherheit und
    Zuverlässigkeit fortschrittlicher mechatronischer Systeme}, volume={340}, publisher={Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn}, author={Dorociak, Rafal}, year={2015},
    collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }'
  chicago: Dorociak, Rafal. <i>Systematik zur frühzeitigen Absicherung der Sicherheit
    und Zuverlässigkeit fortschrittlicher mechatronischer Systeme</i>. Vol. 340. Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn, 2015.
  ieee: R. Dorociak, <i>Systematik zur frühzeitigen Absicherung der Sicherheit und
    Zuverlässigkeit fortschrittlicher mechatronischer Systeme</i>, vol. 340. Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn, 2015.
  mla: Dorociak, Rafal. <i>Systematik zur frühzeitigen Absicherung der Sicherheit
    und Zuverlässigkeit fortschrittlicher mechatronischer Systeme</i>. Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn, 2015.
  short: R. Dorociak, Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit
    fortschrittlicher mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn, 2015.
date_created: 2021-10-15T09:27:44Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '26'
intvolume: '       340'
language:
- iso: ger
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit
  fortschrittlicher mechatronischer Systeme
type: dissertation
user_id: '60046'
volume: 340
year: '2015'
...
---
_id: '26229'
author:
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Michael
  full_name: Grafe, Michael
  last_name: Grafe
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
citation:
  ama: 'Gausemeier J, Grafe M, Meyer auf der Heide F. <i>Augmented &#38; Virtual Reality
    in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und
    Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme
    mit AR/VR </i>. Vol 342. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn;
    2015.'
  apa: 'Gausemeier, J., Grafe, M., &#38; Meyer auf der Heide, F. (2015). <i>Augmented
    &#38; Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge;
    Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter
    technischer Systeme mit AR/VR </i> (Vol. 342). Verlagsschriftenreihe des Heinz
    Nixdorf Instituts, Paderborn.'
  bibtex: '@book{Gausemeier_Grafe_Meyer auf der Heide_2015, series={Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn}, title={Augmented &#38; Virtual Reality
    in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und
    Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme
    mit AR/VR }, volume={342}, publisher={Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn}, author={Gausemeier, Jürgen and Grafe, Michael and Meyer
    auf der Heide, Friedhelm}, year={2015}, collection={Verlagsschriftenreihe des
    Heinz Nixdorf Instituts, Paderborn} }'
  chicago: 'Gausemeier, Jürgen, Michael Grafe, and Friedhelm Meyer auf der Heide.
    <i>Augmented &#38; Virtual Reality in der Produktentstehung: Grundlagen, Methoden
    und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping
    intelligenter technischer Systeme mit AR/VR </i>. Vol. 342. Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn, 2015.'
  ieee: 'J. Gausemeier, M. Grafe, and F. Meyer auf der Heide, <i>Augmented &#38; Virtual
    Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions-
    und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme
    mit AR/VR </i>, vol. 342. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
    2015.'
  mla: 'Gausemeier, Jürgen, et al. <i>Augmented &#38; Virtual Reality in der Produktentstehung:
    Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken,
    Virtual Prototyping intelligenter technischer Systeme mit AR/VR </i>. Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn, 2015.'
  short: 'J. Gausemeier, M. Grafe, F. Meyer auf der Heide, Augmented &#38; Virtual
    Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions-
    und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme
    mit AR/VR , Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.'
date_created: 2021-10-15T09:28:48Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '26'
intvolume: '       342'
language:
- iso: ger
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: 'Augmented & Virtual Reality in der Produktentstehung: Grundlagen, Methoden
  und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter
  technischer Systeme mit AR/VR '
type: book
user_id: '60046'
volume: 342
year: '2015'
...
---
_id: '26233'
author:
- first_name: Mareen
  full_name: Vaßholz, Mareen
  last_name: Vaßholz
citation:
  ama: Vaßholz M. <i>Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter
    Technischer Systeme</i>. Vol 346. Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn; 2015.
  apa: Vaßholz, M. (2015). <i>Systematik zur wirtschaftlichkeitsorientierten Konzipierung
    Intelligenter Technischer Systeme</i> (Vol. 346). Verlagsschriftenreihe des Heinz
    Nixdorf Instituts, Paderborn.
  bibtex: '@book{Vaßholz_2015, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn}, title={Systematik zur wirtschaftlichkeitsorientierten Konzipierung
    Intelligenter Technischer Systeme}, volume={346}, publisher={Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn}, author={Vaßholz, Mareen}, year={2015},
    collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }'
  chicago: Vaßholz, Mareen. <i>Systematik zur wirtschaftlichkeitsorientierten Konzipierung
    Intelligenter Technischer Systeme</i>. Vol. 346. Verlagsschriftenreihe des Heinz
    Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn, 2015.
  ieee: M. Vaßholz, <i>Systematik zur wirtschaftlichkeitsorientierten Konzipierung
    Intelligenter Technischer Systeme</i>, vol. 346. Verlagsschriftenreihe des Heinz
    Nixdorf Instituts, Paderborn, 2015.
  mla: Vaßholz, Mareen. <i>Systematik zur wirtschaftlichkeitsorientierten Konzipierung
    Intelligenter Technischer Systeme</i>. Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn, 2015.
  short: M. Vaßholz, Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter
    Technischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
    2015.
date_created: 2021-10-15T09:31:45Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '26'
intvolume: '       346'
language:
- iso: ger
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter Technischer
  Systeme
type: dissertation
user_id: '60046'
volume: 346
year: '2015'
...
---
_id: '26234'
author:
- first_name: Christian
  full_name: Heinzemann, Christian
  last_name: Heinzemann
citation:
  ama: Heinzemann C. <i>Verification and Simulation of Self-Adaptive Mechatronic Systems</i>.
    Vol 348. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2015.
  apa: Heinzemann, C. (2015). <i>Verification and Simulation of Self-Adaptive Mechatronic
    Systems</i> (Vol. 348). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
  bibtex: '@book{Heinzemann_2015, series={Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn}, title={Verification and Simulation of Self-Adaptive Mechatronic
    Systems}, volume={348}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn}, author={Heinzemann, Christian}, year={2015}, collection={Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn} }'
  chicago: Heinzemann, Christian. <i>Verification and Simulation of Self-Adaptive
    Mechatronic Systems</i>. Vol. 348. Verlagsschriftenreihe Des Heinz Nixdorf Instituts,
    Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
  ieee: C. Heinzemann, <i>Verification and Simulation of Self-Adaptive Mechatronic
    Systems</i>, vol. 348. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
    2015.
  mla: Heinzemann, Christian. <i>Verification and Simulation of Self-Adaptive Mechatronic
    Systems</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
  short: C. Heinzemann, Verification and Simulation of Self-Adaptive Mechatronic Systems,
    Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
date_created: 2021-10-15T09:33:11Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '26'
intvolume: '       348'
language:
- iso: eng
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Verification and Simulation of Self-Adaptive Mechatronic Systems
type: dissertation
user_id: '60046'
volume: 348
year: '2015'
...
---
_id: '263'
abstract:
- lang: eng
  text: In the last two decades, water consumption in Germany has been decreasing,
    which causes the water tanks and pipes in water distribution systems to work inefficiently.
    This paper proposes a method that supports the planning process for tanks in water
    distribution systems. The method uses a combination of network reduction, mathematical
    optimization and hydraulic simulation. The mathematical optimization model is
    a non-convex Mixed Integer Quadratically Constrained Program (MIQCP) that is solved
    by a piecewise linearization. As this may lead to many binary variables and therefore
    high computing times, the size of the water distribution system model is reduced
    before building the optimization model. After applying several network reduction
    techniques and using a piecewise approximation of the original model, there may
    be some hydraulic differences between the original network model and the reduced
    network model. To make sure that the solution obtained in the optimization process
    is feasible in the original water distribution system model, the solution is verified
    by a hydraulic simulation. If the solution is not feasible, the reduced model
    has to be modified and solved again until the hydraulic simulation verifies a
    solution as feasible. In this paper, each of these processes is described and
    the results indicate the usefulness of each of them.
author:
- first_name: Corinna
  full_name: Hallmann, Corinna
  last_name: Hallmann
- first_name: Leena
  full_name: Suhl, Leena
  last_name: Suhl
citation:
  ama: Hallmann C, Suhl L. Optimizing Water Tanks in Water Distribution Systems by
    combining Network Reduction, Mathematical Optimization and Hydraulic Simulation.
    <i>OR Spectrum</i>. 2015:1-19. doi:<a href="https://doi.org/10.1007/s00291-015-0403-1">10.1007/s00291-015-0403-1</a>
  apa: Hallmann, C., &#38; Suhl, L. (2015). Optimizing Water Tanks in Water Distribution
    Systems by combining Network Reduction, Mathematical Optimization and Hydraulic
    Simulation. <i>OR Spectrum</i>, 1–19. <a href="https://doi.org/10.1007/s00291-015-0403-1">https://doi.org/10.1007/s00291-015-0403-1</a>
  bibtex: '@article{Hallmann_Suhl_2015, title={Optimizing Water Tanks in Water Distribution
    Systems by combining Network Reduction, Mathematical Optimization and Hydraulic
    Simulation}, DOI={<a href="https://doi.org/10.1007/s00291-015-0403-1">10.1007/s00291-015-0403-1</a>},
    journal={OR Spectrum}, publisher={Springer}, author={Hallmann, Corinna and Suhl,
    Leena}, year={2015}, pages={1–19} }'
  chicago: Hallmann, Corinna, and Leena Suhl. “Optimizing Water Tanks in Water Distribution
    Systems by Combining Network Reduction, Mathematical Optimization and Hydraulic
    Simulation.” <i>OR Spectrum</i>, 2015, 1–19. <a href="https://doi.org/10.1007/s00291-015-0403-1">https://doi.org/10.1007/s00291-015-0403-1</a>.
  ieee: C. Hallmann and L. Suhl, “Optimizing Water Tanks in Water Distribution Systems
    by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation,”
    <i>OR Spectrum</i>, pp. 1–19, 2015.
  mla: Hallmann, Corinna, and Leena Suhl. “Optimizing Water Tanks in Water Distribution
    Systems by Combining Network Reduction, Mathematical Optimization and Hydraulic
    Simulation.” <i>OR Spectrum</i>, Springer, 2015, pp. 1–19, doi:<a href="https://doi.org/10.1007/s00291-015-0403-1">10.1007/s00291-015-0403-1</a>.
  short: C. Hallmann, L. Suhl, OR Spectrum (2015) 1–19.
date_created: 2017-10-17T12:41:43Z
date_updated: 2022-01-06T06:57:19Z
ddc:
- '040'
doi: 10.1007/s00291-015-0403-1
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T09:35:03Z
  date_updated: 2018-03-21T09:35:03Z
  file_id: '1482'
  file_name: 263-Hallmann_-_Optimizing_water_tanks_in_water_distribution_systems.pdf
  file_size: 430920
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T09:35:03Z
has_accepted_license: '1'
page: 1-19
project:
- _id: '1'
  name: SFB 901
- _id: '15'
  name: SFB 901 - Subprojekt C3
- _id: '4'
  name: SFB 901 - Project Area C
publication: OR Spectrum
publisher: Springer
status: public
title: Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction,
  Mathematical Optimization and Hydraulic Simulation
type: journal_article
user_id: '477'
year: '2015'
...
---
_id: '26330'
author:
- first_name: T.
  full_name: Lipfert, T.
  last_name: Lipfert
- first_name: Jan
  full_name: Sperling, Jan
  id: '75127'
  last_name: Sperling
  orcid: 0000-0002-5844-3205
- first_name: W.
  full_name: Vogel, W.
  last_name: Vogel
citation:
  ama: Lipfert T, Sperling J, Vogel W. Homodyne detection with on-off detector systems.
    <i>Physical Review A</i>. Published online 2015. doi:<a href="https://doi.org/10.1103/physreva.92.053835">10.1103/physreva.92.053835</a>
  apa: Lipfert, T., Sperling, J., &#38; Vogel, W. (2015). Homodyne detection with
    on-off detector systems. <i>Physical Review A</i>. <a href="https://doi.org/10.1103/physreva.92.053835">https://doi.org/10.1103/physreva.92.053835</a>
  bibtex: '@article{Lipfert_Sperling_Vogel_2015, title={Homodyne detection with on-off
    detector systems}, DOI={<a href="https://doi.org/10.1103/physreva.92.053835">10.1103/physreva.92.053835</a>},
    journal={Physical Review A}, author={Lipfert, T. and Sperling, Jan and Vogel,
    W.}, year={2015} }'
  chicago: Lipfert, T., Jan Sperling, and W. Vogel. “Homodyne Detection with On-off
    Detector Systems.” <i>Physical Review A</i>, 2015. <a href="https://doi.org/10.1103/physreva.92.053835">https://doi.org/10.1103/physreva.92.053835</a>.
  ieee: 'T. Lipfert, J. Sperling, and W. Vogel, “Homodyne detection with on-off detector
    systems,” <i>Physical Review A</i>, 2015, doi: <a href="https://doi.org/10.1103/physreva.92.053835">10.1103/physreva.92.053835</a>.'
  mla: Lipfert, T., et al. “Homodyne Detection with On-off Detector Systems.” <i>Physical
    Review A</i>, 2015, doi:<a href="https://doi.org/10.1103/physreva.92.053835">10.1103/physreva.92.053835</a>.
  short: T. Lipfert, J. Sperling, W. Vogel, Physical Review A (2015).
date_created: 2021-10-15T16:48:31Z
date_updated: 2022-01-06T06:57:19Z
doi: 10.1103/physreva.92.053835
extern: '1'
language:
- iso: eng
publication: Physical Review A
publication_identifier:
  issn:
  - 1050-2947
  - 1094-1622
publication_status: published
status: public
title: Homodyne detection with on-off detector systems
type: journal_article
user_id: '75127'
year: '2015'
...
---
_id: '26331'
author:
- first_name: E.
  full_name: Agudelo, E.
  last_name: Agudelo
- first_name: Jan
  full_name: Sperling, Jan
  id: '75127'
  last_name: Sperling
  orcid: 0000-0002-5844-3205
- first_name: W.
  full_name: Vogel, W.
  last_name: Vogel
- first_name: S.
  full_name: Köhnke, S.
  last_name: Köhnke
- first_name: M.
  full_name: Mraz, M.
  last_name: Mraz
- first_name: B.
  full_name: Hage, B.
  last_name: Hage
citation:
  ama: Agudelo E, Sperling J, Vogel W, Köhnke S, Mraz M, Hage B. Continuous sampling
    of the squeezed-state nonclassicality. <i>Physical Review A</i>. Published online
    2015. doi:<a href="https://doi.org/10.1103/physreva.92.033837">10.1103/physreva.92.033837</a>
  apa: Agudelo, E., Sperling, J., Vogel, W., Köhnke, S., Mraz, M., &#38; Hage, B.
    (2015). Continuous sampling of the squeezed-state nonclassicality. <i>Physical
    Review A</i>. <a href="https://doi.org/10.1103/physreva.92.033837">https://doi.org/10.1103/physreva.92.033837</a>
  bibtex: '@article{Agudelo_Sperling_Vogel_Köhnke_Mraz_Hage_2015, title={Continuous
    sampling of the squeezed-state nonclassicality}, DOI={<a href="https://doi.org/10.1103/physreva.92.033837">10.1103/physreva.92.033837</a>},
    journal={Physical Review A}, author={Agudelo, E. and Sperling, Jan and Vogel,
    W. and Köhnke, S. and Mraz, M. and Hage, B.}, year={2015} }'
  chicago: Agudelo, E., Jan Sperling, W. Vogel, S. Köhnke, M. Mraz, and B. Hage. “Continuous
    Sampling of the Squeezed-State Nonclassicality.” <i>Physical Review A</i>, 2015.
    <a href="https://doi.org/10.1103/physreva.92.033837">https://doi.org/10.1103/physreva.92.033837</a>.
  ieee: 'E. Agudelo, J. Sperling, W. Vogel, S. Köhnke, M. Mraz, and B. Hage, “Continuous
    sampling of the squeezed-state nonclassicality,” <i>Physical Review A</i>, 2015,
    doi: <a href="https://doi.org/10.1103/physreva.92.033837">10.1103/physreva.92.033837</a>.'
  mla: Agudelo, E., et al. “Continuous Sampling of the Squeezed-State Nonclassicality.”
    <i>Physical Review A</i>, 2015, doi:<a href="https://doi.org/10.1103/physreva.92.033837">10.1103/physreva.92.033837</a>.
  short: E. Agudelo, J. Sperling, W. Vogel, S. Köhnke, M. Mraz, B. Hage, Physical
    Review A (2015).
date_created: 2021-10-15T16:48:53Z
date_updated: 2022-01-06T06:57:19Z
doi: 10.1103/physreva.92.033837
extern: '1'
language:
- iso: eng
publication: Physical Review A
publication_identifier:
  issn:
  - 1050-2947
  - 1094-1622
publication_status: published
status: public
title: Continuous sampling of the squeezed-state nonclassicality
type: journal_article
user_id: '75127'
year: '2015'
...
---
_id: '26332'
author:
- first_name: S.
  full_name: Ryl, S.
  last_name: Ryl
- first_name: Jan
  full_name: Sperling, Jan
  id: '75127'
  last_name: Sperling
  orcid: 0000-0002-5844-3205
- first_name: E.
  full_name: Agudelo, E.
  last_name: Agudelo
- first_name: M.
  full_name: Mraz, M.
  last_name: Mraz
- first_name: S.
  full_name: Köhnke, S.
  last_name: Köhnke
- first_name: B.
  full_name: Hage, B.
  last_name: Hage
- first_name: W.
  full_name: Vogel, W.
  last_name: Vogel
citation:
  ama: Ryl S, Sperling J, Agudelo E, et al. Unified nonclassicality criteria. <i>Physical
    Review A</i>. Published online 2015. doi:<a href="https://doi.org/10.1103/physreva.92.011801">10.1103/physreva.92.011801</a>
  apa: Ryl, S., Sperling, J., Agudelo, E., Mraz, M., Köhnke, S., Hage, B., &#38; Vogel,
    W. (2015). Unified nonclassicality criteria. <i>Physical Review A</i>. <a href="https://doi.org/10.1103/physreva.92.011801">https://doi.org/10.1103/physreva.92.011801</a>
  bibtex: '@article{Ryl_Sperling_Agudelo_Mraz_Köhnke_Hage_Vogel_2015, title={Unified
    nonclassicality criteria}, DOI={<a href="https://doi.org/10.1103/physreva.92.011801">10.1103/physreva.92.011801</a>},
    journal={Physical Review A}, author={Ryl, S. and Sperling, Jan and Agudelo, E.
    and Mraz, M. and Köhnke, S. and Hage, B. and Vogel, W.}, year={2015} }'
  chicago: Ryl, S., Jan Sperling, E. Agudelo, M. Mraz, S. Köhnke, B. Hage, and W.
    Vogel. “Unified Nonclassicality Criteria.” <i>Physical Review A</i>, 2015. <a
    href="https://doi.org/10.1103/physreva.92.011801">https://doi.org/10.1103/physreva.92.011801</a>.
  ieee: 'S. Ryl <i>et al.</i>, “Unified nonclassicality criteria,” <i>Physical Review
    A</i>, 2015, doi: <a href="https://doi.org/10.1103/physreva.92.011801">10.1103/physreva.92.011801</a>.'
  mla: Ryl, S., et al. “Unified Nonclassicality Criteria.” <i>Physical Review A</i>,
    2015, doi:<a href="https://doi.org/10.1103/physreva.92.011801">10.1103/physreva.92.011801</a>.
  short: S. Ryl, J. Sperling, E. Agudelo, M. Mraz, S. Köhnke, B. Hage, W. Vogel, Physical
    Review A (2015).
date_created: 2021-10-15T16:49:18Z
date_updated: 2022-01-06T06:57:19Z
doi: 10.1103/physreva.92.011801
extern: '1'
language:
- iso: eng
publication: Physical Review A
publication_identifier:
  issn:
  - 1050-2947
  - 1094-1622
publication_status: published
status: public
title: Unified nonclassicality criteria
type: journal_article
user_id: '75127'
year: '2015'
...
---
_id: '26334'
article_number: '074024'
author:
- first_name: Jan
  full_name: Sperling, Jan
  id: '75127'
  last_name: Sperling
  orcid: 0000-0002-5844-3205
- first_name: W
  full_name: Vogel, W
  last_name: Vogel
citation:
  ama: Sperling J, Vogel W. Convex ordering and quantification of quantumness. <i>Physica
    Scripta</i>. Published online 2015. doi:<a href="https://doi.org/10.1088/0031-8949/90/7/074024">10.1088/0031-8949/90/7/074024</a>
  apa: Sperling, J., &#38; Vogel, W. (2015). Convex ordering and quantification of
    quantumness. <i>Physica Scripta</i>, Article 074024. <a href="https://doi.org/10.1088/0031-8949/90/7/074024">https://doi.org/10.1088/0031-8949/90/7/074024</a>
  bibtex: '@article{Sperling_Vogel_2015, title={Convex ordering and quantification
    of quantumness}, DOI={<a href="https://doi.org/10.1088/0031-8949/90/7/074024">10.1088/0031-8949/90/7/074024</a>},
    number={074024}, journal={Physica Scripta}, author={Sperling, Jan and Vogel, W},
    year={2015} }'
  chicago: Sperling, Jan, and W Vogel. “Convex Ordering and Quantification of Quantumness.”
    <i>Physica Scripta</i>, 2015. <a href="https://doi.org/10.1088/0031-8949/90/7/074024">https://doi.org/10.1088/0031-8949/90/7/074024</a>.
  ieee: 'J. Sperling and W. Vogel, “Convex ordering and quantification of quantumness,”
    <i>Physica Scripta</i>, Art. no. 074024, 2015, doi: <a href="https://doi.org/10.1088/0031-8949/90/7/074024">10.1088/0031-8949/90/7/074024</a>.'
  mla: Sperling, Jan, and W. Vogel. “Convex Ordering and Quantification of Quantumness.”
    <i>Physica Scripta</i>, 074024, 2015, doi:<a href="https://doi.org/10.1088/0031-8949/90/7/074024">10.1088/0031-8949/90/7/074024</a>.
  short: J. Sperling, W. Vogel, Physica Scripta (2015).
date_created: 2021-10-15T16:50:22Z
date_updated: 2022-01-06T06:57:19Z
doi: 10.1088/0031-8949/90/7/074024
extern: '1'
language:
- iso: eng
publication: Physica Scripta
publication_identifier:
  issn:
  - 0031-8949
  - 1402-4896
publication_status: published
status: public
title: Convex ordering and quantification of quantumness
type: journal_article
user_id: '75127'
year: '2015'
...
---
_id: '26335'
author:
- first_name: M.
  full_name: Bohmann, M.
  last_name: Bohmann
- first_name: Jan
  full_name: Sperling, Jan
  id: '75127'
  last_name: Sperling
  orcid: 0000-0002-5844-3205
- first_name: W.
  full_name: Vogel, W.
  last_name: Vogel
citation:
  ama: Bohmann M, Sperling J, Vogel W. Entanglement and phase properties of noisy
    NOON states. <i>Physical Review A</i>. Published online 2015. doi:<a href="https://doi.org/10.1103/physreva.91.042332">10.1103/physreva.91.042332</a>
  apa: Bohmann, M., Sperling, J., &#38; Vogel, W. (2015). Entanglement and phase properties
    of noisy NOON states. <i>Physical Review A</i>. <a href="https://doi.org/10.1103/physreva.91.042332">https://doi.org/10.1103/physreva.91.042332</a>
  bibtex: '@article{Bohmann_Sperling_Vogel_2015, title={Entanglement and phase properties
    of noisy NOON states}, DOI={<a href="https://doi.org/10.1103/physreva.91.042332">10.1103/physreva.91.042332</a>},
    journal={Physical Review A}, author={Bohmann, M. and Sperling, Jan and Vogel,
    W.}, year={2015} }'
  chicago: Bohmann, M., Jan Sperling, and W. Vogel. “Entanglement and Phase Properties
    of Noisy NOON States.” <i>Physical Review A</i>, 2015. <a href="https://doi.org/10.1103/physreva.91.042332">https://doi.org/10.1103/physreva.91.042332</a>.
  ieee: 'M. Bohmann, J. Sperling, and W. Vogel, “Entanglement and phase properties
    of noisy NOON states,” <i>Physical Review A</i>, 2015, doi: <a href="https://doi.org/10.1103/physreva.91.042332">10.1103/physreva.91.042332</a>.'
  mla: Bohmann, M., et al. “Entanglement and Phase Properties of Noisy NOON States.”
    <i>Physical Review A</i>, 2015, doi:<a href="https://doi.org/10.1103/physreva.91.042332">10.1103/physreva.91.042332</a>.
  short: M. Bohmann, J. Sperling, W. Vogel, Physical Review A (2015).
date_created: 2021-10-15T16:50:49Z
date_updated: 2022-01-06T06:57:19Z
doi: 10.1103/physreva.91.042332
extern: '1'
language:
- iso: eng
publication: Physical Review A
publication_identifier:
  issn:
  - 1050-2947
  - 1094-1622
publication_status: published
status: public
title: Entanglement and phase properties of noisy NOON states
type: journal_article
user_id: '75127'
year: '2015'
...
---
_id: '26336'
author:
- first_name: A.
  full_name: Reusch, A.
  last_name: Reusch
- first_name: Jan
  full_name: Sperling, Jan
  id: '75127'
  last_name: Sperling
  orcid: 0000-0002-5844-3205
- first_name: W.
  full_name: Vogel, W.
  last_name: Vogel
citation:
  ama: Reusch A, Sperling J, Vogel W. Entanglement witnesses for indistinguishable
    particles. <i>Physical Review A</i>. Published online 2015. doi:<a href="https://doi.org/10.1103/physreva.91.042324">10.1103/physreva.91.042324</a>
  apa: Reusch, A., Sperling, J., &#38; Vogel, W. (2015). Entanglement witnesses for
    indistinguishable particles. <i>Physical Review A</i>. <a href="https://doi.org/10.1103/physreva.91.042324">https://doi.org/10.1103/physreva.91.042324</a>
  bibtex: '@article{Reusch_Sperling_Vogel_2015, title={Entanglement witnesses for
    indistinguishable particles}, DOI={<a href="https://doi.org/10.1103/physreva.91.042324">10.1103/physreva.91.042324</a>},
    journal={Physical Review A}, author={Reusch, A. and Sperling, Jan and Vogel, W.},
    year={2015} }'
  chicago: Reusch, A., Jan Sperling, and W. Vogel. “Entanglement Witnesses for Indistinguishable
    Particles.” <i>Physical Review A</i>, 2015. <a href="https://doi.org/10.1103/physreva.91.042324">https://doi.org/10.1103/physreva.91.042324</a>.
  ieee: 'A. Reusch, J. Sperling, and W. Vogel, “Entanglement witnesses for indistinguishable
    particles,” <i>Physical Review A</i>, 2015, doi: <a href="https://doi.org/10.1103/physreva.91.042324">10.1103/physreva.91.042324</a>.'
  mla: Reusch, A., et al. “Entanglement Witnesses for Indistinguishable Particles.”
    <i>Physical Review A</i>, 2015, doi:<a href="https://doi.org/10.1103/physreva.91.042324">10.1103/physreva.91.042324</a>.
  short: A. Reusch, J. Sperling, W. Vogel, Physical Review A (2015).
date_created: 2021-10-15T16:51:11Z
date_updated: 2022-01-06T06:57:19Z
doi: 10.1103/physreva.91.042324
extern: '1'
language:
- iso: eng
publication: Physical Review A
publication_identifier:
  issn:
  - 1050-2947
  - 1094-1622
publication_status: published
status: public
title: Entanglement witnesses for indistinguishable particles
type: journal_article
user_id: '75127'
year: '2015'
...
---
_id: '26337'
author:
- first_name: Alfredo
  full_name: Luis, Alfredo
  last_name: Luis
- first_name: Jan
  full_name: Sperling, Jan
  id: '75127'
  last_name: Sperling
  orcid: 0000-0002-5844-3205
- first_name: Werner
  full_name: Vogel, Werner
  last_name: Vogel
citation:
  ama: 'Luis A, Sperling J, Vogel W. Nonclassicality Phase-Space Functions: More Insight
    with Fewer Detectors. <i>Physical Review Letters</i>. Published online 2015. doi:<a
    href="https://doi.org/10.1103/physrevlett.114.103602">10.1103/physrevlett.114.103602</a>'
  apa: 'Luis, A., Sperling, J., &#38; Vogel, W. (2015). Nonclassicality Phase-Space
    Functions: More Insight with Fewer Detectors. <i>Physical Review Letters</i>.
    <a href="https://doi.org/10.1103/physrevlett.114.103602">https://doi.org/10.1103/physrevlett.114.103602</a>'
  bibtex: '@article{Luis_Sperling_Vogel_2015, title={Nonclassicality Phase-Space Functions:
    More Insight with Fewer Detectors}, DOI={<a href="https://doi.org/10.1103/physrevlett.114.103602">10.1103/physrevlett.114.103602</a>},
    journal={Physical Review Letters}, author={Luis, Alfredo and Sperling, Jan and
    Vogel, Werner}, year={2015} }'
  chicago: 'Luis, Alfredo, Jan Sperling, and Werner Vogel. “Nonclassicality Phase-Space
    Functions: More Insight with Fewer Detectors.” <i>Physical Review Letters</i>,
    2015. <a href="https://doi.org/10.1103/physrevlett.114.103602">https://doi.org/10.1103/physrevlett.114.103602</a>.'
  ieee: 'A. Luis, J. Sperling, and W. Vogel, “Nonclassicality Phase-Space Functions:
    More Insight with Fewer Detectors,” <i>Physical Review Letters</i>, 2015, doi:
    <a href="https://doi.org/10.1103/physrevlett.114.103602">10.1103/physrevlett.114.103602</a>.'
  mla: 'Luis, Alfredo, et al. “Nonclassicality Phase-Space Functions: More Insight
    with Fewer Detectors.” <i>Physical Review Letters</i>, 2015, doi:<a href="https://doi.org/10.1103/physrevlett.114.103602">10.1103/physrevlett.114.103602</a>.'
  short: A. Luis, J. Sperling, W. Vogel, Physical Review Letters (2015).
date_created: 2021-10-15T16:51:31Z
date_updated: 2022-01-06T06:57:19Z
doi: 10.1103/physrevlett.114.103602
extern: '1'
language:
- iso: eng
publication: Physical Review Letters
publication_identifier:
  issn:
  - 0031-9007
  - 1079-7114
publication_status: published
status: public
title: 'Nonclassicality Phase-Space Functions: More Insight with Fewer Detectors'
type: journal_article
user_id: '75127'
year: '2015'
...
---
_id: '26338'
article_number: '34001'
author:
- first_name: Jan
  full_name: Sperling, Jan
  id: '75127'
  last_name: Sperling
  orcid: 0000-0002-5844-3205
- first_name: W.
  full_name: Vogel, W.
  last_name: Vogel
- first_name: G. S.
  full_name: Agarwal, G. S.
  last_name: Agarwal
citation:
  ama: 'Sperling J, Vogel W, Agarwal GS. Balanced homodyne detection with on-off detector
    systems: Observable nonclassicality criteria. <i>EPL (Europhysics Letters)</i>.
    Published online 2015. doi:<a href="https://doi.org/10.1209/0295-5075/109/34001">10.1209/0295-5075/109/34001</a>'
  apa: 'Sperling, J., Vogel, W., &#38; Agarwal, G. S. (2015). Balanced homodyne detection
    with on-off detector systems: Observable nonclassicality criteria. <i>EPL (Europhysics
    Letters)</i>, Article 34001. <a href="https://doi.org/10.1209/0295-5075/109/34001">https://doi.org/10.1209/0295-5075/109/34001</a>'
  bibtex: '@article{Sperling_Vogel_Agarwal_2015, title={Balanced homodyne detection
    with on-off detector systems: Observable nonclassicality criteria}, DOI={<a href="https://doi.org/10.1209/0295-5075/109/34001">10.1209/0295-5075/109/34001</a>},
    number={34001}, journal={EPL (Europhysics Letters)}, author={Sperling, Jan and
    Vogel, W. and Agarwal, G. S.}, year={2015} }'
  chicago: 'Sperling, Jan, W. Vogel, and G. S. Agarwal. “Balanced Homodyne Detection
    with On-off Detector Systems: Observable Nonclassicality Criteria.” <i>EPL (Europhysics
    Letters)</i>, 2015. <a href="https://doi.org/10.1209/0295-5075/109/34001">https://doi.org/10.1209/0295-5075/109/34001</a>.'
  ieee: 'J. Sperling, W. Vogel, and G. S. Agarwal, “Balanced homodyne detection with
    on-off detector systems: Observable nonclassicality criteria,” <i>EPL (Europhysics
    Letters)</i>, Art. no. 34001, 2015, doi: <a href="https://doi.org/10.1209/0295-5075/109/34001">10.1209/0295-5075/109/34001</a>.'
  mla: 'Sperling, Jan, et al. “Balanced Homodyne Detection with On-off Detector Systems:
    Observable Nonclassicality Criteria.” <i>EPL (Europhysics Letters)</i>, 34001,
    2015, doi:<a href="https://doi.org/10.1209/0295-5075/109/34001">10.1209/0295-5075/109/34001</a>.'
  short: J. Sperling, W. Vogel, G.S. Agarwal, EPL (Europhysics Letters) (2015).
date_created: 2021-10-15T16:52:04Z
date_updated: 2022-01-06T06:57:19Z
doi: 10.1209/0295-5075/109/34001
extern: '1'
language:
- iso: eng
publication: EPL (Europhysics Letters)
publication_identifier:
  issn:
  - 0295-5075
  - 1286-4854
publication_status: published
status: public
title: 'Balanced homodyne detection with on-off detector systems: Observable nonclassicality
  criteria'
type: journal_article
user_id: '75127'
year: '2015'
...
---
_id: '26339'
author:
- first_name: S.
  full_name: Gerke, S.
  last_name: Gerke
- first_name: Jan
  full_name: Sperling, Jan
  id: '75127'
  last_name: Sperling
  orcid: 0000-0002-5844-3205
- first_name: W.
  full_name: Vogel, W.
  last_name: Vogel
- first_name: Y.
  full_name: Cai, Y.
  last_name: Cai
- first_name: J.
  full_name: Roslund, J.
  last_name: Roslund
- first_name: N.
  full_name: Treps, N.
  last_name: Treps
- first_name: C.
  full_name: Fabre, C.
  last_name: Fabre
citation:
  ama: Gerke S, Sperling J, Vogel W, et al. Full Multipartite Entanglement of Frequency-Comb
    Gaussian States. <i>Physical Review Letters</i>. Published online 2015. doi:<a
    href="https://doi.org/10.1103/physrevlett.114.050501">10.1103/physrevlett.114.050501</a>
  apa: Gerke, S., Sperling, J., Vogel, W., Cai, Y., Roslund, J., Treps, N., &#38;
    Fabre, C. (2015). Full Multipartite Entanglement of Frequency-Comb Gaussian States.
    <i>Physical Review Letters</i>. <a href="https://doi.org/10.1103/physrevlett.114.050501">https://doi.org/10.1103/physrevlett.114.050501</a>
  bibtex: '@article{Gerke_Sperling_Vogel_Cai_Roslund_Treps_Fabre_2015, title={Full
    Multipartite Entanglement of Frequency-Comb Gaussian States}, DOI={<a href="https://doi.org/10.1103/physrevlett.114.050501">10.1103/physrevlett.114.050501</a>},
    journal={Physical Review Letters}, author={Gerke, S. and Sperling, Jan and Vogel,
    W. and Cai, Y. and Roslund, J. and Treps, N. and Fabre, C.}, year={2015} }'
  chicago: Gerke, S., Jan Sperling, W. Vogel, Y. Cai, J. Roslund, N. Treps, and C.
    Fabre. “Full Multipartite Entanglement of Frequency-Comb Gaussian States.” <i>Physical
    Review Letters</i>, 2015. <a href="https://doi.org/10.1103/physrevlett.114.050501">https://doi.org/10.1103/physrevlett.114.050501</a>.
  ieee: 'S. Gerke <i>et al.</i>, “Full Multipartite Entanglement of Frequency-Comb
    Gaussian States,” <i>Physical Review Letters</i>, 2015, doi: <a href="https://doi.org/10.1103/physrevlett.114.050501">10.1103/physrevlett.114.050501</a>.'
  mla: Gerke, S., et al. “Full Multipartite Entanglement of Frequency-Comb Gaussian
    States.” <i>Physical Review Letters</i>, 2015, doi:<a href="https://doi.org/10.1103/physrevlett.114.050501">10.1103/physrevlett.114.050501</a>.
  short: S. Gerke, J. Sperling, W. Vogel, Y. Cai, J. Roslund, N. Treps, C. Fabre,
    Physical Review Letters (2015).
date_created: 2021-10-15T16:52:29Z
date_updated: 2022-01-06T06:57:19Z
doi: 10.1103/physrevlett.114.050501
extern: '1'
language:
- iso: eng
publication: Physical Review Letters
publication_identifier:
  issn:
  - 0031-9007
  - 1079-7114
publication_status: published
status: public
title: Full Multipartite Entanglement of Frequency-Comb Gaussian States
type: journal_article
user_id: '75127'
year: '2015'
...
---
_id: '264'
author:
- first_name: Philip
  full_name: Wette, Philip
  last_name: Wette
citation:
  ama: Wette P. <i>Optimizing Software-Defined Networks Using Application-Layer Knowledge</i>.
    Universität Paderborn; 2015.
  apa: Wette, P. (2015). <i>Optimizing Software-Defined Networks using Application-Layer
    Knowledge</i>. Universität Paderborn.
  bibtex: '@book{Wette_2015, title={Optimizing Software-Defined Networks using Application-Layer
    Knowledge}, publisher={Universität Paderborn}, author={Wette, Philip}, year={2015}
    }'
  chicago: Wette, Philip. <i>Optimizing Software-Defined Networks Using Application-Layer
    Knowledge</i>. Universität Paderborn, 2015.
  ieee: P. Wette, <i>Optimizing Software-Defined Networks using Application-Layer
    Knowledge</i>. Universität Paderborn, 2015.
  mla: Wette, Philip. <i>Optimizing Software-Defined Networks Using Application-Layer
    Knowledge</i>. Universität Paderborn, 2015.
  short: P. Wette, Optimizing Software-Defined Networks Using Application-Layer Knowledge,
    Universität Paderborn, 2015.
date_created: 2017-10-17T12:41:43Z
date_updated: 2022-01-06T06:57:20Z
ddc:
- '040'
department:
- _id: '75'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T09:34:36Z
  date_updated: 2018-03-21T09:34:36Z
  file_id: '1481'
  file_name: 264-Dissertation_-_Wette.pdf
  file_size: 8031107
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T09:34:36Z
has_accepted_license: '1'
project:
- _id: '1'
  name: SFB 901
- _id: '6'
  name: SFB 901 - Subprojekt A2
- _id: '16'
  name: SFB 901 - Subprojekt C4
- _id: '2'
  name: SFB 901 - Project Area A
- _id: '4'
  name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
title: Optimizing Software-Defined Networks using Application-Layer Knowledge
type: dissertation
user_id: '477'
year: '2015'
...
---
_id: '26429'
author:
- first_name: George
  full_name: Tsatsaronis, George
  last_name: Tsatsaronis
- first_name: Georgios
  full_name: Balikas, Georgios
  last_name: Balikas
- first_name: Prodromos
  full_name: Malakasiotis, Prodromos
  last_name: Malakasiotis
- first_name: Ioannis
  full_name: Partalas, Ioannis
  last_name: Partalas
- first_name: Matthias
  full_name: Zschunke, Matthias
  last_name: Zschunke
- first_name: Michael
  full_name: R. Alvers, Michael
  last_name: R. Alvers
- first_name: Dirk
  full_name: Weissenborn, Dirk
  last_name: Weissenborn
- first_name: Anastasia
  full_name: Krithara, Anastasia
  last_name: Krithara
- first_name: Sergios
  full_name: Petridis, Sergios
  last_name: Petridis
- first_name: Dimitris
  full_name: Polychronopoulos, Dimitris
  last_name: Polychronopoulos
- first_name: Yannis
  full_name: Almirantis, Yannis
  last_name: Almirantis
- first_name: John
  full_name: Pavlopoulos, John
  last_name: Pavlopoulos
- first_name: Nicolas
  full_name: Baskiotis, Nicolas
  last_name: Baskiotis
- first_name: Patrick
  full_name: Gallinari, Patrick
  last_name: Gallinari
- first_name: Thierry
  full_name: Artières, Thierry
  last_name: Artières
- first_name: Axel-Cyrille
  full_name: Ngonga Ngomo, Axel-Cyrille
  id: '65716'
  last_name: Ngonga Ngomo
- first_name: Norman
  full_name: Heino, Norman
  last_name: Heino
- first_name: Éric
  full_name: Gaussier, Éric
  last_name: Gaussier
- first_name: Liliana
  full_name: Barrio-Alvers, Liliana
  last_name: Barrio-Alvers
- first_name: Michael
  full_name: Schroeder, Michael
  last_name: Schroeder
- first_name: Ion
  full_name: Androutsopoulos, Ion
  last_name: Androutsopoulos
- first_name: Georgios
  full_name: Paliouras, Georgios
  last_name: Paliouras
citation:
  ama: Tsatsaronis G, Balikas G, Malakasiotis P, et al. An overview of the BIOASQ
    large-scale biomedical semantic indexing and question answering competition. <i>{BMC}
    Bioinform</i>. 2015;16:138:1-138:28. doi:<a href="https://doi.org/10.1186/s12859-015-0564-6">10.1186/s12859-015-0564-6</a>
  apa: Tsatsaronis, G., Balikas, G., Malakasiotis, P., Partalas, I., Zschunke, M.,
    R. Alvers, M., Weissenborn, D., Krithara, A., Petridis, S., Polychronopoulos,
    D., Almirantis, Y., Pavlopoulos, J., Baskiotis, N., Gallinari, P., Artières, T.,
    Ngonga Ngomo, A.-C., Heino, N., Gaussier, É., Barrio-Alvers, L., … Paliouras,
    G. (2015). An overview of the BIOASQ large-scale biomedical semantic indexing
    and question answering competition. <i>{BMC} Bioinform.</i>, <i>16</i>, 138:1-138:28.
    <a href="https://doi.org/10.1186/s12859-015-0564-6">https://doi.org/10.1186/s12859-015-0564-6</a>
  bibtex: '@article{Tsatsaronis_Balikas_Malakasiotis_Partalas_Zschunke_R. Alvers_Weissenborn_Krithara_Petridis_Polychronopoulos_et
    al._2015, title={An overview of the BIOASQ large-scale biomedical semantic indexing
    and question answering competition}, volume={16}, DOI={<a href="https://doi.org/10.1186/s12859-015-0564-6">10.1186/s12859-015-0564-6</a>},
    journal={{BMC} Bioinform.}, author={Tsatsaronis, George and Balikas, Georgios
    and Malakasiotis, Prodromos and Partalas, Ioannis and Zschunke, Matthias and R.
    Alvers, Michael and Weissenborn, Dirk and Krithara, Anastasia and Petridis, Sergios
    and Polychronopoulos, Dimitris and et al.}, year={2015}, pages={138:1-138:28}
    }'
  chicago: 'Tsatsaronis, George, Georgios Balikas, Prodromos Malakasiotis, Ioannis
    Partalas, Matthias Zschunke, Michael R. Alvers, Dirk Weissenborn, et al. “An Overview
    of the BIOASQ Large-Scale Biomedical Semantic Indexing and Question Answering
    Competition.” <i>{BMC} Bioinform.</i> 16 (2015): 138:1-138:28. <a href="https://doi.org/10.1186/s12859-015-0564-6">https://doi.org/10.1186/s12859-015-0564-6</a>.'
  ieee: 'G. Tsatsaronis <i>et al.</i>, “An overview of the BIOASQ large-scale biomedical
    semantic indexing and question answering competition,” <i>{BMC} Bioinform.</i>,
    vol. 16, p. 138:1-138:28, 2015, doi: <a href="https://doi.org/10.1186/s12859-015-0564-6">10.1186/s12859-015-0564-6</a>.'
  mla: Tsatsaronis, George, et al. “An Overview of the BIOASQ Large-Scale Biomedical
    Semantic Indexing and Question Answering Competition.” <i>{BMC} Bioinform.</i>,
    vol. 16, 2015, p. 138:1-138:28, doi:<a href="https://doi.org/10.1186/s12859-015-0564-6">10.1186/s12859-015-0564-6</a>.
  short: G. Tsatsaronis, G. Balikas, P. Malakasiotis, I. Partalas, M. Zschunke, M.
    R. Alvers, D. Weissenborn, A. Krithara, S. Petridis, D. Polychronopoulos, Y. Almirantis,
    J. Pavlopoulos, N. Baskiotis, P. Gallinari, T. Artières, A.-C. Ngonga Ngomo, N.
    Heino, É. Gaussier, L. Barrio-Alvers, M. Schroeder, I. Androutsopoulos, G. Paliouras,
    {BMC} Bioinform. 16 (2015) 138:1-138:28.
date_created: 2021-10-18T20:25:28Z
date_updated: 2022-01-06T06:57:20Z
doi: 10.1186/s12859-015-0564-6
intvolume: '        16'
language:
- iso: eng
page: 138:1-138:28
publication: '{BMC} Bioinform.'
status: public
title: An overview of the BIOASQ large-scale biomedical semantic indexing and question
  answering competition
type: journal_article
user_id: '15526'
volume: 16
year: '2015'
...
---
_id: '26430'
author:
- first_name: Sarven
  full_name: Capadisli, Sarven
  last_name: Capadisli
- first_name: Sören
  full_name: Auer, Sören
  last_name: Auer
- first_name: Axel-Cyrille
  full_name: Ngonga Ngomo, Axel-Cyrille
  id: '65716'
  last_name: Ngonga Ngomo
citation:
  ama: 'Capadisli S, Auer S, Ngonga Ngomo A-C. Linked SDMX Data: Path to high fidelity
    Statistical Linked Data. <i>Semantic Web</i>. 2015;6(2):105-112. doi:<a href="https://doi.org/10.3233/SW-130123">10.3233/SW-130123</a>'
  apa: 'Capadisli, S., Auer, S., &#38; Ngonga Ngomo, A.-C. (2015). Linked SDMX Data:
    Path to high fidelity Statistical Linked Data. <i>Semantic Web</i>, <i>6</i>(2),
    105–112. <a href="https://doi.org/10.3233/SW-130123">https://doi.org/10.3233/SW-130123</a>'
  bibtex: '@article{Capadisli_Auer_Ngonga Ngomo_2015, title={Linked SDMX Data: Path
    to high fidelity Statistical Linked Data}, volume={6}, DOI={<a href="https://doi.org/10.3233/SW-130123">10.3233/SW-130123</a>},
    number={2}, journal={Semantic Web}, author={Capadisli, Sarven and Auer, Sören
    and Ngonga Ngomo, Axel-Cyrille}, year={2015}, pages={105–112} }'
  chicago: 'Capadisli, Sarven, Sören Auer, and Axel-Cyrille Ngonga Ngomo. “Linked
    SDMX Data: Path to High Fidelity Statistical Linked Data.” <i>Semantic Web</i>
    6, no. 2 (2015): 105–12. <a href="https://doi.org/10.3233/SW-130123">https://doi.org/10.3233/SW-130123</a>.'
  ieee: 'S. Capadisli, S. Auer, and A.-C. Ngonga Ngomo, “Linked SDMX Data: Path to
    high fidelity Statistical Linked Data,” <i>Semantic Web</i>, vol. 6, no. 2, pp.
    105–112, 2015, doi: <a href="https://doi.org/10.3233/SW-130123">10.3233/SW-130123</a>.'
  mla: 'Capadisli, Sarven, et al. “Linked SDMX Data: Path to High Fidelity Statistical
    Linked Data.” <i>Semantic Web</i>, vol. 6, no. 2, 2015, pp. 105–12, doi:<a href="https://doi.org/10.3233/SW-130123">10.3233/SW-130123</a>.'
  short: S. Capadisli, S. Auer, A.-C. Ngonga Ngomo, Semantic Web 6 (2015) 105–112.
date_created: 2021-10-18T20:29:29Z
date_updated: 2022-01-06T06:57:20Z
doi: 10.3233/SW-130123
intvolume: '         6'
issue: '2'
language:
- iso: eng
page: 105-112
publication: Semantic Web
status: public
title: 'Linked SDMX Data: Path to high fidelity Statistical Linked Data'
type: journal_article
user_id: '15526'
volume: 6
year: '2015'
...
---
_id: '26431'
author:
- first_name: Mohamed
  full_name: Ahmed Sherif, Mohamed
  last_name: Ahmed Sherif
- first_name: Axel-Cyrille
  full_name: Ngonga Ngomo, Axel-Cyrille
  id: '65716'
  last_name: Ngonga Ngomo
citation:
  ama: Ahmed Sherif M, Ngonga Ngomo A-C. Semantic Quran. <i>Semantic Web</i>. 2015;6(4):339-345.
    doi:<a href="https://doi.org/10.3233/SW-140137">10.3233/SW-140137</a>
  apa: Ahmed Sherif, M., &#38; Ngonga Ngomo, A.-C. (2015). Semantic Quran. <i>Semantic
    Web</i>, <i>6</i>(4), 339–345. <a href="https://doi.org/10.3233/SW-140137">https://doi.org/10.3233/SW-140137</a>
  bibtex: '@article{Ahmed Sherif_Ngonga Ngomo_2015, title={Semantic Quran}, volume={6},
    DOI={<a href="https://doi.org/10.3233/SW-140137">10.3233/SW-140137</a>}, number={4},
    journal={Semantic Web}, author={Ahmed Sherif, Mohamed and Ngonga Ngomo, Axel-Cyrille},
    year={2015}, pages={339–345} }'
  chicago: 'Ahmed Sherif, Mohamed, and Axel-Cyrille Ngonga Ngomo. “Semantic Quran.”
    <i>Semantic Web</i> 6, no. 4 (2015): 339–45. <a href="https://doi.org/10.3233/SW-140137">https://doi.org/10.3233/SW-140137</a>.'
  ieee: 'M. Ahmed Sherif and A.-C. Ngonga Ngomo, “Semantic Quran,” <i>Semantic Web</i>,
    vol. 6, no. 4, pp. 339–345, 2015, doi: <a href="https://doi.org/10.3233/SW-140137">10.3233/SW-140137</a>.'
  mla: Ahmed Sherif, Mohamed, and Axel-Cyrille Ngonga Ngomo. “Semantic Quran.” <i>Semantic
    Web</i>, vol. 6, no. 4, 2015, pp. 339–45, doi:<a href="https://doi.org/10.3233/SW-140137">10.3233/SW-140137</a>.
  short: M. Ahmed Sherif, A.-C. Ngonga Ngomo, Semantic Web 6 (2015) 339–345.
date_created: 2021-10-18T20:30:28Z
date_updated: 2022-01-06T06:57:20Z
doi: 10.3233/SW-140137
intvolume: '         6'
issue: '4'
language:
- iso: eng
page: 339-345
publication: Semantic Web
status: public
title: Semantic Quran
type: journal_article
user_id: '15526'
volume: 6
year: '2015'
...