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.

14017 Publications


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 | Journal Article | LibreCat-ID: 7391
Padberg, J., Jansen, L., Ehrig, H., Schnieder, E., & Heckel, R. (2001). Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. Transactions of the Society for Design and Process Science, 5(1), 3–21.
LibreCat
 

2001 | Conference (Editor) | LibreCat-ID: 7788
Engels, G., Oberweis, A., & Zündorf, A. (Eds.). (2001). Modellierung 2001 (Vol. 1). Bonn: Gesellschaft für Informatik (GI).
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8128
Krauter, S., Ochs, F., & Depping, T. (2001). Satellite Monitoring of Remote PV-Systems. In Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2598–2599.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8130
Ochs, F., & Krauter, S. (2001). Online Energy Monitoring and Control of a School Building. In Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 2, S. 917–919.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8921
Panning, L., Sextro, W., & Popp, K. (2001). Schwingungsanalyse verstimmter Schaufelkränze mit Reibelementen. In H. Irretier, R. Nordmann, & H. Springer (Eds.), Schwingungen in rotierenden Maschinen VI SIRM, Referate der Tagung in Wien (pp. 297–306). Vieweg-Verlag.
LibreCat
 

2001 | Dissertation | LibreCat-ID: 8469
Hemsel, T. (2001). Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe (Vol. 101). Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8356
Schattkowsky, T., Mehner, K., & Depke, R. (2001). Using UML models for the Description of Concurrent Behavior in Component Interfaces. In Proceedings of the Workshop on Concurrency Issues of the UML (satellite event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada).
LibreCat
 

2001 | Journal Article | LibreCat-ID: 8767
Reuter, D., Meier, C., Álvarez, M. A. S., & Wieck, A. D. (2001). Increased thermal budget for selectively doped heterostructures by employing AlAs/GaAs superlattices. Applied Physics Letters, 79, 377–379. https://doi.org/10.1063/1.1386618
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 995
Karl, H., & Mengesha, S. (2001). Analysing capacity improvements in wireless networks by relaying. In Proc. of IEEE Intl. Conf. on Wireless LANs and Home Networks (pp. 339--348).
LibreCat
 

2001 | Journal Article | LibreCat-ID: 16617
Junge, O. (2001). An adaptive subdivision technique for the approximation of attractors and invariant measures: proof of convergence. Dynamical Systems, 213–222. https://doi.org/10.1080/14689360109696233
LibreCat | DOI
 

2001 | Book Chapter | LibreCat-ID: 17533
Peckhaus, V. (2001). Dialog mit Hindernissen: Philosophie und Mathematik. In J. Kulenkampff & T. Spitzley (Eds.), Von der Antike bis zur Gegenwart. Erlanger Streifzüge durch die Geschichte der Philosophie (pp. 129–145). Erlangen/Jena: Palm & Enke.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 18168
Brattka, V., & Ziegler, M. (2001). Turing Computability of (Non-)Linear Optimization. In Proceedings of the 13th Canadian Conference on Computational Geometry (CCCG’01) (pp. 181–184).
LibreCat
 

2001 | Book Review | LibreCat-ID: 18377
Peckhaus, V. (2001). Leibniz, Gottfried Wilhelm, Die Grundlagen des logischen Kalküls: Lateinisch–deutsch, herausgegeben, übersetzt und mit einem Kommentar versehen von Franz Schupp, Meiner: Hamburg 2000 (Philosophische Bibliothek; 525). Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 952.01008].
LibreCat
 

2001 | Book Review | LibreCat-ID: 18396
Peckhaus, V. (2001). Gasser, James (Hg.), A Boole Anthology. Recent and Classical Studies in the Logic of George Boole, Kluwer: Dordrecht/Boston/London 2000 (Synthese Library; 291). Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 0972.01024].
LibreCat
 

2001 | Book Review | LibreCat-ID: 18384
Peckhaus, V. (2001). Carnap, Rudolf, Untersuchungen zur allgemeinen Axiomatik, hg. v. Thomas Bonk und Jesus Mosterin, Wiss. Buchgesellschaft: Darmstadt 2000. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 959.03004].
LibreCat
 

2001 | Book Review | LibreCat-ID: 18391
Peckhaus, V. (2001). Gefwert, Christoffer, Wittgenstein on Mathematics, Minds and Mental Machines, Ashgate: Aldershot u.a. 1998. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 968.03003].
LibreCat
 

2001 | Book Review | LibreCat-ID: 18389
Peckhaus, V. (2001). Beaney, Michael (Hg.), The Frege Reader. Selected Philosophical Writings, Blackwell: Oxford 1997. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 967.01008].
LibreCat
 

2001 | Journal Article | LibreCat-ID: 18339
Tophinke, D., & Röber-Siekmeyer, C. (2001). DERMAN WIRD WIDERNAS. Gliederungen im Gesprochenen und Geschriebenen (ein Unterrichtsmodell). Praxis Deutsch , 170, 52–56.
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 (Editor) | LibreCat-ID: 19957
Büker, P., & Kammler, C. (Eds.). (2001). Begegnungsorientierter Umgang mit Kinder- und Jugendliteratur im interkulturellen Deutschunterricht der Grundschule. Dokumentationsschrift zur gleichnamigen Lehreraus- und Fortbildungsveranstaltung am 08./09.02.2001 an der Universität Bielefeld. Presented at the Lehreraus- und Fortbildungsveranstaltung, Bielefeld.
LibreCat
 

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 | Conference Paper | LibreCat-ID: 21008
Meschut, G. (2001). Untersuchungen zum Crashverhalten geklebter und hybridgefügter Stahlbauteile. Presented at the Kolloquium Gemeinsame Forschung in der Klebtechnik, Düsseldorf.
LibreCat
 

