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
Use Cases as views: A formal approach to Requirements engineering in the Unified Process
J. Hendrik Hausmann, R. Heckel, in: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich), Österreichische Computer Gesellschaft, Wien (Österreich), 2001, pp. 595–599.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7891
Strengthening UML Collaboration Diagrams by State Transformations
R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.
LibreCat | DOI
 

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

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

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

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

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

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

2001 | Conference Paper | LibreCat-ID: 8356
Using UML models for the Description of Concurrent Behavior in Component Interfaces
T. Schattkowsky, K. Mehner, R. Depke, 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), 2001.
LibreCat
 

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

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

2001 | Journal Article | LibreCat-ID: 16617 LibreCat | DOI
 

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

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

2001 | Book Review | LibreCat-ID: 18396 LibreCat
 

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

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

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

2001 | Journal Article | LibreCat-ID: 18339
DERMAN WIRD WIDERNAS. Gliederungen im Gesprochenen und Geschriebenen (ein Unterrichtsmodell)
D. Tophinke, C. Röber-Siekmeyer, Praxis Deutsch 170 (2001) 52–56.
LibreCat
 

2001 | Book Review | LibreCat-ID: 19464 LibreCat
 

2001 | Conference (Editor) | LibreCat-ID: 19957
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
P. Büker, C. Kammler, eds., 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, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 21010
Material technologies und joining techniques for multi material car body structures
S. Brüdgam, G. Meschut, in: DVS-Berichte, Band 218, Bejing, P.R. China, 2001, pp. 191–200.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 21008 LibreCat
 

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

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

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

2000 | Journal Article | LibreCat-ID: 13758
Angle Resolved Photoemission Spectroscopy of the InP(001) surface
A.M. Frisch, P. Vogt, S. Visbeck, T. Hannappel, F. Willig, W. Braun, W. Richter, J. Bernholc, W.G. Schmidt, N. Esser, Applied Surface Science 166 (2000) 224–230.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13760
Understanding reflectance anisotropy: Surface-state signatures and bulk-related features in the optical spectrum ofInP(001)(2×4)
W.G. Schmidt, N. Esser, A.M. Frisch, P. Vogt, J. Bernholc, F. Bechstedt, M. Zorn, T. Hannappel, S. Visbeck, F. Willig, W. Richter, Physical Review B 61 (2000) R16335–R16338.
LibreCat | DOI
 

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

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

2000 | Conference Paper | LibreCat-ID: 14845
Focusing search by using problem solving experience
E. Hüllermeier, in: W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, IOS Press, 2000, pp. 55–59.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16497
Complexity Theory and Algorithms
F. Meyer auf der Heide, M. Kutyłowski, P. Ragde, in: Euro-Par 2000 Parallel Processing, Berlin, Heidelberg, 2000.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 3023
Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.
LibreCat | DOI
 

2000 | Book | LibreCat-ID: 3674
Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung
C. Harteis, Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung, Neuer Merkur, München, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 3251
Behavioural Subtyping and Property Preservation
H. Wehrheim, 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}, 2000, pp. 213--231.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3249
Behavioural Subtyping Relations for Object-Oriented Formalisms
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 4906
Determinanten der Weiterempfehlung: Kundenzufriedenheit oder Kundenbindung?
A. Eggert, S. Helm, Der Markt 39 (2000) 63–72.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 6015
Buyer Search Behavior on an Electronic Commodity Market: Consumer's Decision for a Sequential or Simultaneous Search Method
D. Kundisch, 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), 2000, pp. 88–93.
LibreCat
 

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

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

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

2000 | Book Chapter | LibreCat-ID: 7563
Wissensanwendung - Evaluationskonzept und Auswertungsbeispiel
H.-H. Kremer, 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,” Markt Schwaben, 2000, pp. 109–120.
LibreCat
 

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

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

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

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

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

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

2000 | Conference Paper | LibreCat-ID: 7878
Integrating visual modeling of agent-based and object-oriented systems
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Conference on Autonomous Agents (AGENTS 2000), Barcelona (Spain), ACM Press, New York, NY, USA, 2000, pp. 82–83.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed