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.
4705 Publications
2007 | Conference Paper | LibreCat-ID: 3216
Ruhroth, T., & Wehrheim, H. (2007). Refactoring Object-Oriented Specifications with Data and Processes. In M. M. Bonsangue & E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (pp. 236--251). https://doi.org/10.1007/978-3-540-72952-5_15
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3222
Derrick, J., Schellhorn, G., & Wehrheim, H. (2007). Proving Linearizability Via Non-atomic Refinement. In J. Davies & J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings (pp. 195--214). https://doi.org/10.1007/978-3-540-73210-5_11
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 27138
Libuda, L., Alexy, U., Sichert-Hellert, W., Stehle, P., Karaolis-Danckert, N., Buyken, A., & Kersting, M. (2007). Pattern of beverage consumption and long-term association with body-weight status in German adolescents – results from the DONALD study. British Journal of Nutrition, 1370–1379. https://doi.org/10.1017/s0007114507862362
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 1107
Bsiri, S., & Geierhos, M. (2007). Informationsextraktion aus Stellenanzeigen im Internet. In A. Hinneburg (Ed.), LWA 2007: Lernen - Wissen - Adaption, Halle, September 2007, Workshop Proceedings (pp. 229–236). Halle-Wittenberg, Germany: Martin-Luther-University.
LibreCat
2007 | Book (Editor) | LibreCat-ID: 17461
Peckhaus, V. (Ed.). (2007). Der Mathematikunterricht 53, H. 5: Schwerpunkt: Philosophie und Mathematik.
LibreCat
2007 | Book | LibreCat-ID: 19007
Eke, N. O. (2007). Wort/Spiele. Drama – Film – Literatur. Berlin: Erich Schmidt.
LibreCat
2007 | Book (Editor) | LibreCat-ID: 19080
Eke, N. O., & Geulen, E. (Eds.). (2007). Tiere, Texte, Spuren. Berlin: Erich Schmidt.
LibreCat
2007 | Book Chapter | LibreCat-ID: 19139
Seng, E.-M. (2007). „Zwischen Utopie und Realität. Die ‚Idealstadt’ Jülich als Ausdruck des frühneuzeitlichen Ordnungsdenkens“. In Jülicher Geschichtsblätter Bd. 73 (Vol. Bd. 73).
LibreCat
2007 | Book Chapter | LibreCat-ID: 19140
Seng, E.-M. (2007). Jörg Held (um 1454-1527), Petrarca-Meister, Vogelschau der Stadt Augsburg. In K. Krause (Ed.), Geschichte der bildenden Kunst in Deutschland, Bd. 4 Spätgotik und Renaissance (p. 266f). München, Berlin, London, New York.
LibreCat
2007 | Book Chapter | LibreCat-ID: 19332
Eke, N. O. (2007). Grausame Spiegel. Lenaus Blick zurück nach vorn: Die Albigenser. Freie Dichtungen. In B. Füllner & K. Füllner (Eds.), Von Sommerträumen und Wintermärchen. Versepen im Vormärz (pp. 49–71). Bielefeld: Aisthesis.
LibreCat
2007 | Book Chapter | LibreCat-ID: 19333
Eke, N. O., & Geulen, E. (2007). Tiere, Texte, Spuren (Vorwort). In N. O. Eke & E. Geulen (Eds.), Tiere, Texte, Spuren (pp. 1–3). Berlin: Erich Schmidt.
LibreCat
2007 | Book Chapter | LibreCat-ID: 19335
Eke, N. O. (2007). Im „deutschen Zauberwald“. Spiegel- und Kippfiguren des Antisemitismus in deutschsprachiger Gegenwartsliteratur. In K.-M. Bogdal, K. Holz, & M. N. Lorenz (Eds.), Literarischer Antisemitismus nach Auschwitz (pp. 243–261). Stuttgart/Weimar: Metzler.
LibreCat
2007 | Book Chapter | LibreCat-ID: 19336
Eke, N. O. (2007). „Nichts, was einen Anfang hatte, ist unendlich.“ Robert Menasses Arbeit an der Differenz – Die Zerstörung der Welt als Wille und Vorstellung. Frankfurter Poetikvorlesungen. In E. Schörkhuber (Ed.), Was einmal wirklich war. Zum Werk Robert Menasses (pp. 237–250). Wien: Sonderzahl.
LibreCat
2007 | Book Chapter | LibreCat-ID: 19337
Eke, N. O. (2007). Das ‚kleine Sagen’ und das ‚große Sagen’. Herta Müllers Gegenschrift. In Walter-Hasenclever-Gesellschaft. Jahrbuch 2005/2006 (pp. 113–128). Aachen: Shaker.
LibreCat
2007 | Book Chapter | LibreCat-ID: 19338
Eke, N. O. (2007). Schreckbilder: Die Revolution als Aufstand der ‚schwarzen Männer’. In J. Birgfeld & C. D. Conter (Eds.), Das Unterhaltungsstück um 1800. Literaturhistorische Konfigurationen – Signaturen der Moderne. Zur Geschichte des Theaters als Reflexionsmedium von Gesellschaft, Politik und Ästhetik (pp. 3–29). Hannover: Wehrhahn.
LibreCat
2007 | Conference Paper | LibreCat-ID: 2400
Berssenbrügge, J., & Lietsch, S. (2007). Verteilte Berechnung und Darstellung automobiler Scheinwerfer. In Proc. Worksh. Augmented & Virtual Reality in der Produktentstehung (Vol. 209, pp. 67–80). Paderborn, Germany: Heinz Nixdorf Institut.
LibreCat
2007 | Conference Paper | LibreCat-ID: 20374
Dorigo, M., Hamann, H., Szymanski, M., Wörn, H., & Shi, Y. (2007). Orientation in a Trail Network by Exploiting its Geometry for Swarm Robotics. In IEEE Swarm Intelligence Symposium, Honolulu, USA, April 1-5 (pp. 310--315). IEEE Press. https://doi.org/10.1109/SIS.2007.367953
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 20434
Hamann, H., Szymanski, M., Wörn, H., Estana, R., Xie, M., & Dubowsky, S. (2007). From Micro to Nano and Swarm Robotics. In Advances in Climbing and walking robots. Proceedings of 10th International Conference (CLAWAR’07), Singapore, July 16-18 (pp. 15--24). https://doi.org/10.1142/9789812770189_0003
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 17981
Ziegler, M. (2007). Real Hypercomputation and Continuity. Theory of Computing Systems, 177–206. https://doi.org/10.1007/s00224-006-1343-6
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 18347
Fischer, M., Laroque, C., Huber, D., Krokowski, J., Mueck, B., Kortenjan, M., … Dangelmaier, W. (2007). Interactive Refinement of a Material Flow Simulation Model by Comparing Multiple Simulation Runs in one 3D Environment. In European Simulation and Modelling Conference (ESM 2007) (pp. 499--505).
LibreCat
| Files available