2001 | Patent | LibreCat-ID: 21224
Hahn, O., Gorenflo, D., Meschut, G., & Hübner, P. (2001). Verfahren zur Messung der Wärmeleitfähigkeit von Klebverbindungen.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 22323
Zimmer, D. (2001). Berechnung des kegeligen Längspressverbands bei Einsteckritzeln. Special Antriebstechnik - Eine Sonderausgabe Der Zeitschriften VDI-Z Und Konstruktion , 53(1), 50–52.
LibreCat
 

2000 | Misc | LibreCat-ID: 13094
Hellebrand, S., & Wunderlich, H.-J. (2000). Hardwarepraktikum im Diplomstudiengang Informatik. Handbuch Lehre, Berlin, Raabe Verlag.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 13758
Frisch, A. M., Vogt, P., Visbeck, S., Hannappel, T., Willig, F., Braun, W., … Esser, N. (2000). Angle Resolved Photoemission Spectroscopy of the InP(001) surface. Applied Surface Science, 166, 224–230. https://doi.org/10.1016/s0169-4332(00)00431-1
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13760
Schmidt, W. G., Esser, N., Frisch, A. M., Vogt, P., Bernholc, J., Bechstedt, F., … Richter, W. (2000). Understanding reflectance anisotropy: Surface-state signatures and bulk-related features in the optical spectrum ofInP(001)(2×4). Physical Review B, 61, R16335–R16338. https://doi.org/10.1103/physrevb.61.r16335
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 14977
König, R., & Sureth-Sloane, C. (2000). Investitionen, Realoptionen und Steuern unter Unsicherheit. Das Wirtschaftsstudium, 29(1), 79–85.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15108
Hüllermeier, E. (2000). A method for predicting solutions in case-based problem solving. In E. Blanzieri & L. Portinale (Eds.), in Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy (pp. 124–135). Springer.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14845
Hüllermeier, E. (2000). Focusing search by using problem solving experience. In W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany (pp. 55–59). IOS Press.
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 | 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 | Book | LibreCat-ID: 3674
Harteis, C. (2000). Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung. München: Neuer Merkur.
LibreCat
 

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 | 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 | Journal Article | LibreCat-ID: 4906
Eggert, A., & Helm, S. (2000). Determinanten der Weiterempfehlung: Kundenzufriedenheit oder Kundenbindung? Der Markt, 39(2), 63–72. https://doi.org/10.1007/bf03036347
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 6015
Kundisch, D. (2000). Buyer Search Behavior on an Electronic Commodity Market: Consumer’s Decision for a Sequential or Simultaneous Search Method. In S. H. Kim, O. Sheng, J. K. Lee, A. B. Whinston, & B. Schmid (Eds.), Proceedings of the International Conference on Electronic Commerce 2000 (ICEC) (pp. 88–93). Seoul, Korea.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 6224
Weber, W., & Kabst, R. (2000). Personalpraktiken in europäischen Unternehmen: Gemeinsamkeiten und Unterschiede. In E. Regnet & L. M. Hofmann (Eds.), Personalmanagement in Europa (pp. 320–332). Göttingen/Bern/Toronto.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 6692
Bendfeld, J., Gruffke, M., Ortjohann, E., & Voss, J. (2000). Der Solar-Igel Neue Möglichkeiten der Steuerung solarstrahlungsabhängiger Anlagen und Geräte. Bundes Bau Blatt, 3.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 6762
Tönnies, M., Stratmann, G., Viol, C.-U., & Anglistik und Englischunterricht 63 (Eds.). (2000). Youth Identities. Teens and Twens in British Culture. Heidelberg: Winter.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7563
Kremer, H.-H. (2000). Wissensanwendung - Evaluationskonzept und Auswertungsbeispiel. In P. F. E. Sloane (Ed.), Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung” (pp. 109–120). Markt Schwaben.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7520
Engels, G., Kelter, U., Depke, R., & Mehner, K. (2000). Unterstützende Angebote der Softwarebegleitgruppe. In Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht (pp. 27–56). Münster: LIT.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 7323
Hasenbank, T., Kremer, H.-H., & Retzmann, T. (Eds.). (2000). Zukunftswerkstatt: Berufliche Bildung neu gestalten - Kreative Wege zur Realisierung didaktischer Innovationen in berufsbildenden Schulen. Bielefeld.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7791
Rolim, J. D. P., Broder, A. Z., Corradini, A., Gorrieri, R., Heckel, R., Hromkovic, J., … Wells, J. B. (Eds.). (2000). Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland). Waterloo, Ontario, Canada: Carleton Scientific.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7397
Corradini, A., & Heckel, R. (2000). Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bulletin of the EATCS, (72), 69–76.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7861
Lohmann, M., & Wagner, A. (2000). Konzeption eines XML-fähigen Mailtools. In Proceedings of Net.Object Days 2000, Erfurt (Germany).
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7873
Engels, G., Heckel, R., & Sauer, S. (2000). UML - A Universal Modeling Language? In Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark) (Vol. 1825, pp. 24–38). Berlin/Heidelberg: Springer.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7878
Depke, R., Heckel, R., & Küster, J. (2000). Integrating visual modeling of agent-based and object-oriented systems. In Proceedings of the conference on Autonomous agents (AGENTS 2000), Barcelona (Spain) (pp. 82–83). New York, NY, USA: ACM Press. http://dx.doi.org/10.1145/336595.337052
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed