---
_id: '20139'
author:
- first_name: Maximilian
  full_name: Spliethöver, Maximilian
  id: '84035'
  last_name: Spliethöver
  orcid: 0000-0003-4364-1409
- first_name: Henning
  full_name: Wachsmuth, Henning
  id: '3900'
  last_name: Wachsmuth
citation:
  ama: 'Spliethöver M, Wachsmuth H. Argument from Old Man’s View: Assessing Social
    Bias in Argumentation. In: <i>Proceedings of the 7th Workshop on Argument Mining
    (ArgMining 2020)</i>. ; 2020:76-87.'
  apa: 'Spliethöver, M., &#38; Wachsmuth, H. (2020). Argument from Old Man’s View:
    Assessing Social Bias in Argumentation. In <i>Proceedings of the 7th Workshop
    on Argument Mining (ArgMining 2020)</i> (pp. 76–87).'
  bibtex: '@inproceedings{Spliethöver_Wachsmuth_2020, title={Argument from Old Man’s
    View: Assessing Social Bias in Argumentation}, booktitle={Proceedings of the 7th
    Workshop on Argument Mining (ArgMining 2020)}, author={Spliethöver, Maximilian
    and Wachsmuth, Henning}, year={2020}, pages={76–87} }'
  chicago: 'Spliethöver, Maximilian, and Henning Wachsmuth. “Argument from Old Man’s
    View: Assessing Social Bias in Argumentation.” In <i>Proceedings of the 7th Workshop
    on Argument Mining (ArgMining 2020)</i>, 76–87, 2020.'
  ieee: 'M. Spliethöver and H. Wachsmuth, “Argument from Old Man’s View: Assessing
    Social Bias in Argumentation,” in <i>Proceedings of the 7th Workshop on Argument
    Mining (ArgMining 2020)</i>, 2020, pp. 76–87.'
  mla: 'Spliethöver, Maximilian, and Henning Wachsmuth. “Argument from Old Man’s View:
    Assessing Social Bias in Argumentation.” <i>Proceedings of the 7th Workshop on
    Argument Mining (ArgMining 2020)</i>, 2020, pp. 76–87.'
  short: 'M. Spliethöver, H. Wachsmuth, in: Proceedings of the 7th Workshop on Argument
    Mining (ArgMining 2020), 2020, pp. 76–87.'
date_created: 2020-10-20T13:03:08Z
date_updated: 2022-01-06T06:54:20Z
department:
- _id: '600'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.aclweb.org/anthology/2020.argmining-1.9
oa: '1'
page: 76-87
publication: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020)
status: public
title: 'Argument from Old Man''s View: Assessing Social Bias in Argumentation'
type: conference
user_id: '84035'
year: '2020'
...
---
_id: '20140'
author:
- first_name: Jonas
  full_name: Dorsch, Jonas
  last_name: Dorsch
- first_name: Henning
  full_name: Wachsmuth, Henning
  id: '3900'
  last_name: Wachsmuth
citation:
  ama: 'Dorsch J, Wachsmuth H. Semi-Supervised Cleansing of Web Argument Corpora.
    In: <i>Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020)</i>.
    ; 2020:19-29.'
  apa: Dorsch, J., &#38; Wachsmuth, H. (2020). Semi-Supervised Cleansing of Web Argument
    Corpora. In <i>Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020)</i>
    (pp. 19–29).
  bibtex: '@inproceedings{Dorsch_Wachsmuth_2020, title={Semi-Supervised Cleansing
    of Web Argument Corpora}, booktitle={Proceedings of the 7th Workshop on Argument
    Mining (ArgMining 2020)}, author={Dorsch, Jonas and Wachsmuth, Henning}, year={2020},
    pages={19–29} }'
  chicago: Dorsch, Jonas, and Henning Wachsmuth. “Semi-Supervised Cleansing of Web
    Argument Corpora.” In <i>Proceedings of the 7th Workshop on Argument Mining (ArgMining
    2020)</i>, 19–29, 2020.
  ieee: J. Dorsch and H. Wachsmuth, “Semi-Supervised Cleansing of Web Argument Corpora,”
    in <i>Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020)</i>,
    2020, pp. 19–29.
  mla: Dorsch, Jonas, and Henning Wachsmuth. “Semi-Supervised Cleansing of Web Argument
    Corpora.” <i>Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020)</i>,
    2020, pp. 19–29.
  short: 'J. Dorsch, H. Wachsmuth, in: Proceedings of the 7th Workshop on Argument
    Mining (ArgMining 2020), 2020, pp. 19–29.'
date_created: 2020-10-20T13:04:15Z
date_updated: 2022-01-06T06:54:20Z
department:
- _id: '600'
language:
- iso: eng
main_file_link:
- url: https://www.aclweb.org/anthology/2020.argmining-1.3.pdf
page: 19-29
publication: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020)
status: public
title: Semi-Supervised Cleansing of Web Argument Corpora
type: conference
user_id: '82920'
year: '2020'
...
---
_id: '20159'
abstract:
- lang: eng
  text: "Let G = (V,E) be an undirected graph on n vertices with non-negative capacities
    on its edges. The mincut sensitivity problem for the insertion of an edge is defined
    as follows. Build a compact data structure for G and a given set S ⊆ V of vertices
    that, on receiving any edge (x,y) ∈ S×S of positive capacity as query input, can
    efficiently report the set of all pairs from S× S whose mincut value increases
    upon insertion of the edge (x,y) to G. The only result that exists for this problem
    is for a single pair of vertices (Picard and Queyranne, Mathematical Programming
    Study, 13 (1980), 8-16). We present the following results for the single source
    and the all-pairs versions of this problem. \r\n1) Single source: Given any designated
    source vertex s, there exists a data structure of size \U0001D4AA(|S|) that can
    output all those vertices from S whose mincut value to s increases upon insertion
    of any given edge. The time taken by the data structure to answer any query is
    \U0001D4AA(|S|). \r\n2) All-pairs: There exists an \U0001D4AA(|S|²) size data
    structure that can output all those pairs of vertices from S× S whose mincut value
    gets increased upon insertion of any given edge. The time taken by the data structure
    to answer any query is \U0001D4AA(k), where k is the number of pairs of vertices
    whose mincut increases. \r\nFor both these versions, we also address the problem
    of reporting the values of the mincuts upon insertion of any given edge. To derive
    our results, we use interesting insights into the nearest and the farthest mincuts
    for a pair of vertices. In addition, a crucial result, that we establish and use
    in our data structures, is that there exists a directed acyclic graph of \U0001D4AA(n)
    size that compactly stores the farthest mincuts from all vertices of V to a designated
    vertex s in the graph. We believe that this result is of independent interest,
    especially, because it also complements a previously existing result by Hariharan
    et al. (STOC 2007) that the nearest mincuts from all vertices of V to s is a laminar
    family, and hence, can be stored compactly in a tree of \U0001D4AA(n) size."
author:
- first_name: Surender
  full_name: Baswana, Surender
  last_name: Baswana
- first_name: Shiv
  full_name: Gupta, Shiv
  last_name: Gupta
- first_name: Till
  full_name: Knollmann, Till
  id: '39241'
  last_name: Knollmann
  orcid: 0000-0003-2014-4696
