Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5719 Publications
2011 | Book Chapter | LibreCat-ID: 26792
Esau, Natascha, and Lisa Kleinjohann. “Emotional Robot Competence and Its Use in Robot Behavior Control.” In Emotional Engineering, 119–42. Springer-Verlag London, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26794
Jungmann, Alexander, Jan Lutterbeck, Benjamin Werdehausen, Bernd Kleinjohann, and Lisa Kleinjohann. “Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots.” In Proceedings of the 2011 Workshop on Organic Computing, 41–50. ACM, 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26805
Jungmann, Alexander, Bernd Kleinjohann, and Willi Richert. “A Fast Hierarchical Learning Approach for Autonomous Robots.” In Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, 545–58. Springer Basel, 2011. https://doi.org/10.1007/978-3-0348-0130-0_36.
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 26810
Jungmann, Alexander, Bernd Kleinjohann, and Willi Richert. “Increasing Learning Speed by Imitation in Multi-Robot Societies.” In Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , 295–307. Springer Basel, 2011. https://doi.org/10.1007/978-3-0348-0130-0_19.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3811
Wachsmuth, Henning, and Kathrin Bujna. “Back to the Roots of Genres: Text Classification by Language Function.” In Proceedings of 5th International Joint Conference on Natural Language Processing, edited by Bettina Berendt, Arjen de Vries, Wenfei Fan, Craig Macdonald, Iadh Ounis, and Ian Ruthven, 632–40, 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 3875
Wachsmuth, Henning, Benno Stein, and Gregor Engels. “Constructing Efficient Information Extraction Pipelines.” In 20th ACM International Conference on Information and Knowledge Management, edited by Bettina Berendt, Arjen de Vries, Wenfei Fan, Craig Macdonald, Iadh Ounis, and Ian Ruthven, 2237–40, 2011.
LibreCat
| Download (ext.)
2011 | Mastersthesis | LibreCat-ID: 2902
Märtens, Marcus. The Monotone Complexity of Computing K-Clique on Random Graphs, 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 2910
Naewe, Stefanie. Algorithms for Lattice Problems with Respect to General Norms. Universität Paderborn, 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 2985
Ackermann, Marcel R, Johannes Blömer, and Christoph Scholz. “Hardness and Non-Approximability of Bregman Clustering Problems.” Electronic Colloquium on Computational Complexity (ECCC), 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2986
Blömer, Johannes. “How to Share a Secret.” In Algorithms Unplugged, 159–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. https://doi.org/10.1007/978-3-642-15328-0_17.
LibreCat
| DOI
2011 | Preprint | LibreCat-ID: 2987
Blömer, Johannes, and Stefanie Naewe. “Solving the Closest Vector Problem with Respect to Lp Norms.” ArXiv:1104.3720, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 3137
Hofheinz, Dennis, Tibor Jager, and Eike Kiltz. “Short Signatures from Weaker Assumptions.” In Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings, 647--666, 2011. https://doi.org/10.1007/978-3-642-25385-0_35.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3138
Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.” In Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 413--422, 2011. https://doi.org/10.1145/2046707.2046756.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3183
Schneider, Steve, Helen Treharne, and Heike Wehrheim. “Bounded Retransmission in Event-B{\(\parallel\)}CSP: A Case Study.” Electr. Notes Theor. Comput. Sci., 2011, 69--80. https://doi.org/10.1016/j.entcs.2011.11.019.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3184
Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanically Verified Proof Obligations for Linearizability.” {ACM} Trans. Program. Lang. Syst., no. 1 (2011): 4:1--4:43. https://doi.org/10.1145/1889997.1890001.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth, Thomas, Heike Wehrheim, and Steffen Ziegert. “ReL: {A} Generic Refactoring Language for Specification and Execution.” In 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 83--90, 2011. https://doi.org/10.1109/SEAA.2011.22.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Linearisability with Potential Linearisation Points.” In {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer Science, 2011. https://doi.org/10.1007/978-3-642-21437-0_25.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Sound and Complete Abstract Graph Transformation.” In Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim{\~{a}}o and Carroll Morgan, 92--107. Lecture Notes in Computer Science, 2011. https://doi.org/10.1007/978-3-642-25032-3_7.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Account of Event-B Refinement.” In Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick, Eerke A. Boiten, and Steve Reeves, 139--154. {EPTCS}, 2011. https://doi.org/10.4204/EPTCS.55.9.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 27622
Nebe, Karsten, Holger Gerhard Fischer, Florian Klompmaker, and Helge Jung. “Multi-Touch, Tangible and Pen-Based Interaction in Incident Planning,” 263–73. Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011.
LibreCat