[{"date_created":"2020-10-20T13:03:08Z","type":"conference","oa":"1","department":[{"_id":"600"}],"publication":"Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020)","citation":{"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).","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.","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.","short":"M. Spliethöver, H. Wachsmuth, in: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020), 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.","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.","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} }"},"main_file_link":[{"url":"https://www.aclweb.org/anthology/2020.argmining-1.9","open_access":"1"}],"page":"76-87","_id":"20139","language":[{"iso":"eng"}],"user_id":"84035","year":"2020","title":"Argument from Old Man's View: Assessing Social Bias in Argumentation","status":"public","author":[{"id":"84035","orcid":"0000-0003-4364-1409","last_name":"Spliethöver","first_name":"Maximilian","full_name":"Spliethöver, Maximilian"},{"id":"3900","last_name":"Wachsmuth","first_name":"Henning","full_name":"Wachsmuth, Henning"}],"date_updated":"2022-01-06T06:54:20Z"},{"publication":"Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020)","citation":{"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.","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} }","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.","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.","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).","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.","short":"J. Dorsch, H. Wachsmuth, in: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020), 2020, pp. 19–29."},"type":"conference","department":[{"_id":"600"}],"date_created":"2020-10-20T13:04:15Z","date_updated":"2022-01-06T06:54:20Z","year":"2020","title":"Semi-Supervised Cleansing of Web Argument Corpora","status":"public","author":[{"first_name":"Jonas","last_name":"Dorsch","full_name":"Dorsch, Jonas"},{"id":"3900","first_name":"Henning","last_name":"Wachsmuth","full_name":"Wachsmuth, Henning"}],"user_id":"82920","main_file_link":[{"url":"https://www.aclweb.org/anthology/2020.argmining-1.3.pdf"}],"page":"19-29","language":[{"iso":"eng"}],"_id":"20140"},{"doi":"10.4230/LIPIcs.ESA.2020.12","series_title":"Leibniz International Proceedings in Informatics (LIPIcs)","language":[{"iso":"eng"}],"intvolume":"       173","date_updated":"2022-01-06T06:54:20Z","publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-95977-162-7"]},"author":[{"full_name":"Baswana, Surender","last_name":"Baswana","first_name":"Surender"},{"full_name":"Gupta, Shiv","last_name":"Gupta","first_name":"Shiv"},{"id":"39241","orcid":"0000-0003-2014-4696","first_name":"Till","last_name":"Knollmann","full_name":"Knollmann, Till"}],"title":"Mincut Sensitivity Data Structures for the Insertion of an Edge","year":"2020","department":[{"_id":"63"}],"type":"conference","keyword":["Mincut","Sensitivity","Data Structure"],"date_created":"2020-10-21T12:00:20Z","abstract":[{"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 𝒪(|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 𝒪(|S|). \r\n2) All-pairs: There exists an 𝒪(|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 𝒪(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 𝒪(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 𝒪(n) size.","lang":"eng"}],"publication":"28th Annual European Symposium on Algorithms (ESA 2020)","editor":[{"first_name":"Fabrizio","last_name":"Grandoni","full_name":"Grandoni, Fabrizio"},{"first_name":"Grzegorz","last_name":"Herman","full_name":"Herman, Grzegorz"},{"full_name":"Sanders, Peter","last_name":"Sanders","first_name":"Peter"}],"volume":173,"user_id":"39241","publisher":"Schloss Dagstuhl -- Leibniz-Zentrum für Informatik","_id":"20159","page":"12:1-12:14","status":"public","place":"Dagstuhl, Germany","citation":{"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>.","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>","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)} }","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>","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.","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.","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>."}},{"citation":{"mla":"Bondarenko, Alexander, et al. “Overview of Touché 2020: Argument Retrieval.” <i>CEUR Workshop Proceedings</i>, vol. 2696, 2020, pp. 384–95.","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} }","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.","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.","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).","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.","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."},"publication":"CEUR Workshop Proceedings","date_created":"2020-10-22T07:22:52Z","department":[{"_id":"600"}],"type":"conference","author":[{"first_name":"Alexander","last_name":"Bondarenko","full_name":"Bondarenko, Alexander"},{"full_name":"Fröbe, Maik","last_name":"Fröbe","first_name":"Maik"},{"full_name":"Beloucif, Meriem","first_name":"Meriem","last_name":"Beloucif"},{"first_name":"Lukas","last_name":"Gienapp","full_name":"Gienapp, Lukas"},{"last_name":"Ajjour","first_name":"Yamen","full_name":"Ajjour, Yamen"},{"full_name":"Panchenko, Alexander","last_name":"Panchenko","first_name":"Alexander"},{"last_name":"Biemann","first_name":"Chris","full_name":"Biemann, Chris"},{"full_name":"Stein, Benno","last_name":"Stein","first_name":"Benno"},{"id":"3900","first_name":"Henning","last_name":"Wachsmuth","full_name":"Wachsmuth, Henning"},{"first_name":"Martin","last_name":"Potthast","full_name":"Potthast, Martin"},{"last_name":"Hagen","first_name":"Matthias","full_name":"Hagen, Matthias"}],"title":"Overview of Touché 2020: Argument Retrieval","status":"public","year":"2020","intvolume":"      2696","date_updated":"2022-01-06T06:54:20Z","_id":"20166","language":[{"iso":"eng"}],"page":"384-395","main_file_link":[{"url":"http://ceur-ws.org/Vol-2696/paper_261.pdf"}],"volume":2696,"user_id":"82920"},{"user_id":"38705","volume":12514,"editor":[{"first_name":"Stéphane ","last_name":"Devismes","full_name":"Devismes, Stéphane "},{"full_name":" Mittal, Neeraj","first_name":"Neeraj","last_name":" Mittal"}],"page":"60-64","publisher":"Springer","_id":"20185","status":"public","external_id":{"arxiv":["2010.04424 "]},"citation":{"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>","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.","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>.","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.","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>.","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>","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)} }"},"doi":"10.1007/978-3-030-64348-5_5","series_title":"Lecture Notes in Computer Science (LNCS)","language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2022-01-06T06:54:21Z","intvolume":"     12514","title":"Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility ","year":"2020","author":[{"id":"38705","first_name":"Jannik","last_name":"Castenow","full_name":"Castenow, Jannik"},{"id":"47213","full_name":"Harbig, Jonas","first_name":"Jonas","last_name":"Harbig"},{"full_name":"Jung, Daniel","first_name":"Daniel","last_name":"Jung","id":"37827"},{"first_name":"Till","last_name":"Knollmann","orcid":"0000-0003-2014-4696","full_name":"Knollmann, Till","id":"39241"},{"full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm","id":"15523"}],"publication_identifier":{"isbn":["978-3-030-64347-8"]},"type":"conference","department":[{"_id":"63"}],"date_created":"2020-10-23T08:50:28Z","publication":"Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings "},{"intvolume":"        52","publication_status":"published","date_updated":"2022-01-06T06:54:22Z","author":[{"orcid":"0000-0002-6331-9348","first_name":"Manfred","last_name":"Hammer","full_name":"Hammer, Manfred","id":"48077"},{"full_name":"Ebers, Lena","last_name":"Ebers","first_name":"Lena","id":"40428"},{"id":"158","orcid":"0000-0001-7059-9862","first_name":"Jens","last_name":"Förstner","full_name":"Förstner, Jens"}],"publication_identifier":{"issn":["0306-8919","1572-817X"]},"year":"2020","title":"Hybrid coupled mode modelling of the evanescent excitation of a dielectric tube by semi-guided waves at oblique angles","doi":"10.1007/s11082-020-02595-z","language":[{"iso":"eng"}],"article_number":"472","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."}],"publication":"Optical and Quantum Electronics","department":[{"_id":"61"},{"_id":"230"},{"_id":"429"}],"type":"journal_article","keyword":["tet_topic_waveguides"],"date_created":"2020-10-24T08:03:58Z","file":[{"creator":"fossie","date_created":"2020-10-24T08:11:40Z","relation":"main_file","date_updated":"2020-10-24T08:11:40Z","file_name":"2020-10 Hammer - OQE - Hybrid Coupled Mode Modelling Dielectric Tube.pdf","access_level":"closed","file_size":2212769,"file_id":"20190","success":1,"content_type":"application/pdf"}],"has_accepted_license":"1","status":"public","volume":52,"user_id":"158","ddc":["530"],"_id":"20189","project":[{"name":"TRR 142 - Project Area C","_id":"56"},{"name":"TRR 142 - Subproject C5","_id":"75"},{"name":"TRR 142","_id":"53"}],"citation":{"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>.","short":"M. Hammer, L. Ebers, J. Förstner, Optical and Quantum Electronics 52 (2020).","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>","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.","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>","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} }","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>."},"file_date_updated":"2020-10-24T08:11:40Z"},{"_id":"20221","language":[{"iso":"eng"}],"user_id":"15504","year":"2020","status":"public","title":"Plurality Consensus in Hybrid Networks","author":[{"last_name":"Yeole","first_name":"Paresh Kishor","full_name":"Yeole, Paresh Kishor"}],"date_updated":"2022-01-06T06:54:23Z","date_created":"2020-10-29T07:45:57Z","type":"mastersthesis","department":[{"_id":"79"}],"citation":{"ama":"Yeole PK. <i>Plurality Consensus in Hybrid Networks</i>.; 2020.","bibtex":"@book{Yeole_2020, title={Plurality Consensus in Hybrid Networks}, author={Yeole, Paresh Kishor}, year={2020} }","mla":"Yeole, Paresh Kishor. <i>Plurality Consensus in Hybrid Networks</i>. 2020.","short":"P.K. Yeole, Plurality Consensus in Hybrid Networks, 2020.","chicago":"Yeole, Paresh Kishor. <i>Plurality Consensus in Hybrid Networks</i>, 2020.","apa":"Yeole, P. K. (2020). <i>Plurality Consensus in Hybrid Networks</i>.","ieee":"P. K. Yeole, <i>Plurality Consensus in Hybrid Networks</i>. 2020."},"supervisor":[{"full_name":"Scheideler, Christian","last_name":"Scheideler","first_name":"Christian","id":"20792"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area A","_id":"2"},{"name":"SFB 901 - Subproject A1","_id":"5"}]},{"oa":"1","file_date_updated":"2020-10-30T13:52:58Z","citation":{"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>.","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>","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} }","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>","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.","short":"V. Myroshnychenko, S. Smirnov, P.M.M. Jose, C. Brosseau, J. Förstner, Acta Materialia 203 (2020) 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>."},"project":[{"_id":"52","name":"Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"page":"116432","_id":"20233","ddc":["530"],"user_id":"158","volume":203,"status":"public","has_accepted_license":"1","file":[{"creator":"fossie","date_created":"2020-10-30T13:52:58Z","file_name":"2020-10 Myroshnychenko - Acta Material (accepted preprint)_compressed.pdf","access_level":"open_access","file_size":3934721,"relation":"main_file","date_updated":"2020-10-30T13:52:58Z","file_id":"20234","content_type":"application/pdf","title":"(Accepted Preprint)"}],"date_created":"2020-10-30T13:51:42Z","type":"journal_article","department":[{"_id":"61"},{"_id":"230"}],"publication":"Acta Materialia","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."}],"language":[{"iso":"eng"}],"doi":"10.1016/j.actamat.2020.10.051","title":"Nonlinear dielectric properties of random paraelectric-dielectric composites","year":"2020","publication_identifier":{"issn":["1359-6454"]},"author":[{"id":"46371","full_name":"Myroshnychenko, Viktor","first_name":"Viktor","last_name":"Myroshnychenko"},{"full_name":"Smirnov, Stanislav","first_name":"Stanislav","last_name":"Smirnov"},{"last_name":"Jose","first_name":"Pious Mathews Mulavarickal","full_name":"Jose, Pious Mathews Mulavarickal"},{"full_name":"Brosseau, Christian","last_name":"Brosseau","first_name":"Christian"},{"first_name":"Jens","last_name":"Förstner","orcid":"0000-0001-7059-9862","full_name":"Förstner, Jens","id":"158"}],"date_updated":"2022-01-06T06:54:24Z","publication_status":"published","intvolume":"       203"},{"status":"public","page":"39-58","_id":"20274","publisher":"Springer","user_id":"29719","editor":[{"last_name":"Gotsman","first_name":"Alexey","full_name":"Gotsman, Alexey"},{"first_name":"Ana","last_name":"Sokolova","full_name":"Sokolova, Ana"}],"volume":12136,"citation":{"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>.","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} }","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>","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.","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>","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>.","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."},"project":[{"name":"Validation of Software Transactional Memory","_id":"78"}],"title":"Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory","year":"2020","author":[{"last_name":"Bila","first_name":"Eleni","full_name":"Bila, Eleni"},{"full_name":"Doherty, Simon","last_name":"Doherty","first_name":"Simon"},{"full_name":"Dongol, Brijesh","last_name":"Dongol","first_name":"Brijesh"},{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"full_name":"Schellhorn, Gerhard","first_name":"Gerhard","last_name":"Schellhorn"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:54:25Z","intvolume":"     12136","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"doi":"10.1007/978-3-030-50086-3\\_3","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","date_created":"2020-11-04T08:27:09Z","type":"conference","department":[{"_id":"77"}]},{"type":"conference","department":[{"_id":"77"}],"date_created":"2020-11-04T08:31:37Z","publication":"Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020","citation":{"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>.","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>","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} }","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>","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.","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.","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>."},"doi":"10.5220/0009766600150026","user_id":"29719","editor":[{"last_name":"van Sinderen","first_name":"Marten","full_name":"van Sinderen, Marten"},{"last_name":"Fill","first_name":"Hans{-}Georg","full_name":"Fill, Hans{-}Georg"},{"full_name":"A. Maciaszek, Leszek","last_name":"A. Maciaszek","first_name":"Leszek"}],"page":"15-26","publisher":"ScitePress","_id":"20275","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:25Z","year":"2020","status":"public","title":"Consistency Analysis of AUTOSAR Timing Requirements","author":[{"last_name":"Beringer","first_name":"Steffen","full_name":"Beringer, Steffen"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}]},{"project":[{"name":"Kooperative Softwareverifikation","_id":"85"}],"citation":{"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.","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>","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>.","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.","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>.","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} }","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>"},"status":"public","user_id":"29719","editor":[{"last_name":"Margaria","first_name":"Tiziana","full_name":"Margaria, Tiziana"},{"full_name":"Steffen, Bernhard","last_name":"Steffen","first_name":"Bernhard"}],"volume":12476,"page":"143-167","_id":"20276","publisher":"Springer","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}","type":"conference","department":[{"_id":"77"}],"date_created":"2020-11-04T08:36:22Z","date_updated":"2022-01-06T06:54:25Z","intvolume":"     12476","title":"Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework","year":"2020","author":[{"full_name":"Beyer, Dirk","first_name":"Dirk","last_name":"Beyer"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"doi":"10.1007/978-3-030-61362-4\\_8","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}]},{"_id":"20277","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"publisher":"Springer","editor":[{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"},{"full_name":"Cabot, Jordi","last_name":"Cabot","first_name":"Jordi"}],"volume":12076,"doi":"10.1007/978-3-030-45234-6","user_id":"29719","publication_identifier":{"isbn":["978-3-030-45233-9"]},"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","status":"public","year":"2020","intvolume":"     12076","date_updated":"2022-01-06T06:54:25Z","date_created":"2020-11-04T08:42:19Z","department":[{"_id":"77"}],"type":"conference_editor","citation":{"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>.","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.","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.","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} }","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>","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>."}},{"intvolume":"     12165","date_updated":"2022-01-06T06:54:25Z","publication_identifier":{"isbn":["978-3-030-50994-1"]},"title":"Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]","year":"2020","status":"public","volume":12165,"editor":[{"last_name":"Ahrendt","first_name":"Wolfgang","full_name":"Ahrendt, Wolfgang"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"user_id":"29719","doi":"10.1007/978-3-030-50995-8","_id":"20278","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"publisher":"Springer","citation":{"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>","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>.","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.","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.","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>","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>.","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} }"},"department":[{"_id":"77"}],"type":"conference_editor","date_created":"2020-11-04T08:44:33Z"},{"volume":"abs/2002.12278","user_id":"29719","_id":"20279","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:25Z","author":[{"id":"67200","full_name":"Sharma, Arnab","first_name":"Arnab","last_name":"Sharma"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"title":"Testing Monotonicity of Machine Learning Models","status":"public","year":"2020","department":[{"_id":"77"}],"type":"journal_article","date_created":"2020-11-04T08:48:04Z","citation":{"short":"A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).","chicago":"Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning Models.” <i>CoRR</i> abs/2002.12278 (2020).","apa":"Sharma, A., &#38; Wehrheim, H. (2020). Testing Monotonicity of Machine Learning Models. <i>CoRR</i>, <i>abs/2002.12278</i>.","ieee":"A. Sharma and H. Wehrheim, “Testing Monotonicity of Machine Learning Models,” <i>CoRR</i>, vol. abs/2002.12278, 2020.","ama":"Sharma A, Wehrheim H. Testing Monotonicity of Machine Learning Models. <i>CoRR</i>. 2020;abs/2002.12278.","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} }","mla":"Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning Models.” <i>CoRR</i>, vol. abs/2002.12278, 2020."},"publication":"CoRR"},{"citation":{"short":"S. Abughannam, C. Scheytt, in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) , IEEE, Virtuelle Konferenz, 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>.","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} }","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>","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>."},"publication":"IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) ","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."}],"related_material":{"link":[{"relation":"confirmation","url":"https://ieeexplore.ieee.org/document/9217198"}]},"place":"Virtuelle Konferenz","date_created":"2021-09-09T11:50:13Z","department":[{"_id":"58"}],"type":"conference","conference":{"start_date":"2020.08.31","end_date":"2020.09.03"},"author":[{"id":"37628","full_name":"Abughannam, Saed","first_name":"Saed","last_name":"Abughannam"},{"full_name":"Scheytt, Christoph","last_name":"Scheytt","first_name":"Christoph","id":"37144"}],"title":"Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator","status":"public","year":"2020","date_updated":"2022-01-06T06:56:06Z","_id":"24022","publisher":"IEEE","language":[{"iso":"eng"}],"doi":"10.1109/PIMRC48278.2020.9217198","user_id":"15931"},{"publication":"MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop","citation":{"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.","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>.","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.","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.","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.","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} }","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."},"related_material":{"link":[{"url":"https://ieeexplore.ieee.org/document/9094540","relation":"confirmation"}]},"abstract":[{"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.","lang":"eng"}],"date_created":"2021-09-09T11:50:19Z","place":"Stuttgart, DE","type":"conference","department":[{"_id":"58"}],"year":"2020","title":"A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures","status":"public","author":[{"full_name":"Adelt, Peer","first_name":"Peer","last_name":"Adelt","id":"5603"},{"full_name":"Koppelmann, Bastian","first_name":"Bastian","last_name":"Koppelmann","id":"25260"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"},{"id":"37144","last_name":"Scheytt","first_name":"Christoph","full_name":"Scheytt, Christoph"}],"date_updated":"2022-01-06T06:56:06Z","_id":"24027","language":[{"iso":"eng"}],"user_id":"15931"},{"type":"conference","department":[{"_id":"58"}],"date_created":"2021-09-09T11:50:23Z","related_material":{"link":[{"url":"https://ieeexplore.ieee.org/document/9080181","relation":"confirmation"}]},"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."}],"publication":"GeMiC 2020 - German Microwave Conference","citation":{"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.","short":"S. Ballandras, S. Abughannam, E. Courjon, C. Scheytt, in: GeMiC 2020 - German Microwave Conference, 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.","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} }","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.","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."},"user_id":"15931","language":[{"iso":"eng"}],"_id":"24030","date_updated":"2022-01-06T06:56:06Z","year":"2020","status":"public","title":"Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers","author":[{"first_name":"Sylvain","last_name":"Ballandras","full_name":"Ballandras, Sylvain"},{"id":"37628","full_name":"Abughannam, Saed","last_name":"Abughannam","first_name":"Saed"},{"full_name":"Courjon, Emilie","first_name":"Emilie","last_name":"Courjon"},{"id":"37144","full_name":"Scheytt, Christoph","last_name":"Scheytt","first_name":"Christoph"}]},{"user_id":"398","language":[{"iso":"eng"}],"_id":"3583","date_updated":"2022-01-06T06:59:25Z","status":"public","title":"Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices","year":"2020","author":[{"full_name":" Guetttatfi, Zakarya","first_name":"Zakarya","last_name":" Guetttatfi"},{"full_name":"Kaufmann, Paul","last_name":"Kaufmann","first_name":"Paul"},{"id":"398","first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco"}],"type":"conference","department":[{"_id":"78"},{"_id":"34"},{"_id":"7"}],"date_created":"2018-07-20T14:07:15Z","publication":"Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC)","citation":{"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>.","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.","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.","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.","short":"Z.  Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 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.","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} }"}},{"date_updated":"2022-01-06T06:59:36Z","status":"public","title":"Intrinsic Quality Assessment of Arguments","year":"2020","author":[{"full_name":"Wachsmuth, Henning","last_name":"Wachsmuth","first_name":"Henning","id":"3900"},{"last_name":"Werner","first_name":"Till","full_name":"Werner, Till"}],"user_id":"82920","page":"6739-6745","main_file_link":[{"url":"https://www.aclweb.org/anthology/2020.coling-main.592.pdf"}],"_id":"3800","language":[{"iso":"eng"}],"publication":"Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics","citation":{"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.","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.","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} }","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).","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.","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.","short":"H. Wachsmuth, T. Werner, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, 2020, pp. 6739–6745."},"type":"conference","department":[{"_id":"600"}],"date_created":"2018-08-02T13:38:21Z"},{"language":[{"iso":"eng"}],"_id":"3878","page":"553-564","editor":[{"full_name":"Tsujii, Junichi","last_name":"Tsujii","first_name":"Junichi"},{"full_name":"Hajic, Jan","last_name":"Hajic","first_name":"Jan"}],"user_id":"82920","author":[{"full_name":"El Baff, Roxanne","first_name":"Roxanne","last_name":"El Baff"},{"id":"3900","last_name":"Wachsmuth","first_name":"Henning","full_name":"Wachsmuth, Henning"},{"full_name":"Al-Khatib, Khalid","last_name":"Al-Khatib","first_name":"Khalid"},{"full_name":"Stein, Benno","first_name":"Benno","last_name":"Stein"}],"status":"public","year":"2020","title":"Analyzing the Persuasive Effect of Style in News Editorial Argumentation","date_updated":"2022-01-06T06:59:47Z","date_created":"2018-08-11T16:14:29Z","department":[{"_id":"600"},{"_id":"568"}],"type":"conference","citation":{"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.","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.","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).","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.","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.","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} }","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."},"publication":"Proceedings of 58th Annual Meeting of the Association for Computational Linguistics"}]