citation:
  ama: 'Baswana S, Gupta S, Knollmann T. Mincut Sensitivity Data Structures for the
    Insertion of an Edge. In: Grandoni F, Herman G, Sanders P, eds. <i>28th Annual
    European Symposium on Algorithms (ESA 2020)</i>. Vol 173. Leibniz International
    Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum
    für Informatik; 2020:12:1-12:14. doi:<a href="https://doi.org/10.4230/LIPIcs.ESA.2020.12">10.4230/LIPIcs.ESA.2020.12</a>'
  apa: 'Baswana, S., Gupta, S., &#38; Knollmann, T. (2020). Mincut Sensitivity Data
    Structures for the Insertion of an Edge. In F. Grandoni, G. Herman, &#38; P. Sanders
    (Eds.), <i>28th Annual European Symposium on Algorithms (ESA 2020)</i> (Vol. 173,
    pp. 12:1-12:14). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik.
    <a href="https://doi.org/10.4230/LIPIcs.ESA.2020.12">https://doi.org/10.4230/LIPIcs.ESA.2020.12</a>'
  bibtex: '@inproceedings{Baswana_Gupta_Knollmann_2020, place={Dagstuhl, Germany},
    series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Mincut
    Sensitivity Data Structures for the Insertion of an Edge}, volume={173}, DOI={<a
    href="https://doi.org/10.4230/LIPIcs.ESA.2020.12">10.4230/LIPIcs.ESA.2020.12</a>},
    booktitle={28th Annual European Symposium on Algorithms (ESA 2020)}, publisher={Schloss
    Dagstuhl -- Leibniz-Zentrum für Informatik}, author={Baswana, Surender and Gupta,
    Shiv and Knollmann, Till}, editor={Grandoni, Fabrizio and Herman, Grzegorz and
    Sanders, PeterEditors}, year={2020}, pages={12:1-12:14}, collection={Leibniz International
    Proceedings in Informatics (LIPIcs)} }'
  chicago: 'Baswana, Surender, Shiv Gupta, and Till Knollmann. “Mincut Sensitivity
    Data Structures for the Insertion of an Edge.” In <i>28th Annual European Symposium
    on Algorithms (ESA 2020)</i>, edited by Fabrizio Grandoni, Grzegorz Herman, and
    Peter Sanders, 173:12:1-12:14. Leibniz International Proceedings in Informatics
    (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik,
    2020. <a href="https://doi.org/10.4230/LIPIcs.ESA.2020.12">https://doi.org/10.4230/LIPIcs.ESA.2020.12</a>.'
  ieee: S. Baswana, S. Gupta, and T. Knollmann, “Mincut Sensitivity Data Structures
    for the Insertion of an Edge,” in <i>28th Annual European Symposium on Algorithms
    (ESA 2020)</i>, 2020, vol. 173, pp. 12:1-12:14.
  mla: Baswana, Surender, et al. “Mincut Sensitivity Data Structures for the Insertion
    of an Edge.” <i>28th Annual European Symposium on Algorithms (ESA 2020)</i>, edited
    by Fabrizio Grandoni et al., vol. 173, Schloss Dagstuhl -- Leibniz-Zentrum für
    Informatik, 2020, pp. 12:1-12:14, doi:<a href="https://doi.org/10.4230/LIPIcs.ESA.2020.12">10.4230/LIPIcs.ESA.2020.12</a>.
  short: 'S. Baswana, S. Gupta, T. Knollmann, in: F. Grandoni, G. Herman, P. Sanders
    (Eds.), 28th Annual European Symposium on Algorithms (ESA 2020), Schloss Dagstuhl
    -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2020, pp. 12:1-12:14.'
date_created: 2020-10-21T12:00:20Z
date_updated: 2022-01-06T06:54:20Z
department:
- _id: '63'
doi: 10.4230/LIPIcs.ESA.2020.12
editor:
- first_name: Fabrizio
  full_name: Grandoni, Fabrizio
  last_name: Grandoni
- first_name: Grzegorz
  full_name: Herman, Grzegorz
  last_name: Herman
- first_name: Peter
  full_name: Sanders, Peter
  last_name: Sanders
intvolume: '       173'
keyword:
- Mincut
- Sensitivity
- Data Structure
language:
- iso: eng
page: 12:1-12:14
place: Dagstuhl, Germany
publication: 28th Annual European Symposium on Algorithms (ESA 2020)
publication_identifier:
  isbn:
  - 978-3-95977-162-7
  issn:
  - 1868-8969
publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
series_title: Leibniz International Proceedings in Informatics (LIPIcs)
status: public
title: Mincut Sensitivity Data Structures for the Insertion of an Edge
type: conference
user_id: '39241'
volume: 173
year: '2020'
...
---
_id: '20166'
author:
- first_name: Alexander
  full_name: Bondarenko, Alexander
  last_name: Bondarenko
- first_name: Maik
  full_name: Fröbe, Maik
  last_name: Fröbe
- first_name: Meriem
  full_name: Beloucif, Meriem
  last_name: Beloucif
- first_name: Lukas
  full_name: Gienapp, Lukas
  last_name: Gienapp
- first_name: Yamen
  full_name: Ajjour, Yamen
  last_name: Ajjour
- first_name: Alexander
  full_name: Panchenko, Alexander
  last_name: Panchenko
- first_name: Chris
  full_name: Biemann, Chris
  last_name: Biemann
- first_name: Benno
  full_name: Stein, Benno
  last_name: Stein
- first_name: Henning
  full_name: Wachsmuth, Henning
  id: '3900'
  last_name: Wachsmuth
- first_name: Martin
  full_name: Potthast, Martin
  last_name: Potthast
- first_name: Matthias
  full_name: Hagen, Matthias
  last_name: Hagen
citation:
  ama: 'Bondarenko A, Fröbe M, Beloucif M, et al. Overview of Touché 2020: Argument
    Retrieval. In: <i>CEUR Workshop Proceedings</i>. Vol 2696. ; 2020:384-395.'
  apa: 'Bondarenko, A., Fröbe, M., Beloucif, M., Gienapp, L., Ajjour, Y., Panchenko,
    A., … Hagen, M. (2020). Overview of Touché 2020: Argument Retrieval. In <i>CEUR
    Workshop Proceedings</i> (Vol. 2696, pp. 384–395).'
  bibtex: '@inproceedings{Bondarenko_Fröbe_Beloucif_Gienapp_Ajjour_Panchenko_Biemann_Stein_Wachsmuth_Potthast_et
    al._2020, title={Overview of Touché 2020: Argument Retrieval}, volume={2696},
    booktitle={CEUR Workshop Proceedings}, author={Bondarenko, Alexander and Fröbe,
    Maik and Beloucif, Meriem and Gienapp, Lukas and Ajjour, Yamen and Panchenko,
    Alexander and Biemann, Chris and Stein, Benno and Wachsmuth, Henning and Potthast,
    Martin and et al.}, year={2020}, pages={384–395} }'
  chicago: 'Bondarenko, Alexander, Maik Fröbe, Meriem Beloucif, Lukas Gienapp, Yamen
    Ajjour, Alexander Panchenko, Chris Biemann, et al. “Overview of Touché 2020: Argument
    Retrieval.” In <i>CEUR Workshop Proceedings</i>, 2696:384–95, 2020.'
  ieee: 'A. Bondarenko <i>et al.</i>, “Overview of Touché 2020: Argument Retrieval,”
    in <i>CEUR Workshop Proceedings</i>, 2020, vol. 2696, pp. 384–395.'
  mla: 'Bondarenko, Alexander, et al. “Overview of Touché 2020: Argument Retrieval.”
    <i>CEUR Workshop Proceedings</i>, vol. 2696, 2020, pp. 384–95.'
  short: 'A. Bondarenko, M. Fröbe, M. Beloucif, L. Gienapp, Y. Ajjour, A. Panchenko,
    C. Biemann, B. Stein, H. Wachsmuth, M. Potthast, M. Hagen, in: CEUR Workshop Proceedings,
    2020, pp. 384–395.'
date_created: 2020-10-22T07:22:52Z
date_updated: 2022-01-06T06:54:20Z
department:
- _id: '600'
intvolume: '      2696'
language:
- iso: eng
main_file_link:
- url: http://ceur-ws.org/Vol-2696/paper_261.pdf
page: 384-395
publication: CEUR Workshop Proceedings
status: public
title: 'Overview of Touché 2020: Argument Retrieval'
type: conference
user_id: '82920'
volume: 2696
year: '2020'
...
---
_id: '20185'
author:
- first_name: Jannik
  full_name: Castenow, Jannik
  id: '38705'
  last_name: Castenow
- first_name: Jonas
  full_name: Harbig, Jonas
  id: '47213'
  last_name: Harbig
- first_name: Daniel
  full_name: Jung, Daniel
  id: '37827'
  last_name: Jung
- first_name: Till
  full_name: Knollmann, Till
  id: '39241'
  last_name: Knollmann
  orcid: 0000-0003-2014-4696
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
citation:
  ama: 'Castenow J, Harbig J, Jung D, Knollmann T, Meyer auf der Heide F. Brief Announcement:
    Gathering in Linear Time: A Closed Chain of Disoriented &#38; Luminous Robots
    with Limited Visibility . In: Devismes S,  Mittal N, eds. <i>Stabilization, Safety,
    and Security of Distributed Systems - 22nd International Symposium, SSS 2020,
    Austin, Texas, USA, November 18-21, 2020, Proceedings </i>. Vol 12514. Lecture
    Notes in Computer Science (LNCS). Springer; 2020:60-64. doi:<a href="https://doi.org/10.1007/978-3-030-64348-5_5">10.1007/978-3-030-64348-5_5</a>'
  apa: 'Castenow, J., Harbig, J., Jung, D., Knollmann, T., &#38; Meyer auf der Heide,
    F. (2020). Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented
    &#38; Luminous Robots with Limited Visibility . In S. Devismes &#38; N.  Mittal
    (Eds.), <i>Stabilization, Safety, and Security of Distributed Systems - 22nd International
    Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings </i>
    (Vol. 12514, pp. 60–64). Springer. <a href="https://doi.org/10.1007/978-3-030-64348-5_5">https://doi.org/10.1007/978-3-030-64348-5_5</a>'
  bibtex: '@inproceedings{Castenow_Harbig_Jung_Knollmann_Meyer auf der Heide_2020,
    series={Lecture Notes in Computer Science (LNCS)}, title={Brief Announcement:
    Gathering in Linear Time: A Closed Chain of Disoriented &#38; Luminous Robots
    with Limited Visibility }, volume={12514}, DOI={<a href="https://doi.org/10.1007/978-3-030-64348-5_5">10.1007/978-3-030-64348-5_5</a>},
    booktitle={Stabilization, Safety, and Security of Distributed Systems - 22nd International
    Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings },
    publisher={Springer}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel
    and Knollmann, Till and Meyer auf der Heide, Friedhelm}, editor={Devismes, Stéphane  and  Mittal,
    NeerajEditors}, year={2020}, pages={60–64}, collection={Lecture Notes in Computer
    Science (LNCS)} }'
  chicago: 'Castenow, Jannik, Jonas Harbig, Daniel Jung, Till Knollmann, and Friedhelm
    Meyer auf der Heide. “Brief Announcement: Gathering in Linear Time: A Closed Chain
    of Disoriented &#38; Luminous Robots with Limited Visibility .” In <i>Stabilization,
    Safety, and Security of Distributed Systems - 22nd International Symposium, SSS
    2020, Austin, Texas, USA, November 18-21, 2020, Proceedings </i>, edited by Stéphane  Devismes
    and Neeraj  Mittal, 12514:60–64. Lecture Notes in Computer Science (LNCS). Springer,
    2020. <a href="https://doi.org/10.1007/978-3-030-64348-5_5">https://doi.org/10.1007/978-3-030-64348-5_5</a>.'
  ieee: 'J. Castenow, J. Harbig, D. Jung, T. Knollmann, and F. Meyer auf der Heide,
    “Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented &#38;
    Luminous Robots with Limited Visibility ,” in <i>Stabilization, Safety, and Security
    of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas,
    USA, November 18-21, 2020, Proceedings </i>, 2020, vol. 12514, pp. 60–64.'
  mla: 'Castenow, Jannik, et al. “Brief Announcement: Gathering in Linear Time: A
    Closed Chain of Disoriented &#38; Luminous Robots with Limited Visibility .” <i>Stabilization,
    Safety, and Security of Distributed Systems - 22nd International Symposium, SSS
    2020, Austin, Texas, USA, November 18-21, 2020, Proceedings </i>, edited by Stéphane  Devismes
    and Neeraj  Mittal, vol. 12514, Springer, 2020, pp. 60–64, doi:<a href="https://doi.org/10.1007/978-3-030-64348-5_5">10.1007/978-3-030-64348-5_5</a>.'
  short: 'J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, in:
    S. Devismes, N.  Mittal (Eds.), Stabilization, Safety, and Security of Distributed
    Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November
    18-21, 2020, Proceedings , Springer, 2020, pp. 60–64.'
date_created: 2020-10-23T08:50:28Z
date_updated: 2022-01-06T06:54:21Z
department:
- _id: '63'
doi: 10.1007/978-3-030-64348-5_5
editor:
- first_name: 'Stéphane '
  full_name: 'Devismes, Stéphane '
  last_name: Devismes
- first_name: Neeraj
  full_name: ' Mittal, Neeraj'
  last_name: ' Mittal'
external_id:
  arxiv:
  - '2010.04424 '
intvolume: '     12514'
language:
- iso: eng
page: 60-64
publication: 'Stabilization, Safety, and Security of Distributed Systems - 22nd International
  Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings '
publication_identifier:
  isbn:
  - 978-3-030-64347-8
publication_status: published
publisher: Springer
series_title: Lecture Notes in Computer Science (LNCS)
status: public
title: 'Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented
  & Luminous Robots with Limited Visibility '
type: conference
user_id: '38705'
volume: 12514
year: '2020'
...
---
_id: '20189'
abstract:
- lang: eng
  text: A dielectric step-index optical fiber with tube-like profile is considered,
    being positioned with a small gap on top of a dielectric slab waveguide. We propose
    a 2.5-D hybrid analytical/numerical coupled mode model for the evanescent excitation
    of the tube through semi-guided waves propagating in the slab at oblique angles.
    The model combines the directional polarized modes supported by the slab with
    analytic solutions for the TE-, TM-, and orbital-angular-momentum (OAM) modes
    of the tube-shaped fiber. Implementational details of the scheme are discussed,
    complemented by finite-element simulations for verification purposes. Our results
    include configurations with resonant in-fiber excitation of OAM modes with large
    orbital angular momentum and strong field enhancement.
article_number: '472'
author:
- first_name: Manfred
  full_name: Hammer, Manfred
  id: '48077'
  last_name: Hammer
  orcid: 0000-0002-6331-9348
- first_name: Lena
  full_name: Ebers, Lena
  id: '40428'
  last_name: Ebers
- first_name: Jens
  full_name: Förstner, Jens
  id: '158'
  last_name: Förstner
  orcid: 0000-0001-7059-9862
citation:
  ama: Hammer M, Ebers L, Förstner J. Hybrid coupled mode modelling of the evanescent
    excitation of a dielectric tube by semi-guided waves at oblique angles. <i>Optical
    and Quantum Electronics</i>. 2020;52. doi:<a href="https://doi.org/10.1007/s11082-020-02595-z">10.1007/s11082-020-02595-z</a>
  apa: Hammer, M., Ebers, L., &#38; Förstner, J. (2020). Hybrid coupled mode modelling
    of the evanescent excitation of a dielectric tube by semi-guided waves at oblique
    angles. <i>Optical and Quantum Electronics</i>, <i>52</i>. <a href="https://doi.org/10.1007/s11082-020-02595-z">https://doi.org/10.1007/s11082-020-02595-z</a>
  bibtex: '@article{Hammer_Ebers_Förstner_2020, title={Hybrid coupled mode modelling
    of the evanescent excitation of a dielectric tube by semi-guided waves at oblique
    angles}, volume={52}, DOI={<a href="https://doi.org/10.1007/s11082-020-02595-z">10.1007/s11082-020-02595-z</a>},
    number={472}, journal={Optical and Quantum Electronics}, author={Hammer, Manfred
    and Ebers, Lena and Förstner, Jens}, year={2020} }'
  chicago: Hammer, Manfred, Lena Ebers, and Jens Förstner. “Hybrid Coupled Mode Modelling
    of the Evanescent Excitation of a Dielectric Tube by Semi-Guided Waves at Oblique
    Angles.” <i>Optical and Quantum Electronics</i> 52 (2020). <a href="https://doi.org/10.1007/s11082-020-02595-z">https://doi.org/10.1007/s11082-020-02595-z</a>.
  ieee: M. Hammer, L. Ebers, and J. Förstner, “Hybrid coupled mode modelling of the
    evanescent excitation of a dielectric tube by semi-guided waves at oblique angles,”
    <i>Optical and Quantum Electronics</i>, vol. 52, 2020.
  mla: Hammer, Manfred, et al. “Hybrid Coupled Mode Modelling of the Evanescent Excitation
    of a Dielectric Tube by Semi-Guided Waves at Oblique Angles.” <i>Optical and Quantum
    Electronics</i>, vol. 52, 472, 2020, doi:<a href="https://doi.org/10.1007/s11082-020-02595-z">10.1007/s11082-020-02595-z</a>.
  short: M. Hammer, L. Ebers, J. Förstner, Optical and Quantum Electronics 52 (2020).
date_created: 2020-10-24T08:03:58Z
date_updated: 2022-01-06T06:54:22Z
ddc:
- '530'
department:
- _id: '61'
- _id: '230'
- _id: '429'
doi: 10.1007/s11082-020-02595-z
file:
- access_level: closed
  content_type: application/pdf
  creator: fossie
  date_created: 2020-10-24T08:11:40Z
  date_updated: 2020-10-24T08:11:40Z
  file_id: '20190'
  file_name: 2020-10 Hammer - OQE - Hybrid Coupled Mode Modelling Dielectric Tube.pdf
  file_size: 2212769
  relation: main_file
  success: 1
file_date_updated: 2020-10-24T08:11:40Z
has_accepted_license: '1'
intvolume: '        52'
keyword:
- tet_topic_waveguides
language:
- iso: eng
project:
- _id: '56'
  name: TRR 142 - Project Area C
- _id: '75'
  name: TRR 142 - Subproject C5
- _id: '53'
  name: TRR 142
publication: Optical and Quantum Electronics
publication_identifier:
  issn:
  - 0306-8919
  - 1572-817X
publication_status: published
status: public
title: Hybrid coupled mode modelling of the evanescent excitation of a dielectric
  tube by semi-guided waves at oblique angles
type: journal_article
user_id: '158'
volume: 52
year: '2020'
...
---
_id: '20221'
author:
- first_name: Paresh Kishor
  full_name: Yeole, Paresh Kishor
  last_name: Yeole
citation:
  ama: Yeole PK. <i>Plurality Consensus in Hybrid Networks</i>.; 2020.
  apa: Yeole, P. K. (2020). <i>Plurality Consensus in Hybrid Networks</i>.
  bibtex: '@book{Yeole_2020, title={Plurality Consensus in Hybrid Networks}, author={Yeole,
    Paresh Kishor}, year={2020} }'
  chicago: Yeole, Paresh Kishor. <i>Plurality Consensus in Hybrid Networks</i>, 2020.
  ieee: P. K. Yeole, <i>Plurality Consensus in Hybrid Networks</i>. 2020.
  mla: Yeole, Paresh Kishor. <i>Plurality Consensus in Hybrid Networks</i>. 2020.
  short: P.K. Yeole, Plurality Consensus in Hybrid Networks, 2020.
date_created: 2020-10-29T07:45:57Z
date_updated: 2022-01-06T06:54:23Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '2'
  name: SFB 901 - Project Area A
- _id: '5'
  name: SFB 901 - Subproject A1
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Plurality Consensus in Hybrid Networks
type: mastersthesis
user_id: '15504'
year: '2020'
...
---
_id: '20233'
abstract:
- lang: eng
  text: The challenge of designing new tunable nonlinear dielectric materials with
    tailored properties has attracted an increasing amount of interest recently. Herein,
    we study the effective nonlinear dielectric response of a stochastic paraelectric-dielectric
    composite consisting of equilibrium distributions of circular and partially penetrable
    disks (or parallel, infinitely long, identical, partially penetrable, circular
    cylinders) of a dielectric phase randomly dispersed in a continuous matrix of
    a paraelectric phase. The random microstructures were generated using the Metropolis
    Monte Carlo algorithm. The evaluation of the effective permittivity and tunability
    were carried out by employing either a Landau thermodynamic model or its Johnson’s
    approximation to describe the field-dependent permittivity of the paraelectric
    phase and solving continuum-electrostatics equations using finite element calculations.
    We reveal that the percolation threshold in this composite governs the critical
    behavior of the effective permittivity and tunability. For microstructures below
    the percolation threshold, our simulations demonstrate a strong nonlinear behaviour
    of the field-dependent effective permittivity and very high tunability that increases
    as a function of dielectric phase concentration. Above the percolation threshold,
    the effective permittivity shows the tendency to linearization and the tunability
    dramatically drops down. The highly reduced permittivity and extraordinarily high
    tunability are obtained for the composites with dielectric impenetrable disks
    at high concentrations, in which the triggering of the percolation transition
    is avoided. The reported results cast light on distinct nonlinear behaviour of
    2D and 3D stochastic composites and can guide the design of novel composites with
    the controlled morphology and tailored permittivity and tunability.
author:
- first_name: Viktor
  full_name: Myroshnychenko, Viktor
  id: '46371'
  last_name: Myroshnychenko
- first_name: Stanislav
  full_name: Smirnov, Stanislav
  last_name: Smirnov
- first_name: Pious Mathews Mulavarickal
  full_name: Jose, Pious Mathews Mulavarickal
  last_name: Jose
- first_name: Christian
  full_name: Brosseau, Christian
  last_name: Brosseau
- first_name: Jens
  full_name: Förstner, Jens
  id: '158'
  last_name: Förstner
  orcid: 0000-0001-7059-9862
citation:
  ama: Myroshnychenko V, Smirnov S, Jose PMM, Brosseau C, Förstner J. Nonlinear dielectric
    properties of random paraelectric-dielectric composites. <i>Acta Materialia</i>.
    2020;203:116432. doi:<a href="https://doi.org/10.1016/j.actamat.2020.10.051">10.1016/j.actamat.2020.10.051</a>
  apa: Myroshnychenko, V., Smirnov, S., Jose, P. M. M., Brosseau, C., &#38; Förstner,
    J. (2020). Nonlinear dielectric properties of random paraelectric-dielectric composites.
    <i>Acta Materialia</i>, <i>203</i>, 116432. <a href="https://doi.org/10.1016/j.actamat.2020.10.051">https://doi.org/10.1016/j.actamat.2020.10.051</a>
  bibtex: '@article{Myroshnychenko_Smirnov_Jose_Brosseau_Förstner_2020, title={Nonlinear
    dielectric properties of random paraelectric-dielectric composites}, volume={203},
    DOI={<a href="https://doi.org/10.1016/j.actamat.2020.10.051">10.1016/j.actamat.2020.10.051</a>},
    journal={Acta Materialia}, author={Myroshnychenko, Viktor and Smirnov, Stanislav
    and Jose, Pious Mathews Mulavarickal and Brosseau, Christian and Förstner, Jens},
    year={2020}, pages={116432} }'
  chicago: 'Myroshnychenko, Viktor, Stanislav Smirnov, Pious Mathews Mulavarickal
    Jose, Christian Brosseau, and Jens Förstner. “Nonlinear Dielectric Properties
    of Random Paraelectric-Dielectric Composites.” <i>Acta Materialia</i> 203 (2020):
    116432. <a href="https://doi.org/10.1016/j.actamat.2020.10.051">https://doi.org/10.1016/j.actamat.2020.10.051</a>.'
  ieee: V. Myroshnychenko, S. Smirnov, P. M. M. Jose, C. Brosseau, and J. Förstner,
    “Nonlinear dielectric properties of random paraelectric-dielectric composites,”
    <i>Acta Materialia</i>, vol. 203, p. 116432, 2020.
  mla: Myroshnychenko, Viktor, et al. “Nonlinear Dielectric Properties of Random Paraelectric-Dielectric
    Composites.” <i>Acta Materialia</i>, vol. 203, 2020, p. 116432, doi:<a href="https://doi.org/10.1016/j.actamat.2020.10.051">10.1016/j.actamat.2020.10.051</a>.
  short: V. Myroshnychenko, S. Smirnov, P.M.M. Jose, C. Brosseau, J. Förstner, Acta
    Materialia 203 (2020) 116432.
date_created: 2020-10-30T13:51:42Z
date_updated: 2022-01-06T06:54:24Z
ddc:
- '530'
department:
- _id: '61'
- _id: '230'
doi: 10.1016/j.actamat.2020.10.051
file:
- access_level: open_access
  content_type: application/pdf
  creator: fossie
  date_created: 2020-10-30T13:52:58Z
  date_updated: 2020-10-30T13:52:58Z
  file_id: '20234'
  file_name: 2020-10 Myroshnychenko - Acta Material (accepted preprint)_compressed.pdf
  file_size: 3934721
  relation: main_file
  title: (Accepted Preprint)
file_date_updated: 2020-10-30T13:52:58Z
has_accepted_license: '1'
intvolume: '       203'
language:
- iso: eng
oa: '1'
page: '116432'
project:
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Acta Materialia
publication_identifier:
  issn:
  - 1359-6454
publication_status: published
status: public
title: Nonlinear dielectric properties of random paraelectric-dielectric composites
type: journal_article
user_id: '158'
volume: 203
year: '2020'
...
---
_id: '20274'
author:
- first_name: Eleni
  full_name: Bila, Eleni
  last_name: Bila
- first_name: Simon
  full_name: Doherty, Simon
  last_name: Doherty
- first_name: Brijesh
  full_name: Dongol, Brijesh
  last_name: Dongol
- first_name: John
  full_name: Derrick, John
  last_name: Derrick
- first_name: Gerhard
  full_name: Schellhorn, Gerhard
  last_name: Schellhorn
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Bila E, Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Defining
    and Verifying Durable Opacity: Correctness for Persistent Software Transactional
    Memory. In: Gotsman A, Sokolova A, eds. <i>Formal Techniques for Distributed Objects,
    Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE}
    2020, Held as Part of the 15th International Federated Conference on Distributed
    Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings</i>.
    Vol 12136. Lecture Notes in Computer Science. Springer; 2020:39-58. doi:<a href="https://doi.org/10.1007/978-3-030-50086-3\_3">10.1007/978-3-030-50086-3\_3</a>'
  apa: 'Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., &#38; Wehrheim,
    H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent
    Software Transactional Memory. In A. Gotsman &#38; A. Sokolova (Eds.), <i>Formal
    Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG}
    6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International
    Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta,
    Malta, June 15-19, 2020, Proceedings</i> (Vol. 12136, pp. 39–58). Springer. <a
    href="https://doi.org/10.1007/978-3-030-50086-3\_3">https://doi.org/10.1007/978-3-030-50086-3\_3</a>'
  bibtex: '@inproceedings{Bila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series={Lecture
    Notes in Computer Science}, title={Defining and Verifying Durable Opacity: Correctness
    for Persistent Software Transactional Memory}, volume={12136}, DOI={<a href="https://doi.org/10.1007/978-3-030-50086-3\_3">10.1007/978-3-030-50086-3\_3</a>},
    booktitle={Formal Techniques for Distributed Objects, Components, and Systems
    - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of
    the 15th International Federated Conference on Distributed Computing Techniques,
    DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}, publisher={Springer},
    author={Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and
    Schellhorn, Gerhard and Wehrheim, Heike}, editor={Gotsman, Alexey and Sokolova,
    AnaEditors}, year={2020}, pages={39–58}, collection={Lecture Notes in Computer
    Science} }'
  chicago: 'Bila, Eleni, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn,
    and Heike Wehrheim. “Defining and Verifying Durable Opacity: Correctness for Persistent
    Software Transactional Memory.” In <i>Formal Techniques for Distributed Objects,
    Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE}
    2020, Held as Part of the 15th International Federated Conference on Distributed
    Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings</i>,
    edited by Alexey Gotsman and Ana Sokolova, 12136:39–58. Lecture Notes in Computer
    Science. Springer, 2020. <a href="https://doi.org/10.1007/978-3-030-50086-3\_3">https://doi.org/10.1007/978-3-030-50086-3\_3</a>.'
  ieee: 'E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim,
    “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional
    Memory,” in <i>Formal Techniques for Distributed Objects, Components, and Systems
    - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of
    the 15th International Federated Conference on Distributed Computing Techniques,
    DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings</i>, 2020, vol.
    12136, pp. 39–58.'
  mla: 'Bila, Eleni, et al. “Defining and Verifying Durable Opacity: Correctness for
    Persistent Software Transactional Memory.” <i>Formal Techniques for Distributed
    Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference,
    {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed
    Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings</i>,
    edited by Alexey Gotsman and Ana Sokolova, vol. 12136, Springer, 2020, pp. 39–58,
    doi:<a href="https://doi.org/10.1007/978-3-030-50086-3\_3">10.1007/978-3-030-50086-3\_3</a>.'
  short: 'E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim,
    in: A. Gotsman, A. Sokolova (Eds.), Formal Techniques for Distributed Objects,
    Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE}
    2020, Held as Part of the 15th International Federated Conference on Distributed
    Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings,
    Springer, 2020, pp. 39–58.'
date_created: 2020-11-04T08:27:09Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-50086-3\_3
editor:
- first_name: Alexey
  full_name: Gotsman, Alexey
  last_name: Gotsman
- first_name: Ana
  full_name: Sokolova, Ana
  last_name: Sokolova
intvolume: '     12136'
language:
- iso: eng
page: 39-58
project:
- _id: '78'
  name: Validation of Software Transactional Memory
publication: Formal Techniques for Distributed Objects, Components, and Systems -
  40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the
  15th International Federated Conference on Distributed Computing Techniques, DisCoTec
  2020, Valletta, Malta, June 15-19, 2020, Proceedings
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'Defining and Verifying Durable Opacity: Correctness for Persistent Software
  Transactional Memory'
type: conference
user_id: '29719'
volume: 12136
year: '2020'
...
---
_id: '20275'
author:
- first_name: Steffen
  full_name: Beringer, Steffen
  last_name: Beringer
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Beringer S, Wehrheim H. Consistency Analysis of AUTOSAR Timing Requirements.
    In: van Sinderen M, Fill H-}Georg, A. Maciaszek L, eds. <i>Proceedings of the
    15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint,
    Paris, France, July 7-9, 2020</i>. ScitePress; 2020:15-26. doi:<a href="https://doi.org/10.5220/0009766600150026">10.5220/0009766600150026</a>'
  apa: Beringer, S., &#38; Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing
    Requirements. In M. van Sinderen, H.-}Georg Fill, &#38; L. A. Maciaszek (Eds.),
    <i>Proceedings of the 15th International Conference on Software Technologies,
    {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i> (pp. 15–26). ScitePress.
    <a href="https://doi.org/10.5220/0009766600150026">https://doi.org/10.5220/0009766600150026</a>
  bibtex: '@inproceedings{Beringer_Wehrheim_2020, title={Consistency Analysis of AUTOSAR
    Timing Requirements}, DOI={<a href="https://doi.org/10.5220/0009766600150026">10.5220/0009766600150026</a>},
    booktitle={Proceedings of the 15th International Conference on Software Technologies,
    {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020}, publisher={ScitePress},
    author={Beringer, Steffen and Wehrheim, Heike}, editor={van Sinderen, Marten and
    Fill, Hans{-}Georg and A. Maciaszek, LeszekEditors}, year={2020}, pages={15–26}
    }'
  chicago: Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR
    Timing Requirements.” In <i>Proceedings of the 15th International Conference on
    Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i>,
    edited by Marten van Sinderen, Hans{-}Georg Fill, and Leszek A. Maciaszek, 15–26.
    ScitePress, 2020. <a href="https://doi.org/10.5220/0009766600150026">https://doi.org/10.5220/0009766600150026</a>.
  ieee: S. Beringer and H. Wehrheim, “Consistency Analysis of AUTOSAR Timing Requirements,”
    in <i>Proceedings of the 15th International Conference on Software Technologies,
    {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i>, 2020, pp. 15–26.
  mla: Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing
    Requirements.” <i>Proceedings of the 15th International Conference on Software
    Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020</i>, edited
    by Marten van Sinderen et al., ScitePress, 2020, pp. 15–26, doi:<a href="https://doi.org/10.5220/0009766600150026">10.5220/0009766600150026</a>.
  short: 'S. Beringer, H. Wehrheim, in: M. van Sinderen, H.-}Georg Fill, L. A. Maciaszek
    (Eds.), Proceedings of the 15th International Conference on Software Technologies,
    {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, ScitePress, 2020, pp.
    15–26.'
date_created: 2020-11-04T08:31:37Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.5220/0009766600150026
editor:
- first_name: Marten
  full_name: van Sinderen, Marten
  last_name: van Sinderen
- first_name: Hans{-}Georg
  full_name: Fill, Hans{-}Georg
  last_name: Fill
- first_name: Leszek
  full_name: A. Maciaszek, Leszek
  last_name: A. Maciaszek
language:
- iso: eng
page: 15-26
publication: Proceedings of the 15th International Conference on Software Technologies,
  {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020
publisher: ScitePress
status: public
title: Consistency Analysis of AUTOSAR Timing Requirements
type: conference
user_id: '29719'
year: '2020'
...
---
_id: '20276'
author:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey
    and Unifying Component Framework. In: Margaria T, Steffen B, eds. <i>Leveraging
    Applications of Formal Methods, Verification and Validation: Verification Principles
    - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA
    2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}</i>. Vol 12476.
    Lecture Notes in Computer Science. Springer; 2020:143-167. doi:<a href="https://doi.org/10.1007/978-3-030-61362-4\_8">10.1007/978-3-030-61362-4\_8</a>'
  apa: 'Beyer, D., &#38; Wehrheim, H. (2020). Verification Artifacts in Cooperative
    Verification: Survey and Unifying Component Framework. In T. Margaria &#38; B.
    Steffen (Eds.), <i>Leveraging Applications of Formal Methods, Verification and
    Validation: Verification Principles - 9th International Symposium on Leveraging
    Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
    Proceedings, Part {I}</i> (Vol. 12476, pp. 143–167). Springer. <a href="https://doi.org/10.1007/978-3-030-61362-4\_8">https://doi.org/10.1007/978-3-030-61362-4\_8</a>'
  bibtex: '@inproceedings{Beyer_Wehrheim_2020, series={Lecture Notes in Computer Science},
    title={Verification Artifacts in Cooperative Verification: Survey and Unifying
    Component Framework}, volume={12476}, DOI={<a href="https://doi.org/10.1007/978-3-030-61362-4\_8">10.1007/978-3-030-61362-4\_8</a>},
    booktitle={Leveraging Applications of Formal Methods, Verification and Validation:
    Verification Principles - 9th International Symposium on Leveraging Applications
    of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings,
    Part {I}}, publisher={Springer}, author={Beyer, Dirk and Wehrheim, Heike}, editor={Margaria,
    Tiziana and Steffen, BernhardEditors}, year={2020}, pages={143–167}, collection={Lecture
    Notes in Computer Science} }'
  chicago: 'Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative
    Verification: Survey and Unifying Component Framework.” In <i>Leveraging Applications
    of Formal Methods, Verification and Validation: Verification Principles - 9th
    International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020,
    Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}</i>, edited by Tiziana
    Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science.
    Springer, 2020. <a href="https://doi.org/10.1007/978-3-030-61362-4\_8">https://doi.org/10.1007/978-3-030-61362-4\_8</a>.'
  ieee: 'D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification:
    Survey and Unifying Component Framework,” in <i>Leveraging Applications of Formal
    Methods, Verification and Validation: Verification Principles - 9th International
    Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece,
    October 20-30, 2020, Proceedings, Part {I}</i>, 2020, vol. 12476, pp. 143–167.'
  mla: 'Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification:
    Survey and Unifying Component Framework.” <i>Leveraging Applications of Formal
    Methods, Verification and Validation: Verification Principles - 9th International
    Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece,
    October 20-30, 2020, Proceedings, Part {I}</i>, edited by Tiziana Margaria and
    Bernhard Steffen, vol. 12476, Springer, 2020, pp. 143–67, doi:<a href="https://doi.org/10.1007/978-3-030-61362-4\_8">10.1007/978-3-030-61362-4\_8</a>.'
  short: 'D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications
    of Formal Methods, Verification and Validation: Verification Principles - 9th
    International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020,
    Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp.
    143–167.'
date_created: 2020-11-04T08:36:22Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-61362-4\_8
editor:
- first_name: Tiziana
  full_name: Margaria, Tiziana
  last_name: Margaria
- first_name: Bernhard
  full_name: Steffen, Bernhard
  last_name: Steffen
intvolume: '     12476'
language:
- iso: eng
page: 143-167
project:
- _id: '85'
  name: Kooperative Softwareverifikation
publication: 'Leveraging Applications of Formal Methods, Verification and Validation:
  Verification Principles - 9th International Symposium on Leveraging Applications
  of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings,
  Part {I}'
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'Verification Artifacts in Cooperative Verification: Survey and Unifying Component
  Framework'
type: conference
user_id: '29719'
volume: 12476
year: '2020'
...
---
_id: '20277'
citation:
  ama: Wehrheim H, Cabot J, eds. <i>Fundamental Approaches to Software Engineering
    - 23rd International Conference, FASE 2020, Held as Part of the European Joint
    Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April
    25-30, 2020, Proceedings</i>. Vol 12076. Springer; 2020. doi:<a href="https://doi.org/10.1007/978-3-030-45234-6">10.1007/978-3-030-45234-6</a>
  apa: Wehrheim, H., &#38; Cabot, J. (Eds.). (2020). <i>Fundamental Approaches to
    Software Engineering - 23rd International Conference, FASE 2020, Held as Part
    of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,
    Dublin, Ireland, April 25-30, 2020, Proceedings</i> (Vol. 12076). Springer. <a
    href="https://doi.org/10.1007/978-3-030-45234-6">https://doi.org/10.1007/978-3-030-45234-6</a>
  bibtex: '@book{Wehrheim_Cabot_2020, series={Lecture Notes in Computer Science},
    title={Fundamental Approaches to Software Engineering - 23rd International Conference,
    FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice
    of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, volume={12076},
    DOI={<a href="https://doi.org/10.1007/978-3-030-45234-6">10.1007/978-3-030-45234-6</a>},
    publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Wehrheim, Heike, and Jordi Cabot, eds. <i>Fundamental Approaches to Software
    Engineering - 23rd International Conference, FASE 2020, Held as Part of the European
    Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland,
    April 25-30, 2020, Proceedings</i>. Vol. 12076. Lecture Notes in Computer Science.
    Springer, 2020. <a href="https://doi.org/10.1007/978-3-030-45234-6">https://doi.org/10.1007/978-3-030-45234-6</a>.
  ieee: H. Wehrheim and J. Cabot, Eds., <i>Fundamental Approaches to Software Engineering
    - 23rd International Conference, FASE 2020, Held as Part of the European Joint
    Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April
    25-30, 2020, Proceedings</i>, vol. 12076. Springer, 2020.
  mla: Wehrheim, Heike, and Jordi Cabot, editors. <i>Fundamental Approaches to Software
    Engineering - 23rd International Conference, FASE 2020, Held as Part of the European
    Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland,
    April 25-30, 2020, Proceedings</i>. Vol. 12076, Springer, 2020, doi:<a href="https://doi.org/10.1007/978-3-030-45234-6">10.1007/978-3-030-45234-6</a>.
  short: H. Wehrheim, J. Cabot, eds., Fundamental Approaches to Software Engineering
    - 23rd International Conference, FASE 2020, Held as Part of the European Joint
    Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April
    25-30, 2020, Proceedings, Springer, 2020.
date_created: 2020-11-04T08:42:19Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-45234-6
editor:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Jordi
  full_name: Cabot, Jordi
  last_name: Cabot
intvolume: '     12076'
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-3-030-45233-9
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Fundamental Approaches to Software Engineering - 23rd International Conference,
  FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice
  of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
type: conference_editor
user_id: '29719'
volume: 12076
year: '2020'
...
---
_id: '20278'
citation:
  ama: Ahrendt W, Wehrheim H, eds. <i>Tests and Proofs - 14th International Conference,
    TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]</i>.
    Vol 12165. Springer; 2020. doi:<a href="https://doi.org/10.1007/978-3-030-50995-8">10.1007/978-3-030-50995-8</a>
  apa: Ahrendt, W., &#38; Wehrheim, H. (Eds.). (2020). <i>Tests and Proofs - 14th
    International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    [postponed]</i> (Vol. 12165). Springer. <a href="https://doi.org/10.1007/978-3-030-50995-8">https://doi.org/10.1007/978-3-030-50995-8</a>
  bibtex: '@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science},
    title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
    Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={<a href="https://doi.org/10.1007/978-3-030-50995-8">10.1007/978-3-030-50995-8</a>},
    publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Ahrendt, Wolfgang, and Heike Wehrheim, eds. <i>Tests and Proofs - 14th
    International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    [Postponed]</i>. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020.
    <a href="https://doi.org/10.1007/978-3-030-50995-8">https://doi.org/10.1007/978-3-030-50995-8</a>.
  ieee: W. Ahrendt and H. Wehrheim, Eds., <i>Tests and Proofs - 14th International
    Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]</i>,
    vol. 12165. Springer, 2020.
  mla: Ahrendt, Wolfgang, and Heike Wehrheim, editors. <i>Tests and Proofs - 14th
    International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    [Postponed]</i>. Vol. 12165, Springer, 2020, doi:<a href="https://doi.org/10.1007/978-3-030-50995-8">10.1007/978-3-030-50995-8</a>.
  short: W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference,
    TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer,
    2020.
date_created: 2020-11-04T08:44:33Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-50995-8
editor:
- first_name: Wolfgang
  full_name: Ahrendt, Wolfgang
  last_name: Ahrendt
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
intvolume: '     12165'
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-3-030-50994-1
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway,
  June 22-23, 2020, Proceedings [postponed]
type: conference_editor
user_id: '29719'
volume: 12165
year: '2020'
...
---
_id: '20279'
author:
- first_name: Arnab
  full_name: Sharma, Arnab
  id: '67200'
  last_name: Sharma
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Sharma A, Wehrheim H. Testing Monotonicity of Machine Learning Models. <i>CoRR</i>.
    2020;abs/2002.12278.
  apa: Sharma, A., &#38; Wehrheim, H. (2020). Testing Monotonicity of Machine Learning
    Models. <i>CoRR</i>, <i>abs/2002.12278</i>.
  bibtex: '@article{Sharma_Wehrheim_2020, title={Testing Monotonicity of Machine Learning
    Models}, volume={abs/2002.12278}, journal={CoRR}, author={Sharma, Arnab and Wehrheim,
    Heike}, year={2020} }'
  chicago: Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning
    Models.” <i>CoRR</i> abs/2002.12278 (2020).
  ieee: A. Sharma and H. Wehrheim, “Testing Monotonicity of Machine Learning Models,”
    <i>CoRR</i>, vol. abs/2002.12278, 2020.
  mla: Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning
    Models.” <i>CoRR</i>, vol. abs/2002.12278, 2020.
  short: A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).
date_created: 2020-11-04T08:48:04Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
language:
- iso: eng
publication: CoRR
status: public
title: Testing Monotonicity of Machine Learning Models
type: journal_article
user_id: '29719'
volume: abs/2002.12278
year: '2020'
...
---
_id: '24022'
abstract:
- lang: eng
  text: In this paper we propose a novel low-power receiver architecture which uses
    a direct-detection receiver in combination with a 2.44 GHz 13 bit Barker Code
    SAW correlator for improvement of co-channel interference. Furthermore, to improve
    receiver sensitivity, a narrowband baseband correlator which uses pulse position
    modulation (PPM) is proposed. The receiver can be used as a Wake-up Receiver (WuRx)
    in Wireless Sensor Networks (WSN) to minimize the power dissipation and provide
    asynchronous and on-demand data communication. We present a rigorous analysis
    of the receiver. It shows that the RF front-end (SAW correlator and envelope detector)
    alone suffers from poor sensitivity due to the high baseband bandwidth and the
    absence of an RF low noise amplifier. However, by adding the narrowband correlator
    with an innovative Pulse Position Modulation (PPM) scheme, the overall sensitivity
    of the receiver reaches -63.1 dB with an improvement of 17.7 dB due to the use
    of the narrowband correlator that reduces the baseband bandwidth from 50 to 0.84
    MHz. By scaling the narrowband correlator bandwidth further down, the receiver
    sensitivity can be further improved.
author:
- first_name: Saed
  full_name: Abughannam, Saed
  id: '37628'
  last_name: Abughannam
- first_name: Christoph
  full_name: Scheytt, Christoph
  id: '37144'
  last_name: Scheytt
citation:
  ama: 'Abughannam S, Scheytt C. Sensitivity Analysis of a Low-Power Wake-Up Receiver
    Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator. In:
    <i>IEEE International Symposium on Personal, Indoor and Mobile Radio Communications
    (PIMRC 2020) </i>. IEEE; 2020. doi:<a href="https://doi.org/10.1109/PIMRC48278.2020.9217198">10.1109/PIMRC48278.2020.9217198</a>'
  apa: Abughannam, S., &#38; Scheytt, C. (2020). Sensitivity Analysis of a Low-Power
    Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband
    Correlator. <i>IEEE International Symposium on Personal, Indoor and Mobile Radio
    Communications (PIMRC 2020) </i>. <a href="https://doi.org/10.1109/PIMRC48278.2020.9217198">https://doi.org/10.1109/PIMRC48278.2020.9217198</a>
  bibtex: '@inproceedings{Abughannam_Scheytt_2020, place={Virtuelle Konferenz}, title={Sensitivity
    Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator
    and a Baseband Narrowband Correlator}, DOI={<a href="https://doi.org/10.1109/PIMRC48278.2020.9217198">10.1109/PIMRC48278.2020.9217198</a>},
    booktitle={IEEE International Symposium on Personal, Indoor and Mobile Radio Communications
    (PIMRC 2020) }, publisher={IEEE}, author={Abughannam, Saed and Scheytt, Christoph},
    year={2020} }'
  chicago: 'Abughannam, Saed, and Christoph Scheytt. “Sensitivity Analysis of a Low-Power
    Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband
    Correlator.” In <i>IEEE International Symposium on Personal, Indoor and Mobile
    Radio Communications (PIMRC 2020) </i>. Virtuelle Konferenz: IEEE, 2020. <a href="https://doi.org/10.1109/PIMRC48278.2020.9217198">https://doi.org/10.1109/PIMRC48278.2020.9217198</a>.'
  ieee: 'S. Abughannam and C. Scheytt, “Sensitivity Analysis of a Low-Power Wake-Up
    Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator,”
    2020, doi: <a href="https://doi.org/10.1109/PIMRC48278.2020.9217198">10.1109/PIMRC48278.2020.9217198</a>.'
  mla: Abughannam, Saed, and Christoph Scheytt. “Sensitivity Analysis of a Low-Power
    Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband
    Correlator.” <i>IEEE International Symposium on Personal, Indoor and Mobile Radio
    Communications (PIMRC 2020) </i>, IEEE, 2020, doi:<a href="https://doi.org/10.1109/PIMRC48278.2020.9217198">10.1109/PIMRC48278.2020.9217198</a>.
  short: 'S. Abughannam, C. Scheytt, in: IEEE International Symposium on Personal,
    Indoor and Mobile Radio Communications (PIMRC 2020) , IEEE, Virtuelle Konferenz,
    2020.'
conference:
  end_date: 2020.09.03
  start_date: 2020.08.31
date_created: 2021-09-09T11:50:13Z
date_updated: 2022-01-06T06:56:06Z
department:
- _id: '58'
doi: 10.1109/PIMRC48278.2020.9217198
language:
- iso: eng
place: Virtuelle Konferenz
publication: 'IEEE International Symposium on Personal, Indoor and Mobile Radio Communications
  (PIMRC 2020) '
publisher: IEEE
related_material:
  link:
  - relation: confirmation
    url: https://ieeexplore.ieee.org/document/9217198
status: public
title: Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code
  SAW Correlator and a Baseband Narrowband Correlator
type: conference
user_id: '15931'
year: '2020'
...
---
_id: '24027'
abstract:
- lang: eng
  text: Fault effect simulation is a well-established technique for the qualification
    of robust embedded software and hardware as required by different safety standards.
    Our article introduces a Virtual Prototype based approach for the fault analysis
    and fast simulation of a set of automatically generated and target compiled software
    programs. The approach scales to different RISC-V ISA standard subset configurations
    and is based on an instruction and hardware register coverage for automatic fault
    injections of permanent and transient bitflips. The analysis of each software
    binary evaluates its opcode type and register access coverage including the addressed
    memory space. Based on this information dedicated sets of fault injected hardware
    models, i.e., mutants, are generated. The simulation of all mutants conducted
    with the different binaries finally identifies the cases with a normal termination
    though executed on a faulty hardware model. They are identified as a subject for
    further investigations and improvements by the implementation of additional hardware
    or software safety countermeasures. Our final evaluation results with automatic
    C code generation, compilation, analysis, and simulation show that QEMU provides
    an adequate efficient platform, which also scales to more complex scenarios.
author:
- first_name: Peer
  full_name: Adelt, Peer
  id: '5603'
  last_name: Adelt
- first_name: Bastian
  full_name: Koppelmann, Bastian
  id: '25260'
  last_name: Koppelmann
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Christoph
  full_name: Scheytt, Christoph
  id: '37144'
  last_name: Scheytt
citation:
  ama: 'Adelt P, Koppelmann B, Müller W, Scheytt C. A Scalable Platform for QEMU Based
    Fault Effect Analysis for RISC-V Hardware Architectures. In: <i>MBMV 2020 - Methods
    and Description Languages for Modelling and Verification of Circuits and Systems;
    GMM/ITG/GI-Workshop</i>. ; 2020.'
  apa: Adelt, P., Koppelmann, B., Müller, W., &#38; Scheytt, C. (2020). A Scalable
    Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures.
    <i>MBMV 2020 - Methods and Description Languages for Modelling and Verification
    of Circuits and Systems; GMM/ITG/GI-Workshop</i>.
  bibtex: '@inproceedings{Adelt_Koppelmann_Müller_Scheytt_2020, place={Stuttgart,
    DE}, title={A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V
    Hardware Architectures}, booktitle={MBMV 2020 - Methods and Description Languages
    for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop},
    author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Scheytt,
    Christoph}, year={2020} }'
  chicago: Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt.
    “A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware
    Architectures.” In <i>MBMV 2020 - Methods and Description Languages for Modelling
    and Verification of Circuits and Systems; GMM/ITG/GI-Workshop</i>. Stuttgart,
    DE, 2020.
  ieee: P. Adelt, B. Koppelmann, W. Müller, and C. Scheytt, “A Scalable Platform for
    QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures,” 2020.
  mla: Adelt, Peer, et al. “A Scalable Platform for QEMU Based Fault Effect Analysis
    for RISC-V Hardware Architectures.” <i>MBMV 2020 - Methods and Description Languages
    for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop</i>,
    2020.
  short: 'P. Adelt, B. Koppelmann, W. Müller, C. Scheytt, in: MBMV 2020 - Methods
    and Description Languages for Modelling and Verification of Circuits and Systems;
    GMM/ITG/GI-Workshop, Stuttgart, DE, 2020.'
date_created: 2021-09-09T11:50:19Z
date_updated: 2022-01-06T06:56:06Z
department:
- _id: '58'
language:
- iso: eng
place: Stuttgart, DE
publication: MBMV 2020 - Methods and Description Languages for Modelling and Verification
  of Circuits and Systems; GMM/ITG/GI-Workshop
related_material:
  link:
  - relation: confirmation
    url: https://ieeexplore.ieee.org/document/9094540
status: public
title: A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware
  Architectures
type: conference
user_id: '15931'
year: '2020'
...
---
_id: '24030'
abstract:
- lang: eng
  text: Low-power receivers use direct-detection receiver architecture for its design
    simplicity and its low power dissipation. However, the direct-detection based
    receivers suffer from co-channel interference which significantly degrades the
    communication reliability. Co-channel interference robustness can be improved
    by using a BPSK Barker code modulated Surface Acoustic Wave (SAW) correlator as
    a prior stage to the RF direct detection circuit. This paper reports in details
    the design, fabrication and measurements of a 2.45 GHz SAW correlator with 13
    bits length Barker code. The device is fabricated on Lithium Niobate LiNbO3 substrate
    and it is composed of an input non-coded Inter Digital Transducers (IDT), a Piezoelectric
    substrate and an output coded IDT. The device wavelength λ is set to 1.6 μm, considering
    a phase velocity of the wave equal to 3970 m.s-1. Several configurations of the
    device were designed and fabricated, particularly varying the aperture and the
    non-coded IDT length to find out the optimal device configuration. All devices
    were found to operate with Insertion Loss (IL) ranging from 12 to 15 dB at 2.45
    GHz with a tip probing measurement setup, while a packaged sample has an IL of
    12.45 dB at 2.44 GHz mounted on a PCB with external 50 Ω LC matching network.
    Additionally, time-domain measurement for the packaged device shows that the output
    has a correlation peak with a peak-to-side-lobe (PSL) ratio of 4:1 for a -0.5
    dBm input BPSK Barker code signal.
author:
- first_name: Sylvain
  full_name: Ballandras, Sylvain
  last_name: Ballandras
- first_name: Saed
  full_name: Abughannam, Saed
  id: '37628'
  last_name: Abughannam
- first_name: Emilie
  full_name: Courjon, Emilie
  last_name: Courjon
- first_name: Christoph
  full_name: Scheytt, Christoph
  id: '37144'
  last_name: Scheytt
citation:
  ama: 'Ballandras S, Abughannam S, Courjon E, Scheytt C. Design and Fabrication of
    Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power
    Wake-up Receivers. In: <i>GeMiC 2020 - German Microwave Conference</i>. ; 2020.'
  apa: Ballandras, S., Abughannam, S., Courjon, E., &#38; Scheytt, C. (2020). Design
    and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45
    GHz for Low-Power Wake-up Receivers. <i>GeMiC 2020 - German Microwave Conference</i>.
  bibtex: '@inproceedings{Ballandras_Abughannam_Courjon_Scheytt_2020, title={Design
    and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45
    GHz for Low-Power Wake-up Receivers}, booktitle={GeMiC 2020 - German Microwave
    Conference}, author={Ballandras, Sylvain and Abughannam, Saed and Courjon, Emilie
    and Scheytt, Christoph}, year={2020} }'
  chicago: Ballandras, Sylvain, Saed Abughannam, Emilie Courjon, and Christoph Scheytt.
    “Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator
    at 2.45 GHz for Low-Power Wake-up Receivers.” In <i>GeMiC 2020 - German Microwave
    Conference</i>, 2020.
  ieee: S. Ballandras, S. Abughannam, E. Courjon, and C. Scheytt, “Design and Fabrication
    of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power
    Wake-up Receivers,” 2020.
  mla: Ballandras, Sylvain, et al. “Design and Fabrication of Barker Coded Surface
    Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers.” <i>GeMiC
    2020 - German Microwave Conference</i>, 2020.
  short: 'S. Ballandras, S. Abughannam, E. Courjon, C. Scheytt, in: GeMiC 2020 - German
    Microwave Conference, 2020.'
