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.
1778 Publications
2009 | Book Chapter | LibreCat-ID: 54123
Meyer-Hamme, J. (2009). „Dieses Kostüm deutsche Geschichte“. In V. Georgi & R. Ohliger (Eds.), Crossover Geschichte. Historisches Bewusstsein Jugendlicher in der Einwanderungsgesellschaft (pp. 75–89).
LibreCat
2009 | Journal Article | LibreCat-ID: 54125
Meyer-Hamme, J. (2009). Historische Identitäten und Geschichtsunterricht. Rhino-Didaktics. Zeitschrift Für Bildungsgangforschung Und Unterricht, Nr. 31 (Abrufbar Unter: Http://Rhinodidactics.de/Artikel/Bildungsgangdidaktik-2009-12-01.Html).
LibreCat
2008 | Conference Paper | LibreCat-ID: 25396
Ngonga Ngomo, A.-C. (2008). SIGNUM: A Graph Algorithm for Terminology Extraction. In A. F. Gelbukh (Ed.), Computational Linguistics and Intelligent Text Processing, 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings (Vol. 4919, pp. 85–95). Springer. https://doi.org/10.1007/978-3-540-78135-6\_8
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19686
Briest, P. (2008). Uniform Budgets and the Envy-Free Pricing Problem. In Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP). https://doi.org/10.1007/978-3-540-70575-8_66
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19687
Briest, P., Krysta, P., & Babaioff, M. (2008). On the Approximability of Combinatorial Exchange Problems. In Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT). Cham. https://doi.org/10.1007/978-3-540-79309-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 1975
Battré, D., Hovestadt, M., Kao, O., Keller, A., & Voss, K. (2008). Virtual Execution Environments and the Negotiation of Service Level Agreements in Grid Systems. In Proc. Int. DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and New Technologies. https://doi.org/10.1007/978-3-540-88708-9_1
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3207
Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker & A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
Derrick, J., Schellhorn, G., & Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In G. Barthe & F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings (pp. 78--95). https://doi.org/10.1007/978-3-540-68863-1_6
LibreCat
| DOI
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 | Book Chapter | LibreCat-ID: 1109
Geierhos, M., & Bsiri, S. (2008). ProfilPro: Reconstitution automatique d’un profil professionnel à partir des documents du Web. In G. Gross & K. U. Schulz (Eds.), Linguistics, Computer Science and Language Processing: Festschrift for Franz Guenthner on the Occasion of His 60th Birthday (Tributes 6) (1st ed., Vol. 6, pp. 103–126). London, UK: College Publications.
LibreCat
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: 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 | Journal Article | LibreCat-ID: 19067
Seng, E.-M. (2008). „Kulturelles Erbe: Denkmalpflege, Restaurierung, Authentizität, Wiederaufbau“. ForschungsForumPaderborn , 40–46.
LibreCat
2008 | Book Chapter | LibreCat-ID: 19068
Seng, E.-M. (2008). „Modern oder gothisch – gothisch und antique römische Architectur vermischt“ – die Vorschläge zu Wiederaufbau und Rekonstruktion des Speyrer Doms 1771. In H. Hubach, B. von Orelli-Messerli, & T. Tassini (Eds.), Reibungspunkte. Ordnung und Umbruch in Architektur und Kunst. Festschrift zum 65. Geburtstag von Hubertus Günther (pp. 241–251 und 156). Petersberg.
LibreCat
2008 | Book Chapter | LibreCat-ID: 19073
Seng, E.-M. (2008). „… Der Hauptzweck ist, die große Welt … allhier im kleineren beisammen zu haben“. Kunst- und Wunderkammern als Bildungseinrichtungen. In J. Stolzenberg (Ed.), Hallesche Beiträge zur Europäischen Aufklärung. Tübingen.
LibreCat