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.
7301 Publications
2010 | Conference Paper | LibreCat-ID: 3191
Model-Driven Development with Mechatronic {UML}
W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, 2010, pp. 533--554.
LibreCat
| DOI
W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, 2010, pp. 533--554.
2010 | Conference Paper | LibreCat-ID: 3193
On Symmetries and Spotlights - Verifying Parameterised Systems
N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), 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
N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), 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.
2010 | Conference Paper | LibreCat-ID: 3194
Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat
| DOI
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
2010 | Journal Article | LibreCat-ID: 27078
Comparison of the effects of dietary protein, androstenediol and forearm muscle area on radial bone variables in healthy prepubertal children
L. Libuda, S.A. Wudy, E. Schoenau, T. Remer, British Journal of Nutrition (2010) 428–435.
LibreCat
| DOI
L. Libuda, S.A. Wudy, E. Schoenau, T. Remer, British Journal of Nutrition (2010) 428–435.
2010 | Book Chapter | LibreCat-ID: 27590
Bone-anabolic impact of dietary high protein intake compared with effects of low potential renal acid load, endogenous steroid hormones, and muscularity in children.
T. Remer, L. Libuda, in: Nutritional Influences on Bone Health. , Springer, 2010.
LibreCat
T. Remer, L. Libuda, in: Nutritional Influences on Bone Health. , Springer, 2010.
2010 | Misc | LibreCat-ID: 27939
9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
J. Gausemeier, M. Grafe, 9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
J. Gausemeier, M. Grafe, 9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
2010 | Book Chapter | LibreCat-ID: 20961
Designing Self-healing in Automotive Systems
H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
LibreCat
| DOI
H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
2010 | Dissertation | LibreCat-ID: 18910
Page migration in dynamic networks
M. Bienkowski, Page Migration in Dynamic Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
M. Bienkowski, Page Migration in Dynamic Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
2010 | Dissertation | LibreCat-ID: 18927
Collective graph exploration
M. Dynia, Collective Graph Exploration, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
M. Dynia, Collective Graph Exploration, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
2010 | Conference Paper | LibreCat-ID: 19029
Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing
P. Briest, P. Chalermsook, S. Khanna, B. Laekhanukit, D. Nanongkai, in: Workshop on Internet and Network Economics (WINE), 2010.
LibreCat
| DOI
P. Briest, P. Chalermsook, S. Khanna, B. Laekhanukit, D. Nanongkai, in: Workshop on Internet and Network Economics (WINE), 2010.
2010 | Dissertation | LibreCat-ID: 19041
Peer-to-peer networks based on random graphs
P. Mahlmann, Peer-to-Peer Networks Based on Random Graphs, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
P. Mahlmann, Peer-to-Peer Networks Based on Random Graphs, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
2010 | Dissertation | LibreCat-ID: 19042
Local, distributed approximation algorithms for geometric assignment problems
B. Degener, Local, Distributed Approximation Algorithms for Geometric Assignment Problems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
B. Degener, Local, Distributed Approximation Algorithms for Geometric Assignment Problems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
2010 | Conference Paper | LibreCat-ID: 1905
Time Complexity of Distributed Topological Self-stabilization: The Case of Graph Linearization
D. Gall, R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, in: LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings, Springer, 2010, pp. 294--305.
LibreCat
| DOI
D. Gall, R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, in: LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings, Springer, 2010, pp. 294--305.
2010 | Conference Paper | LibreCat-ID: 1907
A Jamming-Resistant MAC Protocol for Multi-Hop Wireless Networks
A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, Springer, 2010, pp. 179--193.
LibreCat
| DOI
A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, Springer, 2010, pp. 179--193.
2010 | Conference Paper | LibreCat-ID: 1908
Brief Announcement: Stabilizing Consensus with the Power of Two Choices
B. Doerr, L. Ann Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, Springer, 2010, pp. 528--530.
LibreCat
| DOI
B. Doerr, L. Ann Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, Springer, 2010, pp. 528--530.
2010 | Conference (Editor) | LibreCat-ID: 1909
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
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
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.
2010 | Book Chapter | LibreCat-ID: 18549
First-principles calculation of electronic excitations in solids with SPEX
A. Schindlmayr, C. Friedrich, E. Şaşıoğlu, S. Blügel, in: F.M. Dolg (Ed.), Modern and Universal First-Principles Methods for Many-Electron Systems in Chemistry and Physics, Oldenbourg, München, 2010, pp. 67–78.
LibreCat
| DOI
A. Schindlmayr, C. Friedrich, E. Şaşıoğlu, S. Blügel, in: F.M. Dolg (Ed.), Modern and Universal First-Principles Methods for Many-Electron Systems in Chemistry and Physics, Oldenbourg, München, 2010, pp. 67–78.
2010 | Conference Paper | LibreCat-ID: 2217
SkewCCC+: A Heterogeneous Distributed Hash Table
M. Bienkowski, A. Brinkmann, M. Klonowski, M. Korzeniowski, in: Proceedings of the 14th International Conference On Principles Of Distributed Systems (Opodis), Springer, Berlin / Heidelberg, 2010.
LibreCat
| DOI
M. Bienkowski, A. Brinkmann, M. Klonowski, M. Korzeniowski, in: Proceedings of the 14th International Conference On Principles Of Distributed Systems (Opodis), Springer, Berlin / Heidelberg, 2010.
2010 | Book Chapter | LibreCat-ID: 2233
Open Source Middleware for Networked Embedded Systems towards Future Internet of Things
N. R. Prasad, M. Eisenhauer, M. Ahlsén, A. Badii, A. Brinkmann, K. Marius Hansen, P. Rosengren, in: H. Sundmaeker, P. Guillemin, P. Friess, S. Woelfflé (Eds.), Vision and Challenges for Realising the Internet of Things, European Commission, 2010, pp. 153–163.
LibreCat
N. R. Prasad, M. Eisenhauer, M. Ahlsén, A. Badii, A. Brinkmann, K. Marius Hansen, P. Rosengren, in: H. Sundmaeker, P. Guillemin, P. Friess, S. Woelfflé (Eds.), Vision and Challenges for Realising the Internet of Things, European Commission, 2010, pp. 153–163.
2010 | Conference Paper | LibreCat-ID: 22356
Visualisierung zum technischen Review eines elektrischen Linearantriebs in der virtuellen Umgebung
R. Radkowski, C. Hölscher, M. Speith, M. Hilus, in: IFF-Wissenschaftstage, Fraunhofer Verlag, 2010, pp. 101–108.
LibreCat
| DOI
R. Radkowski, C. Hölscher, M. Speith, M. Hilus, in: IFF-Wissenschaftstage, Fraunhofer Verlag, 2010, pp. 101–108.