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.
9808 Publications
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: 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: 3146
T. Jager, H. Jäkel, and J. Schwenk, “Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS,” in Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss., 2008, pp. 127--136.
LibreCat
2008 | Working Paper | LibreCat-ID: 2737 | 
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 Chapter | LibreCat-ID: 1109
M. Geierhos and S. Bsiri, “ProfilPro: Reconstitution automatique d’un profil professionnel à partir des documents du Web,” in Linguistics, Computer Science and Language Processing: Festschrift for Franz Guenthner on the Occasion of His 60th Birthday (Tributes 6), 1st ed., vol. 6, G. Gross and K. U. Schulz, Eds. London, UK: College Publications, 2008, pp. 103–126.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
M. Tichy, S. Henkler, J. Holtmann, and S. Oberthür, “Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems,” in Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 2008, vol. 236, pp. 27–38.
LibreCat
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 | Book Chapter | LibreCat-ID: 17899
I. Mindt and U. Römer, “Progressives, Patterns, Pedagogy. A corpus-driven approach to English progressive forms, functions, contexts and diadactic,” in Anglistik. International Journal of English Studies, 19, 2, Amsterdam: John Benjamins, 2005, 2008, pp. 235–239.
LibreCat
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