Nguyen, Vu-Linh, Sébastien Destercke, and Eyke Hüllermeier. “Epistemic Uncertainty Sampling.”https://doi.org/10.1007/978-3-030-33778-0_7__In Discovery Science. Cham, 2019.https://doi.org/10.1007/978-3-030-33778-0_7 .
LibreCat: /record/15006
DOI: 10.1007/978-3-030-33778-0_7

Hartel, Rita, and Alexander Dunst. “How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics.”https://doi.org/10.1007/978-3-030-05716-9_59__In International Conference on Multimedia Modeling, MMM, 662–71. Springer, 2019.https://doi.org/10.1007/978-3-030-05716-9_59 .
LibreCat: /record/15080
DOI: 10.1007/978-3-030-05716-9_59

Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.”https://doi.org/10.1007/978-3-030-16722-6_23__In Fundamental Approaches to Software Engineering. Cham, 2019.https://doi.org/10.1007/978-3-030-16722-6_23 .
LibreCat: /record/13872
DOI: 10.1007/978-3-030-16722-6_23

Mildorf, Jarmila. “Narratives of Vicarious Experience in Oral History Interviews with Craft Artists.” Journal of Pragmatics 152 (2019): 103–12.
LibreCat: /record/18125

Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterised Complexity of Abduction in Schaefer’s Framework.”https://doi.org/10.1007/978-3-030-36755-8_13__In Logical Foundations of Computer Science. Cham: Springer International Publishing, 2019.https://doi.org/10.1007/978-3-030-36755-8_13 .
LibreCat: /record/45818
DOI: 10.1007/978-3-030-36755-8_13

Blömer, Johannes, Fabian Eidens, and Jakob Juhnke. “Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems.”https://doi.org/10.1007/978-3-319-76953-0_25__In Topics in Cryptology - CT-RSA 2018 - The Cryptographers’ Track at the RSA Conference 2018, Proceedings, 470–90. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-76953-0_25 .
LibreCat: /record/2862
DOI: 10.1007/978-3-319-76953-0_25

Markarian, Christine. “An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest.”https://doi.org/10.1007/978-3-319-94667-2_18__In International Workshop on Combinatorial Algorithms (IWOCA). Cham, 2018.https://doi.org/10.1007/978-3-319-94667-2_18 .
LibreCat: /record/24396
DOI: 10.1007/978-3-319-94667-2_18

Lösch, Achim, Alex Wiens, and Marco Platzner. “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes.”https://doi.org/10.1007/978-3-319-77610-1_6__In Proceedings of the International Conference on Architecture of Computing Systems (ARCS), 10793:73–84. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-77610-1_6 .
LibreCat: /record/3362
DOI: 10.1007/978-3-319-77610-1_6

Hansmeier, Tim, Marco Platzner, and David Andrews. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.”https://doi.org/10.1007/978-3-319-78890-6_13__In ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, 10824:153–65. Lecture Notes in Computer Science. Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-78890-6_13 .
LibreCat: /record/3373
DOI: 10.1007/978-3-319-78890-6_13

Schellhorn, Gerhard, Monika Wedel, Oleg Travkin, Jürgen König, and Heike Wehrheim. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.”https://doi.org/10.1007/978-3-319-92970-5_7__In Software Engineering and Formal Methods, 105–20. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-92970-5_7 .
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7