Scheduling Access to Shared Space in Multi-robot Systems
Y. Khaluf, C. Markarian, P. Simoens, A. Reina, in: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), Cham, 2017.
LibreCat: /record/24398
DOI: 10.1007/978-3-319-59930-4_12

Subtleties in Security Definitions for Predicate Encryption with Public Index
J. Blömer, G. Liske, in: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International Publishing, Cham, 2017, pp. 438–453.
LibreCat: /record/2967
DOI: 10.1007/978-3-319-72453-9_35

Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
LibreCat: /record/2344
DOI: 10.1007/978-3-319-75650-9_1

Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems
S. Brauer, in: D. Fotakis, A. Pagourtzis, V.T. Paschos (Eds.), Lecture Notes in Computer Science, Springer International Publishing, Cham, 2017, pp. 116–127.
LibreCat: /record/2381
DOI: 10.1007/978-3-319-57586-5_11

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

A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0
H.G. Fischer, M. Engler, S. Sauer, in: Design, User Experience, and Usability: Theory, Methodology, and Management, Springer International Publishing, Cham, 2017, pp. 570–583.
LibreCat: /record/6255
DOI: 10.1007/978-3-319-58634-2_42

Monitoring of Domain-Related Problems in Distributed Data Streams
P. Bemmann, F. Biermeier, J. Bürmann, A. Kemper, T. Knollmann, S. Knorr, N. Kothe, A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, J.S. Schaefer, J. Sundermeier, in: Structural Information and Communication Complexity, Cham, 2017.
LibreCat: /record/16461
DOI: 10.1007/978-3-319-72050-0_13
arXiv: arXiv:1706.03568 

Simulating Storage Policies for an Automated Grid-Based Warehouse System
M. Beckschäfer, S. Malberg, K. Tierney, C. Weskamp, in: Lecture Notes in Computer Science, Cham, 2017.
LibreCat: /record/14857
DOI: 10.1007/978-3-319-68496-3_31

Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities
C. Gerking, D. Schubert, I. Budde, in: Theory and Practice of Model Transformation, Cham, 2017.
LibreCat: /record/23396
DOI: 10.1007/978-3-319-61473-1_2

Population Coding: A New Design Paradigm for Embodied Distributed Systems
H. Hamann, G. Valentini, M. Dorigo, in: 10th Int. Conf. on Swarm Intelligence, ANTS 2016, Cham, 2016.
LibreCat: /record/20000
DOI: 10.1007/978-3-319-44427-7_15

Collective Perception of Environmental Features in a Robot Swarm
G. Valentini, D. Brambilla, H. Hamann, M. Dorigo, in: 10th Int. Conf. on Swarm Intelligence, ANTS 2016, 2016.
LibreCat: /record/20004
DOI: 10.1007/978-3-319-44427-7_6

Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures
P. Günther, V. Krummel, in: Mathematical Aspects of Computer and Information Sciences, Springer International Publishing, Cham, 2016, pp. 151–165.
LibreCat: /record/2948
DOI: 10.1007/978-3-319-32859-1_13

Theoretical Analysis of the k-Means Algorithm – A Survey
J. Blömer, C. Lammersen, M. Schmidt, C. Sohler, in: Algorithm Engineering, Springer International Publishing, Cham, 2016, pp. 81–116.
LibreCat: /record/2968
DOI: 10.1007/978-3-319-49487-6_3

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

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

Cross-Device Integration of Android Apps
D. Wolters, J. Kirchhoff, C. Gerth, G. Engels, in: Q.Z. Sheng, E. Stroulia, S. Tata, S. Bhiri (Eds.), Service-Oriented Computing, Springer International Publishing, Cham, 2016, pp. 171–185.
LibreCat: /record/5825
DOI: 10.1007/978-3-319-46295-0_11

Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows
H.G. Fischer, B. Senft, in: C. Bogdan (Ed.), Human-Centered and Error-Resilient Systems Development, Springer International Publishing, Cham, 2016, pp. 30–41.
LibreCat: /record/6257
DOI: 10.1007/978-3-319-44902-9_3

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

Tightly-Secure Signatures from Chameleon Hash Functions
O. Blazy, S. Kakvi, E. Kiltz, J. Pan, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2015, pp. 256–279.
LibreCat: /record/2921
DOI: 10.1007/978-3-662-46447-2_12

AdIDoS – Adaptive and Intelligent Fully-Automatic Detection of Denial-of-Service Weaknesses in Web Services
C. Altmeier, C. Mainka, J. Somorovsky, J. Schwenk, in: Data Privacy Management, and Security Assurance - 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Cham, 2015.
LibreCat: /record/15897
DOI: 10.1007/978-3-319-29883-2_5

Practical Invalid Curve Attacks on TLS-ECDH
T. Jager, J. Schwenk, J. Somorovsky, in: Computer Security -- ESORICS 2015, Cham, 2015.
LibreCat: /record/15899
DOI: 10.1007/978-3-319-24174-6_21

ECST – Extended Context-Free Straight-Line Tree Grammars
S. Böttcher, R. Hartel, T. Jacobs, M. Jeromin, in: Data Science - 30th British International Conference on Databases, BICOD 2015, Springer, 2015, pp. 186–198.
LibreCat: /record/15088
DOI: 10.1007/978-3-319-20424-6_18

Understanding the Patient 2.0
M. Geierhos, F.S. Bäumer, S. Schulze, C. Klotz, in: Modeling and Using Context, Cham, 2015.
LibreCat: /record/25338
DOI: 10.1007/978-3-319-25591-0_12

Understanding the Patient 2.0
M. Geierhos, F.S. Bäumer, S. Schulze, C. Klotz, in: Modeling and Using Context, Cham, 2015.
LibreCat: /record/25337
DOI: 10.1007/978-3-319-25591-0_12

Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins
H. Hamann, G. Valentini, in: Ninth Int. Conf. on Swarm Intelligence (ANTS 2014), Cham, 2014.
LibreCat: /record/20008
DOI: 10.1007/978-3-319-09952-1_15

Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications
T. Koch, J. Holtmann, J. DeAntoni, in: Software Architecture, Cham, 2014.
LibreCat: /record/20982
DOI: 10.1007/978-3-319-09970-5_14

Use Your Best Device! Enabling Device Changes at Runtime
D. Bokermann, C. Gerth, G. Engels, in: 12th International Conference on Business Process Management (BPM 2014), Springer International Publishing, 2014, pp. 357–365.
LibreCat: /record/6741
DOI: 10.1007/978-3-319-10172-9_23

Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Springer, Berlin, Heidelberg, 2014.
LibreCat: /record/16870
DOI: 10.1007/978-3-642-45346-5

Efficient XML Keyword Search Based on DAG-Compression
S. Böttcher, R. Hartel, J. Rabe, in: Database and Expert Systems Applications - 25th International Conference, DEXA 2014, Springer, Cham, 2014, pp. 122–137.
LibreCat: /record/15092
DOI: 10.1007/978-3-319-10073-9_11

Fast Collisionless Pattern Formation by Anonymous, Position-Aware Robots
T. Lukovszki, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Cham, 2014.
LibreCat: /record/16394
DOI: 10.1007/978-3-319-14472-6_17

Continuous Aggregation in Dynamic Ad-Hoc Networks
S. Abshoff, F. Meyer auf der Heide, in: Structural Information and Communication Complexity, Cham, 2014.
LibreCat: /record/16395
DOI: 10.1007/978-3-319-09620-9_16

Aggregation of Network Protocol Data Near Its Source
M. Fourné, K. Stegemann, D. Petersen, N. Pohlmann, in: Information and Communication Technology, Springer Berlin Heidelberg, Berlin, Heidelberg, 2014.
LibreCat: /record/47839
DOI: 10.1007/978-3-642-55032-4_49

Improved Side Channel Attacks on Pairing Based Cryptography
J. Blömer, P. Günther, G. Liske, in: Constructive Side-Channel Analysis and Secure Design, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 154–168.
LibreCat: /record/2979
DOI: 10.1007/978-3-642-40026-1_10

A Taxonomy-Based Approach towards NUI Interaction Design
F. Klompmaker, V. Paelke, H.G. Fischer, in: Distributed, Ambient, and Pervasive Interactions, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 32–41.
LibreCat: /record/6276
DOI: 10.1007/978-3-642-39351-8_4

Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design
H.G. Fischer, B. Strenge, K. Nebe, in: Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 252–261.
LibreCat: /record/6279
DOI: 10.1007/978-3-642-39229-0_28

Separating Regular Languages by Piecewise Testable and Unambiguous Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 729–740.
LibreCat: /record/6732
DOI: 10.1007/978-3-642-40313-2_64

Fast Multi-update Operations on Compressed XML Data
S. Böttcher, R. Hartel, T. Jacobs, in: Big Data - 29th British National Conference on Databases, BNCOD 2013, Springer, Berlin, Heidelberg, 2013, pp. 149–164.
LibreCat: /record/15093
DOI: 10.1007/978-3-642-39467-6_15

Evaluation of Rendering Algorithms Using Position-Dependent Scene Properties
C. Jähn, B. Eikel, M. Fischer, R. Petring, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2013.
LibreCat: /record/16406
DOI: 10.1007/978-3-642-41914-0_12

Real-Time 3D Rendering of Heterogeneous Scenes
R. Petring, B. Eikel, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2013.
LibreCat: /record/16407
DOI: 10.1007/978-3-642-41914-0_44

Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions
H. Hamann, A. Engelbrecht, M. Birattari, M. Dorigo, C. Blum, T. Stuetzle, A.L. Christensen, R. Gross, in: Swarm Intelligence: 8th International Conference, ANTS 2012, Springer, Berlin, Heidelberg, 2012, pp. 168–179.
LibreCat: /record/20179
DOI: 10.1007/978-3-642-32650-9_15

Certifying RSA
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
LibreCat: /record/2918
DOI: 10.1007/978-3-642-34961-4_25

Optimal Security Proofs for Full Domain Hash, Revisited
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.
LibreCat: /record/2919
DOI: 10.1007/978-3-642-29011-4_32

Continuous Local Strategies for Robotic Formation Problems
B. Kempkes, F. Meyer auf der Heide, in: Experimental Algorithms, Berlin, Heidelberg, 2012.
LibreCat: /record/16445
DOI: 10.1007/978-3-642-30850-5_2

Local, Self-organizing Strategies for Robotic Formation Problems
B. Kempkes, F. Meyer auf der Heide, in: Algorithms for Sensor Systems, Berlin, Heidelberg, 2012.
LibreCat: /record/16448
DOI: 10.1007/978-3-642-28209-6_2

Newton’s Method and Secant Method for Set-Valued Mappings
R. Baier, M.H. Molo, in: Large-Scale Scientific Computing, Berlin, Heidelberg, 2012.
LibreCat: /record/16516
DOI: 10.1007/978-3-642-29843-1_9

Bleichenbacher’s Attack Strikes again: Breaking PKCS .5 in XML Encryption
T. Jager, S. Schinzel, J. Somorovsky, in: Computer Security – ESORICS 2012, Berlin, Heidelberg, 2012.
LibreCat: /record/15891
DOI: 10.1007/978-3-642-33167-1_43

Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes
T. Suess, C. Koch, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2012, pp. 502–512.
LibreCat: /record/16408
DOI: 10.1007/978-3-642-33179-4_48

Evolving for Creativity: Maximizing Complexity in a Self-organized Multi-particle System
H. Hamann, T. Schmickl, K. Crailsheim, in: 10th European Conference on Artificial Life (ECAL’09), 2011, pp. 442--449.
LibreCat: /record/20183
DOI: 10.1007/978-3-642-21283-3_55

Modeling Agents and Agent Systems
T. Lettmann, M. Baumann, M. Eberling, T. Kemmerich, Transactions on Computational Collective Intelligence V (2011) 157–181.
LibreCat: /record/3332
DOI: 10.1007/978-3-642-24016-4_9

Collisionless Gathering of Robots with an Extent
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F.M. auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: SOFSEM 2011: Theory and Practice of Computer Science, Berlin, Heidelberg, 2011.
LibreCat: /record/20709
DOI: 10.1007/978-3-642-18381-2_15