---
_id: '3830'
abstract:
- lang: eng
text: "The modal properties of curved dielectric slab waveguides are investigated.
We\r\nconsider quasi-confined, attenuated modes that propagate at oblique angles
with respect to\r\nthe axis through the center of curvature. Our analytical model
describes the transition from\r\nscalar 2-D TE/TM bend modes to lossless spiral
waves at near-axis propagation angles,\r\nwith a continuum of vectorial attenuated
spiral modes in between. Modal solutions are\r\ncharacterized in terms of directional
wavenumbers and attenuation constants. Examples for\r\nvectorial mode profiles
illustrate the effects of oblique wave propagation along the curved\r\nslab segments.
For the regime of lossless spiral waves, the relation with the guided modes\r\nof
corresponding dielectric tubes is demonstrated."
article_type: original
author:
- first_name: Lena
full_name: Ebers, Lena
id: '40428'
last_name: Ebers
- first_name: Manfred
full_name: Hammer, Manfred
id: '48077'
last_name: Hammer
orcid: 0000-0002-6331-9348
- first_name: Jens
full_name: Förstner, Jens
id: '158'
last_name: Förstner
orcid: 0000-0001-7059-9862
citation:
ama: Ebers L, Hammer M, Förstner J. Spiral modes supported by circular dielectric
tubes and tube segments. Optical and Quantum Electronics. 2017;49(4):49:176.
doi:10.1007/s11082-017-1011-x
apa: Ebers, L., Hammer, M., & Förstner, J. (2017). Spiral modes supported by
circular dielectric tubes and tube segments. Optical and Quantum Electronics,
49(4), 49:176. https://doi.org/10.1007/s11082-017-1011-x
bibtex: '@article{Ebers_Hammer_Förstner_2017, title={Spiral modes supported by circular
dielectric tubes and tube segments}, volume={49}, DOI={10.1007/s11082-017-1011-x},
number={4}, journal={Optical and Quantum Electronics}, publisher={Springer Nature},
author={Ebers, Lena and Hammer, Manfred and Förstner, Jens}, year={2017}, pages={49:176}
}'
chicago: 'Ebers, Lena, Manfred Hammer, and Jens Förstner. “Spiral Modes Supported
by Circular Dielectric Tubes and Tube Segments.” Optical and Quantum Electronics
49, no. 4 (2017): 49:176. https://doi.org/10.1007/s11082-017-1011-x.'
ieee: L. Ebers, M. Hammer, and J. Förstner, “Spiral modes supported by circular
dielectric tubes and tube segments,” Optical and Quantum Electronics, vol.
49, no. 4, p. 49:176, 2017.
mla: Ebers, Lena, et al. “Spiral Modes Supported by Circular Dielectric Tubes and
Tube Segments.” Optical and Quantum Electronics, vol. 49, no. 4, Springer
Nature, 2017, p. 49:176, doi:10.1007/s11082-017-1011-x.
short: L. Ebers, M. Hammer, J. Förstner, Optical and Quantum Electronics 49 (2017)
49:176.
date_created: 2018-08-07T09:52:20Z
date_updated: 2022-01-06T06:59:39Z
ddc:
- '530'
department:
- _id: '61'
doi: 10.1007/s11082-017-1011-x
file:
- access_level: request
content_type: application/pdf
creator: hclaudia
date_created: 2018-08-07T09:56:27Z
date_updated: 2022-01-06T06:59:38Z
file_id: '3831'
file_name: 2017-03 Ebers, Hammer_Spiral modes supported by circular dielectric tubes
and tube segments.pdf
file_size: 2379736
relation: main_file
file_date_updated: 2022-01-06T06:59:38Z
has_accepted_license: '1'
intvolume: ' 49'
issue: '4'
keyword:
- tet_topic_waveguide
language:
- iso: eng
page: 49:176
project:
- _id: '53'
name: TRR 142
- _id: '54'
name: TRR 142 - Project Area A
- _id: '62'
name: TRR 142 - Subproject A5
publication: Optical and Quantum Electronics
publication_identifier:
issn:
- 0306-8919
- 1572-817X
publication_status: published
publisher: Springer Nature
status: public
title: Spiral modes supported by circular dielectric tubes and tube segments
type: journal_article
urn: '38308'
user_id: '158'
volume: 49
year: '2017'
...
---
_id: '3832'
abstract:
- lang: eng
text: Controlling light emission out of subwavelength nanoslit/aperture structures
is of great important for highly integrated photonic circuits. Here we propose
a new method to achieve direction-tunable emission based on a compact metallic
microcavity with double nanoslit. Our method combines the principles of Young’s
interference and surface plasmon polaritons interference. We show that the direction
of the far-field beam can be controlled over a wide range of angles by manipulating
the frequency and relative phase of light arriving at the two slits, which holds
promise for applications in the ultracompact optoelectronic devices.
article_type: original
author:
- first_name: Xiaohong
full_name: Song, Xiaohong
last_name: Song
- first_name: Nini
full_name: Wang, Nini
last_name: Wang
- first_name: Ming
full_name: Yan, Ming
last_name: Yan
- first_name: Cheng
full_name: Lin, Cheng
last_name: Lin
- first_name: Jens
full_name: Förstner, Jens
id: '158'
last_name: Förstner
orcid: 0000-0001-7059-9862
- first_name: Weifeng
full_name: Yang, Weifeng
last_name: Yang
citation:
ama: Song X, Wang N, Yan M, Lin C, Förstner J, Yang W. Direction-tunable enhanced
emission from a subwavelength metallic double-nanoslit structure. Optics Express.
2017;25(12):13207-13214. doi:10.1364/oe.25.013207
apa: Song, X., Wang, N., Yan, M., Lin, C., Förstner, J., & Yang, W. (2017).
Direction-tunable enhanced emission from a subwavelength metallic double-nanoslit
structure. Optics Express, 25(12), 13207–13214. https://doi.org/10.1364/oe.25.013207
bibtex: '@article{Song_Wang_Yan_Lin_Förstner_Yang_2017, title={Direction-tunable
enhanced emission from a subwavelength metallic double-nanoslit structure}, volume={25},
DOI={10.1364/oe.25.013207},
number={12}, journal={Optics Express}, publisher={The Optical Society}, author={Song,
Xiaohong and Wang, Nini and Yan, Ming and Lin, Cheng and Förstner, Jens and Yang,
Weifeng}, year={2017}, pages={13207–13214} }'
chicago: 'Song, Xiaohong, Nini Wang, Ming Yan, Cheng Lin, Jens Förstner, and Weifeng
Yang. “Direction-Tunable Enhanced Emission from a Subwavelength Metallic Double-Nanoslit
Structure.” Optics Express 25, no. 12 (2017): 13207–14. https://doi.org/10.1364/oe.25.013207.'
ieee: X. Song, N. Wang, M. Yan, C. Lin, J. Förstner, and W. Yang, “Direction-tunable
enhanced emission from a subwavelength metallic double-nanoslit structure,” Optics
Express, vol. 25, no. 12, pp. 13207–13214, 2017.
mla: Song, Xiaohong, et al. “Direction-Tunable Enhanced Emission from a Subwavelength
Metallic Double-Nanoslit Structure.” Optics Express, vol. 25, no. 12, The
Optical Society, 2017, pp. 13207–14, doi:10.1364/oe.25.013207.
short: X. Song, N. Wang, M. Yan, C. Lin, J. Förstner, W. Yang, Optics Express 25
(2017) 13207–13214.
date_created: 2018-08-07T10:13:24Z
date_updated: 2022-01-06T06:59:40Z
ddc:
- '530'
department:
- _id: '61'
doi: 10.1364/oe.25.013207
file:
- access_level: open_access
content_type: application/pdf
creator: hclaudia
date_created: 2018-08-07T10:17:15Z
date_updated: 2018-09-03T14:12:22Z
file_id: '3833'
file_name: 2017-06 Xiahong_Direction-tunable enhanced emission from a subwavelength
metallic double-nanoslit structure_Optics Express.pdf
file_size: 3225569
relation: main_file
file_date_updated: 2018-09-03T14:12:22Z
has_accepted_license: '1'
intvolume: ' 25'
issue: '12'
keyword:
- tet_topic_plasmonics
language:
- iso: eng
oa: '1'
page: 13207-13214
publication: Optics Express
publication_identifier:
issn:
- 1094-4087
publication_status: published
publisher: The Optical Society
status: public
title: Direction-tunable enhanced emission from a subwavelength metallic double-nanoslit
structure
type: journal_article
urn: '38325'
user_id: '158'
volume: 25
year: '2017'
...
---
_id: '3836'
abstract:
- lang: eng
text: We apply the Discontinuous Galerkin Time Domain (DGTD) method for numerical
simulations of the second harmonic generation from various metallic nanostructures.
A Maxwell–Vlasov hydrodynamic model is used to describe the nonlinear effects
in the motion of the excited free electrons in a metal. The results are compared
with the corresponding experimental measurements for split-ring resonators and
plasmonic gap antennas.
author:
- first_name: Yevgen
full_name: Grynko, Yevgen
id: '26059'
last_name: Grynko
- first_name: Jens
full_name: Förstner, Jens
id: '158'
last_name: Förstner
orcid: 0000-0001-7059-9862
citation:
ama: 'Grynko Y, Förstner J. Simulation of Second Harmonic Generation from Photonic
Nanostructures Using the Discontinuous Galerkin Time Domain Method. In: Agrawal
A, ed. Recent Trends in Computational Photonics. Cham: Springer International
Publishing; 2017:261-284. doi:10.1007/978-3-319-55438-9_9'
apa: 'Grynko, Y., & Förstner, J. (2017). Simulation of Second Harmonic Generation
from Photonic Nanostructures Using the Discontinuous Galerkin Time Domain Method.
In A. Agrawal (Ed.), Recent Trends in Computational Photonics (pp. 261–284).
Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-55438-9_9'
bibtex: '@inbook{Grynko_Förstner_2017, place={Cham}, title={Simulation of Second
Harmonic Generation from Photonic Nanostructures Using the Discontinuous Galerkin
Time Domain Method}, DOI={10.1007/978-3-319-55438-9_9},
booktitle={Recent Trends in Computational Photonics}, publisher={Springer International
Publishing}, author={Grynko, Yevgen and Förstner, Jens}, editor={Agrawal, ArtiEditor},
year={2017}, pages={261–284} }'
chicago: 'Grynko, Yevgen, and Jens Förstner. “Simulation of Second Harmonic Generation
from Photonic Nanostructures Using the Discontinuous Galerkin Time Domain Method.”
In Recent Trends in Computational Photonics, edited by Arti Agrawal, 261–84.
Cham: Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-55438-9_9.'
ieee: 'Y. Grynko and J. Förstner, “Simulation of Second Harmonic Generation from
Photonic Nanostructures Using the Discontinuous Galerkin Time Domain Method,”
in Recent Trends in Computational Photonics, A. Agrawal, Ed. Cham: Springer
International Publishing, 2017, pp. 261–284.'
mla: Grynko, Yevgen, and Jens Förstner. “Simulation of Second Harmonic Generation
from Photonic Nanostructures Using the Discontinuous Galerkin Time Domain Method.”
Recent Trends in Computational Photonics, edited by Arti Agrawal, Springer
International Publishing, 2017, pp. 261–84, doi:10.1007/978-3-319-55438-9_9.
short: 'Y. Grynko, J. Förstner, in: A. Agrawal (Ed.), Recent Trends in Computational
Photonics, Springer International Publishing, Cham, 2017, pp. 261–284.'
date_created: 2018-08-07T10:42:30Z
date_updated: 2022-01-06T06:59:41Z
ddc:
- '530'
department:
- _id: '61'
doi: 10.1007/978-3-319-55438-9_9
editor:
- first_name: Arti
full_name: Agrawal, Arti
last_name: Agrawal
file:
- access_level: request
content_type: application/pdf
creator: fossie
date_created: 2018-08-16T08:05:50Z
date_updated: 2022-01-06T06:59:40Z
file_id: '3916'
file_name: Recent-Trends-in-Computational-Photonics - chapter 9 - Grynko - SHG DG.pdf
file_size: 2798215
relation: main_file
file_date_updated: 2022-01-06T06:59:40Z
has_accepted_license: '1'
keyword:
- tet_topic_numerics
- tet_topic_shg
- tet_topic_meta
language:
- iso: eng
page: 261-284
place: Cham
project:
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
- _id: '53'
name: TRR 142
- _id: '54'
name: TRR 142 - Project Area A
- _id: '62'
name: TRR 142 - Subproject A5
publication: Recent Trends in Computational Photonics
publication_identifier:
isbn:
- '9783319554372'
- '9783319554389'
issn:
- 0342-4111
- 1556-1534
publication_status: published
publisher: Springer International Publishing
status: public
title: Simulation of Second Harmonic Generation from Photonic Nanostructures Using
the Discontinuous Galerkin Time Domain Method
type: book_chapter
user_id: '158'
year: '2017'
...
---
_id: '3872'
abstract:
- lang: eng
text: 'This paper considers the problem of how to efficiently share a wireless medium
which is subject to harsh external interference or even jamming. So far, this
problem is understood only in simplistic single-hop or unit disk graph models.
We in this paper initiate the study of MAC protocols for the SINR interference
model (a.k.a. physical model). This paper makes two contributions. First, we introduce
a new adversarial SINR model which captures a wide range of interference phenomena.
Concretely, we consider a powerful, adaptive adversary which can jam nodes at
arbitrary times and which is only limited by some energy budget. Our second contribution
is a distributed MAC protocol called Sade which provably achieves a constant competitive
throughput in this environment: we show that, with high probability, the protocol
ensures that a constant fraction of the non-blocked time periods is used for successful
transmissions.'
author:
- first_name: Adrian
full_name: Ogierman, Adrian
last_name: Ogierman
- first_name: Andrea
full_name: Richa, Andrea
last_name: Richa
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Stefan
full_name: Schmid, Stefan
last_name: Schmid
- first_name: Jin
full_name: Zhang, Jin
last_name: Zhang
citation:
ama: 'Ogierman A, Richa A, Scheideler C, Schmid S, Zhang J. Sade: competitive MAC
under adversarial SINR. Distributed Computing. 2017;31(3):241-254. doi:10.1007/s00446-017-0307-1'
apa: 'Ogierman, A., Richa, A., Scheideler, C., Schmid, S., & Zhang, J. (2017).
Sade: competitive MAC under adversarial SINR. Distributed Computing, 31(3),
241–254. https://doi.org/10.1007/s00446-017-0307-1'
bibtex: '@article{Ogierman_Richa_Scheideler_Schmid_Zhang_2017, title={Sade: competitive
MAC under adversarial SINR}, volume={31}, DOI={10.1007/s00446-017-0307-1},
number={3}, journal={Distributed Computing}, publisher={Springer Nature}, author={Ogierman,
Adrian and Richa, Andrea and Scheideler, Christian and Schmid, Stefan and Zhang,
Jin}, year={2017}, pages={241–254} }'
chicago: 'Ogierman, Adrian, Andrea Richa, Christian Scheideler, Stefan Schmid, and
Jin Zhang. “Sade: Competitive MAC under Adversarial SINR.” Distributed Computing
31, no. 3 (2017): 241–54. https://doi.org/10.1007/s00446-017-0307-1.'
ieee: 'A. Ogierman, A. Richa, C. Scheideler, S. Schmid, and J. Zhang, “Sade: competitive
MAC under adversarial SINR,” Distributed Computing, vol. 31, no. 3, pp.
241–254, 2017.'
mla: 'Ogierman, Adrian, et al. “Sade: Competitive MAC under Adversarial SINR.” Distributed
Computing, vol. 31, no. 3, Springer Nature, 2017, pp. 241–54, doi:10.1007/s00446-017-0307-1.'
short: A. Ogierman, A. Richa, C. Scheideler, S. Schmid, J. Zhang, Distributed Computing
31 (2017) 241–254.
date_created: 2018-08-10T07:05:12Z
date_updated: 2022-01-06T06:59:47Z
department:
- _id: '79'
doi: 10.1007/s00446-017-0307-1
intvolume: ' 31'
issue: '3'
page: 241-254
publication: Distributed Computing
publication_identifier:
issn:
- 0178-2770
- 1432-0452
publication_status: published
publisher: Springer Nature
status: public
title: 'Sade: competitive MAC under adversarial SINR'
type: journal_article
user_id: '15504'
volume: 31
year: '2017'
...
---
_id: '3881'
author:
- first_name: Henning
full_name: Wachsmuth, Henning
id: '3900'
last_name: Wachsmuth
- first_name: Nona
full_name: Naderi, Nona
last_name: Naderi
- first_name: Yufang
full_name: Hou, Yufang
last_name: Hou
- first_name: Yonatan
full_name: Bilu, Yonatan
last_name: Bilu
- first_name: Vinodkumar
full_name: Prabhakaran, Vinodkumar
last_name: Prabhakaran
- first_name: Tim Alberdingk
full_name: Thijm, Tim Alberdingk
last_name: Thijm
- first_name: Graeme
full_name: Hirst, Graeme
last_name: Hirst
- first_name: Benno
full_name: Stein, Benno
last_name: Stein
citation:
ama: 'Wachsmuth H, Naderi N, Hou Y, et al. Computational Argumentation Quality Assessment
in Natural Language. In: Proceedings of the 15th Conference of the European
Chapter of the Association for Computational Linguistics: Volume 1, Long Papers.
; 2017:176-187.'
apa: 'Wachsmuth, H., Naderi, N., Hou, Y., Bilu, Y., Prabhakaran, V., Thijm, T. A.,
… Stein, B. (2017). Computational Argumentation Quality Assessment in Natural
Language. In Proceedings of the 15th Conference of the European Chapter of
the Association for Computational Linguistics: Volume 1, Long Papers (pp.
176–187).'
bibtex: '@inproceedings{Wachsmuth_Naderi_Hou_Bilu_Prabhakaran_Thijm_Hirst_Stein_2017,
title={Computational Argumentation Quality Assessment in Natural Language}, booktitle={Proceedings
of the 15th Conference of the European Chapter of the Association for Computational
Linguistics: Volume 1, Long Papers}, author={Wachsmuth, Henning and Naderi, Nona
and Hou, Yufang and Bilu, Yonatan and Prabhakaran, Vinodkumar and Thijm, Tim Alberdingk
and Hirst, Graeme and Stein, Benno}, year={2017}, pages={176–187} }'
chicago: 'Wachsmuth, Henning, Nona Naderi, Yufang Hou, Yonatan Bilu, Vinodkumar
Prabhakaran, Tim Alberdingk Thijm, Graeme Hirst, and Benno Stein. “Computational
Argumentation Quality Assessment in Natural Language.” In Proceedings of the
15th Conference of the European Chapter of the Association for Computational Linguistics:
Volume 1, Long Papers, 176–87, 2017.'
ieee: 'H. Wachsmuth et al., “Computational Argumentation Quality Assessment
in Natural Language,” in Proceedings of the 15th Conference of the European
Chapter of the Association for Computational Linguistics: Volume 1, Long Papers,
2017, pp. 176–187.'
mla: 'Wachsmuth, Henning, et al. “Computational Argumentation Quality Assessment
in Natural Language.” Proceedings of the 15th Conference of the European Chapter
of the Association for Computational Linguistics: Volume 1, Long Papers, 2017,
pp. 176–87.'
short: 'H. Wachsmuth, N. Naderi, Y. Hou, Y. Bilu, V. Prabhakaran, T.A. Thijm, G.
Hirst, B. Stein, in: Proceedings of the 15th Conference of the European Chapter
of the Association for Computational Linguistics: Volume 1, Long Papers, 2017,
pp. 176–187.'
date_created: 2018-08-11T16:17:16Z
date_updated: 2022-01-06T06:59:47Z
department:
- _id: '600'
- _id: '568'
language:
- iso: eng
main_file_link:
- url: https://www.aclweb.org/anthology/E17-1017.pdf
page: 176-187
publication: 'Proceedings of the 15th Conference of the European Chapter of the Association
for Computational Linguistics: Volume 1, Long Papers'
status: public
title: Computational Argumentation Quality Assessment in Natural Language
type: conference
user_id: '82920'
year: '2017'
...
---
_id: '3882'
author:
- first_name: Henning
full_name: Wachsmuth, Henning
id: '3900'
last_name: Wachsmuth
- first_name: Benno
full_name: Stein, Benno
last_name: Stein
citation:
ama: 'Wachsmuth H, Stein B. A Universal Model for Discourse-Level Argumentation
Analysis. Special Section of the ACM Transactions on Internet Technology: Argumentation
in Social Media. 2017;(3):1-24.'
apa: 'Wachsmuth, H., & Stein, B. (2017). A Universal Model for Discourse-Level
Argumentation Analysis. Special Section of the ACM Transactions on Internet
Technology: Argumentation in Social Media, (3), 1–24.'
bibtex: '@article{Wachsmuth_Stein_2017, title={A Universal Model for Discourse-Level
Argumentation Analysis}, number={3}, journal={Special Section of the ACM Transactions
on Internet Technology: Argumentation in Social Media}, author={Wachsmuth, Henning
and Stein, Benno}, year={2017}, pages={1–24} }'
chicago: 'Wachsmuth, Henning, and Benno Stein. “A Universal Model for Discourse-Level
Argumentation Analysis.” Special Section of the ACM Transactions on Internet
Technology: Argumentation in Social Media, no. 3 (2017): 1–24.'
ieee: 'H. Wachsmuth and B. Stein, “A Universal Model for Discourse-Level Argumentation
Analysis,” Special Section of the ACM Transactions on Internet Technology:
Argumentation in Social Media, no. 3, pp. 1–24, 2017.'
mla: 'Wachsmuth, Henning, and Benno Stein. “A Universal Model for Discourse-Level
Argumentation Analysis.” Special Section of the ACM Transactions on Internet
Technology: Argumentation in Social Media, no. 3, 2017, pp. 1–24.'
short: 'H. Wachsmuth, B. Stein, Special Section of the ACM Transactions on Internet
Technology: Argumentation in Social Media (2017) 1–24.'
date_created: 2018-08-11T16:18:03Z
date_updated: 2022-01-06T06:59:47Z
department:
- _id: '568'
- _id: '600'
issue: '3'
language:
- iso: eng
main_file_link:
- url: https://dl.acm.org/doi/pdf/10.1145/2957757
page: 1-24
publication: 'Special Section of the ACM Transactions on Internet Technology: Argumentation
in Social Media'
publication_identifier:
issn:
- 1533-5399
status: public
title: A Universal Model for Discourse-Level Argumentation Analysis
type: journal_article
user_id: '82920'
year: '2017'
...
---
_id: '3883'
author:
- first_name: Henning
full_name: Wachsmuth, Henning
id: '3900'
last_name: Wachsmuth
- first_name: Nona
full_name: Naderi, Nona
last_name: Naderi
- first_name: Ivan
full_name: Habernal, Ivan
last_name: Habernal
- first_name: Yufang
full_name: Hou, Yufang
last_name: Hou
- first_name: Graeme
full_name: Hirst, Graeme
last_name: Hirst
- first_name: Iryna
full_name: Gurevych, Iryna
last_name: Gurevych
- first_name: Benno
full_name: Stein, Benno
last_name: Stein
citation:
ama: 'Wachsmuth H, Naderi N, Habernal I, et al. Argumentation Quality Assessment:
Theory vs. Practice. In: Proceedings of the 55th Annual Meeting of the Association
for Computational Linguistics (Volume 2: Short Papers). ; 2017:250-255. doi:10.18653/v1/P17-2039'
apa: 'Wachsmuth, H., Naderi, N., Habernal, I., Hou, Y., Hirst, G., Gurevych, I.,
& Stein, B. (2017). Argumentation Quality Assessment: Theory vs. Practice.
In Proceedings of the 55th Annual Meeting of the Association for Computational
Linguistics (Volume 2: Short Papers) (pp. 250–255). https://doi.org/10.18653/v1/P17-2039'
bibtex: '@inproceedings{Wachsmuth_Naderi_Habernal_Hou_Hirst_Gurevych_Stein_2017,
title={Argumentation Quality Assessment: Theory vs. Practice}, DOI={10.18653/v1/P17-2039},
booktitle={Proceedings of the 55th Annual Meeting of the Association for Computational
Linguistics (Volume 2: Short Papers)}, author={Wachsmuth, Henning and Naderi,
Nona and Habernal, Ivan and Hou, Yufang and Hirst, Graeme and Gurevych, Iryna
and Stein, Benno}, year={2017}, pages={250–255} }'
chicago: 'Wachsmuth, Henning, Nona Naderi, Ivan Habernal, Yufang Hou, Graeme Hirst,
Iryna Gurevych, and Benno Stein. “Argumentation Quality Assessment: Theory vs.
Practice.” In Proceedings of the 55th Annual Meeting of the Association for
Computational Linguistics (Volume 2: Short Papers), 250–55, 2017. https://doi.org/10.18653/v1/P17-2039.'
ieee: 'H. Wachsmuth et al., “Argumentation Quality Assessment: Theory vs.
Practice,” in Proceedings of the 55th Annual Meeting of the Association for
Computational Linguistics (Volume 2: Short Papers), 2017, pp. 250–255.'
mla: 'Wachsmuth, Henning, et al. “Argumentation Quality Assessment: Theory vs. Practice.”
Proceedings of the 55th Annual Meeting of the Association for Computational
Linguistics (Volume 2: Short Papers), 2017, pp. 250–55, doi:10.18653/v1/P17-2039.'
short: 'H. Wachsmuth, N. Naderi, I. Habernal, Y. Hou, G. Hirst, I. Gurevych, B.
Stein, in: Proceedings of the 55th Annual Meeting of the Association for Computational
Linguistics (Volume 2: Short Papers), 2017, pp. 250–255.'
date_created: 2018-08-11T16:18:38Z
date_updated: 2022-01-06T06:59:47Z
department:
- _id: '568'
- _id: '600'
doi: 10.18653/v1/P17-2039
language:
- iso: eng
main_file_link:
- url: https://www.aclweb.org/anthology/P17-2039.pdf
page: 250-255
publication: 'Proceedings of the 55th Annual Meeting of the Association for Computational
Linguistics (Volume 2: Short Papers)'
status: public
title: 'Argumentation Quality Assessment: Theory vs. Practice'
type: conference
user_id: '82920'
year: '2017'
...
---
_id: '3904'
author:
- first_name: Matthias
full_name: Hagen, Matthias
last_name: Hagen
- first_name: Johannes
full_name: Kiesel, Johannes
last_name: Kiesel
- first_name: Milad
full_name: Alshomary, Milad
id: '73059'
last_name: Alshomary
- first_name: Benno
full_name: Stein, Benno
last_name: Stein
citation:
ama: 'Hagen M, Kiesel J, Alshomary M, Stein B. Webis at the CLEF 2017 Dynamic Search
Lab. In: Working Notes of CLEF 2017 - Conference and Labs of the Evaluation
Forum. ; 2017.'
apa: Hagen, M., Kiesel, J., Alshomary, M., & Stein, B. (2017). Webis at the
CLEF 2017 Dynamic Search Lab. In Working Notes of CLEF 2017 - Conference and
Labs of the Evaluation Forum.
bibtex: '@inproceedings{Hagen_Kiesel_Alshomary_Stein_2017, title={Webis at the CLEF
2017 Dynamic Search Lab}, booktitle={Working Notes of CLEF 2017 - Conference and
Labs of the Evaluation Forum}, author={Hagen, Matthias and Kiesel, Johannes and
Alshomary, Milad and Stein, Benno}, year={2017} }'
chicago: Hagen, Matthias, Johannes Kiesel, Milad Alshomary, and Benno Stein. “Webis
at the CLEF 2017 Dynamic Search Lab.” In Working Notes of CLEF 2017 - Conference
and Labs of the Evaluation Forum, 2017.
ieee: M. Hagen, J. Kiesel, M. Alshomary, and B. Stein, “Webis at the CLEF 2017 Dynamic
Search Lab,” in Working Notes of CLEF 2017 - Conference and Labs of the Evaluation
Forum, 2017.
mla: Hagen, Matthias, et al. “Webis at the CLEF 2017 Dynamic Search Lab.” Working
Notes of CLEF 2017 - Conference and Labs of the Evaluation Forum, 2017.
short: 'M. Hagen, J. Kiesel, M. Alshomary, B. Stein, in: Working Notes of CLEF 2017
- Conference and Labs of the Evaluation Forum, 2017.'
date_created: 2018-08-14T13:28:44Z
date_updated: 2022-01-06T06:59:54Z
department:
- _id: '600'
language:
- iso: eng
main_file_link:
- url: http://ceur-ws.org/Vol-1866/paper_198.pdf
publication: Working Notes of CLEF 2017 - Conference and Labs of the Evaluation Forum
status: public
title: Webis at the CLEF 2017 Dynamic Search Lab
type: conference
user_id: '73059'
year: '2017'
...
---
_id: '2908'
author:
- first_name: Kathrin
full_name: Bujna, Kathrin
last_name: Bujna
citation:
ama: Bujna K. Soft Clustering Algorithms - Theoretical and Practical Improvements.
Universität Paderborn; 2017. doi:10.17619/UNIPB/1-226
apa: Bujna, K. (2017). Soft Clustering Algorithms - Theoretical and Practical
Improvements. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-226
bibtex: '@book{Bujna_2017, title={Soft Clustering Algorithms - Theoretical and Practical
Improvements}, DOI={10.17619/UNIPB/1-226},
publisher={Universität Paderborn}, author={Bujna, Kathrin}, year={2017} }'
chicago: Bujna, Kathrin. Soft Clustering Algorithms - Theoretical and Practical
Improvements. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-226.
ieee: K. Bujna, Soft Clustering Algorithms - Theoretical and Practical Improvements.
Universität Paderborn, 2017.
mla: Bujna, Kathrin. Soft Clustering Algorithms - Theoretical and Practical Improvements.
Universität Paderborn, 2017, doi:10.17619/UNIPB/1-226.
short: K. Bujna, Soft Clustering Algorithms - Theoretical and Practical Improvements,
Universität Paderborn, 2017.
date_created: 2018-05-25T10:02:30Z
date_updated: 2022-01-06T06:58:46Z
department:
- _id: '64'
doi: 10.17619/UNIPB/1-226
main_file_link:
- url: http://nbn-resolving.de/urn:nbn:de:hbz:466:2-29759
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
title: Soft Clustering Algorithms - Theoretical and Practical Improvements
type: dissertation
user_id: '25078'
year: '2017'
...
---
_id: '2967'
author:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Gennadij
full_name: Liske, Gennadij
last_name: Liske
citation:
ama: 'Blömer J, Liske G. Subtleties in Security Definitions for Predicate Encryption
with Public Index. In: Proceedings of the International Conference of Mathematical
Aspects of Computer and Information Sciences (MACIS). Vol 10693. Lecture Notes
in Computer Science. Cham: Springer International Publishing; 2017:438-453. doi:10.1007/978-3-319-72453-9_35'
apa: 'Blömer, J., & Liske, G. (2017). Subtleties in Security Definitions for
Predicate Encryption with Public Index. In Proceedings of the International
Conference of Mathematical Aspects of Computer and Information Sciences (MACIS)
(Vol. 10693, pp. 438–453). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-72453-9_35'
bibtex: '@inproceedings{Blömer_Liske_2017, place={Cham}, series={Lecture Notes in
Computer Science}, title={Subtleties in Security Definitions for Predicate Encryption
with Public Index}, volume={10693}, DOI={10.1007/978-3-319-72453-9_35},
booktitle={Proceedings of the International Conference of Mathematical Aspects
of Computer and Information Sciences (MACIS)}, publisher={Springer International
Publishing}, author={Blömer, Johannes and Liske, Gennadij}, year={2017}, pages={438–453},
collection={Lecture Notes in Computer Science} }'
chicago: 'Blömer, Johannes, and Gennadij Liske. “Subtleties in Security Definitions
for Predicate Encryption with Public Index.” In Proceedings of the International
Conference of Mathematical Aspects of Computer and Information Sciences (MACIS),
10693:438–53. Lecture Notes in Computer Science. Cham: Springer International
Publishing, 2017. https://doi.org/10.1007/978-3-319-72453-9_35.'
ieee: J. Blömer and G. Liske, “Subtleties in Security Definitions for Predicate
Encryption with Public Index,” in Proceedings of the International Conference
of Mathematical Aspects of Computer and Information Sciences (MACIS), 2017,
vol. 10693, pp. 438–453.
mla: Blömer, Johannes, and Gennadij Liske. “Subtleties in Security Definitions for
Predicate Encryption with Public Index.” Proceedings of the International Conference
of Mathematical Aspects of Computer and Information Sciences (MACIS), vol.
10693, Springer International Publishing, 2017, pp. 438–53, doi:10.1007/978-3-319-72453-9_35.
short: 'J. Blömer, G. Liske, in: Proceedings of the International Conference of
Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International
Publishing, Cham, 2017, pp. 438–453.'
date_created: 2018-06-04T12:17:48Z
date_updated: 2022-01-06T06:58:49Z
ddc:
- '000'
department:
- _id: '64'
doi: 10.1007/978-3-319-72453-9_35
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:52:10Z
date_updated: 2018-11-02T14:52:10Z
file_id: '5286'
file_name: SubtletiesInSecurityDefinition.pdf
file_size: 463904
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:52:10Z
has_accepted_license: '1'
intvolume: ' 10693'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2017/453.pdf
oa: '1'
page: 438-453
place: Cham
project:
- _id: '1'
name: SFB 901
- _id: '4'
name: SFB 901 - Project Area C
- _id: '13'
name: SFB 901 - Subproject C1
publication: Proceedings of the International Conference of Mathematical Aspects of
Computer and Information Sciences (MACIS)
publication_identifier:
isbn:
- '9783319724522'
- '9783319724539'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
series_title: Lecture Notes in Computer Science
status: public
title: Subtleties in Security Definitions for Predicate Encryption with Public Index
type: conference
user_id: '477'
volume: 10693
year: '2017'
...
---
_id: '3108'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Florian
full_name: Kohlar, Florian
last_name: Kohlar
- first_name: Sven
full_name: Schäge, Sven
last_name: Schäge
- first_name: Jörg
full_name: Schwenk, Jörg
last_name: Schwenk
citation:
ama: Jager T, Kohlar F, Schäge S, Schwenk J. Authenticated Confidential Channel
Establishment and the Security of TLS-DHE. J Cryptology. 2017;(4):1276--1324.
doi:10.1007/s00145-016-9248-2
apa: Jager, T., Kohlar, F., Schäge, S., & Schwenk, J. (2017). Authenticated
Confidential Channel Establishment and the Security of TLS-DHE. J. Cryptology,
(4), 1276--1324. https://doi.org/10.1007/s00145-016-9248-2
bibtex: '@article{Jager_Kohlar_Schäge_Schwenk_2017, title={Authenticated Confidential
Channel Establishment and the Security of TLS-DHE}, DOI={10.1007/s00145-016-9248-2},
number={4}, journal={J. Cryptology}, author={Jager, Tibor and Kohlar, Florian
and Schäge, Sven and Schwenk, Jörg}, year={2017}, pages={1276--1324} }'
chicago: 'Jager, Tibor, Florian Kohlar, Sven Schäge, and Jörg Schwenk. “Authenticated
Confidential Channel Establishment and the Security of TLS-DHE.” J. Cryptology,
no. 4 (2017): 1276--1324. https://doi.org/10.1007/s00145-016-9248-2.'
ieee: T. Jager, F. Kohlar, S. Schäge, and J. Schwenk, “Authenticated Confidential
Channel Establishment and the Security of TLS-DHE,” J. Cryptology, no.
4, pp. 1276--1324, 2017.
mla: Jager, Tibor, et al. “Authenticated Confidential Channel Establishment and
the Security of TLS-DHE.” J. Cryptology, no. 4, 2017, pp. 1276--1324, doi:10.1007/s00145-016-9248-2.
short: T. Jager, F. Kohlar, S. Schäge, J. Schwenk, J. Cryptology (2017) 1276--1324.
date_created: 2018-06-07T08:58:36Z
date_updated: 2022-01-06T06:58:56Z
department:
- _id: '558'
doi: 10.1007/s00145-016-9248-2
issue: '4'
page: 1276--1324
publication: J. Cryptology
status: public
title: Authenticated Confidential Channel Establishment and the Security of TLS-DHE
type: journal_article
user_id: '38235'
year: '2017'
...
---
_id: '3109'
author:
- first_name: Britta
full_name: Hale, Britta
last_name: Hale
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Sebastian
full_name: Lauer, Sebastian
last_name: Lauer
- first_name: Jörg
full_name: Schwenk, Jörg
last_name: Schwenk
citation:
ama: 'Hale B, Jager T, Lauer S, Schwenk J. Simple Security Definitions for and Constructions
of 0-RTT Key Exchange. In: Applied Cryptography and Network Security - 15th
International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings.
; 2017:20--38. doi:10.1007/978-3-319-61204-1_2'
apa: Hale, B., Jager, T., Lauer, S., & Schwenk, J. (2017). Simple Security Definitions
for and Constructions of 0-RTT Key Exchange. In Applied Cryptography and Network
Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12,
2017, Proceedings (pp. 20--38). https://doi.org/10.1007/978-3-319-61204-1_2
bibtex: '@inproceedings{Hale_Jager_Lauer_Schwenk_2017, title={Simple Security Definitions
for and Constructions of 0-RTT Key Exchange}, DOI={10.1007/978-3-319-61204-1_2},
booktitle={Applied Cryptography and Network Security - 15th International Conference,
ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings}, author={Hale, Britta
and Jager, Tibor and Lauer, Sebastian and Schwenk, Jörg}, year={2017}, pages={20--38}
}'
chicago: Hale, Britta, Tibor Jager, Sebastian Lauer, and Jörg Schwenk. “Simple Security
Definitions for and Constructions of 0-RTT Key Exchange.” In Applied Cryptography
and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan,
July 10-12, 2017, Proceedings, 20--38, 2017. https://doi.org/10.1007/978-3-319-61204-1_2.
ieee: B. Hale, T. Jager, S. Lauer, and J. Schwenk, “Simple Security Definitions
for and Constructions of 0-RTT Key Exchange,” in Applied Cryptography and Network
Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12,
2017, Proceedings, 2017, pp. 20--38.
mla: Hale, Britta, et al. “Simple Security Definitions for and Constructions of
0-RTT Key Exchange.” Applied Cryptography and Network Security - 15th International
Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings, 2017,
pp. 20--38, doi:10.1007/978-3-319-61204-1_2.
short: 'B. Hale, T. Jager, S. Lauer, J. Schwenk, in: Applied Cryptography and Network
Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12,
2017, Proceedings, 2017, pp. 20--38.'
date_created: 2018-06-07T09:07:59Z
date_updated: 2022-01-06T06:58:56Z
department:
- _id: '558'
doi: 10.1007/978-3-319-61204-1_2
page: 20--38
publication: Applied Cryptography and Network Security - 15th International Conference,
ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings
status: public
title: Simple Security Definitions for and Constructions of 0-RTT Key Exchange
type: conference
user_id: '38235'
year: '2017'
...
---
_id: '3110'
author:
- first_name: Felix
full_name: Günther, Felix
last_name: Günther
- first_name: Britta
full_name: Hale, Britta
last_name: Hale
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Sebastian
full_name: Lauer, Sebastian
last_name: Lauer
citation:
ama: 'Günther F, Hale B, Jager T, Lauer S. 0-RTT Key Exchange with Full Forward
Secrecy. In: Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International
Conference on the Theory and Applications of Cryptographic Techniques, Paris,
France, April 30 - May 4, 2017, Proceedings, Part III. ; 2017:519--548. doi:10.1007/978-3-319-56617-7_18'
apa: Günther, F., Hale, B., Jager, T., & Lauer, S. (2017). 0-RTT Key Exchange
with Full Forward Secrecy. In Advances in Cryptology - EUROCRYPT 2017 - 36th
Annual International Conference on the Theory and Applications of Cryptographic
Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III (pp.
519--548). https://doi.org/10.1007/978-3-319-56617-7_18
bibtex: '@inproceedings{Günther_Hale_Jager_Lauer_2017, title={0-RTT Key Exchange
with Full Forward Secrecy}, DOI={10.1007/978-3-319-56617-7_18},
booktitle={Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International
Conference on the Theory and Applications of Cryptographic Techniques, Paris,
France, April 30 - May 4, 2017, Proceedings, Part III}, author={Günther, Felix
and Hale, Britta and Jager, Tibor and Lauer, Sebastian}, year={2017}, pages={519--548}
}'
chicago: Günther, Felix, Britta Hale, Tibor Jager, and Sebastian Lauer. “0-RTT Key
Exchange with Full Forward Secrecy.” In Advances in Cryptology - EUROCRYPT
2017 - 36th Annual International Conference on the Theory and Applications of
Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings,
Part III, 519--548, 2017. https://doi.org/10.1007/978-3-319-56617-7_18.
ieee: F. Günther, B. Hale, T. Jager, and S. Lauer, “0-RTT Key Exchange with Full
Forward Secrecy,” in Advances in Cryptology - EUROCRYPT 2017 - 36th Annual
International Conference on the Theory and Applications of Cryptographic Techniques,
Paris, France, April 30 - May 4, 2017, Proceedings, Part III, 2017, pp. 519--548.
mla: Günther, Felix, et al. “0-RTT Key Exchange with Full Forward Secrecy.” Advances
in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory
and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4,
2017, Proceedings, Part III, 2017, pp. 519--548, doi:10.1007/978-3-319-56617-7_18.
short: 'F. Günther, B. Hale, T. Jager, S. Lauer, in: Advances in Cryptology - EUROCRYPT
2017 - 36th Annual International Conference on the Theory and Applications of
Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings,
Part III, 2017, pp. 519--548.'
date_created: 2018-06-07T09:10:17Z
date_updated: 2022-01-06T06:58:56Z
department:
- _id: '558'
doi: 10.1007/978-3-319-56617-7_18
page: 519--548
publication: Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference
on the Theory and Applications of Cryptographic Techniques, Paris, France, April
30 - May 4, 2017, Proceedings, Part III
status: public
title: 0-RTT Key Exchange with Full Forward Secrecy
type: conference
user_id: '38235'
year: '2017'
...
---
_id: '3111'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Martijn
full_name: Stam, Martijn
last_name: Stam
- first_name: Ryan
full_name: Stanley-Oakes, Ryan
last_name: Stanley-Oakes
- first_name: Bogdan
full_name: Warinschi, Bogdan
last_name: Warinschi
citation:
ama: 'Jager T, Stam M, Stanley-Oakes R, Warinschi B. Multi-key Authenticated Encryption
with Corruptions: Reductions Are Lossy. In: Theory of Cryptography - 15th International
Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part
I. ; 2017:409--441. doi:10.1007/978-3-319-70500-2_14'
apa: 'Jager, T., Stam, M., Stanley-Oakes, R., & Warinschi, B. (2017). Multi-key
Authenticated Encryption with Corruptions: Reductions Are Lossy. In Theory
of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA,
November 12-15, 2017, Proceedings, Part I (pp. 409--441). https://doi.org/10.1007/978-3-319-70500-2_14'
bibtex: '@inproceedings{Jager_Stam_Stanley-Oakes_Warinschi_2017, title={Multi-key
Authenticated Encryption with Corruptions: Reductions Are Lossy}, DOI={10.1007/978-3-319-70500-2_14},
booktitle={Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore,
MD, USA, November 12-15, 2017, Proceedings, Part I}, author={Jager, Tibor and
Stam, Martijn and Stanley-Oakes, Ryan and Warinschi, Bogdan}, year={2017}, pages={409--441}
}'
chicago: 'Jager, Tibor, Martijn Stam, Ryan Stanley-Oakes, and Bogdan Warinschi.
“Multi-Key Authenticated Encryption with Corruptions: Reductions Are Lossy.” In
Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore,
MD, USA, November 12-15, 2017, Proceedings, Part I, 409--441, 2017. https://doi.org/10.1007/978-3-319-70500-2_14.'
ieee: 'T. Jager, M. Stam, R. Stanley-Oakes, and B. Warinschi, “Multi-key Authenticated
Encryption with Corruptions: Reductions Are Lossy,” in Theory of Cryptography
- 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15,
2017, Proceedings, Part I, 2017, pp. 409--441.'
mla: 'Jager, Tibor, et al. “Multi-Key Authenticated Encryption with Corruptions:
Reductions Are Lossy.” Theory of Cryptography - 15th International Conference,
TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I, 2017,
pp. 409--441, doi:10.1007/978-3-319-70500-2_14.'
short: 'T. Jager, M. Stam, R. Stanley-Oakes, B. Warinschi, in: Theory of Cryptography
- 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15,
2017, Proceedings, Part I, 2017, pp. 409--441.'
date_created: 2018-06-07T09:11:07Z
date_updated: 2022-01-06T06:58:56Z
department:
- _id: '558'
doi: 10.1007/978-3-319-70500-2_14
page: 409--441
publication: Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore,
MD, USA, November 12-15, 2017, Proceedings, Part I
status: public
title: 'Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy'
type: conference
user_id: '38235'
year: '2017'
...
---
_id: '3155'
author:
- first_name: Manuel
full_name: Töws, Manuel
last_name: Töws
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Töws M, Wehrheim H. Policy Dependent and Independent Information Flow Analyses.
In: Duan Z, Ong L, eds. Formal Methods and Software Engineering - 19th International
Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November
13-17, 2017, Proceedings. Lecture Notes in Computer Science. ; 2017:362--378.
doi:10.1007/978-3-319-68690-5_22'
apa: Töws, M., & Wehrheim, H. (2017). Policy Dependent and Independent Information
Flow Analyses. In Z. Duan & L. Ong (Eds.), Formal Methods and Software
Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM}
2017, Xi’an, China, November 13-17, 2017, Proceedings (pp. 362--378). https://doi.org/10.1007/978-3-319-68690-5_22
bibtex: '@inproceedings{Töws_Wehrheim_2017, series={Lecture Notes in Computer Science},
title={Policy Dependent and Independent Information Flow Analyses}, DOI={10.1007/978-3-319-68690-5_22},
booktitle={Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017,
Proceedings}, author={Töws, Manuel and Wehrheim, Heike}, editor={Duan, Zhenhua
and Ong, LukeEditors}, year={2017}, pages={362--378}, collection={Lecture Notes
in Computer Science} }'
chicago: Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information
Flow Analyses.” In Formal Methods and Software Engineering - 19th International
Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November
13-17, 2017, Proceedings, edited by Zhenhua Duan and Luke Ong, 362--378. Lecture
Notes in Computer Science, 2017. https://doi.org/10.1007/978-3-319-68690-5_22.
ieee: M. Töws and H. Wehrheim, “Policy Dependent and Independent Information Flow
Analyses,” in Formal Methods and Software Engineering - 19th International
Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November
13-17, 2017, Proceedings, 2017, pp. 362--378.
mla: Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information
Flow Analyses.” Formal Methods and Software Engineering - 19th International
Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November
13-17, 2017, Proceedings, edited by Zhenhua Duan and Luke Ong, 2017, pp. 362--378,
doi:10.1007/978-3-319-68690-5_22.
short: 'M. Töws, H. Wehrheim, in: Z. Duan, L. Ong (Eds.), Formal Methods and Software
Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM}
2017, Xi’an, China, November 13-17, 2017, Proceedings, 2017, pp. 362--378.'
date_created: 2018-06-13T07:35:49Z
date_updated: 2022-01-06T06:59:00Z
department:
- _id: '77'
doi: 10.1007/978-3-319-68690-5_22
editor:
- first_name: Zhenhua
full_name: Duan, Zhenhua
last_name: Duan
- first_name: Luke
full_name: Ong, Luke
last_name: Ong
page: 362--378
publication: Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November 13-17, 2017,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Policy Dependent and Independent Information Flow Analyses
type: conference
user_id: '29719'
year: '2017'
...
---
_id: '3156'
author:
- first_name: Jürgen
full_name: König, Jürgen
last_name: König
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'König J, Wehrheim H. Value-Based or Conflict-Based? Opacity Definitions for
STMs. In: Van Hung D, Kapur D, eds. Theoretical Aspects of Computing - {ICTAC}
2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings.
Lecture Notes in Computer Science. ; 2017:118--135. doi:10.1007/978-3-319-67729-3_8'
apa: König, J., & Wehrheim, H. (2017). Value-Based or Conflict-Based? Opacity
Definitions for STMs. In D. Van Hung & D. Kapur (Eds.), Theoretical Aspects
of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October
23-27, 2017, Proceedings (pp. 118--135). https://doi.org/10.1007/978-3-319-67729-3_8
bibtex: '@inproceedings{König_Wehrheim_2017, series={Lecture Notes in Computer Science},
title={Value-Based or Conflict-Based? Opacity Definitions for STMs}, DOI={10.1007/978-3-319-67729-3_8},
booktitle={Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International
Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings}, author={König,
Jürgen and Wehrheim, Heike}, editor={Van Hung, Dang and Kapur, DeepakEditors},
year={2017}, pages={118--135}, collection={Lecture Notes in Computer Science}
}'
chicago: König, Jürgen, and Heike Wehrheim. “Value-Based or Conflict-Based? Opacity
Definitions for STMs.” In Theoretical Aspects of Computing - {ICTAC} 2017 -
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings,
edited by Dang Van Hung and Deepak Kapur, 118--135. Lecture Notes in Computer
Science, 2017. https://doi.org/10.1007/978-3-319-67729-3_8.
ieee: J. König and H. Wehrheim, “Value-Based or Conflict-Based? Opacity Definitions
for STMs,” in Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International
Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017, pp. 118--135.
mla: König, Jürgen, and Heike Wehrheim. “Value-Based or Conflict-Based? Opacity
Definitions for STMs.” Theoretical Aspects of Computing - {ICTAC} 2017 - 14th
International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings,
edited by Dang Van Hung and Deepak Kapur, 2017, pp. 118--135, doi:10.1007/978-3-319-67729-3_8.
short: 'J. König, H. Wehrheim, in: D. Van Hung, D. Kapur (Eds.), Theoretical Aspects
of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October
23-27, 2017, Proceedings, 2017, pp. 118--135.'
date_created: 2018-06-13T07:37:18Z
date_updated: 2022-01-06T06:59:00Z
department:
- _id: '77'
doi: 10.1007/978-3-319-67729-3_8
editor:
- first_name: Dang
full_name: Van Hung, Dang
last_name: Van Hung
- first_name: Deepak
full_name: Kapur, Deepak
last_name: Kapur
page: 118--135
project:
- _id: '78'
name: Validation of Software Transactional Memory
publication: Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International
Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Value-Based or Conflict-Based? Opacity Definitions for STMs
type: conference
user_id: '29719'
year: '2017'
...
---
_id: '2741'
author:
- first_name: Shehzad
full_name: Ali Ashraf, Shehzad
last_name: Ali Ashraf
- first_name: Y.-P. Eric
full_name: Wang, Y.-P. Eric
last_name: Wang
- first_name: 'Sameh '
full_name: 'Eldessoki, Sameh '
last_name: Eldessoki
- first_name: Bernd
full_name: Holfeld, Bernd
last_name: Holfeld
- first_name: 'Donald '
full_name: 'Parruca, Donald '
last_name: Parruca
- first_name: Martin
full_name: Serror, Martin
last_name: Serror
- first_name: James
full_name: Gross, James
last_name: Gross
citation:
ama: 'Ali Ashraf S, Wang Y-PE, Eldessoki S, et al. From Radio Design to System Evaluations
for Ultra-Reliable and Low-Latency Communication . In: Dresden: Proceedings of
23th European Wireless Conference 2017, 17- 19.05.2017; 2017.'
apa: 'Ali Ashraf, S., Wang, Y.-P. E., Eldessoki, S., Holfeld, B., Parruca, D., Serror,
M., & Gross, J. (2017). From Radio Design to System Evaluations for Ultra-Reliable
and Low-Latency Communication . Dresden: Proceedings of 23th European Wireless
Conference 2017, 17- 19.05.2017.'
bibtex: '@inproceedings{Ali Ashraf_Wang_Eldessoki_Holfeld_Parruca_Serror_Gross_2017,
place={Dresden}, title={From Radio Design to System Evaluations for Ultra-Reliable
and Low-Latency Communication }, publisher={Proceedings of 23th European Wireless
Conference 2017, 17- 19.05.2017}, author={Ali Ashraf, Shehzad and Wang, Y.-P.
Eric and Eldessoki, Sameh and Holfeld, Bernd and Parruca, Donald and Serror,
Martin and Gross, James}, year={2017} }'
chicago: 'Ali Ashraf, Shehzad, Y.-P. Eric Wang, Sameh Eldessoki, Bernd Holfeld,
Donald Parruca, Martin Serror, and James Gross. “From Radio Design to System
Evaluations for Ultra-Reliable and Low-Latency Communication .” Dresden: Proceedings
of 23th European Wireless Conference 2017, 17- 19.05.2017, 2017.'
ieee: S. Ali Ashraf et al., “From Radio Design to System Evaluations for
Ultra-Reliable and Low-Latency Communication ,” 2017.
mla: Ali Ashraf, Shehzad, et al. From Radio Design to System Evaluations for
Ultra-Reliable and Low-Latency Communication . Proceedings of 23th European
Wireless Conference 2017, 17- 19.05.2017, 2017.
short: 'S. Ali Ashraf, Y.-P.E. Wang, S. Eldessoki, B. Holfeld, D. Parruca, M. Serror,
J. Gross, in: Proceedings of 23th European Wireless Conference 2017, 17- 19.05.2017,
Dresden, 2017.'
date_created: 2018-05-14T10:46:57Z
date_updated: 2022-01-06T06:57:39Z
department:
- _id: '75'
main_file_link:
- url: https://ieeexplore.ieee.org/document/8011336/
place: Dresden
project:
- _id: '29'
name: 'Verbundprojekt: Koordinierte Industriekommunikation - Latenzarme und verlässliche
Industriekommunikation - Teilvorhaben: Verteilte Koordination'
publisher: Proceedings of 23th European Wireless Conference 2017, 17- 19.05.2017
status: public
title: 'From Radio Design to System Evaluations for Ultra-Reliable and Low-Latency
Communication '
type: conference
user_id: '15572'
year: '2017'
...
---
_id: '112'
abstract:
- lang: eng
text: We study a model of selfish resource allocation that seeks to incorporate
dependencies among resources as they exist in in modern networked environments.
Our model is inspired by utility functions with constant elasticity of substitution
(CES) which is a well-studied model in economics. We consider congestion games
with different aggregation functions. In particular, we study $L_p$ norms and
analyze the existence and complexity of (approximate) pure Nash equilibria. Additionally,
we give an almost tight characterization based on monotonicity properties to describe
the set of aggregation functions that guarantee the existence of pure Nash equilibria.
author:
- first_name: Matthias
full_name: Feldotto, Matthias
id: '14052'
last_name: Feldotto
orcid: 0000-0003-1348-6516
- first_name: Lennart
full_name: Leder, Lennart
last_name: Leder
- first_name: Alexander
full_name: Skopalik, Alexander
id: '40384'
last_name: Skopalik
citation:
ama: 'Feldotto M, Leder L, Skopalik A. Congestion Games with Complementarities.
In: Proceedings of the 10th International Conference on Algorithms and Complexity
(CIAC). LNCS. ; 2017:222--233. doi:10.1007/978-3-319-57586-5_19'
apa: Feldotto, M., Leder, L., & Skopalik, A. (2017). Congestion Games with Complementarities.
In Proceedings of the 10th International Conference on Algorithms and Complexity
(CIAC) (pp. 222--233). https://doi.org/10.1007/978-3-319-57586-5_19
bibtex: '@inproceedings{Feldotto_Leder_Skopalik_2017, series={LNCS}, title={Congestion
Games with Complementarities}, DOI={10.1007/978-3-319-57586-5_19},
booktitle={Proceedings of the 10th International Conference on Algorithms and
Complexity (CIAC)}, author={Feldotto, Matthias and Leder, Lennart and Skopalik,
Alexander}, year={2017}, pages={222--233}, collection={LNCS} }'
chicago: Feldotto, Matthias, Lennart Leder, and Alexander Skopalik. “Congestion
Games with Complementarities.” In Proceedings of the 10th International Conference
on Algorithms and Complexity (CIAC), 222--233. LNCS, 2017. https://doi.org/10.1007/978-3-319-57586-5_19.
ieee: M. Feldotto, L. Leder, and A. Skopalik, “Congestion Games with Complementarities,”
in Proceedings of the 10th International Conference on Algorithms and Complexity
(CIAC), 2017, pp. 222--233.
mla: Feldotto, Matthias, et al. “Congestion Games with Complementarities.” Proceedings
of the 10th International Conference on Algorithms and Complexity (CIAC),
2017, pp. 222--233, doi:10.1007/978-3-319-57586-5_19.
short: 'M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th International
Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.'
date_created: 2017-10-17T12:41:13Z
date_updated: 2022-01-06T06:50:58Z
ddc:
- '040'
department:
- _id: '63'
- _id: '541'
doi: 10.1007/978-3-319-57586-5_19
external_id:
arxiv:
- '1701.07304'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T13:05:37Z
date_updated: 2018-03-21T13:05:37Z
file_id: '1566'
file_name: 112-FeldottoLederSkopalik2017.pdf
file_size: 264089
relation: main_file
success: 1
file_date_updated: 2018-03-21T13:05:37Z
has_accepted_license: '1'
page: 222--233
project:
- _id: '1'
name: SFB 901
- _id: '7'
name: SFB 901 - Subprojekt A3
- _id: '2'
name: SFB 901 - Project Area A
publication: Proceedings of the 10th International Conference on Algorithms and Complexity
(CIAC)
series_title: LNCS
status: public
title: Congestion Games with Complementarities
type: conference
user_id: '14052'
year: '2017'
...
---
_id: '113'
abstract:
- lang: eng
text: We study the computation of approximate pure Nash equilibria in Shapley value
(SV) weighted congestion games, introduced in [19]. This class of games considers
weighted congestion games in which Shapley values are used as an alternative (to
proportional shares) for distributing the total cost of each resource among its
users. We focus on the interesting subclass of such games with polynomial resource
cost functions and present an algorithm that computes approximate pure Nash equilibria
with a polynomial number of strategy updates. Since computing a single strategy
update is hard, we apply sampling techniques which allow us to achieve polynomial
running time. The algorithm builds on the algorithmic ideas of [7], however, to
the best of our knowledge, this is the first algorithmic result on computation
of approximate equilibria using other than proportional shares as player costs
in this setting. We present a novel relation that approximates the Shapley value
of a player by her proportional share and vice versa. As side results, we upper
bound the approximate price of anarchy of such games and significantly improve
the best known factor for computing approximate pure Nash equilibria in weighted
congestion games of [7].
author:
- first_name: Matthias
full_name: Feldotto, Matthias
id: '14052'
last_name: Feldotto
orcid: 0000-0003-1348-6516
- first_name: Martin
full_name: Gairing, Martin
last_name: Gairing
- first_name: Grammateia
full_name: Kotsialou, Grammateia
last_name: Kotsialou
- first_name: Alexander
full_name: Skopalik, Alexander
id: '40384'
last_name: Skopalik
citation:
ama: 'Feldotto M, Gairing M, Kotsialou G, Skopalik A. Computing Approximate Pure
Nash Equilibria in Shapley Value Weighted Congestion Games. In: Proceedings
of the 13th International Conference on Web and Internet Economics (WINE).
; 2017. doi:10.1007/978-3-319-71924-5_14'
apa: Feldotto, M., Gairing, M., Kotsialou, G., & Skopalik, A. (2017). Computing
Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games. In
Proceedings of the 13th International Conference on Web and Internet Economics
(WINE). https://doi.org/10.1007/978-3-319-71924-5_14
bibtex: '@inproceedings{Feldotto_Gairing_Kotsialou_Skopalik_2017, title={Computing
Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games},
DOI={10.1007/978-3-319-71924-5_14},
booktitle={Proceedings of the 13th International Conference on Web and Internet
Economics (WINE)}, author={Feldotto, Matthias and Gairing, Martin and Kotsialou,
Grammateia and Skopalik, Alexander}, year={2017} }'
chicago: Feldotto, Matthias, Martin Gairing, Grammateia Kotsialou, and Alexander
Skopalik. “Computing Approximate Pure Nash Equilibria in Shapley Value Weighted
Congestion Games.” In Proceedings of the 13th International Conference on Web
and Internet Economics (WINE), 2017. https://doi.org/10.1007/978-3-319-71924-5_14.
ieee: M. Feldotto, M. Gairing, G. Kotsialou, and A. Skopalik, “Computing Approximate
Pure Nash Equilibria in Shapley Value Weighted Congestion Games,” in Proceedings
of the 13th International Conference on Web and Internet Economics (WINE),
2017.
mla: Feldotto, Matthias, et al. “Computing Approximate Pure Nash Equilibria in Shapley
Value Weighted Congestion Games.” Proceedings of the 13th International Conference
on Web and Internet Economics (WINE), 2017, doi:10.1007/978-3-319-71924-5_14.
short: 'M. Feldotto, M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the
13th International Conference on Web and Internet Economics (WINE), 2017.'
date_created: 2017-10-17T12:41:13Z
date_updated: 2022-01-06T06:50:59Z
ddc:
- '000'
department:
- _id: '63'
- _id: '541'
doi: 10.1007/978-3-319-71924-5_14
external_id:
arxiv:
- '1710.01634'
file:
- access_level: closed
content_type: application/pdf
creator: feldi
date_created: 2018-10-31T17:01:32Z
date_updated: 2018-10-31T17:01:32Z
file_id: '5231'
file_name: Feldotto2017_Chapter_ComputingApproximatePureNashEq.pdf
file_size: 279055
relation: main_file
success: 1
file_date_updated: 2018-10-31T17:01:32Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '7'
name: SFB 901 - Subprojekt A3
- _id: '2'
name: SFB 901 - Project Area A
publication: Proceedings of the 13th International Conference on Web and Internet
Economics (WINE)
status: public
title: Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion
Games
type: conference
user_id: '14052'
year: '2017'
...
---
_id: '114'
abstract:
- lang: eng
text: Proof witnesses are proof artifacts showing correctness of programs wrt. safety
properties. The recent past has seen a rising interest in witnesses as (a) proofs
in a proof-carrying-code context, (b) certificates for the correct functioning
of verification tools, or simply (c) exchange formats for (partial) verification
results. As witnesses in all theses scenarios need to be stored and processed,
witnesses are required to be as small as possible. However, software verification
tools – the prime suppliers of witnesses – do not necessarily construct small
witnesses. In this paper, we present a formal account of proof witnesses. We introduce
the concept of weakenings, reducing the complexity of proof witnesses while preserving
the ability of witnessing safety. We develop aweakening technique for a specific
class of program analyses, and prove it to be sound. Finally, we experimentally
demonstrate our weakening technique to indeed achieve a size reduction of proof
witnesses.
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. Compact Proof Witnesses. In: Barrett C, Davies M,
Kahsai T, eds. NASA Formal Methods: 9th International Symposium. Lecture
Notes in Computer Science. ; 2017:389-403. doi:10.1007/978-3-319-57288-8_28'
apa: 'Jakobs, M.-C., & Wehrheim, H. (2017). Compact Proof Witnesses. In C. Barrett,
M. Davies, & T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium
(pp. 389–403). https://doi.org/10.1007/978-3-319-57288-8_28'
bibtex: '@inproceedings{Jakobs_Wehrheim_2017, series={Lecture Notes in Computer
Science}, title={Compact Proof Witnesses}, DOI={10.1007/978-3-319-57288-8_28},
booktitle={NASA Formal Methods: 9th International Symposium}, author={Jakobs,
Marie-Christine and Wehrheim, Heike}, editor={Barrett, Clark and Davies, Misty
and Kahsai, TemesghenEditors}, year={2017}, pages={389–403}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Jakobs, Marie-Christine, and Heike Wehrheim. “Compact Proof Witnesses.”
In NASA Formal Methods: 9th International Symposium, edited by Clark Barrett,
Misty Davies, and Temesghen Kahsai, 389–403. Lecture Notes in Computer Science,
2017. https://doi.org/10.1007/978-3-319-57288-8_28.'
ieee: 'M.-C. Jakobs and H. Wehrheim, “Compact Proof Witnesses,” in NASA Formal
Methods: 9th International Symposium, 2017, pp. 389–403.'
mla: 'Jakobs, Marie-Christine, and Heike Wehrheim. “Compact Proof Witnesses.” NASA
Formal Methods: 9th International Symposium, edited by Clark Barrett et al.,
2017, pp. 389–403, doi:10.1007/978-3-319-57288-8_28.'
short: 'M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.),
NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.'
date_created: 2017-10-17T12:41:13Z
date_updated: 2022-01-06T06:51:00Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-57288-8_28
editor:
- first_name: Clark
full_name: Barrett, Clark
last_name: Barrett
- first_name: Misty
full_name: Davies, Misty
last_name: Davies
- first_name: Temesghen
full_name: Kahsai, Temesghen
last_name: Kahsai
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T13:05:02Z
date_updated: 2018-03-21T13:05:02Z
file_id: '1565'
file_name: 114-chp_3A10.1007_2F978-3-319-57288-8_28.pdf
file_size: 492800
relation: main_file
success: 1
file_date_updated: 2018-03-21T13:05:02Z
has_accepted_license: '1'
language:
- iso: eng
page: 389-403
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: 'NASA Formal Methods: 9th International Symposium'
series_title: Lecture Notes in Computer Science
status: public
title: Compact Proof Witnesses
type: conference
user_id: '477'
year: '2017'
...