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.
9804 Publications
2008 | Conference Paper | LibreCat-ID: 3209
Metzler, Björn, Heike Wehrheim, and Daniel 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, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-88194-0_9.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” In Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald, Anne Elisabeth Haxthausen, and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n, 380--394. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-85762-4_26.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
Gajek, Sebastian, Tibor Jager, Mark Manulis, and Jörg 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, 115--129, 2008. https://doi.org/10.1007/978-3-540-88313-5_8.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann, Kristina, Tibor Jager, and Andy 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, 437--448, 2008. https://doi.org/10.1007/978-3-540-70583-3_36.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
Jager, Tibor, and Jörg Schwenk. “On the Equivalence of Generic Group Models.” In Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 200--209, 2008. https://doi.org/10.1007/978-3-540-88733-1_14.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3146
Jager, Tibor, Heiko Jäkel, and Jörg 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., 127--136, 2008.
LibreCat
2008 | Working Paper | LibreCat-ID: 2737 | 
Gries, Thomas, and Margarete Redlin. International Integration and Regional Development in China . Vol. 2008.66. Research Paper / UNU-WIDER . WIDER Research Papers, United Nations University (UNU), 2008.
LibreCat
| Download (ext.)
2008 | Book Chapter | LibreCat-ID: 1109
Geierhos, Michaela, and Sandra 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), edited by Gaston Gross and Klaus U. Schulz, 1st ed., 6:103–26. Tributes. London, UK: College Publications, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
Tichy, Matthias, Stefan Henkler, Jörg Holtmann, and Simon 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, 236:27–38. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut, 2008.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 17465
Peckhaus, Volker, and Peter 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
Meyer auf der Heide, Friedhelm. The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS). Vol. 222. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17868
Dangelmaier, Wilhelm, Matthias Fischer, Daniel Huber, Christoph Laroque, and Tim Suess. “Aggregated 3D-Visualization of a Distributed Simulation Experiment of a Queuing System.” In 2008 Winter Simulation Conference, 2012–20. Miami, FL., USA, 2008. https://doi.org/10.1109/wsc.2008.4736296.
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 17899
Mindt, Ilka, and Ute 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, 235–39. Amsterdam: John Benjamins, 2005, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 19003
Degener, Bastian, Joachim Gehweiler, and Christiane Lammersen. “The Kinetic Facility Location Problem.” In Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT), 378–89, 2008. https://doi.org/10.1007/978-3-540-69903-3_34.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19004
Gehweiler, Joachim, Christiane Lammersen, and Bastian Degener. “The Kinetic Facility Location Problem.” In Proceedings of the 24th European Workshop on Computational Geometry, 251–54, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 1941
Clouser, Thomas, Mikhail Nesterenko, and Christian 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, 5340:124--140. Lecture Notes in Computer Science. Springer, 2008. https://doi.org/10.1007/978-3-540-89335-6_12.
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 1942
Scheideler, Christian. “Broadcasting: Wie Verbreite Ich Schnell Informationen?” In Taschenbuch Der Algorithmen, 229--236. EXamen.Press. Springer, 2008. https://doi.org/10.1007/978-3-540-76394-9_22.
LibreCat
| DOI
2008 | Conference (Editor) | LibreCat-ID: 1943
Hegering, Heinz-Gerd, Axel Lehmann, Hans Jürgen Ohlbach, and Christian 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. LNI, 2008.
LibreCat
2008 | Book | LibreCat-ID: 1945
Vöcking, Berthold, Helmut Alt, Martin Dietzfelbinger, Rüdiger Reischuk, Christian Scheideler, Heribert Vollmer, and Dorothea Wagner. Taschenbuch Der Algorithmen. EXamen.Press, 2008.
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 2355
Brinkmann, André, and Sascha Effert. “Redundant Data Placement Strategies for Cluster Storage Environments.” In Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS), 551–54. Berlin / Heidelberg: Springer, 2008. https://doi.org/10.1007/978-3-540-92221-6_38.
LibreCat
| DOI