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.
1736 Publications
2002 | Conference Paper | LibreCat-ID: 8143
Krauter, S., & Depping, T. (2002). Satellite Monitoring of Remote PV-Systems. In Proceedings of RIO 02 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 6.–11. January 2002, S. 109–114.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8144
Koehler, M., Schmidt, M., Wachsmann, U., Krauter, S., & Laar, M. (2002). Photovoltaics on Greened Roofs – Positive Interaction between two Elements of Sustainable Architecture. In Proceedings of RIO 02 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 6.–11. Januar 2002, S. 151–158.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8145
Krauter, S., & Ochs, F. (2002). An all-in-one Solar Home System. In Proceedings of RIO 02 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 6.–11. Januar 2002, S. 101–108.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7524
Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., & Heckel, R. (2002). High-Level Net Processes. In W. Brauer, H. Ehrig, J. Karhumäki, & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol. 2300, pp. 191–219). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45711-9_12
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7527
Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., & Heckel, R. (2002). High-Level Net Processes. In W. Brauer, H. Ehrig, J. Karhumäki, & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol. 2300, pp. 191–219). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45711-9_12
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 7684
Reuter, D., Meier, C., Riedesel, C., & Wieck, A. D. (2002). Local two-dimensional electron gas formation in p-doped GaAs/InyGa1 yAs/AlxGa1 xAs heterostructures by focused Si-implantation doping. Semiconductor Science and Technology, 17(6), 585–589. https://doi.org/10.1088/0268-1242/17/6/315
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 871
Fu, X., Karl, H., & Kappler, C. (2002). QoS-Conditionalized Handoff for Mobile IPv6. In NETWORKING 2002, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; and Mobile and Wireless Communications, Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002, Proceedings (pp. 721--730). https://doi.org/10.1007/3-540-47906-6_58
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 8738
Reuter, D., Schafmeister, P., Koch, J., Schmidt, K., & Wieck, A. . (2002). Growth of InAs quantum dots on focussed ion beam implanted GaAs(100). Materials Science and Engineering: B, 230–233. https://doi.org/10.1016/s0921-5107(01)00871-6
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 8773
Skaberna, S., Versen, M., Klehn, B., Kunze, U., Reuter, D., & D. Wieck, A. (2002). Fabrication of a quantum point contact by the dynamic plowing technique and wet-chemical etching. Ultramicroscopy, 153–157. https://doi.org/10.1016/s0304-3991(99)00126-6
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 8785
Sander, D., Skomski, R., Enders, A., Schmidthals, C., Reuter, D., & Kirschner, J. (2002). The correlation between mechanical stress and magnetic properties of ultrathin films. Journal of Physics D: Applied Physics, 663–670. https://doi.org/10.1088/0022-3727/31/6/014
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 16723
Meyer auf der Heide, F., Kumar, M., Nikoletseas, S., & Spirakis, P. (2002). Mobile Computing, Mobile Networks. In Euro-Par 2002 Parallel Processing (Lecture Notes in Computer Science, vol 2400). Berlin, Heidelberg. https://doi.org/10.1007/3-540-45706-2_133
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 13750
Pulci, O., Lüdge, K., Vogt, P., Esser, N., Schmidt, W. G., Richter, W., & Bechstedt, F. (2002). First-principles study of InP and GaP(001) surfaces. Computational Materials Science, 32–37. https://doi.org/10.1016/s0927-0256(01)00161-6
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 34447
Flake, S., & Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark & J. Warmer (Eds.), Advances in Object Modelling with the OCL (pp. 150–171). Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_8
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 34940
Süßmann, J. (2002). Vom Arcanum zur Hieroglyphe. Das Geheimnis der frühneuzeitlichen Staaten im Geschichtsdenken Leopold Rankes. In G. Engel, B. Rang, K. Reichert, & H. Wunder (Eds.), Das Geheimnis am Beginn der europäischen Moderne (Vol. 6, pp. 496–509). Vittorio Klostermann.
LibreCat
2002 | Book Review | LibreCat-ID: 34933
Süßmann, J. (2002). [Rez. v.] Michaela Völkel: Das Bild vom Schloss. Darstellung und Selbstdarstellung deutscher Höfe in Architekturstichserien 1600–1800. (Kunstwissenschaftliche Studien, Bd. 92.) München/Berlin, Deutscher Kunstverlag 2001. In Historische Zeitschrift (Vol. 275, Issue 2, p. 467 f). R. Oldenbourg. https://doi.org/10.1524/hzhz.2002.275.jg.385
LibreCat
| DOI
| Download (ext.)
2002 | Journal Article | LibreCat-ID: 34771
Süßmann, J. (2002). Was ist und wozu benötigten Adlige ästhetische Kompetenz? Versuch über die Architekturveduten Salomon Kleiners zu Schloß Pommersfelden. Germanisch-Romanische Monatsschrift, 52(1), 49–67.
LibreCat
2002 | Encyclopedia Article | LibreCat-ID: 35028
Süßmann, J. (2002). [Art.] Erzählung. In S. Jordan (Ed.), Lexikon Geschichtswissenschaft. Hundert Grundbegriffe (pp. 85–88). Philipp Reclam.
LibreCat
2002 | Journal Article | LibreCat-ID: 28787
Mahnken, R. (2002). Anistropic creep modeling based on elastic projection operators with applications to CMSX-4 superalloy. Computer Methods in Applied Mechanics and Engineering, 1611–1637. https://doi.org/10.1016/s0045-7825(01)00348-6
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 43611
Schroeter-Wittke, H., & Kirsner, I. (2002). 6. Sonntag nach Trinitatis. 1. Petr. 2,1-10: Steine, die weich sind. Predigtstudien VI/2, 77–83.
LibreCat
2002 | Journal Article | LibreCat-ID: 43293
Meier, T., Thomas, P., Möller, M., Eichmann, R., Stroucken, T., & Knorr, A. (2002). Microscopic Foundation of the Förster Excitonic Energy Transfer Process. Physica Status Solidi (b), 230(1), 25–29. https://doi.org/10.1002/1521-3951(200203)230:1<25::AID-PSSB25>3.0.CO;2-8
LibreCat
| DOI
| Download (ext.)
2002 | Book Chapter | LibreCat-ID: 43298 | 
Meier, T., Reichelt, M., Schlichenmaier, C., Siggelkow, S., Thomas, P., Koch, S. W., Weiser, S., & Sieh, C. (2002). Many-Body Correlation Effects in Photoexcited Semiconductor Heterostructures. In H. Rollnik & D. Wolf (Eds.), Germany NIC Series Vol. 9 (pp. 315–324). John von Neumann Institute for Computing.
LibreCat
| Download (ext.)
2002 | Book Chapter | LibreCat-ID: 48683
Hartung, O. (2002). Außerschulische Projektarbeit im Museum – das Praxisbeispiel „Was die Welt zusammenhält ...“. In T. Hill & K. H. Pohl (Eds.), Projekte in Hochschule und Schule: Das Beispiel Geschichte (1st ed., pp. 179–195). Verlag für Regionalgeschichte.
LibreCat
2002 | Book (Editor) | LibreCat-ID: 53428
Kottmann, B., Miller, S., & Standop, J. (Eds.). (2002). Leben lernen – Wie verändert sich Schule? Dokumentation der Ostfriesischen Hochschultage 2000. Tagungsbericht für die Praxis. Carl von Ossietzky Universität.
LibreCat
2002 | Habilitation | LibreCat-ID: 53457
Englisch, B. (2002). Ordo orbis terrae. Die Weltsicht in den Mappae mundi des frühen und hohen Mittelalters (Vol. 3).
LibreCat
2002 | Book | LibreCat-ID: 53455
Englisch, B. (2002). Zeiterfassung und Kalenderprogrammatik in der frühen Karolingerzeit. Das Kalendarium der Hs. Köln DB 83-2 und die Synode von Soissons 744.
LibreCat
2002 | Book | LibreCat-ID: 53456
Englisch, B. (2002). ...navigemus contra occidentalem plagam ad insulam que dicitur terra repromissionis. Die Entdeckung Amerikas aus dem Weltbild des Mittelalters (Vol. 81).
LibreCat
2001 | Book Review | LibreCat-ID: 19464
Seng, E.-M. (2001). Kathrin Reckmann, Anfänge der Barockarchitektur in Sachsen. Johann Georg Starcke und seine Zeit, Köln 2000. Kunstform 2, Nr. 5 und Sehepunkte 1, Nr. 2.
LibreCat
2001 | Conference Paper | LibreCat-ID: 2431
Schintke, F., Simon, J., & Reinefeld, A. (2001). A Cache Simulator for Shared Memory Systems. In Proc. Int. Conf. on Computational Science (ICCS) (Vol. 2074, pp. 569–578). Berlin / Heidelberg: Springer. https://doi.org/10.1007/3-540-45718-6_62
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 3245
Bartetzko, D., Fischer, C., Möller, M., & Wehrheim, H. (2001). Jass - Java with Assertions. Electr. Notes Theor. Comput. Sci., (2), 103--117. https://doi.org/10.1016/S1571-0661(04)00247-6
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 3246
Fischer, C., Olderog, E.-R., & Wehrheim, H. (2001). A {CSP} View on {UML-RT} Structure Diagrams. In H. Hu{\ss}mann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings (pp. 91--108). https://doi.org/10.1007/3-540-45314-8_8
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 21010
Brüdgam, S., & Meschut, G. (2001). Material technologies und joining techniques for multi material car body structures. In DVS-Berichte, Band 218 (Vol. 218, pp. 191–200). Bejing, P.R. China.
LibreCat
2001 | Journal Article | LibreCat-ID: 18749
Czumaj, A., & Sohler, C. (2001). Testing Hypergraph Coloring. Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP), 493–505. https://doi.org/10.1007/3-540-48224-5_41
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 18857
Sohler, C., & Czumaj, A. (2001). Property Testing with Geometric Queries. Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01), 266–277. https://doi.org/10.1007/3-540-44676-1_22
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18964
Lukovszki, T., Maheshwari, A., & Zeh, N. (2001). I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems. In Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS. https://doi.org/10.1007/3-540-45294-x_21
LibreCat
| DOI
2001 | Book Chapter | LibreCat-ID: 19145
Seng, E.-M. (2001). Architektonischer Wunschtraum, literarische Utopie, bauliche Realität. Samjatins “Wir” und die Architektur des 20. Jahrhunderts. In W. Reese-Schäfer, M. Kühnel, & A. Rüdiger (Eds.), Modell und Wirklichkeit, Festschrift zum 60. Geburtstag von Richard Saage (pp. 236–263). Halle.
LibreCat
2001 | Book Chapter | LibreCat-ID: 19184
Seng, E.-M. (2001). Christianopolis. Der utopische Architekturentwurf des Johann Valentin Andreae. In R. Lächele (Ed.), Das Echo Halles (pp. 59–92). Tübingen.
LibreCat
2001 | Journal Article | LibreCat-ID: 19195
Seng, E.-M. (2001). Vom Kristallpalast zum gläsernen Menschen. MUT. Forum für Kultur, Politik und Geschichte, Nr.407, Juli 2001, (Nr. 407), 18–27.
LibreCat
2001 | Conference Paper | LibreCat-ID: 18152
Ziegler, M., & Brattka, V. (2001). A Computable Spectral Theorem. In Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000) (Vol. 2064, pp. 378–388). Berlin, Heidelberg. https://doi.org/10.1007/3-540-45335-0_23
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7884
Engels, G., Heckel, R., & Küster, J. (2001). Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada) (Vol. 2185, pp. 272–287). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45441-1_21
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7889
Hendrik Hausmann, J., & Heckel, R. (2001). Use Cases as views: A formal approach to Requirements engineering in the Unified Process. In Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich) (Vol. 1, pp. 595–599). Wien (Österreich): Österreichische Computer Gesellschaft.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7891
Heckel, R., & Sauer, S. (2001). Strengthening UML Collaboration Diagrams by State Transformations. In Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy) (Vol. 2029, pp. 109–123). London, UK: Springer. http://dx.doi.org/10.1007/3-540-45314-8_9
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 8357
Depke, R., Heckel, R., & Küster, J. (2001). Agent-oriented Modeling with Graph Transformation. In Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland) (Vol. 1957, pp. 105–120). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-44564-1_7
LibreCat
| DOI
2001 | Dissertation | LibreCat-ID: 8469
Hemsel, T. (2001). Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe (Vol. 101). Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts.
LibreCat
2001 | Book Chapter | LibreCat-ID: 16493
Meyer auf der Heide, F. (2001). Data Management in Networks. In Graph-Theoretic Concepts in Computer Science (Vol. 2204). Berlin, Heidelberg. https://doi.org/10.1007/3-540-45477-2_2
LibreCat
| DOI
2001 | Book Chapter | LibreCat-ID: 16494
Meyer auf der Heide, F., & Wanka, R. (2001). Parallel Bridging Models and Their Impact on Algorithm Design. In Computational Science - ICCS 2001. Berlin, Heidelberg. https://doi.org/10.1007/3-540-45718-6_68
LibreCat
| DOI
2001 | Book (Editor) | LibreCat-ID: 16722
Meyer auf der Heide, F. (Ed.). (2001). Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark (Lecture Notes in Computer Science (LNCS, volume 2161)). Berlin, Heidelberg: Springer . https://doi.org/10.1007/3-540-44676-1
LibreCat
| DOI
2001 | Book Review | LibreCat-ID: 18742
Peckhaus, V. (2001). Gabriel, Gottfried/Kienzler, Wolfgang (eds.), “Frege in Jena. Beiträge zur Spurensicherung. Tagungsbericht, Jena, Deutschland, 6.–7. Dezember 1996”, Königshausen & Neumann: Würzburg 1997. In Mathematical Reviews [Reprint von Zbl. 897.01002] (MR 2001c:03004).
LibreCat
2001 | Book Review | LibreCat-ID: 34770
Süßmann, J. (2001). [Rez. v.] Marcus Weidner: Landadel in Münster 1600–1780. Stadtverfassung, Standesbehauptung und Fürstenhof. 2 Teilbde. (Quellen und Forschungen zur Geschichte der Stadt Münster, NF., Bd. 18/1 u. 2.) Münster, Aschendorff 2000. In Historische Zeitschrift (Vol. 272, p. 764 f.). https://doi.org/10.1524/hzhz.2001.272.jg.667
LibreCat
| DOI
| Download (ext.)
2001 | Translation (Section) | LibreCat-ID: 34931
Lloyd, G. (2001). Wissenschaft und Gesellschaft in antiken Kulturen. In J. Fried & J. Süßmann (Eds.), & J. Süßmann (Trans.), Revolutionen des Wissens. Von der Steinzeit bis zur Moderne (Vol. 1450, pp. 96–115). C.H. Beck.
LibreCat
2001 | Translation (Section) | LibreCat-ID: 34930
Goody, J. R. (2001). Wissen und die Arten seiner Weitergabe. In J. Fried & J. Süßmann (Eds.), & J. Süßmann (Trans.), Revolutionen des Wissens. Von der Steinzeit bis zur Moderne (Vol. 1450, pp. 40–55). C.H. Beck.
LibreCat
2001 | Book Chapter | LibreCat-ID: 34929
Fried, J., & Süßmann, J. (2001). Revolutionen des Wissens – eine Einführung. In J. Fried & J. Süßmann (Eds.), Revolutionen des Wissens. Von der Steinzeit bis zur Moderne (Vol. 1450, pp. 7–20). C.H. Beck.
LibreCat
2001 | Book (Editor) | LibreCat-ID: 34784
Fried, J., & Süßmann, J. (Eds.). (2001). Revolutionen des Wissens. Von der Steinzeit bis zur Moderne (Vol. 1450). C.H. Beck.
LibreCat
2001 | Translation (Section) | LibreCat-ID: 34932
Aschheim, S. E. (2001). Jenseits von Bildung und Liberalismus. Die radikale jüdische Erneuerungsbewegung in der Weimarer Republik. In J. Fried & J. Süßmann (Eds.), & J. Süßmann (Trans.), Revolutionen des Wissens. Von der Steinzeit bis zur Moderne (Vol. 1450, pp. 136–155 und 174–185). C.H. Beck.
LibreCat
2001 | Book | LibreCat-ID: 34421
Kamp, H. (2001). Friedensstifter und Vermittler im Mittelalter.
LibreCat
2001 | Book Chapter | LibreCat-ID: 36158
Kamp, H. (2001). Die Macht der Zeichen und Gesten bei Dudo von Saint-Quentin. In G. Althoff (Ed.), Formen und Funktionen der Öffentlichkeit im Mittelalter (Vol. 51, pp. 125–155).
LibreCat
2001 | Book Chapter | LibreCat-ID: 36157
Kamp, H. (2001). Konflikte und Konfliktführung in den Anfängen der Regierung Ottos I. In M. Puhle (Ed.), Otto der Große, Magdeburg und Europa. Ausstellungskatalog Magdeburg 2001 (pp. 168–178).
LibreCat
2001 | Book Chapter | LibreCat-ID: 36154
Kamp, H. (2001). Geld, Politik und Moral im hohen Mittelalter. In Frühmittelalterliche Studien (Vol. 35, pp. 329–347).
LibreCat
2001 | Encyclopedia Article | LibreCat-ID: 37571
Grotjahn, R. (2001). Falcon, Cornélie. In L. Finscher (Ed.), Die Musik in Geschichte und Gegenwart. Bd. 6 (2nd ed.). Bärenreiter/Metzler.
LibreCat
| Download (ext.)
2001 | Conference Paper | LibreCat-ID: 38489
Plotz, F., Michaelis, S., Fattinger, G., Aigner, R., & Noé, R. (2001). Performance and dynamics of a RF MEMS switch. In E. Obermeier (Ed.), TRANSDUCERS ‘01: EUROSENSORS XV, DIGEST OF TECHNICAL PAPERS, VOLS 1 AND 2 (pp. 1560–1563).
LibreCat
2001 | Conference Paper | LibreCat-ID: 38409
Sandel, D., Wust, F., Mirvoda, V., & Noé, R. (2001). PMD compensation in a 2x40Gbit/s, 212km, CS-RZ polarization multiplexed transmission experiment. ECOC’01: 27TH EUROPEAN CONFERENCE ON OPTICAL COMMUNICATION, VOLS 1-6, A74–A75.
LibreCat
2001 | Conference Paper | LibreCat-ID: 38406
Noé, R., Sandel, D., Mirvoda, V., Hinz, S., & Wust, F. (2001). 150fs online PMD detection within 5 mu s. ECOC’01: 27TH EUROPEAN CONFERENCE ON OPTICAL COMMUNICATION, VOLS 1-6, 210–211.
LibreCat
2001 | Book Chapter | LibreCat-ID: 43564
Schroeter-Wittke, H. (2001). Kasualgottesdienst und Kausalmusik. Gemeindekulturpädagogisches Thema mit 6 Variationen. In G. Fermor, G. Ruddat, & H. Schroeter-Wittke (Eds.), Gemeindekulturpädagogik (pp. 193–212).
LibreCat
2001 | Journal Article | LibreCat-ID: 48782
Hartung, O., & Krause, M. (2001). Industriegeschichte erleben. Das Rheinische Industriemuseum als außerschulischer Lernort. Geschichte, Politik und ihre Didaktik, 3/4, 206–214.
LibreCat
2001 | Journal Article | LibreCat-ID: 48765
Hartung, O. (2001). Didaktik und Museum: ein „absurdes“ Verhältnis? Zum Verfall des Didaktik-Begriffs im Museum. Geschichte, Politik und ihre Didaktik, 3/4, 200–205.
LibreCat
2001 | Journal Article | LibreCat-ID: 48783
Hartung, O. (2001). „In Hülle und Fülle“. Lebensmittelindustrie und Einzelverpackung. industrie-kultur, 3, 4–7.
LibreCat
2000 | Conference Paper | LibreCat-ID: 3249
Fischer, C., & Wehrheim, H. (2000). Behavioural Subtyping Relations for Object-Oriented Formalisms. In T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings (pp. 469--483). https://doi.org/10.1007/3-540-45499-3_33
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3250
Wehrheim, H. (2000). Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In T. S. E. Maibaum (Ed.), Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings (pp. 334--348). https://doi.org/10.1007/3-540-46428-X_23
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3251
Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In S. F. Smith & C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA} (pp. 213--231). https://doi.org/10.1007/978-0-387-35520-7_11
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 3023
Blömer, J. (2000). Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices. In Automata, Languages and Programming (pp. 248–259). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-45022-x_22
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20994
Eis, M., & Meschut, G. (2000). Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen. In Tagungsband zur Veranstaltung EndForm 2000 (pp. 135–152). Aachen: Shaker Verlag.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20995
Hahn, O., Koyro, M., & Meschut, G. (2000). Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen. In Tagungsband zur Veranstaltung EndForm 2000 (pp. 225–241). Aachen: Shaker Verlag.
LibreCat
2000 | Report | LibreCat-ID: 21001
Hahn, O., Meschut, G., Eis, M., & Kötting, G. (2000). Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile. Düsseldorf: Verlag und Vertriebsgesellschaft mbH.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21003
Bohling, P., Jüttner, S., Kaiser, M., Meschut, G., & Schumann, S. (2000). Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau (pp. 199–210). Presented at the 7. Paderborner Symposium Fügetechnik 2000, Paderborn.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19196
Seng, E.-M. (2000). Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines “Guten Regiments” und “Guter Ordnung.” In G. Lupfer, K. Rudert, & P. Sigel (Eds.), Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul (pp. 296–309). Dresden.
LibreCat
2000 | Conference Paper | LibreCat-ID: 17990
Czumaj, A., Sohler, C., & Ziegler, M. (2000). Property Testing in Computational Geometry. In Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00) (Vol. 4698, pp. 155–166). Berlin, Heidelberg: Springer. https://doi.org/10.1007/3-540-45253-2_15
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18146
Ziegler, M., & Brattka, V. (2000). Computing the Dimension of Linear Subspaces. In SOFSEM 2000: Theory and Practice of Informatics (Vol. 1963, pp. 450–458). Berlin, Heidelberg: Springer. https://doi.org/10.1007/3-540-44411-4_34
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18150
Ziegler, M., & Sohler, C. (2000). Computing Cut Numbers. In Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00) (pp. 73–79).
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
Engels, G., & Heckel, R. (2000). Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. In Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland) (Vol. 1853, pp. 127–150). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45022-X_12
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7875
Engels, G., Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2000). Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK) (Vol. 1939, pp. 323–337). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-40011-7_23
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 7690
Heidtkamp, C., Meier, C., Reuter, D., Versen, M., Hoch, S., Diaconescu, D., & Wieck, A. D. (2000). Tunable backscattering in quantum Hall systems induced by neighbouring gates. Physica B: Condensed Matter, 284–288, 1728–1729. https://doi.org/10.1016/s0921-4526(99)02892-6
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
Engels, G., & Zamperoni, A. (2000). Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! In Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands) (Vol. 1779, pp. 359–368). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45104-8_28
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 8918
Krzyzynski, T., Popp, K., & Sextro, W. (2000). On some regularities in dynamic response of cyclic periodic structures. Chaos, Solitons \& Fractals, 11(10), 1597–1609. https://doi.org/10.1016/S0960-0779(99)00080-6
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8919
Panning, L., Sextro, W., & Popp, K. (2000). Optimization of Interblade Friction Damper. In International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME (pp. 1–8). Munich, Germany.
LibreCat
2000 | Book Chapter | LibreCat-ID: 16497
Meyer auf der Heide, F., Kutyłowski, M., & Ragde, P. (2000). Complexity Theory and Algorithms. In Euro-Par 2000 Parallel Processing. Berlin, Heidelberg. https://doi.org/10.1007/3-540-44520-x_59
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 16345
Meyer auf der Heide, F., & Wanka, R. (2000). Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik. ForschungsForum Paderborn, 112–116.
LibreCat
| Files available
2000 | Book (Editor) | LibreCat-ID: 36301
Böhme, P., Kessl, F., Heil, R., & Reinke, T. (Eds.). (2000). Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion. Luchterhand Verlag.
LibreCat
2000 | Dissertation | LibreCat-ID: 34782 |
Süßmann, J. (2000). Geschichtsschreibung oder Roman? Zur Konstitutionslogik von Geschichtserzählungen zwischen Schiller und Ranke (1780–1824) (Vol. 41). Franz Steiner.
LibreCat
| Download (ext.)
2000 | Book Chapter | LibreCat-ID: 48785
Hartung, O., & Mütter, B. (2000). „Geschichtskultur“ und „Histourismus“. Praktische Erfahrungen und pragmatische Schlussfolgerungen. In B. Mütter, B. Schönemann, U. Uffelmann, & Konferenz für Geschichtsdidaktik (Eds.), Geschichtskultur. Theorie – Empirie – Pragmatik (1st ed., Vol. 11, pp. 240–254). Deutscher Studien Verlag.
LibreCat
2000 | Journal Article | LibreCat-ID: 48784
Hartung, O. (2000). „Was die Welt zusammenhält...“ – Ein Zwischenbericht zum aktuellen Veranstaltungs- und Ausstellungsprojekt des RIM Engelskirchen. industrie-kultur, 3, 34–35.
LibreCat
2000 | Journal Article | LibreCat-ID: 53464
Englisch, B. (2000). Zum Spannungsfeld von Chronographie und Autobiographie in der Weltchronistik des Hermann von Reichenau. Das Mittelalter, 5(2), 17–30.
LibreCat
1999 | Book Chapter | LibreCat-ID: 19475
Seng, E.-M. (1999). Die Wörlitzer Anlagen zwischen Englischem Landschaftsgarten und Bon-Sauvage-Utopie? In R. Saage & E.-M. Seng (Eds.), Von der Geometrie zur Naturalisierung. Utopisches Denken im 18. Jahrhundert zwischen literarischer Fiktion und frühneuzeitlicher Gartenkunst. Hallesche Beiträge zur Europäischen Aufklärung Bd. 10 (Vol. Bd. 10, pp. 117–150). Tübingen.
LibreCat
1999 | Book Chapter | LibreCat-ID: 2435
Simon, J., Reinefeld, A., & Heinz, O. (1999). Large-Scale SCI Clusters in Practice: Architecture and Performance in SCI. In H. Hellwagner & A. Reinefeld (Eds.), SCI: Scalable Coherent Interface. Architecture and Software for High-Performance Compute Clusters (Vol. 1734, pp. 367–381). Berlin / Heidelberg: Springer. https://doi.org/10.1007/10704208
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3253
Wehrheim, H. (1999). Data Abstraction for {CSP-OZ}. In J. M. Wing, J. Woodcock, & J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II} (pp. 1028--1047). https://doi.org/10.1007/3-540-48118-4_5
LibreCat
| DOI
1999 | Book | LibreCat-ID: 3381
Gries, T., Addison, J. T., Audretsch, D. B., Grupp, H., & Welfens, P. J. J. (1999). Globalization, Economic Growth and Innovation Dynamics. Berlin Heidelberg: Springer-Verlag.
LibreCat
1999 | Conference Paper | LibreCat-ID: 20953
Eis, M., Hahn, O., & Meschut, G. (1999). Kleben dünnwandiger Fahrzeugkomponenten aus Stahl. In Tagungsband zur Werkstoffwoche 1998 (Vol. 6, pp. 327–332). Weinheim: Wiley-VCH Verlag.
LibreCat
1999 | Conference Paper | LibreCat-ID: 20954
Hahn, O., Meschut, G., & Koyro, M. (1999). Quasistationäre Meßmethode zur Ermittlung der Wärmeleitfähigkeit von Klebverbindungen. In Tagungsband zur Werkstoffwoche 1998 (Vol. 6, pp. 357–360). Weinheim: Wiley-VCH Verlag.
LibreCat
1999 | Conference Paper | LibreCat-ID: 18747
Sohler, C. (1999). Fast Reconstruction of Delaunay Triangulations. In Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99) (pp. 136–141).
LibreCat
1999 | Book (Editor) | LibreCat-ID: 18772
Saage, R., & Seng, E.-M. (Eds.). (1999). Von der Geometrie zur Naturalisierung. Utopisches Denken im 18. Jahrhundert zwischen literarischer Fiktion und frühneuzeitlicher Gartenkunst. Hallesche Beiträge zur Europäischen Aufklärung Bd. 10 (Vol. Bd. 10). Tübingen: Max Niemeyer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 18959
Lukovszki, T. (1999). New Results on Fault Tolerant Geometric Spanners. In Proceedings of the 6th Workshop on Algorithms an Data Structures (WADS’99), LNCS (pp. 193–204). https://doi.org/10.1007/3-540-48447-7_20
LibreCat
| DOI
1999 | Book Chapter | LibreCat-ID: 19201
Seng, E.-M. (1999). Kirchenbau und Politik im 19. Jahrhundert. In Jahrbuch der Akademie der Wissenschaften zu Göttingen 1999 (pp. 54–62).
LibreCat