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.

7570 Publications


2008 | Conference (Editor) | LibreCat-ID: 25865
J. Gausemeier and M. Grafe, Eds., 8. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, vol. 252. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,” in Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack,” in Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional Verification,” in Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3143
S. Gajek, T. Jager, M. Manulis, and J. Schwenk, “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, pp. 115--129.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3144
K. Altmann, T. Jager, and A. Rupp, “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, pp. 437--448.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3145
T. Jager and J. Schwenk, “On the Equivalence of Generic Group Models,” in Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209.
LibreCat | DOI
 

2008 | Working Paper | LibreCat-ID: 2737 | OA
T. Gries and M. Redlin, 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
V. Peckhaus and P. Bernhard, 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
F. Meyer auf der Heide, 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
W. Dangelmaier, M. Fischer, D. Huber, C. Laroque, and T. Suess, “Aggregated 3D-visualization of a distributed simulation experiment of a queuing system,” in 2008 Winter Simulation Conference, 2008, pp. 2012–2020, doi: 10.1109/wsc.2008.4736296.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19003
B. Degener, J. Gehweiler, and C. Lammersen, “The Kinetic Facility Location Problem,” in Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT), 2008, pp. 378–389.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19004
J. Gehweiler, C. Lammersen, and B. Degener, “The Kinetic Facility Location Problem,” in Proceedings of the 24th European Workshop on Computational Geometry, 2008, pp. 251–254.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1941
T. Clouser, M. Nesterenko, and C. Scheideler, “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, 2008, vol. 5340, pp. 124--140.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 1942
C. Scheideler, “Broadcasting: Wie verbreite ich schnell Informationen?,” in Taschenbuch der Algorithmen, Springer, 2008, pp. 229--236.
LibreCat | DOI
 

2008 | Conference (Editor) | LibreCat-ID: 1943
H.-G. Hegering, A. Lehmann, H. Jürgen Ohlbach, and C. Scheideler, 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
B. Vöcking et al., Taschenbuch der Algorithmen. 2008.
LibreCat | Download (ext.)
 

2008 | Conference Paper | LibreCat-ID: 2355
A. Brinkmann and S. Effert, “Redundant Data Placement Strategies for Cluster Storage Environments,” in Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS), 2008, pp. 551–554.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 2383
S. Lietsch and P. Hermann Lensing, “GPU-Supported Image Compression for Remote Visualization - Realization and Benchmarking,” in Proc. Int. Symp. on Visual Computing (ISVC), 2008, vol. 5358, pp. 658–668.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D978-3-540-60972-8

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed