@inproceedings{20161,
  author       = {{Hamann, Heiko and Lio, Pietro and Miglino, Orazio and Nicosia, Giuseppe and Nolfi, Stefano and Pavone, Mario}},
  booktitle    = {{12th European Conference on Artificial Life (ECAL 2013)}},
  publisher    = {{MIT Press}},
  title        = {{{Speciation Dynamics: Generating Selective Pressure Towards Diversity}}},
  year         = {{2013}},
}

@article{20162,
  author       = {{Hamann, Heiko}},
  journal      = {{Swarm Intelligence}},
  number       = {{3}},
  pages        = {{145--172}},
  title        = {{{Towards Swarm Calculus: Urn Models of Collective Decisions and Universal Properties of Swarm Performance}}},
  doi          = {{10.1007/s11721-013-0080-0}},
  volume       = {{7}},
  year         = {{2013}},
}

@misc{2868,
  author       = {{Laudemann, Stefan}},
  title        = {{{Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten}}},
  year         = {{2013}},
}

@misc{2869,
  author       = {{Leder, Lennart}},
  title        = {{{Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken}}},
  year         = {{2013}},
}

@article{25740,
  author       = {{He, Da and Müller, Wolfgang}},
  journal      = {{Microprocessors and Microsystems - Embedded Hardware Design 37(6-7)}},
  pages        = {{845--857}},
  title        = {{{ A heuristic energy-aware approach for hard real-time systems on multi-core platforms}}},
  year         = {{2013}},
}

@book{25741,
  editor       = {{Schirner, Gunar and Götz, Marcelo and Rettberg, Achim and Zanella, Mauro C. and Rammig, Franz-Josef}},
  publisher    = {{Springer}},
  title        = {{{Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013}}},
  year         = {{2013}},
}

@inproceedings{25742,
  author       = {{Khaluf, Lial and Rammig, Franz-Josef}},
  booktitle    = {{The Ninth International Conference on Autonomic and Autonomous Systems}},
  title        = {{{Organic Programming of Real-Time Operating Systems}}},
  year         = {{2013}},
}

@inbook{25743,
  author       = {{Anacker, Harald and Dellnitz, Michael and Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Horenkamp, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Korf, Sebastian and Krüger, Martin and Müller, Wolfgang and Ober-Blöbaum, Sina and Oberthür, Simon and Porrmann, Mario and Priesterjahn, Claudia and Radkowski, W. and Rasche, Christoph and Rieke, Jan and Ringkamp, Maik and Stahl, Katharina and Steenken, Dominik and Stöcklein, Jörg and Timmermann, Robert and Trächtler, Ansgar and Witting, Katrin and Xie, Tao and Ziegert, Steffen}},
  booktitle    = {{Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future}},
  pages        = {{187--356}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Methods for the Design and Development}}},
  year         = {{2013}},
}

@inproceedings{3813,
  author       = {{Wachsmuth, Henning and Stein, Benno and Engels, Gregor}},
  booktitle    = {{Proceedings of the Sixth International Joint Conference on Natural Language Processing}},
  editor       = {{Gelbukh, Alexander}},
  pages        = {{534--542}},
  title        = {{{Learning Efficient Information Extraction on Heterogeneous Texts}}},
  year         = {{2013}},
}

@inproceedings{3814,
  author       = {{Wachsmuth, Henning and Stein, Benno and Engels, Gregor}},
  booktitle    = {{Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management}},
  isbn         = {{978-1-4503-2263-8}},
  pages        = {{2049--2058}},
  title        = {{{Information Extraction as a Filtering Task}}},
  year         = {{2013}},
}

@inproceedings{3876,
  author       = {{Wachsmuth, Henning and Rose, Mirko and Engels, Gregor}},
  booktitle    = {{14th International Conference on Intelligent Text Processing and Computational Linguistics}},
  editor       = {{Gelbukh, Alexander}},
  pages        = {{38--49}},
  title        = {{{Automatic Pipeline Construction for Real-Time Annotation}}},
  year         = {{2013}},
}

@phdthesis{2909,
  author       = {{Kuntze, Daniel}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Practical algorithms for clustering and modeling large data sets - Analysis and improvements}}},
  year         = {{2013}},
}

@techreport{2917,
  author       = {{Juhnke, Jakob and Lefmann, Hanno and Strehl, Volker}},
  publisher    = {{Fortschritt-Berichte VDI}},
  title        = {{{An Approach for Determining Optimal Contrast in Visual Cryptography}}},
  year         = {{2013}},
}

@inbook{2979,
  author       = {{Blömer, Johannes and Günther, Peter and Liske, Gennadij}},
  booktitle    = {{Constructive Side-Channel Analysis and Secure Design}},
  isbn         = {{9783642400254}},
  issn         = {{0302-9743}},
  pages        = {{154--168}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Improved Side Channel Attacks on Pairing Based Cryptography}}},
  doi          = {{10.1007/978-3-642-40026-1_10}},
  year         = {{2013}},
}

@article{3129,
  author       = {{Jager, Tibor and Schwenk, Jörg}},
  journal      = {{J. Cryptology}},
  number       = {{2}},
  pages        = {{225----245}},
  title        = {{{On the Analysis of Cryptographic Assumptions in the Generic Ring Model}}},
  doi          = {{10.1007/s00145-012-9120-y}},
  year         = {{2013}},
}

@inproceedings{3130,
  author       = {{Böhl, Florian and Hofheinz, Dennis and Jager, Tibor and Koch, Jessica and Hong Seo, Jae and Striecks, Christoph}},
  booktitle    = {{Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings}},
  pages        = {{461----485}},
  title        = {{{Practical Signatures from Standard Assumptions}}},
  doi          = {{10.1007/978-3-642-38348-9_28}},
  year         = {{2013}},
}

@inproceedings{3131,
  author       = {{Jager, Tibor and Paterson, Kenneth G. and Somorovsky, Juraj}},
  booktitle    = {{20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013}},
  title        = {{{One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography}}},
  year         = {{2013}},
}

@inproceedings{3176,
  author       = {{Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike}},
  booktitle    = {{Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings}},
  editor       = {{Beyer, Dirk and Boreale, Michele}},
  pages        = {{178----192}},
  title        = {{{Bounded Model Checking of Graph Transformation Systems via {SMT} Solving}}},
  doi          = {{10.1007/978-3-642-38592-6_13}},
  year         = {{2013}},
}

@inproceedings{3177,
  author       = {{Travkin, Oleg and Mütze, Annika and Wehrheim, Heike}},
  booktitle    = {{Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings}},
  editor       = {{Bertacco, Valeria and Legay, Axel}},
  pages        = {{311----326}},
  title        = {{{{SPIN} as a Linearizability Checker under Weak Memory Models}}},
  doi          = {{10.1007/978-3-319-03077-7_21}},
  year         = {{2013}},
}

@inproceedings{3178,
  author       = {{Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike}},
  booktitle    = {{Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}},
  editor       = {{Liu, Zhiming and Woodcock, Jim and Zhu, Huibiao}},
  pages        = {{177----194}},
  title        = {{{A High-Level Semantics for Program Execution under Total Store Order Memory}}},
  doi          = {{10.1007/978-3-642-39718-9_11}},
  year         = {{2013}},
}