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.
5714 Publications
2011 | Conference Paper | LibreCat-ID: 645
B. Doerr, L. A. Goldberg, L. Minder, T. Sauerwald, and C. Scheideler, “Stabilizing consensus with the power of two choices,” in Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2011, pp. 149–158.
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 7353
S. Weißleder et al., “Modellbasiertes Testen: Hype oder Realität?,” OBJEKTspektrum, no. 6, pp. 59–65, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 7535
I. Böckelmann et al., “Physiologische Beanspruchungsreaktionen bei der Anwendung von kopfgetragenen AR-Displays,” presented at the 51. Wissenschaftliche Jahrestagung der Deutschen Gesellschaft für Arbeitsmedizin und Umweltmedizin e. V. (DGAUM), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 7536
F. Klompmaker, B. Senft, K. Nebe, C. Busch, and D. Willemsen, “User Centered Design Process of OSAMi-D - Developing User Interfaces for a Remote Ergometer Training Application,” in {HEALTHINF} 2011 - Proceedings of the International Conference on Health Informatics, Rome, Italy, 26-29 January, 2011, 2011, pp. 268–273.
LibreCat
2011 | Conference Paper | LibreCat-ID: 8471
F. Brüseke, S. Becker, and G. Engels, “Palladio-based performance blame analysis,” in Proceedings of the 16th International Workshop on Component-Oriented Programming (WCOP; satellite event of the CompArch 2011), Boulder Colorado, CO (USA), 2011, pp. 25–32.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 8472
B. Nagel, “Semi-automatische Ableitung externer Anpassungsmechanismen für selbst-adaptive Systeme,” in Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe (Germany), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 646
A. W. Richa and C. Scheideler, “Self-Stabilizing DeBruijn Networks,” in Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 416–430.
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 647
M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods (iFM09),” Science of Computer Programming, no. 10, pp. 835--836, 2011.
LibreCat
| Files available
| DOI