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.

5792 Publications


2011 | Conference Paper | LibreCat-ID: 26784
G. B. Gnokam Defo and W. Müller, “Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk,” 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26787
L. Khaluf, C. Gerth, and G. Engels, “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints,” in Proceedings of the 23rd international conference on Advanced information systems engineering (CAiSE’11), 2011, pp. 521–535.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26789
C. Kuznik and W. Müller, “Native binary mutation analysis for embedded software and virtual prototypes in SystemC,” 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26792
N. Esau and L. Kleinjohann, “Emotional Robot Competence and Its Use in Robot Behavior Control,” in Emotional Engineering, Springer-Verlag London, 2011, pp. 119–142.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26794
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, and L. 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, 2011, pp. 41–50.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 26805
A. Jungmann, B. Kleinjohann, and W. Richert, “A Fast Hierarchical Learning Approach for Autonomous Robots,” in Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–558.
LibreCat | DOI
 

2011 | Book Chapter | LibreCat-ID: 26810
A. Jungmann, B. Kleinjohann, and W. Richert, “Increasing Learning Speed by Imitation in Multi-robot Societies,” in Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3811
H. Wachsmuth and K. Bujna, “Back to the Roots of Genres: Text Classification by Language Function,” in Proceedings of 5th International Joint Conference on Natural Language Processing, 2011, pp. 632–640.
LibreCat | Download (ext.)
 

2011 | Conference Paper | LibreCat-ID: 3875
H. Wachsmuth, B. Stein, and G. Engels, “Constructing Efficient Information Extraction Pipelines,” in 20th ACM International Conference on Information and Knowledge Management, 2011, pp. 2237–2240.
LibreCat | Download (ext.)
 

2011 | Mastersthesis | LibreCat-ID: 2902
M. Märtens, The Monotone Complexity of Computing k-Clique on Random Graphs. 2011.
LibreCat
 

2011 | Dissertation | LibreCat-ID: 2910
S. Naewe, Algorithms for lattice problems with respect to general norms. Universität Paderborn, 2011.
LibreCat | Download (ext.)
 

2011 | Conference Paper | LibreCat-ID: 2985
M. R. Ackermann, J. Blömer, and C. Scholz, “Hardness and Non-Approximability of Bregman Clustering Problems.” 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 2986
J. Blömer, “How to Share a Secret,” in Algorithms Unplugged, Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 159–168.
LibreCat | DOI
 

2011 | Preprint | LibreCat-ID: 2987
J. Blömer and S. Naewe, “Solving the Closest Vector Problem with respect to Lp Norms,” arXiv:1104.3720. 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 3137
D. Hofheinz, T. Jager, and E. 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, 2011, pp. 647--666.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3138
T. Jager and J. 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, 2011, pp. 413--422.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3183
S. Schneider, H. Treharne, and H. Wehrheim, “Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study,” Electr. Notes Theor. Comput. Sci., pp. 69--80, 2011.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3184
J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanically verified proof obligations for linearizability,” {ACM} Trans. Program. Lang. Syst., no. 1, pp. 4:1--4:43, 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3185
T. Ruhroth, H. Wehrheim, and S. 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, 2011, pp. 83--90.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3186
J. Derrick, G. Schellhorn, and H. 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, 2011, pp. 323--337.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed