Sellmann, Meinolf, and Kevin Tierney. “Hyper-Parameterized Dialectic Search for Non-Linear Box-Constrained Optimization with Heterogenous Variable Types.”10.1007/978-3-030-53552-0_12__Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-53552-0_12.
LibreCat: /record/19561
DOI: 10.1007/978-3-030-53552-0_12

Jager, Tibor, and David Niehues. “On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions.”10.1007/978-3-030-38471-5_13__Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-38471-5_13.
LibreCat: /record/21396
DOI: 10.1007/978-3-030-38471-5_13

Jazayeri, Bahar, et al. “Modeling and Analyzing Architectural Diversity of Open Platforms.”10.1007/978-3-030-49435-3_3__Advanced Information Systems Engineering, 2020, doi:10.1007/978-3-030-49435-3_3.
LibreCat: /record/17337
DOI: 10.1007/978-3-030-49435-3_3

Gräßler, Iris, and Julian Hentze. “The New V-Model of 2206 and Its Validation.” At-Automatisierungstechnik 68(5), no. 68(5), 2020, pp. 312–24.
LibreCat: /record/23517

Knüppel, Alexander, et al. “Using Abstract Contracts for Verifying Evolving Features and Their Interactions.”10.1007/978-3-030-64354-6_5__Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-64354-6_5.
LibreCat: /record/20891
DOI: 10.1007/978-3-030-64354-6_5

El Mesaoudi-Paul, Adil, et al. “Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach.”10.1007/978-3-030-53552-0_22__Learning and Intelligent Optimization. LION 2020., vol. 12096, Springer, 2020, pp. 216–32, doi:10.1007/978-3-030-53552-0_22.
LibreCat: /record/18014
DOI: 10.1007/978-3-030-53552-0_22

Piskachev, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.”10.1007/978-3-030-54997-8_34__Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-54997-8_34.
LibreCat: /record/23377
DOI: 10.1007/978-3-030-54997-8_34

Weidmann, Nils, and Anthony Anjorin. “Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming.”10.1007/978-3-030-45234-6_16__Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, edited by Heike Wehrheim and Jordi Cabot, Springer, 2020, doi:10.1007/978-3-030-45234-6_16.
LibreCat: /record/17084
DOI: 10.1007/978-3-030-45234-6_16

Schwichtenberg, Bahar, et al. “Modeling and Analyzing Architectural Diversity of Open Platforms.”10.1007/978-3-030-49435-3_3__Advanced Information Systems Engineering, 2020, doi:10.1007/978-3-030-49435-3_3.
LibreCat: /record/17085
DOI: 10.1007/978-3-030-49435-3_3

Dallmeier, Fynn, et al. “Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC.”10.1007/978-3-030-65411-5_11__Cryptology and Network Security, Springer-Verlag, 2020, pp. 211–31, doi:10.1007/978-3-030-65411-5_11.
LibreCat: /record/28997
DOI: 10.1007/978-3-030-65411-5_11

zur Heiden, Philipp. “Considering Context in Design Science Research: A Systematic Literature Review.”10.1007/978-3-030-64823-7_21__Designing for Digital Transformation. Co-Creating Services with Citizens and Industry, 2020, doi:10.1007/978-3-030-64823-7_21.
LibreCat: /record/20706
DOI: 10.1007/978-3-030-64823-7_21

Hagengruber, Ruth. “Review Hagengruber Le Ru Émilie Du Châtelet Philosophe .” H-France Net, vol. 158, 2020.
LibreCat: /record/21294

Mahmood, Yasir, and Arne Meier. “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.”10.1007/978-3-030-39951-1_10__Lecture Notes in Computer Science, Springer International Publishing, 2020, doi:10.1007/978-3-030-39951-1_10.
LibreCat: /record/45848
DOI: 10.1007/978-3-030-39951-1_10

Hahn, Charlotte Anna. “Informationskompetenz durch E-Learning? Durch Lernvideos nach Literatur suchen.” die hochschullehre, no. 6, 2020.
LibreCat: /record/33299

Haney, Julie M., et al. “Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges.”10.1007/978-3-030-50309-3_26__HCI for Cybersecurity, Privacy and Trust, Springer International Publishing, 2020, doi:10.1007/978-3-030-50309-3_26.
LibreCat: /record/47261
DOI: 10.1007/978-3-030-50309-3_26

Schmitt, Martin. “Rezension Zu: Bernardo Bátiz-Lazo: Cash and Dash. How ATMs and Computers Changed Banking.” Vierteljahrschrift Für Sozial- Und Wirtschaftsgeschichte, vol. 107, no. 4, 2020, pp. 541–543.
LibreCat: /record/51816

Senft, Björn, et al. “A Value-Centered Approach for Unique and Novel Software Applications.”10.1007/978-3-030-23535-2_27__Design, User Experience, and Usability. Practice and Case Studies, 2019, doi:10.1007/978-3-030-23535-2_27.
LibreCat: /record/11952
DOI: 10.1007/978-3-030-23535-2_27

Kuhlemann, Stefan, et al. “Exploiting Counterfactuals for Scalable Stochastic Optimization.”10.1007/978-3-030-30048-7_40__Lecture Notes in Computer Science, 2019, doi:10.1007/978-3-030-30048-7_40.
LibreCat: /record/14890
DOI: 10.1007/978-3-030-30048-7_40

Ahmadi Fahandar, Mohsen, and Eyke Hüllermeier. “Feature Selection for Analogy-Based Learning to Rank.”10.1007/978-3-030-33778-0_22__Discovery Science, 2019, doi:10.1007/978-3-030-33778-0_22.
LibreCat: /record/15004
DOI: 10.1007/978-3-030-33778-0_22

Ahmadi Fahandar, Mohsen, and Eyke Hüllermeier. “Analogy-Based Preference Learning with Kernels.”10.1007/978-3-030-30179-8_3__KI 2019: Advances in Artificial Intelligence, 2019, doi:10.1007/978-3-030-30179-8_3.
LibreCat: /record/15005
DOI: 10.1007/978-3-030-30179-8_3

Nguyen, Vu-Linh, et al. “Epistemic Uncertainty Sampling.”10.1007/978-3-030-33778-0_7__Discovery Science, 2019, doi: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.”10.1007/978-3-030-05716-9_59__International Conference on Multimedia Modeling, MMM, Springer, 2019, pp. 662–71, doi: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.”10.1007/978-3-030-16722-6_23__Fundamental Approaches to Software Engineering, 2019, doi: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, vol. 152, Elsevier, 2019, pp. 103–12.
LibreCat: /record/18125

Mahmood, Yasir, et al. “Parameterised Complexity of Abduction in Schaefer’s Framework.”10.1007/978-3-030-36755-8_13__Logical Foundations of Computer Science, Springer International Publishing, 2019, doi:10.1007/978-3-030-36755-8_13.
LibreCat: /record/45818
DOI: 10.1007/978-3-030-36755-8_13

Blömer, Johannes, et al. “Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems.”10.1007/978-3-319-76953-0_25__Topics in Cryptology - CT-RSA 2018 - The Cryptographers’ Track at the RSA Conference 2018, Proceedings, Springer International Publishing, 2018, pp. 470–90, doi: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.”10.1007/978-3-319-94667-2_18__International Workshop on Combinatorial Algorithms (IWOCA), 2018, doi:10.1007/978-3-319-94667-2_18.
LibreCat: /record/24396
DOI: 10.1007/978-3-319-94667-2_18

Lösch, Achim, et al. “Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes.”10.1007/978-3-319-77610-1_6__Proceedings of the International Conference on Architecture of Computing Systems (ARCS), vol. 10793, Springer International Publishing, 2018, pp. 73–84, doi:10.1007/978-3-319-77610-1_6.
LibreCat: /record/3362
DOI: 10.1007/978-3-319-77610-1_6

Hansmeier, Tim, et al. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.”10.1007/978-3-319-78890-6_13__ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, vol. 10824, Springer International Publishing, 2018, pp. 153–65, doi:10.1007/978-3-319-78890-6_13.
LibreCat: /record/3373
DOI: 10.1007/978-3-319-78890-6_13

Schellhorn, Gerhard, et al. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.”10.1007/978-3-319-92970-5_7__Software Engineering and Formal Methods, Springer International Publishing, 2018, pp. 105–20, doi:10.1007/978-3-319-92970-5_7.
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7

Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.”10.1007/978-3-030-02508-3_23__Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, 2018, pp. 435–54, doi:10.1007/978-3-030-02508-3_23.
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

Senft, Björn, et al. “Assist Users to Straightaway Suggest and Describe Experienced Problems.”10.1007/978-3-319-91797-9_52__Design, User Experience, and Usability: Theory and Practice, vol. 10918, Springer International Publishing, 2018, pp. 758–70, doi:10.1007/978-3-319-91797-9_52.
LibreCat: /record/6253
DOI: 10.1007/978-3-319-91797-9_52

Fischer, Holger Gerhard, et al. “A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems.”10.1007/978-3-319-91797-9_49__Design, User Experience, and Usability: Theory and Practice. Proceedings of the 20th International Conference on Human-Computer Interaktion (HCI International 2018), edited by Aaron Marcus and Wentao Wang, vol. 10918, Springer International Publishing, 2018, pp. 711–24, doi:10.1007/978-3-319-91797-9_49.
LibreCat: /record/6254
DOI: 10.1007/978-3-319-91797-9_49

Schäfer, Dirk, and Eyke Hüllermeier. “Preference-Based Reinforcement Learning Using Dyad Ranking.”10.1007/978-3-030-01771-2_11__Discovery Science, Springer International Publishing, 2018, pp. 161–75, doi:10.1007/978-3-030-01771-2_11.
LibreCat: /record/6423
DOI: 10.1007/978-3-030-01771-2_11

Feldkord, Björn, et al. “A Dynamic Distributed Data Structure for Top-k and k-Select Queries.”10.1007/978-3-319-98355-4_18__Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2018, doi:10.1007/978-3-319-98355-4_18.
LibreCat: /record/16392
DOI: 10.1007/978-3-319-98355-4_18

Khaluf, Yara, et al. “Scheduling Access to Shared Space in Multi-Robot Systems.”10.1007/978-3-319-59930-4_12__International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), 2017, doi:10.1007/978-3-319-59930-4_12.
LibreCat: /record/24398
DOI: 10.1007/978-3-319-59930-4_12

Blömer, Johannes, and Gennadij Liske. “Subtleties in Security Definitions for Predicate Encryption with Public Index.”10.1007/978-3-319-72453-9_35__Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), vol. 10693, Springer International Publishing, 2017, pp. 438–53, doi:10.1007/978-3-319-72453-9_35.
LibreCat: /record/2967
DOI: 10.1007/978-3-319-72453-9_35

Blömer, Johannes, et al. “Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations.”10.1007/978-3-319-75650-9_1__Foundations and Practice of Security, Springer International Publishing, 2017, pp. 3–17, doi:10.1007/978-3-319-75650-9_1.
LibreCat: /record/2344
DOI: 10.1007/978-3-319-75650-9_1

Brauer, Sascha. “Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems.”10.1007/978-3-319-57586-5_11__Lecture Notes in Computer Science, edited by Dimitris Fotakis et al., vol. 10236, Springer International Publishing, 2017, pp. 116–27, doi:10.1007/978-3-319-57586-5_11.
LibreCat: /record/2381
DOI: 10.1007/978-3-319-57586-5_11

Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.”10.1007/978-3-319-68690-5_22__Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–78, doi:10.1007/978-3-319-68690-5_22.
LibreCat: /record/5769
DOI: 10.1007/978-3-319-68690-5_22

Fischer, Holger Gerhard, et al. “A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0.”10.1007/978-3-319-58634-2_42__Design, User Experience, and Usability: Theory, Methodology, and Management, vol. 10288, Springer International Publishing, 2017, pp. 570–83, doi:10.1007/978-3-319-58634-2_42.
LibreCat: /record/6255
DOI: 10.1007/978-3-319-58634-2_42

Bemmann, Pascal, et al. “Monitoring of Domain-Related Problems in Distributed Data Streams.”10.1007/978-3-319-72050-0_13__Structural Information and Communication Complexity, 2017, doi:10.1007/978-3-319-72050-0_13.
LibreCat: /record/16461
DOI: 10.1007/978-3-319-72050-0_13
arXiv: arXiv:1706.03568 

Beckschäfer, Michaela, et al. “Simulating Storage Policies for an Automated Grid-Based Warehouse System.”10.1007/978-3-319-68496-3_31__Lecture Notes in Computer Science, 2017, doi:10.1007/978-3-319-68496-3_31.
LibreCat: /record/14857
DOI: 10.1007/978-3-319-68496-3_31

Gerking, Christopher, et al. “Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities.”10.1007/978-3-319-61473-1_2__Theory and Practice of Model Transformation, 2017, doi:10.1007/978-3-319-61473-1_2.
LibreCat: /record/23396
DOI: 10.1007/978-3-319-61473-1_2

Hamann, Heiko, et al. “Population Coding: A New Design Paradigm for Embodied Distributed Systems.”10.1007/978-3-319-44427-7_15__10th Int. Conf. on Swarm Intelligence, ANTS 2016, 2016, doi:10.1007/978-3-319-44427-7_15.
LibreCat: /record/20000
DOI: 10.1007/978-3-319-44427-7_15

Valentini, Gabriele, et al. “Collective Perception of Environmental Features in a Robot Swarm.”10.1007/978-3-319-44427-7_6__10th Int. Conf. on Swarm Intelligence, ANTS 2016, 2016, doi:10.1007/978-3-319-44427-7_6.
LibreCat: /record/20004
DOI: 10.1007/978-3-319-44427-7_6

Günther, Peter, and Volker Krummel. “Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures.”10.1007/978-3-319-32859-1_13__Mathematical Aspects of Computer and Information Sciences, Springer International Publishing, 2016, pp. 151–65, doi:10.1007/978-3-319-32859-1_13.
LibreCat: /record/2948
DOI: 10.1007/978-3-319-32859-1_13

Blömer, Johannes, et al. “Theoretical Analysis of the K-Means Algorithm – A Survey.”10.1007/978-3-319-49487-6_3__Algorithm Engineering, Springer International Publishing, 2016, pp. 81–116, doi:10.1007/978-3-319-49487-6_3.
LibreCat: /record/2968
DOI: 10.1007/978-3-319-49487-6_3

Blömer, Johannes, and Kathrin Bujna. “Adaptive Seeding for Gaussian Mixture Models.”10.1007/978-3-319-31750-2_24__Advances in Knowledge Discovery and Data Mining, Springer International Publishing, 2016, pp. 296–308, doi:10.1007/978-3-319-31750-2_24.
LibreCat: /record/2970
DOI: 10.1007/978-3-319-31750-2_24

Schlegel-Matthies, Kirsten. Zwischen Wissenschaft und Lebenswelt. Entwicklung, Stand und Zukunftsperspektiven haushaltsbezogener Bildung. 2016.
LibreCat: /record/27390

Wolters, Dennis, et al. “Cross-Device Integration of Android Apps.”10.1007/978-3-319-46295-0_11__Service-Oriented Computing, edited by Quan Z.10.1007/978-3-319-46295-0_11__Sheng et al., Springer International Publishing, 2016, pp. 171–85, doi:10.1007/978-3-319-46295-0_11.
LibreCat: /record/5825
DOI: 10.1007/978-3-319-46295-0_11

Fischer, Holger Gerhard, and Björn Senft. “Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows.”10.1007/978-3-319-44902-9_3__Human-Centered and Error-Resilient Systems Development, edited by Christian Bogdan, vol. 9856, Springer International Publishing, 2016, pp. 30–41, doi:10.1007/978-3-319-44902-9_3.
LibreCat: /record/6257
DOI: 10.1007/978-3-319-44902-9_3

Blömer, Johannes, and Kathrin Bujna. “Adaptive Seeding for Gaussian Mixture Models.”10.1007/978-3-319-31750-2_24__Advances in Knowledge Discovery and Data Mining, Springer International Publishing, 2016, pp. 296–308, doi:10.1007/978-3-319-31750-2_24.
LibreCat: /record/2978
DOI: 10.1007/978-3-319-31750-2_24

Blazy, Olivier, et al. “Tightly-Secure Signatures from Chameleon Hash Functions.”10.1007/978-3-662-46447-2_12__Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2015, pp. 256–79, doi:10.1007/978-3-662-46447-2_12.
LibreCat: /record/2921
DOI: 10.1007/978-3-662-46447-2_12

Altmeier, Christian, et al. “AdIDoS – Adaptive and Intelligent Fully-Automatic Detection of Denial-of-Service Weaknesses in Web Services.”10.1007/978-3-319-29883-2_5__Data Privacy Management, and Security Assurance - 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, 2015, doi:10.1007/978-3-319-29883-2_5.
LibreCat: /record/15897
DOI: 10.1007/978-3-319-29883-2_5

Jager, Tibor, et al. “Practical Invalid Curve Attacks on TLS-ECDH.”10.1007/978-3-319-24174-6_21__Computer Security -- ESORICS 2015, 2015, doi:10.1007/978-3-319-24174-6_21.
LibreCat: /record/15899
DOI: 10.1007/978-3-319-24174-6_21

Böttcher, Stefan, et al. “ECST – Extended Context-Free Straight-Line Tree Grammars.”10.1007/978-3-319-20424-6_18__Data Science - 30th British International Conference on Databases, BICOD 2015, Springer, 2015, pp. 186–98, doi:10.1007/978-3-319-20424-6_18.
LibreCat: /record/15088
DOI: 10.1007/978-3-319-20424-6_18

Geierhos, Michaela, et al. “Understanding the Patient 2.0.”10.1007/978-3-319-25591-0_12__Modeling and Using Context, 2015, doi:10.1007/978-3-319-25591-0_12.
LibreCat: /record/25338
DOI: 10.1007/978-3-319-25591-0_12

Geierhos, Michaela, et al. “Understanding the Patient 2.0.”10.1007/978-3-319-25591-0_12__Modeling and Using Context, 2015, doi:10.1007/978-3-319-25591-0_12.
LibreCat: /record/25337
DOI: 10.1007/978-3-319-25591-0_12

Hamann, Heiko, and Gabriele Valentini. “Swarm in a Fly Bottle: Feedback-Based Analysis of Self-Organizing Temporary Lock-Ins.”10.1007/978-3-319-09952-1_15__Ninth Int. Conf. on Swarm Intelligence (ANTS 2014), 2014, doi:10.1007/978-3-319-09952-1_15.
LibreCat: /record/20008
DOI: 10.1007/978-3-319-09952-1_15

Koch, Thorsten, et al. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.”10.1007/978-3-319-09970-5_14__Software Architecture, 2014, doi:10.1007/978-3-319-09970-5_14.
LibreCat: /record/20982
DOI: 10.1007/978-3-319-09970-5_14

Bokermann, Dennis, et al. “Use Your Best Device! Enabling Device Changes at Runtime.”10.1007/978-3-319-10172-9_23__12th International Conference on Business Process Management (BPM 2014), vol. 8659, Springer International Publishing, 2014, pp. 357–65, doi:10.1007/978-3-319-10172-9_23.
LibreCat: /record/6741
DOI: 10.1007/978-3-319-10172-9_23

Flocchini, Paola, et al., editors. Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013. Vol. 8243, Springer, 2014, doi:10.1007/978-3-642-45346-5.
LibreCat: /record/16870
DOI: 10.1007/978-3-642-45346-5

Böttcher, Stefan, et al. “Efficient XML Keyword Search Based on DAG-Compression.”10.1007/978-3-319-10073-9_11__Database and Expert Systems Applications - 25th International Conference, DEXA 2014, Springer, 2014, pp. 122–37, doi:10.1007/978-3-319-10073-9_11.
LibreCat: /record/15092
DOI: 10.1007/978-3-319-10073-9_11

Lukovszki, Tamás, and Friedhelm Meyer auf der Heide. “Fast Collisionless Pattern Formation by Anonymous, Position-Aware Robots.”10.1007/978-3-319-14472-6_17__Lecture Notes in Computer Science, 2014, doi:10.1007/978-3-319-14472-6_17.
LibreCat: /record/16394
DOI: 10.1007/978-3-319-14472-6_17

Abshoff, Sebastian, and Friedhelm Meyer auf der Heide. “Continuous Aggregation in Dynamic Ad-Hoc Networks.”10.1007/978-3-319-09620-9_16__Structural Information and Communication Complexity, 2014, doi:10.1007/978-3-319-09620-9_16.
LibreCat: /record/16395
DOI: 10.1007/978-3-319-09620-9_16

Fourné, Marcel, et al. “Aggregation of Network Protocol Data Near Its Source.”10.1007/978-3-642-55032-4_49__Information and Communication Technology, Springer Berlin Heidelberg, 2014, doi:10.1007/978-3-642-55032-4_49.
LibreCat: /record/47839
DOI: 10.1007/978-3-642-55032-4_49

Blömer, Johannes, et al. “Improved Side Channel Attacks on Pairing Based Cryptography.”10.1007/978-3-642-40026-1_10__Constructive Side-Channel Analysis and Secure Design, Springer Berlin Heidelberg, 2013, pp. 154–68, doi:10.1007/978-3-642-40026-1_10.
LibreCat: /record/2979
DOI: 10.1007/978-3-642-40026-1_10

Klompmaker, Florian, et al. “A Taxonomy-Based Approach towards NUI Interaction Design.”10.1007/978-3-642-39351-8_4__Distributed, Ambient, and Pervasive Interactions, vol. 8028, Springer Berlin Heidelberg, 2013, pp. 32–41, doi:10.1007/978-3-642-39351-8_4.
LibreCat: /record/6276
DOI: 10.1007/978-3-642-39351-8_4

Fischer, Holger Gerhard, et al. “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.”10.1007/978-3-642-39229-0_28__Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, vol. 8012, Springer Berlin Heidelberg, 2013, pp. 252–61, doi:10.1007/978-3-642-39229-0_28.
LibreCat: /record/6279
DOI: 10.1007/978-3-642-39229-0_28

Place, Thomas, et al. “Separating Regular Languages by Piecewise Testable and Unambiguous Languages.”10.1007/978-3-642-40313-2_64__Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, 2013, pp. 729–40, doi:10.1007/978-3-642-40313-2_64.
LibreCat: /record/6732
DOI: 10.1007/978-3-642-40313-2_64

Böttcher, Stefan, et al. “Fast Multi-Update Operations on Compressed XML Data.”10.1007/978-3-642-39467-6_15__Big Data - 29th British National Conference on Databases, BNCOD 2013, Springer, 2013, pp. 149–64, doi:10.1007/978-3-642-39467-6_15.
LibreCat: /record/15093
DOI: 10.1007/978-3-642-39467-6_15

Jähn, Claudius, et al. “Evaluation of Rendering Algorithms Using Position-Dependent Scene Properties.”10.1007/978-3-642-41914-0_12__Advances in Visual Computing, 2013, doi:10.1007/978-3-642-41914-0_12.
LibreCat: /record/16406
DOI: 10.1007/978-3-642-41914-0_12

Petring, Ralf, et al. “Real-Time 3D Rendering of Heterogeneous Scenes.”10.1007/978-3-642-41914-0_44__Advances in Visual Computing, 2013, doi:10.1007/978-3-642-41914-0_44.
LibreCat: /record/16407
DOI: 10.1007/978-3-642-41914-0_44

Hamann, Heiko, et al. “Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions.”10.1007/978-3-642-32650-9_15__Swarm Intelligence: 8th International Conference, ANTS 2012, vol. 7461, Springer, 2012, pp. 168–79, doi:10.1007/978-3-642-32650-9_15.
LibreCat: /record/20179
DOI: 10.1007/978-3-642-32650-9_15

Kakvi, Saqib, et al. “Certifying RSA.”10.1007/978-3-642-34961-4_25__Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, 2012, pp. 404–14, doi:10.1007/978-3-642-34961-4_25.
LibreCat: /record/2918
DOI: 10.1007/978-3-642-34961-4_25

Kakvi, Saqib, and Eike Kiltz. “Optimal Security Proofs for Full Domain Hash, Revisited.”10.1007/978-3-642-29011-4_32__Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, 2012, pp. 537–53, doi:10.1007/978-3-642-29011-4_32.
LibreCat: /record/2919
DOI: 10.1007/978-3-642-29011-4_32

Kempkes, Barbara, and Friedhelm Meyer auf der Heide. “Continuous Local Strategies for Robotic Formation Problems.”10.1007/978-3-642-30850-5_2__Experimental Algorithms, 2012, doi:10.1007/978-3-642-30850-5_2.
LibreCat: /record/16445
DOI: 10.1007/978-3-642-30850-5_2

Kempkes, Barbara, and Friedhelm Meyer auf der Heide. “Local, Self-Organizing Strategies for Robotic Formation Problems.”10.1007/978-3-642-28209-6_2__Algorithms for Sensor Systems, 2012, doi:10.1007/978-3-642-28209-6_2.
LibreCat: /record/16448
DOI: 10.1007/978-3-642-28209-6_2

Baier, Robert, and Mirko Hessel-von Molo. “Newton’s Method and Secant Method for Set-Valued Mappings.”10.1007/978-3-642-29843-1_9__Large-Scale Scientific Computing, 2012, doi:10.1007/978-3-642-29843-1_9.
LibreCat: /record/16516
DOI: 10.1007/978-3-642-29843-1_9

Jager, Tibor, et al. “Bleichenbacher’s Attack Strikes Again: Breaking PKCS .5 in XML Encryption.”10.1007/978-3-642-33167-1_43__Computer Security – ESORICS 2012, 2012, doi:10.1007/978-3-642-33167-1_43.
LibreCat: /record/15891
DOI: 10.1007/978-3-642-33167-1_43

Suess, Tim, et al. “Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes.”10.1007/978-3-642-33179-4_48__Advances in Visual Computing, vol. 7431, 2012, pp. 502–12, doi:10.1007/978-3-642-33179-4_48.
LibreCat: /record/16408
DOI: 10.1007/978-3-642-33179-4_48

Hamann, Heiko, et al. “Evolving for Creativity: Maximizing Complexity in a Self-Organized Multi-Particle System.”10.1007/978-3-642-21283-3_55__10th European Conference on Artificial Life (ECAL’09), vol. 5777, 2011, pp. 442--449, doi:10.1007/978-3-642-21283-3_55.
LibreCat: /record/20183
DOI: 10.1007/978-3-642-21283-3_55

Lettmann, Theodor, et al. “Modeling Agents and Agent Systems.”10.1007/978-3-642-24016-4_9__Transactions on Computational Collective Intelligence V, Springer Berlin Heidelberg, 2011, pp. 157–81, doi:10.1007/978-3-642-24016-4_9.
LibreCat: /record/3332
DOI: 10.1007/978-3-642-24016-4_9

Cord-Landwehr, Andreas, et al. “Collisionless Gathering of Robots with an Extent.”10.1007/978-3-642-18381-2_15__SOFSEM 2011: Theory and Practice of Computer Science, 2011, doi:10.1007/978-3-642-18381-2_15.
LibreCat: /record/20709
DOI: 10.1007/978-3-642-18381-2_15

Cord-Landwehr, Andreas, et al. “A New Approach for Analyzing Convergence Algorithms for Mobile Robots.”10.1007/978-3-642-22012-8_52__Automata, Languages and Programming, 2011, doi:10.1007/978-3-642-22012-8_52.
LibreCat: /record/20710
DOI: 10.1007/978-3-642-22012-8_52

Nebe, Karsten, et al. “Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction.”10.1007/978-3-642-21605-3_11__Human-Computer Interaction. Interaction Techniques and Environments., edited by Julie Anne Jacko, vol. 6762, Springer Berlin Heidelberg, 2011, pp. 100–09, doi:10.1007/978-3-642-21605-3_11.
LibreCat: /record/6293
DOI: 10.1007/978-3-642-21605-3_11

Fischer, Holger Gerhard, et al. “A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities.”10.1007/978-3-642-21753-1_4__Human Centered Design, edited by Masaaki Kurosu, vol. 6776, Springer Berlin Heidelberg, 2011, pp. 28–37, doi:10.1007/978-3-642-21753-1_4.
LibreCat: /record/6300
DOI: 10.1007/978-3-642-21753-1_4

