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.
7917 Publications
2010 | Conference Paper | LibreCat-ID: 3193
Timm, Nils, and Heike 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, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16901-4_35.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike 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, edited by Dominique M{\’{e}}ry and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_14.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 27078
Libuda, Lars, Stefan A. Wudy, Eckhard Schoenau, and Thomas 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, 2010, 428–35. https://doi.org/10.1017/s0007114510003508.
LibreCat
| DOI
2010 | Misc | LibreCat-ID: 27939
Gausemeier, Jürgen, and M. Grafe. 9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. Vol. 274. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, Hella, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, and Wilhelm Schäfer. “Designing Self-Healing in Automotive Systems.” In Lecture Notes in Computer Science. Berlin, Heidelberg, 2010. https://doi.org/10.1007/978-3-642-16576-4_4.
LibreCat
| DOI
2010 | Dissertation | LibreCat-ID: 18910
Bienkowski, Marcin. Page Migration in Dynamic Networks. Vol. 282. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 18927
Dynia, Miroslaw. Collective Graph Exploration. Vol. 284. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Book Chapter | LibreCat-ID: 19027
Seng, Eva- Maria. “Rekonstruktionen von Kontinuität zwischen 1600 und 1800: Überbrückung der durch Politik, Religion und Krieg verursachten Zäsuren.” In Geschichte der Rekonstruktion. Konstruktion der Geschichte. Publikation und Ausstellungskatalog, Pinakothek der Moderne, edited by Winfried Nerdinger, 78–95 und 224–32. München, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 19029
Briest, Patrick, Parinya Chalermsook, Sanjeev Khanna, Bundit Laekhanukit, and Danupon Nanongkai. “Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing.” In Workshop on Internet and Network Economics (WINE), 2010. https://doi.org/10.1007/978-3-642-17572-5_37.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 19032
Seng, Eva- Maria. “Stadtbaukunst.” Enzyklopädie der Neuzeit, Stuttgart, 2010.
LibreCat
2010 | Dissertation | LibreCat-ID: 19041
Mahlmann, Peter. Peer-to-Peer Networks Based on Random Graphs. Vol. 283. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 19042
Degener, Bastian. Local, Distributed Approximation Algorithms for Geometric Assignment Problems. Vol. 278. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 1905
Gall, Dominik, Riko Jacob, Andrea W. Richa, Christian Scheideler, Stefan Schmid, and Hanjo 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, 6034:294--305. Lecture Notes in Computer Science. Springer, 2010. https://doi.org/10.1007/978-3-642-12200-2_27.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1907
Richa, Andrea W., Christian Scheideler, Stefan Schmid, and Jin 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, 6343:179--193. Lecture Notes in Computer Science. Springer, 2010. https://doi.org/10.1007/978-3-642-15763-9_17.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1908
Doerr, Benjamin, Leslie Ann Goldberg, Lorenz Minder, Thomas Sauerwald, and Christian 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, 6343:528--530. Lecture Notes in Computer Science. Springer, 2010. https://doi.org/10.1007/978-3-642-15763-9_50.
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 1909
Scheideler, Christian, 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. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16988-5.
LibreCat
| DOI
2010 | Book Review | LibreCat-ID: 19373
Seng, Eva- Maria. “Dorothee Hemme, Markus Tauschek (Hg.), Leben im Weltkulturerbe. Ethnologische Skizzen zum alltagskulturellen Umgang mit dem Prädikat UNESCO-Welterbe“, Göttingen 2008.” Bayerisches Jahrbuch für Volkskunde , 2010.
LibreCat
2010 | Book Chapter | LibreCat-ID: 18549
Schindlmayr, Arno, Christoph Friedrich, Ersoy Şaşıoğlu, and Stefan 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, edited by Franz Michael Dolg, 3:67–78. Progress in Physical Chemistry. München: Oldenbourg, 2010. https://doi.org/10.1524/9783486711639.67.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2217
Bienkowski, Marcin, André Brinkmann, Marek Klonowski, and Miroslaw Korzeniowski. “SkewCCC+: A Heterogeneous Distributed Hash Table.” In Proceedings of the 14th International Conference On Principles Of Distributed Systems (Opodis), Vol. 6490. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer, 2010. https://doi.org/10.1007/978-3-642-17653-1_18.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2225
Gao, Yan, Dirk Meister, and André Brinkmann. “Reliability Analysis of Declustered-Parity RAID 6 with Disk Scrubbing and Considering Irrecoverable Read Errors.” In Proc. IEEE Int. Conf. on Networking, Architecture and Storage (NAS), 126–34. IEEE, 2010. https://doi.org/10.1109/NAS.2010.11.
LibreCat
| DOI