[{"publication":"Software & Systems Modeling","citation":{"chicago":"Derakhshanmanesh, Mahdi, Jürgen Ebert, Marvin Grieger, and Gregor Engels. “Model-Integrating Development of Software Systems: A Flexible Component-Based Approach.” <i>Software &#38; Systems Modeling</i>, 2018, 1–30.","short":"M. Derakhshanmanesh, J. Ebert, M. Grieger, G. Engels, Software &#38; Systems Modeling (2018) 1–30.","apa":"Derakhshanmanesh, M., Ebert, J., Grieger, M., &#38; Engels, G. (2018). Model-integrating development of software systems: a flexible component-based approach. <i>Software &#38; Systems Modeling</i>, 1–30.","ieee":"M. Derakhshanmanesh, J. Ebert, M. Grieger, and G. Engels, “Model-integrating development of software systems: a flexible component-based approach,” <i>Software &#38; Systems Modeling</i>, pp. 1–30, 2018.","ama":"Derakhshanmanesh M, Ebert J, Grieger M, Engels G. Model-integrating development of software systems: a flexible component-based approach. <i>Software &#38; Systems Modeling</i>. 2018:1-30.","bibtex":"@article{Derakhshanmanesh_Ebert_Grieger_Engels_2018, title={Model-integrating development of software systems: a flexible component-based approach}, journal={Software &#38; Systems Modeling}, author={Derakhshanmanesh, Mahdi and Ebert, Jürgen and Grieger, Marvin and Engels, Gregor}, year={2018}, pages={1–30} }","mla":"Derakhshanmanesh, Mahdi, et al. “Model-Integrating Development of Software Systems: A Flexible Component-Based Approach.” <i>Software &#38; Systems Modeling</i>, 2018, pp. 1–30."},"date_created":"2019-01-24T09:08:46Z","type":"journal_article","department":[{"_id":"66"}],"year":"2018","status":"public","title":"Model-integrating development of software systems: a flexible component-based approach","author":[{"full_name":"Derakhshanmanesh, Mahdi","last_name":"Derakhshanmanesh","first_name":"Mahdi"},{"full_name":"Ebert, Jürgen","first_name":"Jürgen","last_name":"Ebert"},{"full_name":"Grieger, Marvin","first_name":"Marvin","last_name":"Grieger"},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"}],"date_updated":"2022-01-06T07:03:24Z","page":"1-30","_id":"6967","language":[{"iso":"eng"}],"user_id":"11319"},{"has_accepted_license":"1","status":"public","conference":{"location":"Abu Dhabi, UAE","name":"IEEE Global Communications Conference (GLOBECOM 2018)"},"user_id":"35343","ddc":["040"],"publisher":"IEEE","_id":"6970","project":[{"_id":"28","grant_number":"761493","name":"5G Development and validation platform for global industry-specific network services and Apps"},{"_id":"1","name":"SFB 901"},{"_id":"4","name":"SFB 901 - Project Area C"},{"_id":"16","name":"SFB 901 - Subproject C4"}],"file_date_updated":"2019-01-24T13:53:16Z","citation":{"short":"S.B. Schneider, S. Dräxler, H. Karl, in: IEEE Global Communications Conference (GLOBECOM 2018), IEEE, 2018.","chicago":"Schneider, Stefan Balthasar, Sevil Dräxler, and Holger Karl. “Trade-Offs in Dynamic Resource Allocation in Network Function Virtualization.” In <i>IEEE Global Communications Conference (GLOBECOM 2018)</i>. IEEE, 2018.","apa":"Schneider, S. B., Dräxler, S., &#38; Karl, H. (2018). Trade-offs in Dynamic Resource Allocation in Network Function Virtualization. In <i>IEEE Global Communications Conference (GLOBECOM 2018)</i>. Abu Dhabi, UAE: IEEE.","ieee":"S. B. Schneider, S. Dräxler, and H. Karl, “Trade-offs in Dynamic Resource Allocation in Network Function Virtualization,” in <i>IEEE Global Communications Conference (GLOBECOM 2018)</i>, Abu Dhabi, UAE, 2018.","ama":"Schneider SB, Dräxler S, Karl H. Trade-offs in Dynamic Resource Allocation in Network Function Virtualization. In: <i>IEEE Global Communications Conference (GLOBECOM 2018)</i>. IEEE; 2018.","bibtex":"@inproceedings{Schneider_Dräxler_Karl_2018, title={Trade-offs in Dynamic Resource Allocation in Network Function Virtualization}, booktitle={IEEE Global Communications Conference (GLOBECOM 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Dräxler, Sevil and Karl, Holger}, year={2018} }","mla":"Schneider, Stefan Balthasar, et al. “Trade-Offs in Dynamic Resource Allocation in Network Function Virtualization.” <i>IEEE Global Communications Conference (GLOBECOM 2018)</i>, IEEE, 2018."},"oa":"1","date_updated":"2022-01-06T07:03:24Z","title":"Trade-offs in Dynamic Resource Allocation in Network Function Virtualization","year":"2018","author":[{"orcid":"0000-0001-8210-4011","last_name":"Schneider","first_name":"Stefan Balthasar","full_name":"Schneider, Stefan Balthasar","id":"35343"},{"id":"31764","full_name":"Dräxler, Sevil","last_name":"Dräxler","first_name":"Sevil"},{"first_name":"Holger","last_name":"Karl","full_name":"Karl, Holger","id":"126"}],"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Dynamic allocation of resources is a key feature in network function virtualization (NFV), enabling flexible adjustment of slices and contained network services to ever-changing service demands. \r\nConsidering resource allocation across the entire network, many authors have proposed approaches to optimize the placement and chaining of virtual network function (VNF) instances and the allocation of resources to these VNF instances. In doing so, various optimization objectives are conceivable, e.g., minimizing certain required resources or the end-to-end delay of the placed services.\r\n\r\nIn this paper, we investigate the relationship between four typical optimization objectives when coordinating the placement and resource allocation of chained VNF instances. We observe an interesting trade-off between minimizing the overhead of starting/stopping VNF instances and all other objectives when adapting to changed service demands."}],"publication":"IEEE Global Communications Conference (GLOBECOM 2018)","type":"conference","department":[{"_id":"75"}],"file":[{"file_name":"preprint_ris.pdf","file_size":422196,"access_level":"open_access","relation":"main_file","date_updated":"2019-01-24T13:53:16Z","file_id":"6971","content_type":"application/pdf","creator":"stschn","date_created":"2019-01-24T13:53:16Z"}],"date_created":"2019-01-24T13:53:22Z"},{"has_accepted_license":"1","status":"public","conference":{"location":"Verona, Italy","name":"IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)"},"ddc":["040"],"user_id":"35343","_id":"6972","publisher":"IEEE","project":[{"_id":"28","grant_number":"761493","name":"5G Development and validation platform for global industry-specific network services and Apps"},{"_id":"1","name":"SFB 901"},{"_id":"4","name":"SFB 901 - Project Area C"},{"name":"SFB 901 - Subproject C4","_id":"16"}],"file_date_updated":"2019-01-24T14:25:23Z","citation":{"mla":"Schneider, Stefan Balthasar, et al. “A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms.” <i>IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)</i>, IEEE, 2018, doi:<a href=\"https://doi.org/10.1109/NFV-SDN.2018.8725795\">10.1109/NFV-SDN.2018.8725795</a>.","ama":"Schneider SB, Peuster M, Karl H. A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms. In: <i>IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)</i>. IEEE; 2018. doi:<a href=\"https://doi.org/10.1109/NFV-SDN.2018.8725795\">10.1109/NFV-SDN.2018.8725795</a>","bibtex":"@inproceedings{Schneider_Peuster_Karl_2018, title={A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms}, DOI={<a href=\"https://doi.org/10.1109/NFV-SDN.2018.8725795\">10.1109/NFV-SDN.2018.8725795</a>}, booktitle={IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Peuster, Manuel and Karl, Holger}, year={2018} }","apa":"Schneider, S. B., Peuster, M., &#38; Karl, H. (2018). A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms. In <i>IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)</i>. Verona, Italy: IEEE. <a href=\"https://doi.org/10.1109/NFV-SDN.2018.8725795\">https://doi.org/10.1109/NFV-SDN.2018.8725795</a>","ieee":"S. B. Schneider, M. Peuster, and H. Karl, “A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms,” in <i>IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)</i>, Verona, Italy, 2018.","short":"S.B. Schneider, M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018.","chicago":"Schneider, Stefan Balthasar, Manuel Peuster, and Holger Karl. “A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms.” In <i>IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)</i>. IEEE, 2018. <a href=\"https://doi.org/10.1109/NFV-SDN.2018.8725795\">https://doi.org/10.1109/NFV-SDN.2018.8725795</a>."},"oa":"1","date_updated":"2022-01-06T07:03:24Z","title":"A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms","year":"2018","author":[{"full_name":"Schneider, Stefan Balthasar","first_name":"Stefan Balthasar","last_name":"Schneider","orcid":"0000-0001-8210-4011","id":"35343"},{"id":"13271","full_name":"Peuster, Manuel","last_name":"Peuster","first_name":"Manuel"},{"last_name":"Karl","first_name":"Holger","full_name":"Karl, Holger","id":"126"}],"doi":"10.1109/NFV-SDN.2018.8725795","main_file_link":[{"url":"https://ieeexplore.ieee.org/abstract/document/8725795"}],"language":[{"iso":"eng"}],"abstract":[{"text":"In recent years, a variety of different approaches\r\nhave been proposed to tackle the problem of scaling and placing\r\nnetwork services, consisting of interconnected virtual network\r\nfunctions (VNFs). This paper presents a placement abstraction\r\nlayer (PAL) that provides a clear and simple northbound interface\r\nfor using such algorithms while hiding their internal\r\nfunctionality and implementation. Through its southbound interface,\r\nPAL can connect to different back ends that evaluate\r\nthe calculated placements, e.g., using simulations, emulations, or\r\ntestbed approaches. As an example for such evaluation back ends,\r\nwe introduce a novel placement emulation framework (PEF)\r\nthat allows executing calculated placements using real, containerbased\r\nVNFs on real-world network topologies. In a case study,\r\nwe show how PAL and PEF facilitate reusing and evaluating\r\nplacement algorithms as well as validating their underlying\r\nmodels and performance claims.","lang":"eng"}],"publication":"IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)","type":"conference","department":[{"_id":"75"}],"file":[{"date_created":"2019-01-24T14:10:08Z","creator":"stschn","content_type":"application/pdf","file_id":"6973","access_level":"open_access","file_size":468396,"file_name":"preprint_ris.pdf","date_updated":"2019-01-24T14:25:23Z","relation":"main_file"}],"date_created":"2019-01-24T14:10:17Z"},{"project":[{"grant_number":"761493","_id":"28","name":"5G Development and validation platform for global industry-specific network services and Apps"},{"name":"SFB 901","_id":"1"},{"_id":"4","name":"SFB 901 - Project Area C"},{"name":"SFB 901 - Subproject C4","_id":"16"}],"file_date_updated":"2019-01-24T14:26:23Z","citation":{"ieee":"S. B. Schneider, M. Peuster, W. Tavernier, and H. Karl, “A Fully Integrated Multi-Platform NFV SDK,” in <i>IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)</i>, Verona, Italy, 2018.","apa":"Schneider, S. B., Peuster, M., Tavernier, W., &#38; Karl, H. (2018). A Fully Integrated Multi-Platform NFV SDK. In <i>IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)</i>. Verona, Italy: IEEE. <a href=\"https://doi.org/10.1109/NFV-SDN.2018.8725794\">https://doi.org/10.1109/NFV-SDN.2018.8725794</a>","short":"S.B. Schneider, M. Peuster, W. Tavernier, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018.","chicago":"Schneider, Stefan Balthasar, Manuel Peuster, Wouter Tavernier, and Holger Karl. “A Fully Integrated Multi-Platform NFV SDK.” In <i>IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)</i>. IEEE, 2018. <a href=\"https://doi.org/10.1109/NFV-SDN.2018.8725794\">https://doi.org/10.1109/NFV-SDN.2018.8725794</a>.","mla":"Schneider, Stefan Balthasar, et al. “A Fully Integrated Multi-Platform NFV SDK.” <i>IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)</i>, IEEE, 2018, doi:<a href=\"https://doi.org/10.1109/NFV-SDN.2018.8725794\">10.1109/NFV-SDN.2018.8725794</a>.","bibtex":"@inproceedings{Schneider_Peuster_Tavernier_Karl_2018, title={A Fully Integrated Multi-Platform NFV SDK}, DOI={<a href=\"https://doi.org/10.1109/NFV-SDN.2018.8725794\">10.1109/NFV-SDN.2018.8725794</a>}, booktitle={IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Peuster, Manuel and Tavernier, Wouter and Karl, Holger}, year={2018} }","ama":"Schneider SB, Peuster M, Tavernier W, Karl H. A Fully Integrated Multi-Platform NFV SDK. In: <i>IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)</i>. IEEE; 2018. doi:<a href=\"https://doi.org/10.1109/NFV-SDN.2018.8725794\">10.1109/NFV-SDN.2018.8725794</a>"},"oa":"1","has_accepted_license":"1","status":"public","conference":{"name":"IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)","location":"Verona, Italy"},"user_id":"35343","ddc":["040"],"_id":"6974","publisher":"IEEE","abstract":[{"text":"A key challenge of network function virtualization\r\n(NFV) is the complexity of developing and deploying new\r\nnetwork services. Currently, development requires many manual\r\nsteps that are time-consuming and error-prone (e.g., for creating\r\nservice descriptors). Furthermore, existing management and\r\norchestration (MANO) platforms only offer limited support of\r\nstandardized descriptor models or package formats, limiting the\r\nre-usability of network services.\r\n\r\nTo this end, we introduce a fully integrated, open-source\r\nNFV service development kit (SDK) with multi-MANO platform\r\nsupport. Our SDK simplifies many NFV service development\r\nsteps by offering initial generation of descriptors, advanced\r\nproject management, as well as fully automated packaging and\r\nsubmission for on-boarding. To achieve multi-platform support,\r\nwe present a package format that extends ETSI’s VNF package\r\nformat. In this demonstration, we present the end-to-end workflow\r\nto develop an NFV service that is then packaged for multiple\r\nplatforms, i.e., 5GTANGO and OSM.","lang":"eng"}],"publication":"IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)","type":"conference","department":[{"_id":"75"}],"file":[{"file_size":475022,"access_level":"open_access","file_name":"Pre-print.pdf","date_updated":"2019-01-24T14:26:23Z","relation":"main_file","content_type":"application/pdf","file_id":"6975","creator":"stschn","date_created":"2019-01-24T14:17:29Z"}],"date_created":"2019-01-24T14:17:58Z","date_updated":"2022-01-06T07:03:25Z","title":"A Fully Integrated Multi-Platform NFV SDK","year":"2018","author":[{"orcid":"0000-0001-8210-4011","last_name":"Schneider","first_name":"Stefan Balthasar","full_name":"Schneider, Stefan Balthasar","id":"35343"},{"id":"13271","first_name":"Manuel","last_name":"Peuster","full_name":"Peuster, Manuel"},{"first_name":"Wouter","last_name":"Tavernier","full_name":"Tavernier, Wouter"},{"first_name":"Holger","last_name":"Karl","full_name":"Karl, Holger","id":"126"}],"doi":"10.1109/NFV-SDN.2018.8725794","main_file_link":[{"url":"https://ieeexplore.ieee.org/abstract/document/8725794"}],"language":[{"iso":"eng"}]},{"date_created":"2020-04-16T14:08:06Z","type":"journal_article","department":[{"_id":"101"}],"publication":"Frontiers in Physiology","citation":{"mla":"Gölz, Christian, et al. “Improved Neural Control of Movements Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics.” <i>Frontiers in Physiology</i>, 2018, doi:<a href=\"https://doi.org/10.3389/fphys.2018.01540\">10.3389/fphys.2018.01540</a>.","bibtex":"@article{Gölz_Voelcker-Rehage_Mora_Reuter_Godde_Dellnitz_Reinsberger_Vieluf_2018, title={Improved Neural Control of Movements Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics}, DOI={<a href=\"https://doi.org/10.3389/fphys.2018.01540\">10.3389/fphys.2018.01540</a>}, journal={Frontiers in Physiology}, author={Gölz, Christian and Voelcker-Rehage, Claudia and Mora, Karin and Reuter, Eva-Maria and Godde, Ben and Dellnitz, Michael and Reinsberger, Claus and Vieluf, Solveig}, year={2018} }","ama":"Gölz C, Voelcker-Rehage C, Mora K, et al. Improved Neural Control of Movements Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics. <i>Frontiers in Physiology</i>. 2018. doi:<a href=\"https://doi.org/10.3389/fphys.2018.01540\">10.3389/fphys.2018.01540</a>","ieee":"C. Gölz <i>et al.</i>, “Improved Neural Control of Movements Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics,” <i>Frontiers in Physiology</i>, 2018.","apa":"Gölz, C., Voelcker-Rehage, C., Mora, K., Reuter, E.-M., Godde, B., Dellnitz, M., … Vieluf, S. (2018). Improved Neural Control of Movements Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics. <i>Frontiers in Physiology</i>. <a href=\"https://doi.org/10.3389/fphys.2018.01540\">https://doi.org/10.3389/fphys.2018.01540</a>","chicago":"Gölz, Christian, Claudia Voelcker-Rehage, Karin Mora, Eva-Maria Reuter, Ben Godde, Michael Dellnitz, Claus Reinsberger, and Solveig Vieluf. “Improved Neural Control of Movements Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics.” <i>Frontiers in Physiology</i>, 2018. <a href=\"https://doi.org/10.3389/fphys.2018.01540\">https://doi.org/10.3389/fphys.2018.01540</a>.","short":"C. Gölz, C. Voelcker-Rehage, K. Mora, E.-M. Reuter, B. Godde, M. Dellnitz, C. Reinsberger, S. Vieluf, Frontiers in Physiology (2018)."},"_id":"16713","language":[{"iso":"eng"}],"doi":"10.3389/fphys.2018.01540","user_id":"47427","title":"Improved Neural Control of Movements Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics","year":"2018","status":"public","publication_identifier":{"issn":["1664-042X"]},"author":[{"full_name":"Gölz, Christian","last_name":"Gölz","first_name":"Christian"},{"last_name":"Voelcker-Rehage","first_name":"Claudia","full_name":"Voelcker-Rehage, Claudia"},{"full_name":"Mora, Karin","last_name":"Mora","first_name":"Karin"},{"last_name":"Reuter","first_name":"Eva-Maria","full_name":"Reuter, Eva-Maria"},{"full_name":"Godde, Ben","last_name":"Godde","first_name":"Ben"},{"full_name":"Dellnitz, Michael","last_name":"Dellnitz","first_name":"Michael"},{"last_name":"Reinsberger","first_name":"Claus","full_name":"Reinsberger, Claus"},{"full_name":"Vieluf, Solveig","first_name":"Solveig","last_name":"Vieluf"}],"date_updated":"2022-01-06T06:52:55Z","publication_status":"published"},{"doi":"10.1016/j.neuroscience.2018.07.025","user_id":"47427","_id":"16714","language":[{"iso":"eng"}],"page":"203-213","date_updated":"2022-01-06T06:52:55Z","publication_status":"published","author":[{"last_name":"Vieluf","first_name":"Solveig","full_name":"Vieluf, Solveig"},{"full_name":"Mora, Karin","last_name":"Mora","first_name":"Karin"},{"full_name":"Gölz, Christian","last_name":"Gölz","first_name":"Christian"},{"last_name":"Reuter","first_name":"Eva-Maria","full_name":"Reuter, Eva-Maria"},{"first_name":"Ben","last_name":"Godde","full_name":"Godde, Ben"},{"first_name":"Michael","last_name":"Dellnitz","full_name":"Dellnitz, Michael"},{"full_name":"Reinsberger, Claus","last_name":"Reinsberger","first_name":"Claus"},{"full_name":"Voelcker-Rehage, Claudia","last_name":"Voelcker-Rehage","first_name":"Claudia"}],"publication_identifier":{"issn":["0306-4522"]},"year":"2018","status":"public","title":"Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control","department":[{"_id":"101"}],"type":"journal_article","date_created":"2020-04-16T14:08:51Z","citation":{"short":"S. Vieluf, K. Mora, C. Gölz, E.-M. Reuter, B. Godde, M. Dellnitz, C. Reinsberger, C. Voelcker-Rehage, Neuroscience (2018) 203–213.","chicago":"Vieluf, Solveig, Karin Mora, Christian Gölz, Eva-Maria Reuter, Ben Godde, Michael Dellnitz, Claus Reinsberger, and Claudia Voelcker-Rehage. “Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control.” <i>Neuroscience</i>, 2018, 203–13. <a href=\"https://doi.org/10.1016/j.neuroscience.2018.07.025\">https://doi.org/10.1016/j.neuroscience.2018.07.025</a>.","ieee":"S. Vieluf <i>et al.</i>, “Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control,” <i>Neuroscience</i>, pp. 203–213, 2018.","apa":"Vieluf, S., Mora, K., Gölz, C., Reuter, E.-M., Godde, B., Dellnitz, M., … Voelcker-Rehage, C. (2018). Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control. <i>Neuroscience</i>, 203–213. <a href=\"https://doi.org/10.1016/j.neuroscience.2018.07.025\">https://doi.org/10.1016/j.neuroscience.2018.07.025</a>","bibtex":"@article{Vieluf_Mora_Gölz_Reuter_Godde_Dellnitz_Reinsberger_Voelcker-Rehage_2018, title={Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control}, DOI={<a href=\"https://doi.org/10.1016/j.neuroscience.2018.07.025\">10.1016/j.neuroscience.2018.07.025</a>}, journal={Neuroscience}, author={Vieluf, Solveig and Mora, Karin and Gölz, Christian and Reuter, Eva-Maria and Godde, Ben and Dellnitz, Michael and Reinsberger, Claus and Voelcker-Rehage, Claudia}, year={2018}, pages={203–213} }","ama":"Vieluf S, Mora K, Gölz C, et al. Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control. <i>Neuroscience</i>. 2018:203-213. doi:<a href=\"https://doi.org/10.1016/j.neuroscience.2018.07.025\">10.1016/j.neuroscience.2018.07.025</a>","mla":"Vieluf, Solveig, et al. “Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control.” <i>Neuroscience</i>, 2018, pp. 203–13, doi:<a href=\"https://doi.org/10.1016/j.neuroscience.2018.07.025\">10.1016/j.neuroscience.2018.07.025</a>."},"publication":"Neuroscience"},{"volume":28,"doi":"10.1007/s00332-017-9415-0","user_id":"47427","_id":"16715","language":[{"iso":"eng"}],"page":"471-512","intvolume":"        28","date_updated":"2022-01-06T06:52:55Z","publication_status":"published","publication_identifier":{"issn":["0938-8974","1432-1467"]},"author":[{"full_name":"Bittracher, Andreas","first_name":"Andreas","last_name":"Bittracher"},{"first_name":"Péter","last_name":"Koltai","full_name":"Koltai, Péter"},{"full_name":"Klus, Stefan","last_name":"Klus","first_name":"Stefan"},{"full_name":"Banisch, Ralf","first_name":"Ralf","last_name":"Banisch"},{"first_name":"Michael","last_name":"Dellnitz","full_name":"Dellnitz, Michael"},{"last_name":"Schütte","first_name":"Christof","full_name":"Schütte, Christof"}],"year":"2018","title":"Transition Manifolds of Complex Metastable Systems","status":"public","department":[{"_id":"101"}],"type":"journal_article","date_created":"2020-04-16T14:09:31Z","citation":{"ieee":"A. Bittracher, P. Koltai, S. Klus, R. Banisch, M. Dellnitz, and C. Schütte, “Transition Manifolds of Complex Metastable Systems,” <i>Journal of Nonlinear Science</i>, vol. 28, pp. 471–512, 2018.","mla":"Bittracher, Andreas, et al. “Transition Manifolds of Complex Metastable Systems.” <i>Journal of Nonlinear Science</i>, vol. 28, 2018, pp. 471–512, doi:<a href=\"https://doi.org/10.1007/s00332-017-9415-0\">10.1007/s00332-017-9415-0</a>.","apa":"Bittracher, A., Koltai, P., Klus, S., Banisch, R., Dellnitz, M., &#38; Schütte, C. (2018). Transition Manifolds of Complex Metastable Systems. <i>Journal of Nonlinear Science</i>, <i>28</i>, 471–512. <a href=\"https://doi.org/10.1007/s00332-017-9415-0\">https://doi.org/10.1007/s00332-017-9415-0</a>","bibtex":"@article{Bittracher_Koltai_Klus_Banisch_Dellnitz_Schütte_2018, title={Transition Manifolds of Complex Metastable Systems}, volume={28}, DOI={<a href=\"https://doi.org/10.1007/s00332-017-9415-0\">10.1007/s00332-017-9415-0</a>}, journal={Journal of Nonlinear Science}, author={Bittracher, Andreas and Koltai, Péter and Klus, Stefan and Banisch, Ralf and Dellnitz, Michael and Schütte, Christof}, year={2018}, pages={471–512} }","chicago":"Bittracher, Andreas, Péter Koltai, Stefan Klus, Ralf Banisch, Michael Dellnitz, and Christof Schütte. “Transition Manifolds of Complex Metastable Systems.” <i>Journal of Nonlinear Science</i> 28 (2018): 471–512. <a href=\"https://doi.org/10.1007/s00332-017-9415-0\">https://doi.org/10.1007/s00332-017-9415-0</a>.","ama":"Bittracher A, Koltai P, Klus S, Banisch R, Dellnitz M, Schütte C. Transition Manifolds of Complex Metastable Systems. <i>Journal of Nonlinear Science</i>. 2018;28:471-512. doi:<a href=\"https://doi.org/10.1007/s00332-017-9415-0\">10.1007/s00332-017-9415-0</a>","short":"A. Bittracher, P. Koltai, S. Klus, R. Banisch, M. Dellnitz, C. Schütte, Journal of Nonlinear Science 28 (2018) 471–512."},"publication":"Journal of Nonlinear Science"},{"type":"conference","department":[{"_id":"66"}],"date_created":"2020-05-05T15:14:04Z","publication":"Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018","citation":{"ama":"Cunha J, Fernandes JP, Kelleher C, Mendes J, Engels G. 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). In: <i>Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018</i>. IEEE; 2018. doi:<a href=\"https://doi.org/10.1109/vl/hcc43341.2018\">10.1109/vl/hcc43341.2018</a>","bibtex":"@inproceedings{Cunha_Fernandes_Kelleher_Mendes_Engels_2018, title={2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)}, DOI={<a href=\"https://doi.org/10.1109/vl/hcc43341.2018\">10.1109/vl/hcc43341.2018</a>}, booktitle={Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018}, publisher={IEEE}, author={Cunha, Jácome and Fernandes, Joao Paulo and Kelleher, Caitlin and Mendes, Jorge and Engels, Gregor}, year={2018} }","mla":"Cunha, Jácome, et al. “2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).” <i>Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018</i>, IEEE, 2018, doi:<a href=\"https://doi.org/10.1109/vl/hcc43341.2018\">10.1109/vl/hcc43341.2018</a>.","short":"J. Cunha, J.P. Fernandes, C. Kelleher, J. Mendes, G. Engels, in: Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018, IEEE, 2018.","chicago":"Cunha, Jácome, Joao Paulo Fernandes, Caitlin Kelleher, Jorge Mendes, and Gregor Engels. “2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).” In <i>Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018</i>. IEEE, 2018. <a href=\"https://doi.org/10.1109/vl/hcc43341.2018\">https://doi.org/10.1109/vl/hcc43341.2018</a>.","apa":"Cunha, J., Fernandes, J. P., Kelleher, C., Mendes, J., &#38; Engels, G. (2018). 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). In <i>Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018</i>. Lisbon, Portugal: IEEE. <a href=\"https://doi.org/10.1109/vl/hcc43341.2018\">https://doi.org/10.1109/vl/hcc43341.2018</a>","ieee":"J. Cunha, J. P. Fernandes, C. Kelleher, J. Mendes, and G. Engels, “2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC),” in <i>Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018</i>, Lisbon, Portugal, 2018."},"user_id":"57458","doi":"10.1109/vl/hcc43341.2018","language":[{"iso":"eng"}],"_id":"16937","publisher":"IEEE","publication_status":"published","date_updated":"2022-01-06T06:52:59Z","year":"2018","status":"public","title":"2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)","author":[{"full_name":"Cunha, Jácome","last_name":"Cunha","first_name":"Jácome"},{"last_name":"Fernandes","first_name":"Joao Paulo","full_name":"Fernandes, Joao Paulo"},{"full_name":"Kelleher, Caitlin","first_name":"Caitlin","last_name":"Kelleher"},{"last_name":"Mendes","first_name":"Jorge","full_name":"Mendes, Jorge"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"publication_identifier":{"isbn":["9781538642351"]},"conference":{"end_date":"2018-10-04","start_date":"2018-10-01","name":"IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)","location":"Lisbon, Portugal"}},{"publication":"Zukunft der Arbeit – Eine praxisnahe Betrachtung","citation":{"ieee":"G. Engels, G. W. Maier, S. K. Ötting, E. Steffen, and A. Teetz, “Gerechtigkeit in flexiblen Arbeits- und Managementprozessen,” in <i>Zukunft der Arbeit – Eine praxisnahe Betrachtung</i>, S. Wischmann and E. A. Hartmann, Eds. Berlin, Heidelberg: Springer Verlag, 2018, pp. 221–231.","apa":"Engels, G., Maier, G. W., Ötting, S. K., Steffen, E., &#38; Teetz, A. (2018). Gerechtigkeit in flexiblen Arbeits- und Managementprozessen. In S. Wischmann &#38; E. A. Hartmann (Eds.), <i>Zukunft der Arbeit – Eine praxisnahe Betrachtung</i> (pp. 221–231). Berlin, Heidelberg: Springer Verlag. <a href=\"https://doi.org/10.1007/978-3-662-49266-6_16\">https://doi.org/10.1007/978-3-662-49266-6_16</a>","short":"G. Engels, G.W. Maier, S.K. Ötting, E. Steffen, A. Teetz, in: S. Wischmann, E.A. Hartmann (Eds.), Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, Springer Verlag, Berlin, Heidelberg, 2018, pp. 221–231.","chicago":"Engels, Gregor, Günter W. Maier, Sonja K. Ötting, Eckhard Steffen, and Alexander Teetz. “Gerechtigkeit in Flexiblen Arbeits- Und Managementprozessen.” In <i>Zukunft Der Arbeit – Eine Praxisnahe Betrachtung</i>, edited by Steffen Wischmann and Ernst Andreas Hartmann, 221–31. Berlin, Heidelberg: Springer Verlag, 2018. <a href=\"https://doi.org/10.1007/978-3-662-49266-6_16\">https://doi.org/10.1007/978-3-662-49266-6_16</a>.","mla":"Engels, Gregor, et al. “Gerechtigkeit in Flexiblen Arbeits- Und Managementprozessen.” <i>Zukunft Der Arbeit – Eine Praxisnahe Betrachtung</i>, edited by Steffen Wischmann and Ernst Andreas Hartmann, Springer Verlag, 2018, pp. 221–31, doi:<a href=\"https://doi.org/10.1007/978-3-662-49266-6_16\">10.1007/978-3-662-49266-6_16</a>.","bibtex":"@inbook{Engels_Maier_Ötting_Steffen_Teetz_2018, place={Berlin, Heidelberg}, title={Gerechtigkeit in flexiblen Arbeits- und Managementprozessen}, DOI={<a href=\"https://doi.org/10.1007/978-3-662-49266-6_16\">10.1007/978-3-662-49266-6_16</a>}, booktitle={Zukunft der Arbeit – Eine praxisnahe Betrachtung}, publisher={Springer Verlag}, author={Engels, Gregor and Maier, Günter W. and Ötting, Sonja K. and Steffen, Eckhard and Teetz, Alexander}, editor={Wischmann, Steffen and Hartmann, Ernst AndreasEditors}, year={2018}, pages={221–231} }","ama":"Engels G, Maier GW, Ötting SK, Steffen E, Teetz A. Gerechtigkeit in flexiblen Arbeits- und Managementprozessen. In: Wischmann S, Hartmann EA, eds. <i>Zukunft Der Arbeit – Eine Praxisnahe Betrachtung</i>. Berlin, Heidelberg: Springer Verlag; 2018:221-231. doi:<a href=\"https://doi.org/10.1007/978-3-662-49266-6_16\">10.1007/978-3-662-49266-6_16</a>"},"type":"book_chapter","department":[{"_id":"66"}],"place":"Berlin, Heidelberg","date_created":"2020-05-05T15:38:22Z","date_updated":"2022-01-06T06:52:59Z","publication_status":"published","year":"2018","status":"public","title":"Gerechtigkeit in flexiblen Arbeits- und Managementprozessen","publication_identifier":{"isbn":["9783662492659","9783662492666"]},"author":[{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"first_name":"Günter W.","last_name":"Maier","full_name":"Maier, Günter W."},{"full_name":"Ötting, Sonja K.","last_name":"Ötting","first_name":"Sonja K."},{"last_name":"Steffen","first_name":"Eckhard","full_name":"Steffen, Eckhard","id":"15548"},{"last_name":"Teetz","first_name":"Alexander","full_name":"Teetz, Alexander"}],"doi":"10.1007/978-3-662-49266-6_16","user_id":"57458","editor":[{"last_name":"Wischmann","first_name":"Steffen","full_name":"Wischmann, Steffen"},{"full_name":"Hartmann, Ernst Andreas","first_name":"Ernst Andreas","last_name":"Hartmann"}],"page":"221-231","publisher":"Springer Verlag","_id":"16938","language":[{"iso":"eng"}]},{"date_updated":"2022-01-06T06:50:39Z","publication_status":"published","year":"2018","title":"Validity of Software Verification Results on Approximate Hardware","author":[{"last_name":"Isenberg","first_name":"Tobias","full_name":"Isenberg, Tobias"},{"first_name":"Marie-Christine","last_name":"Jakobs","full_name":"Jakobs, Marie-Christine"},{"full_name":"Pauck, Felix","last_name":"Pauck","first_name":"Felix","id":"22398"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"publication_identifier":{"issn":["1943-0663","1943-0671"]},"doi":"10.1109/LES.2017.2758200","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Approximate computing (AC) is an emerging paradigm for energy-efficient computation. The basic idea of AC is to sacrifice high precision for low energy by allowing hardware to carry out “approximately correct” calculations. This provides a major challenge for software quality assurance: programs successfully verified to be correct might be erroneous on approximate hardware. In this letter, we present a novel approach for determining under what conditions a software verification result is valid for approximate hardware. To this end, we compute the allowed tolerances for AC hardware from successful verification runs. More precisely, we derive a set of constraints which—when met by the AC hardware—guarantees the verification result to carry over to AC. On the practical side, we furthermore: 1) show how to extract tolerances from verification runs employing predicate abstraction as verification technology and 2) show how to check such constraints on hardware designs. We have implemented all techniques, and exemplify them on example C programs and a number of recently proposed approximate adders."}],"publication":"IEEE Embedded Systems Letters","type":"journal_article","department":[{"_id":"77"}],"file":[{"date_created":"2018-11-02T15:27:04Z","creator":"ups","file_id":"5303","content_type":"application/pdf","success":1,"file_name":"08053741.pdf","access_level":"closed","file_size":523362,"relation":"main_file","date_updated":"2018-11-02T15:27:04Z"}],"date_created":"2017-12-11T16:11:00Z","has_accepted_license":"1","status":"public","ddc":["000"],"user_id":"477","page":"22-25","_id":"1043","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"file_date_updated":"2018-11-02T15:27:04Z","citation":{"bibtex":"@article{Isenberg_Jakobs_Pauck_Wehrheim_2018, title={Validity of Software Verification Results on Approximate Hardware}, DOI={<a href=\"https://doi.org/10.1109/LES.2017.2758200\">10.1109/LES.2017.2758200</a>}, journal={IEEE Embedded Systems Letters}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike}, year={2018}, pages={22–25} }","ama":"Isenberg T, Jakobs M-C, Pauck F, Wehrheim H. Validity of Software Verification Results on Approximate Hardware. <i>IEEE Embedded Systems Letters</i>. 2018:22-25. doi:<a href=\"https://doi.org/10.1109/LES.2017.2758200\">10.1109/LES.2017.2758200</a>","mla":"Isenberg, Tobias, et al. “Validity of Software Verification Results on Approximate Hardware.” <i>IEEE Embedded Systems Letters</i>, Institute of Electrical and Electronics Engineers (IEEE), 2018, pp. 22–25, doi:<a href=\"https://doi.org/10.1109/LES.2017.2758200\">10.1109/LES.2017.2758200</a>.","chicago":"Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Validity of Software Verification Results on Approximate Hardware.” <i>IEEE Embedded Systems Letters</i>, 2018, 22–25. <a href=\"https://doi.org/10.1109/LES.2017.2758200\">https://doi.org/10.1109/LES.2017.2758200</a>.","short":"T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, IEEE Embedded Systems Letters (2018) 22–25.","ieee":"T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “Validity of Software Verification Results on Approximate Hardware,” <i>IEEE Embedded Systems Letters</i>, pp. 22–25, 2018.","apa":"Isenberg, T., Jakobs, M.-C., Pauck, F., &#38; Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. <i>IEEE Embedded Systems Letters</i>, 22–25. <a href=\"https://doi.org/10.1109/LES.2017.2758200\">https://doi.org/10.1109/LES.2017.2758200</a>"}},{"date_updated":"2022-01-06T06:50:39Z","has_accepted_license":"1","status":"public","year":"2018","title":"Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis","author":[{"last_name":"Leer","first_name":"Richard","full_name":"Leer, Richard"}],"user_id":"15504","ddc":["000"],"_id":"1044","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"file_date_updated":"2018-11-21T06:15:51Z","citation":{"bibtex":"@book{Leer_2018, title={Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis}, publisher={Universität Paderborn}, author={Leer, Richard}, year={2018} }","chicago":"Leer, Richard. <i>Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis</i>. Universität Paderborn, 2018.","short":"R. Leer, Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis, Universität Paderborn, 2018.","ama":"Leer R. <i>Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis</i>. Universität Paderborn; 2018.","ieee":"R. Leer, <i>Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis</i>. Universität Paderborn, 2018.","mla":"Leer, Richard. <i>Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis</i>. Universität Paderborn, 2018.","apa":"Leer, R. (2018). <i>Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis</i>. Universität Paderborn."},"supervisor":[{"id":"59256","full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric"}],"type":"bachelorsthesis","department":[{"_id":"76"}],"file":[{"file_id":"5768","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-11-21T06:15:51Z","file_name":"ba_leer.pdf","file_size":1383049,"access_level":"closed","date_created":"2018-11-21T06:15:51Z","creator":"florida"}],"date_created":"2017-12-13T07:52:01Z"},{"file_date_updated":"2018-11-21T06:14:15Z","citation":{"mla":"Strüwer, Jan Niclas. <i>Interactive Data Visualization for Exploded Supergraphs</i>. Universität Paderborn, 2018.","ama":"Strüwer JN. <i>Interactive Data Visualization for Exploded Supergraphs</i>. Universität Paderborn; 2018.","bibtex":"@book{Strüwer_2018, title={Interactive Data Visualization for Exploded Supergraphs}, publisher={Universität Paderborn}, author={Strüwer, Jan Niclas}, year={2018} }","apa":"Strüwer, J. N. (2018). <i>Interactive Data Visualization for Exploded Supergraphs</i>. Universität Paderborn.","ieee":"J. N. Strüwer, <i>Interactive Data Visualization for Exploded Supergraphs</i>. Universität Paderborn, 2018.","chicago":"Strüwer, Jan Niclas. <i>Interactive Data Visualization for Exploded Supergraphs</i>. Universität Paderborn, 2018.","short":"J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität Paderborn, 2018."},"supervisor":[{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"file":[{"file_id":"5767","content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-11-21T06:14:15Z","file_name":"ba_struewer.pdf","file_size":15839765,"access_level":"closed","date_created":"2018-11-21T06:14:15Z","creator":"florida"}],"date_created":"2017-12-13T07:53:49Z","type":"bachelorsthesis","department":[{"_id":"76"}],"year":"2018","status":"public","title":"Interactive Data Visualization for Exploded Supergraphs","author":[{"last_name":"Strüwer","first_name":"Jan Niclas","full_name":"Strüwer, Jan Niclas"}],"date_updated":"2022-01-06T06:50:40Z","has_accepted_license":"1","_id":"1045","language":[{"iso":"eng"}],"publisher":"Universität Paderborn","user_id":"15504","ddc":["000"]},{"status":"public","title":"Research Directions for Principles of Data Management","year":"2018","date_updated":"2022-01-06T06:50:45Z","intvolume":"         7","page":"1-29","_id":"10591","language":[{"iso":"eng"}],"user_id":"49109","editor":[{"last_name":"Abiteboul","first_name":"S.","full_name":"Abiteboul, S."},{"full_name":"Arenas, M.","last_name":"Arenas","first_name":"M."},{"first_name":"P.","last_name":"Barceló","full_name":"Barceló, P."},{"last_name":"Bienvenu","first_name":"M.","full_name":"Bienvenu, M."},{"last_name":"Calvanese","first_name":"D.","full_name":"Calvanese, D."},{"full_name":"David, C.","last_name":"David","first_name":"C."},{"first_name":"R.","last_name":"Hull","full_name":"Hull, R."},{"id":"48129","last_name":"Hüllermeier","first_name":"Eyke","full_name":"Hüllermeier, Eyke"},{"last_name":"Kimelfeld","first_name":"B.","full_name":"Kimelfeld, B."},{"full_name":"Libkin, L.","last_name":"Libkin","first_name":"L."},{"full_name":"Martens, W.","first_name":"W.","last_name":"Martens"},{"last_name":"Milo","first_name":"T.","full_name":"Milo, T."},{"full_name":"Murlak, F.","last_name":"Murlak","first_name":"F."},{"first_name":"F.","last_name":"Neven","full_name":"Neven, F."},{"first_name":"M.","last_name":"Ortiz","full_name":"Ortiz, M."},{"first_name":"T.","last_name":"Schwentick","full_name":"Schwentick, T."},{"full_name":"Stoyanovich, J.","last_name":"Stoyanovich","first_name":"J."},{"last_name":"Su","first_name":"J.","full_name":"Su, J."},{"full_name":"Suciu, D.","last_name":"Suciu","first_name":"D."},{"full_name":"Vianu, V.","first_name":"V.","last_name":"Vianu"},{"first_name":"K.","last_name":"Yi","full_name":"Yi, K."}],"alternative_title":["Manifesto from Dagstuhl Perspectives Workshop 16151"],"volume":7,"issue":"1","citation":{"ieee":"S. Abiteboul <i>et al.</i>, Eds., <i>Research Directions for Principles of Data Management</i>, vol. 7, no. 1. 2018, pp. 1–29.","apa":"Abiteboul, S., Arenas, M., Barceló, P., Bienvenu, M., Calvanese, D., David, C., … Yi, K. (Eds.). (2018). <i>Research Directions for Principles of Data Management</i> (Vol. 7, pp. 1–29).","mla":"Abiteboul, S., et al., editors. <i>Research Directions for Principles of Data Management</i>. Vol. 7, no. 1, 2018, pp. 1–29.","bibtex":"@book{Abiteboul_Arenas_Barceló_Bienvenu_Calvanese_David_Hull_Hüllermeier_Kimelfeld_Libkin_et al._2018, title={Research Directions for Principles of Data Management}, volume={7}, number={1}, year={2018}, pages={1–29} }","short":"S. Abiteboul, M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, E. Hüllermeier, B. Kimelfeld, L. Libkin, W. Martens, T. Milo, F. Murlak, F. Neven, M. Ortiz, T. Schwentick, J. Stoyanovich, J. Su, D. Suciu, V. Vianu, K. Yi, eds., Research Directions for Principles of Data Management, 2018.","ama":"Abiteboul S, Arenas M, Barceló P, et al., eds. <i>Research Directions for Principles of Data Management</i>. Vol 7.; 2018:1-29.","chicago":"Abiteboul, S., M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, et al., eds. <i>Research Directions for Principles of Data Management</i>. Vol. 7, 2018."},"date_created":"2019-07-09T15:58:12Z","type":"conference_editor","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"},{"_id":"26"}]},{"page":"219-224","_id":"10598","language":[{"iso":"eng"}],"user_id":"64665","doi":"10.1109/VLSI-SoC.2018.8645026","status":"public","title":"An MCTS-based Framework for Synthesis of Approximate Circuits","year":"2018","author":[{"first_name":"Muhammad","orcid":"https://orcid.org/0000-0003-4148-2969","last_name":"Awais","full_name":"Awais, Muhammad","id":"64665"},{"id":"61186","full_name":"Ghasemzadeh Mohammadi, Hassan","first_name":"Hassan","last_name":"Ghasemzadeh Mohammadi"},{"first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco","id":"398"}],"date_updated":"2022-01-06T06:50:46Z","date_created":"2019-07-10T09:21:38Z","type":"conference","keyword":["Approximate computing","High-level synthesis","Accuracy","Monte-Carlo tree search","Circuit simulation"],"department":[{"_id":"78"}],"publication":"26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)","citation":{"mla":"Awais, Muhammad, et al. “An MCTS-Based Framework for Synthesis of Approximate Circuits.” <i>26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)</i>, 2018, pp. 219–24, doi:<a href=\"https://doi.org/10.1109/VLSI-SoC.2018.8645026\">10.1109/VLSI-SoC.2018.8645026</a>.","apa":"Awais, M., Ghasemzadeh Mohammadi, H., &#38; Platzner, M. (2018). An MCTS-based Framework for Synthesis of Approximate Circuits. In <i>26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)</i> (pp. 219–224). <a href=\"https://doi.org/10.1109/VLSI-SoC.2018.8645026\">https://doi.org/10.1109/VLSI-SoC.2018.8645026</a>","ieee":"M. Awais, H. Ghasemzadeh Mohammadi, and M. Platzner, “An MCTS-based Framework for Synthesis of Approximate Circuits,” in <i>26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)</i>, 2018, pp. 219–224.","ama":"Awais M, Ghasemzadeh Mohammadi H, Platzner M. An MCTS-based Framework for Synthesis of Approximate Circuits. In: <i>26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)</i>. ; 2018:219-224. doi:<a href=\"https://doi.org/10.1109/VLSI-SoC.2018.8645026\">10.1109/VLSI-SoC.2018.8645026</a>","short":"M. Awais, H. Ghasemzadeh Mohammadi, M. Platzner, in: 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 2018, pp. 219–224.","chicago":"Awais, Muhammad, Hassan Ghasemzadeh Mohammadi, and Marco Platzner. “An MCTS-Based Framework for Synthesis of Approximate Circuits.” In <i>26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)</i>, 219–24, 2018. <a href=\"https://doi.org/10.1109/VLSI-SoC.2018.8645026\">https://doi.org/10.1109/VLSI-SoC.2018.8645026</a>.","bibtex":"@inproceedings{Awais_Ghasemzadeh Mohammadi_Platzner_2018, title={An MCTS-based Framework for Synthesis of Approximate Circuits}, DOI={<a href=\"https://doi.org/10.1109/VLSI-SoC.2018.8645026\">10.1109/VLSI-SoC.2018.8645026</a>}, booktitle={26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)}, author={Awais, Muhammad and Ghasemzadeh Mohammadi, Hassan and Platzner, Marco}, year={2018}, pages={219–224} }"},"abstract":[{"lang":"eng","text":"Approximate computing has become a very popular design\r\nstrategy that exploits error resilient computations to achieve higher\r\nperformance and energy efficiency. Automated synthesis of approximate\r\ncircuits is performed via functional approximation, in which various\r\nparts of the target circuit are extensively examined with a library\r\nof approximate components/transformations to trade off the functional\r\naccuracy and computational budget (i.e., power). However, as the number\r\nof possible approximate transformations increases, traditional search\r\ntechniques suffer from a combinatorial explosion due to the large\r\nbranching factor. In this work, we present a comprehensive framework\r\nfor automated synthesis of approximate circuits from either structural\r\nor behavioral descriptions. We adapt the Monte Carlo Tree Search\r\n(MCTS), as a stochastic search technique, to deal with the large design\r\nspace exploration, which enables a broader range of potential possible\r\napproximations through lightweight random simulations. The proposed\r\nframework is able to recognize the design Pareto set even with low\r\ncomputational budgets. Experimental results highlight the capabilities of\r\nthe proposed synthesis framework by resulting in up to 61.69% energy\r\nsaving while maintaining the predefined quality constraints."}]},{"citation":{"bibtex":"@book{Clausing_2018, title={Development of a Hardware / Software Codesign for sonification of LIDAR-based sensor data}, publisher={Ruhr-University Bochum}, author={Clausing, Lennart}, year={2018} }","ama":"Clausing L. <i>Development of a Hardware / Software Codesign for Sonification of LIDAR-Based Sensor Data</i>. Ruhr-University Bochum; 2018.","mla":"Clausing, Lennart. <i>Development of a Hardware / Software Codesign for Sonification of LIDAR-Based Sensor Data</i>. Ruhr-University Bochum, 2018.","short":"L. Clausing, Development of a Hardware / Software Codesign for Sonification of LIDAR-Based Sensor Data, Ruhr-University Bochum, 2018.","chicago":"Clausing, Lennart. <i>Development of a Hardware / Software Codesign for Sonification of LIDAR-Based Sensor Data</i>. Ruhr-University Bochum, 2018.","ieee":"L. Clausing, <i>Development of a Hardware / Software Codesign for sonification of LIDAR-based sensor data</i>. Ruhr-University Bochum, 2018.","apa":"Clausing, L. (2018). <i>Development of a Hardware / Software Codesign for sonification of LIDAR-based sensor data</i>. Ruhr-University Bochum."},"extern":"1","date_created":"2019-07-10T12:13:18Z","type":"mastersthesis","department":[{"_id":"78"}],"year":"2018","status":"public","title":"Development of a Hardware / Software Codesign for sonification of LIDAR-based sensor data","author":[{"orcid":"0000-0003-3789-6034","first_name":"Lennart","last_name":"Clausing","full_name":"Clausing, Lennart","id":"74287"}],"date_updated":"2022-01-06T06:50:50Z","_id":"10782","publisher":"Ruhr-University Bochum","language":[{"iso":"eng"}],"user_id":"3118"},{"publication":"Frontiers in Computational Intelligence","citation":{"chicago":"Couso, Ines, and Eyke Hüllermeier. “Statistical Inference for Incomplete Ranking Data: A Comparison of Two Likelihood-Based Estimators.” In <i>Frontiers in Computational Intelligence</i>, edited by Sanaz Mostaghim, Andreas Nürnberger, and Christian Borgelt, 31–46. Springer, 2018.","short":"I. Couso, E. Hüllermeier, in: S. Mostaghim, A. Nürnberger, C. Borgelt (Eds.), Frontiers in Computational Intelligence, Springer, 2018, pp. 31–46.","apa":"Couso, I., &#38; Hüllermeier, E. (2018). Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators. In S. Mostaghim, A. Nürnberger, &#38; C. Borgelt (Eds.), <i>Frontiers in Computational Intelligence</i> (pp. 31–46). Springer.","ieee":"I. Couso and E. Hüllermeier, “Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators,” in <i>Frontiers in Computational Intelligence</i>, S. Mostaghim, A. Nürnberger, and C. Borgelt, Eds. Springer, 2018, pp. 31–46.","ama":"Couso I, Hüllermeier E. Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators. In: Mostaghim S, Nürnberger A, Borgelt C, eds. <i>Frontiers in Computational Intelligence</i>. Springer; 2018:31-46.","bibtex":"@inbook{Couso_Hüllermeier_2018, title={Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators}, booktitle={Frontiers in Computational Intelligence}, publisher={Springer}, author={Couso, Ines and Hüllermeier, Eyke}, editor={Mostaghim, Sanaz and Nürnberger, Andreas and Borgelt, ChristianEditors}, year={2018}, pages={31–46} }","mla":"Couso, Ines, and Eyke Hüllermeier. “Statistical Inference for Incomplete Ranking Data: A Comparison of Two Likelihood-Based Estimators.” <i>Frontiers in Computational Intelligence</i>, edited by Sanaz Mostaghim et al., Springer, 2018, pp. 31–46."},"date_created":"2019-07-10T15:39:00Z","type":"book_chapter","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"},{"_id":"26"}],"status":"public","title":"Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators","year":"2018","author":[{"last_name":"Couso","first_name":"Ines","full_name":"Couso, Ines"},{"full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier","id":"48129"}],"date_updated":"2022-01-06T06:50:50Z","page":"31-46","publisher":"Springer","_id":"10783","language":[{"iso":"eng"}],"user_id":"49109","editor":[{"full_name":"Mostaghim, Sanaz","last_name":"Mostaghim","first_name":"Sanaz"},{"full_name":"Nürnberger, Andreas","first_name":"Andreas","last_name":"Nürnberger"},{"first_name":"Christian","last_name":"Borgelt","full_name":"Borgelt, Christian"}]},{"date_created":"2018-01-08T10:52:51Z","file":[{"date_created":"2018-11-21T10:50:51Z","creator":"florida","file_id":"5783","content_type":"application/pdf","success":1,"file_name":"Reducer-Based Construction of Conditional Verifiers.pdf","access_level":"closed","file_size":826719,"relation":"main_file","date_updated":"2018-11-21T10:50:51Z"}],"department":[{"_id":"77"}],"type":"conference","publication":"Proceedings of the 40th International Conference on Software Engineering (ICSE)","abstract":[{"lang":"eng","text":"to appear"}],"language":[{"iso":"eng"}],"author":[{"full_name":"Beyer, Dirk","first_name":"Dirk","last_name":"Beyer"},{"last_name":"Jakobs","first_name":"Marie-Christine","full_name":"Jakobs, Marie-Christine"},{"full_name":"Lemberger, Thomas","first_name":"Thomas","last_name":"Lemberger"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"year":"2018","title":"Reducer-Based Construction of Conditional Verifiers","date_updated":"2022-01-06T06:50:54Z","citation":{"chicago":"Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Reducer-Based Construction of Conditional Verifiers.” In <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>, 1182--1193. ACM, 2018.","short":"D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.","apa":"Beyer, D., Jakobs, M.-C., Lemberger, T., &#38; Wehrheim, H. (2018). Reducer-Based Construction of Conditional Verifiers. In <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i> (pp. 1182--1193). Gothenburg, Sweden: ACM.","ieee":"D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Reducer-Based Construction of Conditional Verifiers,” in <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>, Gothenburg, Sweden, 2018, pp. 1182--1193.","ama":"Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Reducer-Based Construction of Conditional Verifiers. In: <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>. ACM; 2018:1182--1193.","bibtex":"@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2018, title={Reducer-Based Construction of Conditional Verifiers}, booktitle={Proceedings of the 40th International Conference on Software Engineering (ICSE)}, publisher={ACM}, author={Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, year={2018}, pages={1182--1193} }","mla":"Beyer, Dirk, et al. “Reducer-Based Construction of Conditional Verifiers.” <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>, ACM, 2018, pp. 1182--1193."},"file_date_updated":"2018-11-21T10:50:51Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"},{"_id":"85","name":"Kooperative Softwareverifikation"}],"_id":"1096","publisher":"ACM","page":"1182--1193","ddc":["000"],"user_id":"29719","conference":{"end_date":"2018-06-03","location":"Gothenburg, Sweden","name":"40th International Conference on Software Engineering","start_date":"2018-05-27"},"status":"public","has_accepted_license":"1"},{"user_id":"477","_id":"1097","language":[{"iso":"eng"}],"publisher":"Universität Paderborn","date_updated":"2022-01-06T06:50:54Z","year":"2018","title":"Enforcing IP Core Connection Properties with Verifiable Security Monitors","status":"public","author":[{"last_name":"Jentzsch","first_name":"Felix Paul","full_name":"Jentzsch, Felix Paul"}],"type":"bachelorsthesis","keyword":["Approximate Computing","Proof-Carrying Hardware","Formal Verification"],"department":[{"_id":"78"}],"date_created":"2018-01-15T16:48:05Z","project":[{"_id":"12","name":"SFB 901 - Subproject B4"},{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"}],"citation":{"mla":"Jentzsch, Felix Paul. <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn, 2018.","bibtex":"@book{Jentzsch_2018, title={Enforcing IP Core Connection Properties with Verifiable Security Monitors}, publisher={Universität Paderborn}, author={Jentzsch, Felix Paul}, year={2018} }","ama":"Jentzsch FP. <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn; 2018.","ieee":"F. P. Jentzsch, <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn, 2018.","apa":"Jentzsch, F. P. (2018). <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn.","short":"F.P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors, Universität Paderborn, 2018.","chicago":"Jentzsch, Felix Paul. <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn, 2018."},"supervisor":[{"id":"3118","full_name":"Wiersema, Tobias","first_name":"Tobias","last_name":"Wiersema"}]},{"publication":"Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations","citation":{"mla":"Ajjour, Yamen, et al. “Visualization of the Topic Space of Argument Search Results in Args. Me.” <i>Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations</i>, 2018, pp. 60–65.","ama":"Ajjour Y, Wachsmuth H, Kiesel D, et al. Visualization of the Topic Space of Argument Search Results in args. me. In: <i>Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations</i>. ; 2018:60-65.","bibtex":"@inproceedings{Ajjour_Wachsmuth_Kiesel_Riehmann_Fan_Castiglia_Adejoh_Fröhlich_Stein_2018, title={Visualization of the Topic Space of Argument Search Results in args. me}, booktitle={Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations}, author={Ajjour, Yamen and Wachsmuth, Henning and Kiesel, Dora and Riehmann, Patrick and Fan, Fan and Castiglia, Giuliano and Adejoh, Rosemary and Fröhlich, Bernd and Stein, Benno}, year={2018}, pages={60–65} }","apa":"Ajjour, Y., Wachsmuth, H., Kiesel, D., Riehmann, P., Fan, F., Castiglia, G., … Stein, B. (2018). Visualization of the Topic Space of Argument Search Results in args. me. In <i>Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations</i> (pp. 60–65).","ieee":"Y. Ajjour <i>et al.</i>, “Visualization of the Topic Space of Argument Search Results in args. me,” in <i>Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations</i>, 2018, pp. 60–65.","chicago":"Ajjour, Yamen, Henning Wachsmuth, Dora Kiesel, Patrick Riehmann, Fan Fan, Giuliano Castiglia, Rosemary Adejoh, Bernd Fröhlich, and Benno Stein. “Visualization of the Topic Space of Argument Search Results in Args. Me.” In <i>Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations</i>, 60–65, 2018.","short":"Y. Ajjour, H. Wachsmuth, D. Kiesel, P. Riehmann, F. Fan, G. Castiglia, R. Adejoh, B. Fröhlich, B. Stein, in: Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, 2018, pp. 60–65."},"type":"conference","department":[{"_id":"600"},{"_id":"568"}],"date_created":"2019-07-11T13:17:03Z","date_updated":"2022-01-06T06:51:07Z","status":"public","title":"Visualization of the Topic Space of Argument Search Results in args. me","year":"2018","author":[{"full_name":"Ajjour, Yamen","first_name":"Yamen","last_name":"Ajjour"},{"id":"3900","full_name":"Wachsmuth, Henning","last_name":"Wachsmuth","first_name":"Henning"},{"full_name":"Kiesel, Dora","last_name":"Kiesel","first_name":"Dora"},{"full_name":"Riehmann, Patrick","first_name":"Patrick","last_name":"Riehmann"},{"full_name":"Fan, Fan","first_name":"Fan","last_name":"Fan"},{"full_name":"Castiglia, Giuliano","last_name":"Castiglia","first_name":"Giuliano"},{"last_name":"Adejoh","first_name":"Rosemary","full_name":"Adejoh, Rosemary"},{"first_name":"Bernd","last_name":"Fröhlich","full_name":"Fröhlich, Bernd"},{"full_name":"Stein, Benno","first_name":"Benno","last_name":"Stein"}],"user_id":"82920","main_file_link":[{"url":"https://www.aclweb.org/anthology/D18-2011.pdf"}],"page":"60-65","language":[{"iso":"eng"}],"_id":"11711"},{"status":"public","title":"Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus","year":"2018","author":[{"full_name":"El Baff, Roxanne","last_name":"El Baff","first_name":"Roxanne"},{"id":"3900","full_name":"Wachsmuth, Henning","first_name":"Henning","last_name":"Wachsmuth"},{"full_name":"Al Khatib, Khalid","first_name":"Khalid","last_name":"Al Khatib"},{"full_name":"Stein, Benno","first_name":"Benno","last_name":"Stein"}],"date_updated":"2022-01-06T06:51:07Z","page":"454-464","main_file_link":[{"url":"https://www.aclweb.org/anthology/K18-1044.pdf"}],"publisher":"Association for Computational Linguistics","_id":"11712","language":[{"iso":"eng"}],"user_id":"82920","publication":"Proceedings of the 22nd Conference on Computational Natural Language Learning","citation":{"chicago":"El Baff, Roxanne, Henning Wachsmuth, Khalid Al Khatib, and Benno Stein. “Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus.” In <i>Proceedings of the 22nd Conference on Computational Natural Language Learning</i>, 454–64. Association for Computational Linguistics, 2018.","short":"R. El Baff, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the 22nd Conference on Computational Natural Language Learning, Association for Computational Linguistics, 2018, pp. 454–464.","apa":"El Baff, R., Wachsmuth, H., Al Khatib, K., &#38; Stein, B. (2018). Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus. In <i>Proceedings of the 22nd Conference on Computational Natural Language Learning</i> (pp. 454–464). Association for Computational Linguistics.","ieee":"R. El Baff, H. Wachsmuth, K. Al Khatib, and B. Stein, “Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus,” in <i>Proceedings of the 22nd Conference on Computational Natural Language Learning</i>, 2018, pp. 454–464.","ama":"El Baff R, Wachsmuth H, Al Khatib K, Stein B. Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus. In: <i>Proceedings of the 22nd Conference on Computational Natural Language Learning</i>. Association for Computational Linguistics; 2018:454-464.","bibtex":"@inproceedings{El Baff_Wachsmuth_Al Khatib_Stein_2018, title={Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus}, booktitle={Proceedings of the 22nd Conference on Computational Natural Language Learning}, publisher={Association for Computational Linguistics}, author={El Baff, Roxanne and Wachsmuth, Henning and Al Khatib, Khalid and Stein, Benno}, year={2018}, pages={454–464} }","mla":"El Baff, Roxanne, et al. “Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus.” <i>Proceedings of the 22nd Conference on Computational Natural Language Learning</i>, Association for Computational Linguistics, 2018, pp. 454–64."},"date_created":"2019-07-11T13:20:33Z","type":"conference","department":[{"_id":"600"},{"_id":"568"}]}]