Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5792 Publications
2020 | Conference Paper | LibreCat-ID: 20122
El Baff R, Al-Khatib K, Stein B, Wachsmuth H. Persuasiveness of News Editorials depending on Ideology and Personality. In: Third Workshop on Computational Modeling of People’s Opinions, Personality, and Emotions in Social Media (PEOPLES 2020). ; 2020:29-40.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20139 | 
Spliethöver M, Wachsmuth H. Argument from Old Man’s View: Assessing Social Bias in Argumentation. In: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020). ; 2020:76-87.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20140
Dorsch J, Wachsmuth H. Semi-Supervised Cleansing of Web Argument Corpora. In: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020). ; 2020:19-29.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20159
Baswana S, Gupta S, Knollmann T. Mincut Sensitivity Data Structures for the Insertion of an Edge. In: Grandoni F, Herman G, Sanders P, eds. 28th Annual European Symposium on Algorithms (ESA 2020). Vol 173. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik; 2020:12:1-12:14. doi:10.4230/LIPIcs.ESA.2020.12
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20166
Bondarenko A, Fröbe M, Beloucif M, et al. Overview of Touché 2020: Argument Retrieval. In: CEUR Workshop Proceedings. Vol 2696. ; 2020:384-395.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20185
Castenow J, Harbig J, Jung D, Knollmann T, Meyer auf der Heide F. Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility . In: Devismes S, Mittal N, eds. Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings . Vol 12514. Lecture Notes in Computer Science (LNCS). Springer; 2020:60-64. doi:10.1007/978-3-030-64348-5_5
LibreCat
| DOI
| arXiv
2020 | Mastersthesis | LibreCat-ID: 20221
Yeole PK. Plurality Consensus in Hybrid Networks.; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20274
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. 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. Vol 12136. Lecture Notes in Computer Science. Springer; 2020:39-58. doi:10.1007/978-3-030-50086-3\_3
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20275
Beringer S, Wehrheim H. Consistency Analysis of AUTOSAR Timing Requirements. In: van Sinderen M, Fill H-}Georg, A. Maciaszek L, eds. Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020. ScitePress; 2020:15-26. doi:10.5220/0009766600150026
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In: Margaria T, Steffen B, 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}. Vol 12476. Lecture Notes in Computer Science. Springer; 2020:143-167. doi:10.1007/978-3-030-61362-4\_8
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
Wehrheim H, Cabot J, 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. Vol 12076. Springer; 2020. doi:10.1007/978-3-030-45234-6
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt W, Wehrheim H, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol 12165. Springer; 2020. doi:10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20279
Sharma A, Wehrheim H. Testing Monotonicity of Machine Learning Models. CoRR. 2020;abs/2002.12278.
LibreCat
2020 | Conference Paper | LibreCat-ID: 3583
Guetttatfi Z, Kaufmann P, Platzner M. Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices. In: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC). ; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 3800
Wachsmuth H, Werner T. Intrinsic Quality Assessment of Arguments. In: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics. ; 2020:6739-6745.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 3878
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. Proceedings of 58th Annual Meeting of the Association for Computational Linguistics. ; 2020:553-564.
LibreCat
2020 | Journal Article | LibreCat-ID: 29045 |
Engels G. Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen. Gruppe Interaktion Organisation Zeitschrift für Angewandte Organisationspsychologie (GIO). Published online 2020:363-370. doi:10.1007/s11612-020-00527-9
LibreCat
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 21016
Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser. 2020;6(2):15:1-15:2. doi:10.4230/DARTS.6.2.15
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11 RAR. In: Hirschfeld R, Pape T, eds. 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference). Vol 166. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik; 2020:11:1-11:26. doi:10.4230/LIPIcs.ECOOP.2020.11
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
Richter C, Wehrheim H. Attend and Represent: A Novel View on Algorithm Selection for Software Verification. In: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020. {IEEE}; 2020:1016-1028.
LibreCat