date_created: 2021-09-09T11:50:23Z
date_updated: 2022-01-06T06:56:06Z
department:
- _id: '58'
language:
- iso: eng
publication: GeMiC 2020 - German Microwave Conference
related_material:
  link:
  - relation: confirmation
    url: https://ieeexplore.ieee.org/document/9080181
status: public
title: Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator
  at 2.45 GHz for Low-Power Wake-up Receivers
type: conference
user_id: '15931'
year: '2020'
...
---
_id: '3583'
author:
- first_name: Zakarya
  full_name: ' Guetttatfi, Zakarya'
  last_name: ' Guetttatfi'
- first_name: Paul
  full_name: Kaufmann, Paul
  last_name: Kaufmann
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Guetttatfi Z, Kaufmann P, Platzner M. Optimal and Greedy Heuristic Approaches
    for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices.
    In: <i>Proceedings of the International Workshop on Applied Reconfigurable Computing
    (ARC)</i>. ; 2020.'
  apa: Guetttatfi, Z., Kaufmann, P., &#38; Platzner, M. (2020). Optimal and Greedy
    Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable
    Computing Devices. In <i>Proceedings of the International Workshop on Applied
    Reconfigurable Computing (ARC)</i>.
  bibtex: '@inproceedings{ Guetttatfi_Kaufmann_Platzner_2020, title={Optimal and Greedy
    Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable
    Computing Devices}, booktitle={Proceedings of the International Workshop on Applied
    Reconfigurable Computing (ARC)}, author={ Guetttatfi, Zakarya and Kaufmann, Paul
    and Platzner, Marco}, year={2020} }'
  chicago: Guetttatfi, Zakarya, Paul Kaufmann, and Marco Platzner. “Optimal and Greedy
    Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable
    Computing Devices.” In <i>Proceedings of the International Workshop on Applied
    Reconfigurable Computing (ARC)</i>, 2020.
  ieee: Z.  Guetttatfi, P. Kaufmann, and M. Platzner, “Optimal and Greedy Heuristic
    Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing
    Devices,” in <i>Proceedings of the International Workshop on Applied Reconfigurable
    Computing (ARC)</i>, 2020.
  mla: Guetttatfi, Zakarya, et al. “Optimal and Greedy Heuristic Approaches for Scheduling
    and Mapping of Hardware Tasks to Reconfigurable Computing Devices.” <i>Proceedings
    of the International Workshop on Applied Reconfigurable Computing (ARC)</i>, 2020.
  short: 'Z.  Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International
    Workshop on Applied Reconfigurable Computing (ARC), 2020.'
date_created: 2018-07-20T14:07:15Z
date_updated: 2022-01-06T06:59:25Z
department:
- _id: '78'
- _id: '34'
- _id: '7'
language:
- iso: eng
publication: Proceedings of the International Workshop on Applied Reconfigurable Computing
  (ARC)
status: public
title: Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware
  Tasks to Reconfigurable Computing Devices
type: conference
user_id: '398'
year: '2020'
...
---
_id: '3800'
author:
- first_name: Henning
  full_name: Wachsmuth, Henning
  id: '3900'
  last_name: Wachsmuth
- first_name: Till
  full_name: Werner, Till
  last_name: Werner
citation:
  ama: 'Wachsmuth H, Werner T. Intrinsic Quality Assessment of Arguments. In: <i>Proceedings
    of COLING 2020, the 28th International Conference on Computational Linguistics</i>.
    ; 2020:6739-6745.'
  apa: Wachsmuth, H., &#38; Werner, T. (2020). Intrinsic Quality Assessment of Arguments.
    In <i>Proceedings of COLING 2020, the 28th International Conference on Computational
    Linguistics</i> (pp. 6739–6745).
  bibtex: '@inproceedings{Wachsmuth_Werner_2020, title={Intrinsic Quality Assessment
    of Arguments}, booktitle={Proceedings of COLING 2020, the 28th International Conference
    on Computational Linguistics}, author={Wachsmuth, Henning and Werner, Till}, year={2020},
    pages={6739–6745} }'
  chicago: Wachsmuth, Henning, and Till Werner. “Intrinsic Quality Assessment of Arguments.”
    In <i>Proceedings of COLING 2020, the 28th International Conference on Computational
    Linguistics</i>, 6739–45, 2020.
  ieee: H. Wachsmuth and T. Werner, “Intrinsic Quality Assessment of Arguments,” in
    <i>Proceedings of COLING 2020, the 28th International Conference on Computational
    Linguistics</i>, 2020, pp. 6739–6745.
  mla: Wachsmuth, Henning, and Till Werner. “Intrinsic Quality Assessment of Arguments.”
    <i>Proceedings of COLING 2020, the 28th International Conference on Computational
    Linguistics</i>, 2020, pp. 6739–45.
  short: 'H. Wachsmuth, T. Werner, in: Proceedings of COLING 2020, the 28th International
    Conference on Computational Linguistics, 2020, pp. 6739–6745.'
date_created: 2018-08-02T13:38:21Z
date_updated: 2022-01-06T06:59:36Z
department:
- _id: '600'
language:
- iso: eng
main_file_link:
- url: https://www.aclweb.org/anthology/2020.coling-main.592.pdf
page: 6739-6745
publication: Proceedings of COLING 2020, the 28th International Conference on Computational
  Linguistics
status: public
title: Intrinsic Quality Assessment of Arguments
type: conference
user_id: '82920'
year: '2020'
...
---
_id: '3878'
author:
- first_name: Roxanne
  full_name: El Baff, Roxanne
  last_name: El Baff
- first_name: Henning
  full_name: Wachsmuth, Henning
  id: '3900'
  last_name: Wachsmuth
- first_name: Khalid
  full_name: Al-Khatib, Khalid
  last_name: Al-Khatib
- first_name: Benno
  full_name: Stein, Benno
  last_name: Stein
citation:
  ama: 'El Baff R, Wachsmuth H, Al-Khatib K, Stein B. Analyzing the Persuasive Effect
    of Style in News Editorial Argumentation. In: Tsujii J, Hajic J, eds. <i>Proceedings
    of 58th Annual Meeting of the Association for Computational Linguistics</i>. ;
    2020:553-564.'
  apa: El Baff, R., Wachsmuth, H., Al-Khatib, K., &#38; Stein, B. (2020). Analyzing
    the Persuasive Effect of Style in News Editorial Argumentation. In J. Tsujii &#38;
    J. Hajic (Eds.), <i>Proceedings of 58th Annual Meeting of the Association for
    Computational Linguistics</i> (pp. 553–564).
  bibtex: '@inproceedings{El Baff_Wachsmuth_Al-Khatib_Stein_2020, title={Analyzing
    the Persuasive Effect of Style in News Editorial Argumentation}, booktitle={Proceedings
    of 58th Annual Meeting of the Association for Computational Linguistics}, author={El
    Baff, Roxanne and Wachsmuth, Henning and Al-Khatib, Khalid and Stein, Benno},
    editor={Tsujii, Junichi and Hajic, JanEditors}, year={2020}, pages={553–564} }'
  chicago: El Baff, Roxanne, Henning Wachsmuth, Khalid Al-Khatib, and Benno Stein.
    “Analyzing the Persuasive Effect of Style in News Editorial Argumentation.” In
    <i>Proceedings of 58th Annual Meeting of the Association for Computational Linguistics</i>,
    edited by Junichi Tsujii and Jan Hajic, 553–64, 2020.
  ieee: R. El Baff, H. Wachsmuth, K. Al-Khatib, and B. Stein, “Analyzing the Persuasive
    Effect of Style in News Editorial Argumentation,” in <i>Proceedings of 58th Annual
    Meeting of the Association for Computational Linguistics</i>, 2020, pp. 553–564.
  mla: El Baff, Roxanne, et al. “Analyzing the Persuasive Effect of Style in News
    Editorial Argumentation.” <i>Proceedings of 58th Annual Meeting of the Association
    for Computational Linguistics</i>, edited by Junichi Tsujii and Jan Hajic, 2020,
    pp. 553–64.
  short: 'R. El Baff, H. Wachsmuth, K. Al-Khatib, B. Stein, in: J. Tsujii, J. Hajic
    (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational
    Linguistics, 2020, pp. 553–564.'
date_created: 2018-08-11T16:14:29Z
date_updated: 2022-01-06T06:59:47Z
department:
- _id: '600'
- _id: '568'
editor:
- first_name: Junichi
  full_name: Tsujii, Junichi
  last_name: Tsujii
- first_name: Jan
  full_name: Hajic, Jan
  last_name: Hajic
language:
- iso: eng
page: 553-564
publication: Proceedings of 58th Annual Meeting of the Association for Computational
  Linguistics
status: public
title: Analyzing the Persuasive Effect of Style in News Editorial Argumentation
type: conference
user_id: '82920'
year: '2020'
...
