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.
7304 Publications
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
Gajek S, Jager T, Manulis M, Schwenk J. 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. ; 2008:115--129. doi:10.1007/978-3-540-88313-5_8
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann K, Jager T, Rupp A. 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. ; 2008:437--448. doi:10.1007/978-3-540-70583-3_36
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
Jager T, Schwenk J. On the Equivalence of Generic Group Models. In: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. ; 2008:200--209. doi:10.1007/978-3-540-88733-1_14
LibreCat
| DOI
2008 | Working Paper | LibreCat-ID: 2737 | 
Gries T, Redlin M. International Integration and Regional Development in China . Vol 2008.66. WIDER Research Papers, United Nations University (UNU); 2008.
LibreCat
| Download (ext.)
2008 | Book (Editor) | LibreCat-ID: 17465
Peckhaus V, Bernhard P, eds. Methodisches Denken im Kontext. Festschrift für Christian Thiel, mit einem unveröffentlichten Brief Gottlob Freges. Paderborn: mentis Verlag; 2008.
LibreCat
2008 | Book | LibreCat-ID: 17566
Meyer auf der Heide F. 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; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17868
Dangelmaier W, Fischer M, Huber D, Laroque C, Suess T. Aggregated 3D-visualization of a distributed simulation experiment of a queuing system. In: 2008 Winter Simulation Conference. ; 2008:2012-2020. doi:10.1109/wsc.2008.4736296
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19003
Degener B, Gehweiler J, Lammersen C. The Kinetic Facility Location Problem. In: Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT). ; 2008:378-389. doi:10.1007/978-3-540-69903-3_34
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19004
Gehweiler J, Lammersen C, Degener B. The Kinetic Facility Location Problem. In: Proceedings of the 24th European Workshop on Computational Geometry. ; 2008:251-254.
LibreCat
2008 | Conference Paper | LibreCat-ID: 1938
Awerbuch B, W. Richa A, Scheideler C. A jamming-resistant MAC protocol for single-hop wireless networks. In: Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, PODC 2008, Toronto, Canada, August 18-21, 2008. ACM; 2008:45--54. doi:10.1145/1400751.1400759
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 1941
Clouser T, Nesterenko M, Scheideler C. 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. Lecture Notes in Computer Science. Springer; 2008:124--140. doi:10.1007/978-3-540-89335-6_12
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 1942
Scheideler C. Broadcasting: Wie verbreite ich schnell Informationen? In: Taschenbuch Der Algorithmen. eXamen.press. Springer; 2008:229--236. doi: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. 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.; 2008.
LibreCat
2008 | Book | LibreCat-ID: 1945
Vöcking B, Alt H, Dietzfelbinger M, et al. Taschenbuch Der Algorithmen.; 2008.
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 2355
Brinkmann A, Effert S. Redundant Data Placement Strategies for Cluster Storage Environments. In: Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS). Berlin / Heidelberg: Springer; 2008:551-554. doi:10.1007/978-3-540-92221-6_38
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 2382
Richert W, Klompmaker F, Niehörster O. Guiding exploration by combining individual learning and imitation in societies of autonomous robots. In: Proc. IFIP Conf. on Biologically Inspired Cooperative Computing (BICC). Springer; 2008:233-244. doi:10.1007/978-0-387-09655-1_21
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 2383
Lietsch S, Hermann Lensing P. GPU-Supported Image Compression for Remote Visualization - Realization and Benchmarking. In: Proc. Int. Symp. on Visual Computing (ISVC). Vol 5358. Lecture Notes in Computer Science (LNCS). Springer; 2008:658-668. doi:10.1007/978-3-540-89639-5_63
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 2384
Laroque C, Lietsch S, Zabel H. Computational Steering verteilter, interaktiver Materialflusssimulationen. In: Augmented & Virtual Reality in Der Produktentstehung. Vol 232. Verlagsschriftenreihe des Heinz Nixdorf Instituts. Paderborn, Germany: Heinz Nixdorf Institut; 2008:221-239.
LibreCat
2008 | Conference Paper | LibreCat-ID: 2386
Bienkowski M, Brinkmann A, Korzeniowski M. Degree 3 Suffices: A Large-Scale Overlay for P2P Networks. In: Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS). Berlin / Heidelberg: Springer; 2008:184-196. doi:10.1007/978-3-540-92221-6_13
LibreCat
| DOI