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.
7557 Publications
2008 | Conference Paper | LibreCat-ID: 3209
Metzler, B., Wehrheim, H., & Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, & K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings (pp. 105--125). https://doi.org/10.1007/978-3-540-88194-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, & H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (pp. 380--394). https://doi.org/10.1007/978-3-540-85762-4_26
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
Gajek, S., Jager, T., Manulis, M., & Schwenk, J. (2008). A Browser-Based Kerberos Authentication Scheme. In Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings (pp. 115--129). https://doi.org/10.1007/978-3-540-88313-5_8
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann, K., Jager, T., & Rupp, A. (2008). On Black-Box Ring Extraction and Integer Factorization. In Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations (pp. 437--448). https://doi.org/10.1007/978-3-540-70583-3_36
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
Jager, T., & Schwenk, J. (2008). On the Equivalence of Generic Group Models. In Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings (pp. 200--209). https://doi.org/10.1007/978-3-540-88733-1_14
LibreCat
| DOI
2008 | Working Paper | LibreCat-ID: 2737 | 
Gries, T., & Redlin, M. (2008). International integration and regional development in China (Vol. 2008.66). WIDER Research Papers, United Nations University (UNU).
LibreCat
| Download (ext.)
2008 | Book (Editor) | LibreCat-ID: 17465
Peckhaus, V., & Bernhard, P. (Eds.). (2008). Methodisches Denken im Kontext. Festschrift für Christian Thiel, mit einem unveröffentlichten Brief Gottlob Freges. Paderborn: mentis Verlag.
LibreCat
2008 | Book | LibreCat-ID: 17566
Meyer auf der Heide, F. (2008). The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS) (Vol. 222). Paderborn: Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17868
Dangelmaier, W., Fischer, M., Huber, D., Laroque, C., & Suess, T. (2008). Aggregated 3D-visualization of a distributed simulation experiment of a queuing system. 2008 Winter Simulation Conference, 2012–2020. https://doi.org/10.1109/wsc.2008.4736296
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19003
Degener, B., Gehweiler, J., & Lammersen, C. (2008). The Kinetic Facility Location Problem. In Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT) (pp. 378–389). https://doi.org/10.1007/978-3-540-69903-3_34
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19004
Gehweiler, J., Lammersen, C., & Degener, B. (2008). The Kinetic Facility Location Problem. In Proceedings of the 24th European Workshop on Computational Geometry (pp. 251–254).
LibreCat
2008 | Conference Paper | LibreCat-ID: 1941
Clouser, T., Nesterenko, M., & Scheideler, C. (2008). Tiara: A Self-stabilizing Deterministic Skip List. In Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings (Vol. 5340, pp. 124--140). Springer. https://doi.org/10.1007/978-3-540-89335-6_12
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 1942
Scheideler, C. (2008). Broadcasting: Wie verbreite ich schnell Informationen? In Taschenbuch der Algorithmen (pp. 229--236). Springer. https://doi.org/10.1007/978-3-540-76394-9_22
LibreCat
| DOI
2008 | Conference (Editor) | LibreCat-ID: 1943
Hegering, H.-G., Lehmann, A., Jürgen Ohlbach, H., & Scheideler, C. (Eds.). (2008). INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München, Deutschland (Vol. 133).
LibreCat
2008 | Book | LibreCat-ID: 1945
Vöcking, B., Alt, H., Dietzfelbinger, M., Reischuk, R., Scheideler, C., Vollmer, H., & Wagner, D. (2008). Taschenbuch der Algorithmen.
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 2355
Brinkmann, A., & Effert, S. (2008). Redundant Data Placement Strategies for Cluster Storage Environments. In Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS) (pp. 551–554). Berlin / Heidelberg: Springer. https://doi.org/10.1007/978-3-540-92221-6_38
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 2383
Lietsch, S., & Hermann Lensing, P. (2008). GPU-Supported Image Compression for Remote Visualization - Realization and Benchmarking. In Proc. Int. Symp. on Visual Computing (ISVC) (Vol. 5358, pp. 658–668). Springer. https://doi.org/10.1007/978-3-540-89639-5_63
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 2384
Laroque, C., Lietsch, S., & Zabel, H. (2008). Computational Steering verteilter, interaktiver Materialflusssimulationen. In Augmented & Virtual Reality in der Produktentstehung (Vol. 232, pp. 221–239). Paderborn, Germany: Heinz Nixdorf Institut.
LibreCat
2008 | Conference Paper | LibreCat-ID: 2386
Bienkowski, M., Brinkmann, A., & Korzeniowski, M. (2008). Degree 3 Suffices: A Large-Scale Overlay for P2P Networks. In Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS) (pp. 184–196). Berlin / Heidelberg: Springer. https://doi.org/10.1007/978-3-540-92221-6_13
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20367
Hamann, H., & Wörn, H. (2008). Aggregating Robots Compute: An Adaptive Heuristic for the Euclidean Steiner Tree Problem. In The tenth International Conference on Simulation of Adaptive Behavior (SAB’08) (Vol. 5040, pp. 447--456). https://doi.org/10.1007/978-3-540-69134-1_44
LibreCat
| DOI