Consultation Phases in Mathematics Learning and Support Centres
M. Schürmann, A. Panse, Z. Shaikh, R. Biehler, N. Schaper, M. Liebendörfer, J. Hilgert, International Journal of Research in Undergraduate Mathematics Education 8 (2021) 94–120.

The process of actively building a model for a randomization test – insights into learners’ modeling activities based on a case study
S. Podworny, R. Biehler, Mathematical Thinking and Learning 24 (2021) 291–311.

A first introduction to data science education in secondary schools: Teaching and learning about data exploration with<scp>CODAP</scp>using survey data
D. Frischemeier, R. Biehler, S. Podworny, L. Budde, Teaching Statistics 43 (2021) 2–9.

Opportunities and Possibilities of a Network of Mathematical Learning and Support Centres in Germany
M. Schürmann, M. Liebendörfer, L. Gildehaus, N. Schaper, R. Hochmuth, R. Biehler, E. Lankeit, C. Kuklinski, J. Ruge, Sigma Newsletter 22 (2021) 5–6.

Was ist eine gute Skizze? Strategiewissen beim mathematischen Modellieren im Bereich der Geometrie fördern
J. Schönherr, S. Schukajlow, J. Blomberg, mathematik lehren 224 (2021) 22–27.

Does strategic knowledge matter? Effects of strategic knowledge about drawing on students’ modeling competencies in the domain of geometry
J. Schönherr, S. Schukajlow, J. Blomberg, C. Leopold, Mathematical Thinking and Learning (2021).

Do emotions and prior performance facilitate the use of the learner-generated drawing strategy? Effects of enjoyment, anxiety, and intramathematical performance on the use of the drawing strategy and modelling performance
J. Schönherr, J. Blomberg, S. Schukajlow, C. Leopold, Contemporary Educational Psychology 65 (2021).

Analysis of DTLS Implementations Using Protocol State Fuzzing
P. Fiterau-Brostean, B. Jonsson, R. Merget, J. de Ruiter, K. Sagonas, J. Somorovsky, in: 29th USENIX Security Symposium (USENIX Security 20), USENIX Association, 2020, pp. 2523–2540.

Learning Choice Functions via Pareto-Embeddings
K. Pfannschmidt, E. Hüllermeier, in: Lecture Notes in Computer Science, Cham, 2020.

ProConAR: A Tool Support for Model-based AR Product Configuration
S. Gottschalk, E. Yigitbas, E. Schmidt, G. Engels, in: R. Bernhaupt, C. Ardito, S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020, Springer, Cham, 2020.

Every Node for Itself: Fully Distributed Service Coordination
S.B. Schneider, L.D. Klenner, H. Karl, in: IEEE International Conference on Network and Service Management (CNSM), IEEE, 2020.

Self-Driving Network and Service Coordination Using Deep Reinforcement Learning
S.B. Schneider, A. Manzoor, H. Qarawlus, R. Schellenberg, H. Karl, R. Khalili, A. Hecker, in: IEEE International Conference on Network and Service Management (CNSM), IEEE, 2020.

Augmented and Virtual Reality Object Repository for Rapid Prototyping 
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, in: Proceedings of the 8th International Working Conference on Human-Centered Software Engineering (HCSE’20), Springer, 2020, pp. 216–224.

Automatic Fairness Testing of Machine Learning Models
A. Sharma, H. Wehrheim, in: Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), Springer, n.d.

Research and Consulting in Data-Driven Strategic Product Planning
M. Meyer, M. Frank, M. Massmann, R. Dumitrescu, Proceedings of The 11th International Multi-Conference on Complexity, Informatics and Cybernetics (IMCIC 2020) (2020).

Research and Consulting in Data-Driven Strategic Product Planning
M. Meyer, M. Frank, M. Massmann, R. Dumitrescu, Journal of Systemics, Cybernetics and Informatics 18 (2020) 55–61.

A Discrete and Continuous Study of the Max-Chain-Formation Problem – Slow Down to Speed Up
J. Castenow, P. Kling, 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. 65–80.

Preservation of Bifurcations of Hamiltonian Boundary Value Problems Under Discretisation
R.I. McLachlan, C. Offen, Foundations of Computational Mathematics 20 (2020) 1363–1400.

Detection of high codimensional bifurcations in variational PDEs
L.M. Kreusser, R.I. McLachlan, C. Offen, Nonlinearity 33 (2020) 2335–2363.

A Novel Higher-order Weisfeiler-Lehman Graph Convolution
C. Damke, V. Melnikov, E. Hüllermeier, in: S. Jialin Pan, M. Sugiyama (Eds.), Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020), PMLR, Bangkok, Thailand, 2020, pp. 49–64.

Optimierung von JMCTest beim Testen von Inter Method Contracts
S. Mayer, Optimierung von JMCTest Beim Testen von Inter Method Contracts, Universität Paderborn, 2020.

Mining Crowdsourcing Problems from Discussion Forums of Workers
Z. Nouri, H. Wachsmuth, G. Engels, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, n.d., pp. 6264–6276.

Persuasiveness of News Editorials depending on Ideology and Personality
R. El Baff, K. Al-Khatib, B. Stein, H. Wachsmuth, in: Third Workshop on Computational Modeling of People’s Opinions, Personality, and Emotions in Social Media (PEOPLES 2020), 2020, pp. 29–40.

Argument from Old Man's View: Assessing Social Bias in Argumentation
M. Spliethöver, H. Wachsmuth, in: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020), 2020, pp. 76–87.

Semi-Supervised Cleansing of Web Argument Corpora
J. Dorsch, H. Wachsmuth, in: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020), 2020, pp. 19–29.

Mincut Sensitivity Data Structures for the Insertion of an Edge
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.

Overview of Touché 2020: Argument Retrieval
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.

Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility 
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.

Hybrid coupled mode modelling of the evanescent excitation of a dielectric tube by semi-guided waves at oblique angles
M. Hammer, L. Ebers, J. Förstner, Optical and Quantum Electronics 52 (2020).

Plurality Consensus in Hybrid Networks
P.K. Yeole, Plurality Consensus in Hybrid Networks, 2020.

Nonlinear dielectric properties of random paraelectric-dielectric composites
V. Myroshnychenko, S. Smirnov, P.M.M. Jose, C. Brosseau, J. Förstner, Acta Materialia 203 (2020) 116432.

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
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.

Consistency Analysis of AUTOSAR Timing Requirements
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.

Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
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.

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
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.

Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.

Testing Monotonicity of Machine Learning Models
A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).

Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology
L. Wu, M. Weizel, C. Scheytt, in: 2020 IEEE International Symposium on Circuits and Systems (ISCAS), IEEE, Sevilla, Spain, 2020.

Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator
S. Abughannam, C. Scheytt, in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) , IEEE, Virtuelle Konferenz, 2020.

A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures
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.

Analysis, Design and Implementation of a Fully Integrated Analog Front-End for Microwave RFIDs at 5.8 GHz to be Used with Compact MIMO Readers
S. Haddadian, C. Scheytt, IEEE Journal of Radio Frequency Identification (2020) 1–1.

Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers
S. Ballandras, S. Abughannam, E. Courjon, C. Scheytt, in: GeMiC 2020 - German Microwave Conference, 2020.

Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices
Z.  Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 2020.

Intrinsic Quality Assessment of Arguments
H. Wachsmuth, T. Werner, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, 2020, pp. 6739–6745.

Analyzing the Persuasive Effect of Style in News Editorial Argumentation
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.

Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen
G. Engels, Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO) (2020) 363–370.

Owicki-Gries Reasoning for  RAR (Artifact)
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.

Owicki-Gries Reasoning for  RAR
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik, 2020, pp. 11:1-11:26.

Attend and Represent: A Novel View on Algorithm Selection for Software Verification
C. Richter, H. Wehrheim, in: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, IEEE, 2020, pp. 1016–1028.

Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.