@inproceedingsKontinen_Meier_Mahmood_2021, place=Cham, title=A Parameterized View on the Complexity of Dependence Logic, DOI=10.1007/978-3-030-93100-1_9, booktitle=Logical Foundations of Computer Science, publisher=Springer International Publishing, author=Kontinen, Juha and Meier, Arne and Mahmood, Yasir, year=2021 

@inbookAlhaddad_Förstner_Groth_Grünewald_Grynko_Hannig_Kenter_Pfreundt_Plessl_Schotte_et al._2021, place=Cham, title=HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids, DOI=10.1007/978-3-030-71593-9_15, booktitle=Euro-Par 2020: Parallel Processing Workshops, author=Alhaddad, Samer and Förstner, Jens and Groth, Stefan and Grünewald, Daniel and Grynko, Yevgen and Hannig, Frank and Kenter, Tobias and Pfreundt, Franz-Josef and Plessl, Christian and Schotte, Merlind and et al., year=2021 

@inbookRamaswami_Kenter_Kühne_Plessl_2021, place=Cham, title=Evaluating the Design Space for Offloading 3D FFT Calculations to an FPGA for High-Performance Computing, DOI=10.1007/978-3-030-79025-7_21, booktitle=Applied Reconfigurable Computing. Architectures, Tools, and Applications, publisher=Springer International Publishing, author=Ramaswami, Arjun and Kenter, Tobias and Kühne, Thomas and Plessl, Christian, year=2021 

@inbookKontinen_Meier_Mahmood_2021, place=Cham, title=A Parameterized View on the Complexity of Dependence Logic, DOI=10.1007/978-3-030-93100-1_9, booktitle=Logical Foundations of Computer Science, publisher=Springer International Publishing, author=Kontinen, Juha and Meier, Arne and Mahmood, Yasir, year=2021 

@inbookPfannschmidt_Hüllermeier_2020, place=Cham, title=Learning Choice Functions via Pareto-Embeddings, DOI=10.1007/978-3-030-58285-2_30, booktitle=Lecture Notes in Computer Science, author=Pfannschmidt, Karlson and Hüllermeier, Eyke, year=2020 

@inbookSellmann_Tierney_2020, place=Cham, title=Hyper-parameterized Dialectic Search for Non-linear Box-Constrained Optimization with Heterogenous Variable Types, DOI=10.1007/978-3-030-53552-0_12, booktitle=Lecture Notes in Computer Science, author=Sellmann, Meinolf and Tierney, Kevin, year=2020 

@inbookJager_Niehues_2020, place=Cham, title=On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions, DOI=10.1007/978-3-030-38471-5_13, booktitle=Lecture Notes in Computer Science, author=Jager, Tibor and Niehues, David, year=2020 

@inbookJazayeri_Schwichtenberg_Küster_Zimmermann_Engels_2020, place=Cham, title=Modeling and Analyzing Architectural Diversity of Open Platforms, DOI=10.1007/978-3-030-49435-3_3, booktitle=Advanced Information Systems Engineering, author=Jazayeri, Bahar and Schwichtenberg, Simon and Küster, Jochen and Zimmermann, Olaf and Engels, Gregor, year=2020 

@articleGräßler_Hentze_2020, title=The new V-Model of 2206 and its validation, number=68(5), journal=at-Automatisierungstechnik 68(5), author=Gräßler, Iris and Hentze, Julian, year=2020, pages=312–324 

@inbookKnüppel_Krüger_Thüm_Bubel_Krieter_Bodden_Schaefer_2020, place=Cham, title=Using Abstract Contracts for Verifying Evolving Features and Their Interactions, DOI=10.1007/978-3-030-64354-6_5, booktitle=Lecture Notes in Computer Science, author=Knüppel, Alexander and Krüger, Stefan and Thüm, Thomas and Bubel, Richard and Krieter, Sebastian and Bodden, Eric and Schaefer, Ina, year=2020 

@inbookEl Mesaoudi-Paul_Weiß_Bengs_Hüllermeier_Tierney_2020, place=Cham, series=Lecture Notes in Computer Science, title=Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach, volume=12096, DOI=10.1007/978-3-030-53552-0_22, booktitle=Learning and Intelligent Optimization. LION 2020., publisher=Springer, author=El Mesaoudi-Paul, Adil and Weiß, Dimitri and Bengs, Viktor and Hüllermeier, Eyke and Tierney, Kevin, year=2020, pages=216–232, collection=Lecture Notes in Computer Science 

@inbookPiskachev_Petrasch_Späth_Bodden_2020, place=Cham, title=AuthCheck: Program-State Analysis for Access-Control Vulnerabilities, DOI=10.1007/978-3-030-54997-8_34, booktitle=Lecture Notes in Computer Science, author=Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric, year=2020 

@inproceedingsWeidmann_Anjorin_2020, place=Cham, title=Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming, DOI=10.1007/978-3-030-45234-6_16, booktitle=Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, publisher=Springer, author=Weidmann, Nils and Anjorin, Anthony, editor=Wehrheim, Heike and Cabot, JordiEditors, year=2020 

@inproceedingsSchwichtenberg_Schwichtenberg_Küster_Zimmermann_Engels_2020, place=Cham, title=Modeling and Analyzing Architectural Diversity of Open Platforms, DOI=10.1007/978-3-030-49435-3_3, booktitle=Advanced Information Systems Engineering, author=Schwichtenberg, Bahar and Schwichtenberg, Simon and Küster, Jochen and Zimmermann, Olaf and Engels, Gregor, year=2020 

@inproceedingsDallmeier_Drees_Gellert_Handirk_Jager_Klauke_Nachtigall_Renzelmann_Wolf_2020, place=Cham, title=Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC, DOI=10.1007/978-3-030-65411-5_11, booktitle=Cryptology and Network Security, publisher=Springer-Verlag, author=Dallmeier, Fynn and Drees, Jan P. and Gellert, Kai and Handirk, Tobias and Jager, Tibor and Klauke, Jonas and Nachtigall, Simon and Renzelmann, Timo and Wolf, Rudi, year=2020, pages=211–231 

@inproceedingszur Heiden_2020, place=Cham, title=Considering Context in Design Science Research: A Systematic Literature Review, DOI=10.1007/978-3-030-64823-7_21, booktitle=Designing for Digital Transformation. Co-Creating Services with Citizens and Industry, author=zur Heiden, Philipp, year=2020 

@articleHagengruber_2020, title=Review Hagengruber Le Ru Émilie Du Châtelet Philosophe , volume=158, journal=H-France Net, author=Hagengruber, Ruth, year=2020 

@inproceedingsMahmood_Meier_2020, place=Cham, title=Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic, DOI=10.1007/978-3-030-39951-1_10, booktitle=Lecture Notes in Computer Science, publisher=Springer International Publishing, author=Mahmood, Yasir and Meier, Arne, year=2020 

@articleHahn_2020, title=Informationskompetenz durch E-Learning? Durch Lernvideos nach Literatur suchen, number=6, journal=die hochschullehre, author=Hahn, Charlotte Anna, year=2020 

@inbookHaney_Furman_Acar_2020, place=Cham, title=Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges, DOI=10.1007/978-3-030-50309-3_26, booktitle=HCI for Cybersecurity, Privacy and Trust, publisher=Springer International Publishing, author=Haney, Julie M. and Furman, Susanne M. and Acar, Yasemin, year=2020