@inbookFeldhans_Wilke_Heindorf_Shaker_Hammer_Ngonga Ngomo_Hüllermeier_2021, place=Cham, title=Drift Detection in Text Data with Document Embeddings, DOI=10.1007/978-3-030-91608-4_11, booktitle=Intelligent Data Engineering and Automated Learning – IDEAL 2021, author=Feldhans, Robert and Wilke, Adrian and Heindorf, Stefan and Shaker, Mohammad Hossein and Hammer, Barbara and Ngonga Ngomo, Axel-Cyrille and Hüllermeier, Eyke, year=2021 
LibreCat: /record/29046
DOI: 10.1007/978-3-030-91608-4_11

@inproceedingsHartel_Dunst_2021, place=Cham, title=An OCR Pipeline and Semantic Text Analysis for Comics, DOI=10.1007/978-3-030-68780-9_19, booktitle=MANPU 2020: The 4th International Workshop on coMics ANalysis, Processing and Understanding@Pattern Recognition. ICPR International Workshops and Challenges, author=Hartel, Rita and Dunst, Alexander, year=2021 
LibreCat: /record/21378
DOI: 10.1007/978-3-030-68780-9_19

@inbookJager_Kurek_Niehues_2021, place=Cham, title=Efficient Adaptively-Secure IB-KEMs and VRFs via Near-Collision Resistance, DOI=10.1007/978-3-030-75245-3_22, booktitle=Public-Key Cryptography – PKC 2021, author=Jager, Tibor and Kurek, Rafael and Niehues, David, year=2021 
LibreCat: /record/22057
DOI: 10.1007/978-3-030-75245-3_22

@inbookNiehues_2021, place=Cham, title=Verifiable Random Functions with Optimal Tightness, DOI=10.1007/978-3-030-75248-4_3, booktitle=Public-Key Cryptography – PKC 2021, author=Niehues, David, year=2021 
LibreCat: /record/22059
DOI: 10.1007/978-3-030-75248-4_3

@inproceedingsDamke_Hüllermeier_2021, series=Lecture Notes in Computer Science, title=Ranking Structured Objects with Graph Neural Networks, volume=12986, DOI=10.1007/978-3-030-88942-5, booktitle=Proceedings of The 24th International Conference on Discovery Science (DS 2021), publisher=Springer, author=Damke, Clemens and Hüllermeier, Eyke, editor=Soares, Carlos and Torgo, Luis, year=2021, pages=166–180, collection=Lecture Notes in Computer Science 
LibreCat: /record/27381
DOI: 10.1007/978-3-030-88942-5
arXiv: 2104.08869

@inbookGötte_Kolb_Scheideler_Werthmann_2021, place=Cham, title=Beep-And-Sleep: Message and Energy Efficient Set Cover, DOI=10.1007/978-3-030-89240-1_7, booktitle=Algorithms for Sensor Systems (ALGOSENSORS ’21), author=Götte, Thorsten and Kolb, Christina and Scheideler, Christian and Werthmann, Julian, year=2021 
LibreCat: /record/26888
DOI: 10.1007/978-3-030-89240-1_7

@inproceedingsBobolz_Eidens_Krenn_Ramacher_Samelin_2021, place=Cham, title=Issuer-Hiding Attribute-Based Credentials, DOI=10.1007/978-3-030-92548-2_9, booktitle=Cryptology and Network Security, publisher=Springer International Publishing, author=Bobolz, Jan and Eidens, Fabian and Krenn, Stephan and Ramacher, Sebastian and Samelin, Kai, year=2021 
LibreCat: /record/29566
DOI: 10.1007/978-3-030-92548-2_9

@inbookNagbøl_Müller_Krancher_2021, place=Cham, title=Designing a Risk Assessment Tool for Artificial Intelligence Systems, DOI=10.1007/978-3-030-82405-1_32, booktitle=The Next Wave of Sociotechnical Design, publisher=Springer International Publishing, author=Nagbøl, Per Rådberg and Müller, Oliver and Krancher, Oliver, year=2021 
LibreCat: /record/32868
DOI: 10.1007/978-3-030-82405-1_32

@inbookFeldhans_Wilke_Heindorf_Shaker_Hammer_Ngonga Ngomo_Hüllermeier_2021, place=Cham, title=Drift Detection in Text Data with Document Embeddings, DOI=10.1007/978-3-030-91608-4_11, booktitle=Intelligent Data Engineering and Automated Learning – IDEAL 2021, publisher=Springer International Publishing, author=Feldhans, Robert and Wilke, Adrian and Heindorf, Stefan and Shaker, Mohammad Hossein and Hammer, Barbara and Ngonga Ngomo, Axel-Cyrille and Hüllermeier, Eyke, year=2021 
LibreCat: /record/29292
DOI: 10.1007/978-3-030-91608-4_11

@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 
LibreCat: /record/45846
DOI: 10.1007/978-3-030-93100-1_9

@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 
LibreCat: /record/21587
DOI: 10.1007/978-3-030-71593-9_15

@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 
LibreCat: /record/29936
DOI: 10.1007/978-3-030-79025-7_21

@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 
LibreCat: /record/45823
DOI: 10.1007/978-3-030-93100-1_9

@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 
LibreCat: /record/19521
DOI: 10.1007/978-3-030-58285-2_30

@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 
LibreCat: /record/19561
DOI: 10.1007/978-3-030-53552-0_12

@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 
LibreCat: /record/21396
DOI: 10.1007/978-3-030-38471-5_13

@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 
LibreCat: /record/17337
DOI: 10.1007/978-3-030-49435-3_3

@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 
LibreCat: /record/23517

@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 
LibreCat: /record/20891
DOI: 10.1007/978-3-030-64354-6_5

@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 
LibreCat: /record/18014
DOI: 10.1007/978-3-030-53552-0_22

@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 
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34

@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 
LibreCat: /record/17084
DOI: 10.1007/978-3-030-45234-6_16

@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 
LibreCat: /record/17085
DOI: 10.1007/978-3-030-49435-3_3

@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 
LibreCat: /record/28997
DOI: 10.1007/978-3-030-65411-5_11

@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 
LibreCat: /record/20706
DOI: 10.1007/978-3-030-64823-7_21

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

@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 
LibreCat: /record/45848
DOI: 10.1007/978-3-030-39951-1_10

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

@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 
LibreCat: /record/47261
DOI: 10.1007/978-3-030-50309-3_26

@articleSchmitt_2020, title=Rezension zu: Bernardo Bátiz-Lazo: Cash and Dash. How ATMs and Computers Changed Banking, volume=107, number=4, journal=Vierteljahrschrift für Sozial- und Wirtschaftsgeschichte, author=Schmitt, Martin, year=2020, pages=541–543 
LibreCat: /record/51816

@inbookSenft_Rittmeier_Fischer_Oberthür_2019, place=Cham, title=A Value-Centered Approach for Unique and Novel Software Applications, DOI=10.1007/978-3-030-23535-2_27, booktitle=Design, User Experience, and Usability. Practice and Case Studies, author=Senft, Björn and Rittmeier, Florian and Fischer, Holger Gerhard and Oberthür, Simon, year=2019 
LibreCat: /record/11952
DOI: 10.1007/978-3-030-23535-2_27

@inbookKuhlemann_Sellmann_Tierney_2019, place=Cham, title=Exploiting Counterfactuals for Scalable Stochastic Optimization, DOI=10.1007/978-3-030-30048-7_40, booktitle=Lecture Notes in Computer Science, author=Kuhlemann, Stefan and Sellmann, Meinolf and Tierney, Kevin, year=2019 
LibreCat: /record/14890
DOI: 10.1007/978-3-030-30048-7_40

@inbookAhmadi Fahandar_Hüllermeier_2019, place=Cham, title=Feature Selection for Analogy-Based Learning to Rank, DOI=10.1007/978-3-030-33778-0_22, booktitle=Discovery Science, author=Ahmadi Fahandar, Mohsen and Hüllermeier, Eyke, year=2019 
LibreCat: /record/15004
DOI: 10.1007/978-3-030-33778-0_22

@inbookAhmadi Fahandar_Hüllermeier_2019, place=Cham, title=Analogy-Based Preference Learning with Kernels, DOI=10.1007/978-3-030-30179-8_3, booktitle=KI 2019: Advances in Artificial Intelligence, author=Ahmadi Fahandar, Mohsen and Hüllermeier, Eyke, year=2019 
LibreCat: /record/15005
DOI: 10.1007/978-3-030-30179-8_3

@inbookNguyen_Destercke_Hüllermeier_2019, place=Cham, title=Epistemic Uncertainty Sampling, DOI=10.1007/978-3-030-33778-0_7, booktitle=Discovery Science, author=Nguyen, Vu-Linh and Destercke, Sébastien and Hüllermeier, Eyke, year=2019 
LibreCat: /record/15006
DOI: 10.1007/978-3-030-33778-0_7

@inproceedingsHartel_Dunst_2019, title=How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics, DOI=10.1007/978-3-030-05716-9_59, booktitle=International Conference on Multimedia Modeling, MMM, publisher=Springer, author=Hartel, Rita and Dunst, Alexander, year=2019, pages=662–671 
LibreCat: /record/15080
DOI: 10.1007/978-3-030-05716-9_59

@inbookBeyer_Jakobs_2019, place=Cham, title=CoVeriTest: Cooperative Verifier-Based Testing, DOI=10.1007/978-3-030-16722-6_23, booktitle=Fundamental Approaches to Software Engineering, author=Beyer, Dirk and Jakobs, Marie-Christine, year=2019 
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

@articleMildorf_2019, title=Narratives of Vicarious Experience in Oral History Interviews with Craft Artists, volume=152, journal=Journal of Pragmatics, publisher=Elsevier, author=Mildorf, Jarmila, year=2019, pages=103–112 
LibreCat: /record/18125

@inproceedingsMahmood_Meier_Schmidt_2019, place=Cham, title=Parameterised Complexity of Abduction in Schaefer’s Framework, DOI=10.1007/978-3-030-36755-8_13, booktitle=Logical Foundations of Computer Science, publisher=Springer International Publishing, author=Mahmood, Yasir and Meier, Arne and Schmidt, Johannes, year=2019 
LibreCat: /record/45818
DOI: 10.1007/978-3-030-36755-8_13

@inproceedingsBlömer_Eidens_Juhnke_2018, place=Cham, title=Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems, DOI=10.1007/978-3-319-76953-0_25, booktitle=Topics in Cryptology - CT-RSA 2018 - The Cryptographers’ Track at the RSA Conference 2018, Proceedings, publisher=Springer International Publishing, author=Blömer, Johannes and Eidens, Fabian and Juhnke, Jakob, year=2018, pages=470–490 
LibreCat: /record/2862
DOI: 10.1007/978-3-319-76953-0_25

@inproceedingsMarkarian_2018, place=Cham, title=An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest, DOI=10.1007/978-3-319-94667-2_18, booktitle=International Workshop on Combinatorial Algorithms (IWOCA), author=Markarian, Christine, year=2018 
LibreCat: /record/24396
DOI: 10.1007/978-3-319-94667-2_18

@inproceedingsLösch_Wiens_Platzner_2018, place=Cham, series=Lecture Notes in Computer Science, title=Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes, volume=10793, DOI=10.1007/978-3-319-77610-1_6, booktitle=Proceedings of the International Conference on Architecture of Computing Systems (ARCS), publisher=Springer International Publishing, author=Lösch, Achim and Wiens, Alex and Platzner, Marco, year=2018, pages=73–84, collection=Lecture Notes in Computer Science 
LibreCat: /record/3362
DOI: 10.1007/978-3-319-77610-1_6

@inproceedingsHansmeier_Platzner_Andrews_2018, series=Lecture Notes in Computer Science, title=An FPGA/HMC-Based Accelerator for Resolution Proof Checking, volume=10824, DOI=10.1007/978-3-319-78890-6_13, booktitle=ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, publisher=Springer International Publishing, author=Hansmeier, Tim and Platzner, Marco and Andrews, David, year=2018, pages=153–165, collection=Lecture Notes in Computer Science 
LibreCat: /record/3373
DOI: 10.1007/978-3-319-78890-6_13

@inbookSchellhorn_Wedel_Travkin_König_Wehrheim_2018, place=Cham, title=FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity, DOI=10.1007/978-3-319-92970-5_7, booktitle=Software Engineering and Formal Methods, publisher=Springer International Publishing, author=Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and König, Jürgen and Wehrheim, Heike, year=2018, pages=105–120 
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7

@inproceedingsTöws_Wehrheim_2018, place=Cham, title=Information Flow Certificates, DOI=10.1007/978-3-030-02508-3_23, booktitle=Theoretical Aspects of Computing – ICTAC 2018, publisher=Springer International Publishing, author=Töws, Manuel and Wehrheim, Heike, year=2018, pages=435–454 
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

@inbookSenft_Fischer_Oberthür_Patkar_2018, place=Cham, series=Lecture Notes in Computer Science, title=Assist Users to Straightaway Suggest and Describe Experienced Problems, volume=10918, DOI=10.1007/978-3-319-91797-9_52, booktitle=Design, User Experience, and Usability: Theory and Practice, publisher=Springer International Publishing, author=Senft, Björn and Fischer, Holger Gerhard and Oberthür, Simon and Patkar, Nitish, year=2018, pages=758–770, collection=Lecture Notes in Computer Science 
LibreCat: /record/6253
DOI: 10.1007/978-3-319-91797-9_52

@inbookFischer_Senft_Rittmeier_Sauer_2018, place=Cham, series=Lecture Notes in Computer Science, title=A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems, volume=10918, DOI=10.1007/978-3-319-91797-9_49, booktitle=Design, User Experience, and Usability: Theory and Practice. Proceedings of the 20th International Conference on Human-Computer Interaktion (HCI International 2018), publisher=Springer International Publishing, author=Fischer, Holger Gerhard and Senft, Björn and Rittmeier, Florian and Sauer, Stefan, editor=Marcus, Aaron and Wang, WentaoEditors, year=2018, pages=711–724, collection=Lecture Notes in Computer Science 
LibreCat: /record/6254
DOI: 10.1007/978-3-319-91797-9_49

@inbookSchäfer_Hüllermeier_2018, place=Cham, title=Preference-Based Reinforcement Learning Using Dyad Ranking, DOI=10.1007/978-3-030-01771-2_11, booktitle=Discovery Science, publisher=Springer International Publishing, author=Schäfer, Dirk and Hüllermeier, Eyke, year=2018, pages=161–175 
LibreCat: /record/6423
DOI: 10.1007/978-3-030-01771-2_11

@inbookFeldkord_Malatyali_Meyer auf der Heide_2018, place=Cham, title=A Dynamic Distributed Data Structure for Top-k and k-Select Queries, DOI=10.1007/978-3-319-98355-4_18, booktitle=Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, author=Feldkord, Björn and Malatyali, Manuel and Meyer auf der Heide, Friedhelm, year=2018 
LibreCat: /record/16392
DOI: 10.1007/978-3-319-98355-4_18

@inproceedingsKhaluf_Markarian_Simoens_Reina_2017, place=Cham, title=Scheduling Access to Shared Space in Multi-robot Systems, DOI=10.1007/978-3-319-59930-4_12, booktitle=International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), author=Khaluf, Yara and Markarian, Christine and Simoens, Pieter and Reina, Andreagiovanni, year=2017 
LibreCat: /record/24398
DOI: 10.1007/978-3-319-59930-4_12