Cord-Landwehr, Andreas, et al. “Collisionless Gathering of Robots with an Extent.”10.1007/978-3-642-18381-2_15__37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011), no. 6543, Springer, 2011, pp. 178–89, doi:10.1007/978-3-642-18381-2_15.
LibreCat: /record/16410
DOI: 10.1007/978-3-642-18381-2_15

Brandes, Philipp, et al. “Energy-Efficient Strategies for Building Short Chains of Mobile Robots Locally.”10.1007/978-3-642-22212-2_13__Structural Information and Communication Complexity, 2011, doi:10.1007/978-3-642-22212-2_13.
LibreCat: /record/16459
DOI: 10.1007/978-3-642-22212-2_13

Benter, Markus, et al. “Mixing Bottom-Up and Top-Down XPath Query Evaluation.”10.1007/978-3-642-23737-9_3__East European Conference on Advances in Databases and Information Systems, Springer, 2011, pp. 27–41, doi:10.1007/978-3-642-23737-9_3.
LibreCat: /record/15097
DOI: 10.1007/978-3-642-23737-9_3

Bätz, Alexander, et al. “Updates on Grammar-Compressed XML Data.”10.1007/978-3-642-24577-0_17__Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer, 2011, pp. 154–66, doi:10.1007/978-3-642-24577-0_17.
LibreCat: /record/15099
DOI: 10.1007/978-3-642-24577-0_17

Böttcher, Stefan, et al. “TraCX: Transformation of Compressed XML.”10.1007/978-3-642-24577-0_19__Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer, 2011, pp. 182–93, doi:10.1007/978-3-642-24577-0_19.
LibreCat: /record/15100
DOI: 10.1007/978-3-642-24577-0_19

Cord-Landwehr, Andreas, et al. “A New Approach for Analyzing Convergence Algorithms for Mobile Robots.”10.1007/978-3-642-22012-8_52__Automata, Languages and Programming, 2011, doi:10.1007/978-3-642-22012-8_52.
LibreCat: /record/16409
DOI: 10.1007/978-3-642-22012-8_52

Fuchs, Christian. “Como podemos definir vigilância?”https://doi.org/10.11606/issn.1982-8160.v5i1p109-136__MATRIZes, vol. 5, no. 1, 2011, pp. 109–33, doi:https://doi.org/10.11606/issn.1982-8160.v5i1p109-136.
LibreCat: /record/42728
DOI: https://doi.org/10.11606/issn.1982-8160.v5i1p109-136

Mense, Mario, and Christian Schindelhauer. “Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks.”10.1007/978-3-642-05118-0_43__Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 5873, 2010, pp. 624--639, doi:10.1007/978-3-642-05118-0_43.
LibreCat: /record/19796
DOI: 10.1007/978-3-642-05118-0_43

Hamann, Heiko, et al. “A Model of Symmetry Breaking in Collective Decision-Making.”10.1007/978-3-642-15193-4_60__From Animals to Animats 11, vol. 6226, Springer, 2010, pp. 639–48, doi:10.1007/978-3-642-15193-4_60.
LibreCat: /record/20226
DOI: 10.1007/978-3-642-15193-4_60

Grzablewicz, Ryszard, et al. “Robust Undetectable Interference Watermarks.”10.1007/11424826_55__ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications, 2010, doi:10.1007/11424826_55.
LibreCat: /record/24282
DOI: 10.1007/11424826_55

Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable Instances.”10.1007/978-3-642-13731-0_21__SWAT 2010, Springer Berlin Heidelberg, 2010, pp. 212–23, doi:10.1007/978-3-642-13731-0_21.
LibreCat: /record/2988
DOI: 10.1007/978-3-642-13731-0_21

Seebach, Hella, et al. “Designing Self-Healing in Automotive Systems.”10.1007/978-3-642-16576-4_4__Lecture Notes in Computer Science, 2010, doi:10.1007/978-3-642-16576-4_4.
LibreCat: /record/20961
DOI: 10.1007/978-3-642-16576-4_4