Damke, Clemens, et al. “A Novel Higher-Order Weisfeiler-Lehman Graph Convolution.” Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020), edited by Sinno Jialin Pan and Masashi Sugiyama, vol. 129, PMLR, 2020, pp. 49–64.
LibreCat: /record/19953
arXiv: 2007.00346

Mayer, Stefan. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn, 2020.
LibreCat: /record/19999

Nouri, Zahra, et al. “Mining Crowdsourcing Problems from Discussion Forums of Workers.” Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, pp. 6264–76.
LibreCat: /record/20116

El Baff, Roxanne, et al. “Persuasiveness of News Editorials Depending on Ideology and Personality.” Third Workshop on Computational Modeling of People’s Opinions, Personality, and Emotions in Social Media (PEOPLES 2020), 2020, pp. 29–40.
LibreCat: /record/20122

Spliethöver, Maximilian, and Henning Wachsmuth. “Argument from Old Man’s View: Assessing Social Bias in Argumentation.” Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020), 2020, pp. 76–87.
LibreCat: /record/20139

Dorsch, Jonas, and Henning Wachsmuth. “Semi-Supervised Cleansing of Web Argument Corpora.” Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020), 2020, pp. 19–29.
LibreCat: /record/20140

Baswana, Surender, et al. “Mincut Sensitivity Data Structures for the Insertion of an Edge.”10.4230/LIPIcs.ESA.2020.12__28th Annual European Symposium on Algorithms (ESA 2020), edited by Fabrizio Grandoni et al., vol. 173, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2020, pp. 12:1-12:14, doi:10.4230/LIPIcs.ESA.2020.12.
LibreCat: /record/20159
DOI: 10.4230/LIPIcs.ESA.2020.12

Bondarenko, Alexander, et al. “Overview of Touché 2020: Argument Retrieval.” CEUR Workshop Proceedings, vol. 2696, 2020, pp. 384–95.
LibreCat: /record/20166

Castenow, Jannik, et al. “Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented &; Luminous Robots with Limited Visibility .”10.1007/978-3-030-64348-5_5__Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings , edited by Stéphane10.1007/978-3-030-64348-5_5__Devismes and Neeraj10.1007/978-3-030-64348-5_5__Mittal, vol. 12514, Springer, 2020, pp. 60–64, doi:10.1007/978-3-030-64348-5_5.
LibreCat: /record/20185
DOI: 10.1007/978-3-030-64348-5_5
arXiv: 2010.04424 

Hammer, Manfred, et al. “Hybrid Coupled Mode Modelling of the Evanescent Excitation of a Dielectric Tube by Semi-Guided Waves at Oblique Angles.”10.1007/s11082-020-02595-z__Optical and Quantum Electronics, vol. 52, 472, 2020, doi:10.1007/s11082-020-02595-z.
LibreCat: /record/20189
DOI: 10.1007/s11082-020-02595-z

Yeole, Paresh Kishor. Plurality Consensus in Hybrid Networks. 2020.
LibreCat: /record/20221

Myroshnychenko, Viktor, et al. “Nonlinear Dielectric Properties of Random Paraelectric-Dielectric Composites.”10.1016/j.actamat.2020.10.051__Acta Materialia, vol. 203, 2020, p. 116432, doi:10.1016/j.actamat.2020.10.051.
LibreCat: /record/20233
DOI: 10.1016/j.actamat.2020.10.051

Bila, Eleni, et al. “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.”10.1007/978-3-030-50086-3‑3__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, edited by Alexey Gotsman and Ana Sokolova, vol. 12136, Springer, 2020, pp. 39–58, doi:10.1007/978-3-030-50086-3‑3.
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing Requirements.”10.5220/0009766600150026__Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, edited by Marten van Sinderen et al., ScitePress, 2020, pp. 15–26, doi:10.5220/0009766600150026.
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.”10.1007/978-3-030-61362-4‑8__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, edited by Tiziana Margaria and Bernhard Steffen, vol. 12476, Springer, 2020, pp. 143–67, doi:10.1007/978-3-030-61362-4‑8.
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

Wehrheim, Heike, and Jordi Cabot, editors. 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: /record/20277
DOI: 10.1007/978-3-030-45234-6

Ahrendt, Wolfgang, and Heike Wehrheim, editors. 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: /record/20278
DOI: 10.1007/978-3-030-50995-8

Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning Models.” CoRR, vol. abs/2002.12278, 2020.
LibreCat: /record/20279

Wu, Liang, et al. “Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 Nm SiGe BiCMOS Technology.”10.1109/ISCAS45731.2020.9180947__2020 IEEE International Symposium on Circuits and Systems (ISCAS), IEEE, 2020, doi:10.1109/ISCAS45731.2020.9180947.
LibreCat: /record/24021
DOI: 10.1109/ISCAS45731.2020.9180947

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.”10.1109/PIMRC48278.2020.9217198__IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) , IEEE, 2020, doi:10.1109/PIMRC48278.2020.9217198.
LibreCat: /record/24022
DOI: 10.1109/PIMRC48278.2020.9217198