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.
9811 Publications
2010 | Conference Paper | LibreCat-ID: 3193
N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised Systems,” in Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques,” in Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 27078
L. Libuda, S. A. Wudy, E. Schoenau, and T. Remer, “Comparison of the effects of dietary protein, androstenediol and forearm muscle area on radial bone variables in healthy prepubertal children,” British Journal of Nutrition, pp. 428–435, 2010, doi: 10.1017/s0007114510003508.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 27725
L. Shi, T. Remer, A. Buyken, M. F. Hartmann, P. Hoffmann, and S. A. Wudy, “Prepubertal urinary estrogen excretion and its relationship with pubertal timing,” American Journal of Physiology-Endocrinology and Metabolism, pp. E990–E997, 2010, doi: 10.1152/ajpendo.00374.2010.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 27780
A. Buyken, P. Mitchell, A. Ceriello, and J. Brand-Miller, “Optimal dietary approaches for prevention of type 2 diabetes: a life-course perspective,” Diabetologia, pp. 406–418, 2010, doi: 10.1007/s00125-009-1629-8.
LibreCat
| DOI
2010 | Misc | LibreCat-ID: 27939
J. Gausemeier and M. Grafe, 9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, vol. 274. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20934
M. von Detten, M. Meyer, and D. Travkin, “Reverse Engineering with the Reclipse Tool Suite,” in Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, 2010, vol. 2, pp. 299–300.
LibreCat
2010 | Dissertation | LibreCat-ID: 18910
M. Bienkowski, Page migration in dynamic networks, vol. 282. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 18927
M. Dynia, Collective graph exploration, vol. 284. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 19041
P. Mahlmann, Peer-to-peer networks based on random graphs, vol. 283. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 19042
B. Degener, Local, distributed approximation algorithms for geometric assignment problems, vol. 278. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 1905
D. Gall, R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, and H. Täubig, “Time Complexity of Distributed Topological Self-stabilization: The Case of Graph Linearization,” in LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings, 2010, vol. 6034, pp. 294--305.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1907
A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “A Jamming-Resistant MAC Protocol for Multi-Hop Wireless Networks,” in Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, 2010, vol. 6343, pp. 179--193.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1908
B. Doerr, L. Ann Goldberg, L. Minder, T. Sauerwald, and C. Scheideler, “Brief Announcement: Stabilizing Consensus with the Power of Two Choices,” in Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, 2010, vol. 6343, pp. 528--530.
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 1909
C. Scheideler, Ed., Algorithms for Sensor Systems - 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers. 2010.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 18549
A. Schindlmayr, C. Friedrich, E. Şaşıoğlu, and S. Blügel, “First-principles calculation of electronic excitations in solids with SPEX,” in Modern and Universal First-Principles Methods for Many-Electron Systems in Chemistry and Physics, vol. 3, F. M. Dolg, Ed. München: Oldenbourg, 2010, pp. 67–78.
LibreCat
| DOI