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.

8693 Publications


2000 | Conference Paper | LibreCat-ID: 3250
H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods,” in 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, 2000, pp. 334--348.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8917
T. Hemsel and J. Wallaschek, “Stand der Technik und Entwicklungsperspektiven linearer piezoelektrischer Schwingungsantriebe,” vol. 1533. D{\"u}sseldorf, pp. 147–166, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8915
T. Hemsel and J. Wallaschek, “State of the art and development trends of ultrasonic linear motors,” in Ultrasonics Symposium, 2000 IEEE, 2000, vol. 1, pp. 663–666 vol.1.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13762
W. G. Schmidt and J. Bernholc, “Step-induced optical anisotropy of Si(111):H surfaces,” Physical Review B, vol. 61, no. 11, pp. 7604–7608, 2000.
LibreCat | DOI
 

2000 | Book | LibreCat-ID: 6145
R. Kabst, Steuerung und Kontrolle Internationaler Joint Venture: Eine transaktionskostentheoretisch fundierte empirische Analyse. München/Mehring, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8344
R. Heckel and S. Sauer, “Strengthening the Semantics of UML Collaboration Diagrams,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 63–69.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7670
F. Bliemel and A. Eggert, “Stärkt Customer Care die Kundenbeziehung? Eine kausalanalytische Untersuchung aus Kundensicht,” in Jahrbuch für Dienstleistungsmanagement 2000 - Kundenbeziehungen im Dienstleistungsbereich, M. Bruhn and B. Stauss, Eds. Wiesbaden: Gabler, 2000, pp. 197–211.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 13759
W. G. Schmidt, S. Mirbt, and F. Bechstedt, “Surface phase diagram of (2×4) and (4×2) reconstructions of GaAs(001),” Physical Review B, vol. 62, no. 12, pp. 8087–8091, 2000.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 8914
T. Hemsel and J. Wallaschek, “Survey of the present state of the art of piezoelectric linear motors,” Ultrasonics, vol. 38, pp. 37–40, 2000.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10606
M. Eisenring and M. Platzner, “Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems,” IEE Proceedings -- Computers & Digital Techniques, vol. 147, pp. 159–165, 2000.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 7543
H.-H. Kremer and K. Wilbers, “Telekooperatives Lehren und Lernen - Erfahrungen aus dem virtuellen Seminar ‘WiPäd München - Köln,’” in Perspektiven der Berufs- und Wirtschaftspädagogik. Forschungsberichte der Sektion Berufs- und Wirtschaftspädagogik der Deutschen Gesellschaft für Erziehungswissenschaft - Frühjahrstagung 2000, G. A. Straka, R. Bader, and P. F. E. Sloane, Eds. Opladen, 2000, pp. 159–170.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8920
W. Sextro, “The Calculation of the Forced Response of Shrouded Blades with Friction Contacts and Its Experimental Verification,” in International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, 2000, pp. 1–8.
LibreCat
 

2000 | Working Paper | LibreCat-ID: 14979
C. Sureth-Sloane, The Influence of Taxation on Partially Irreversible Investment Decisions – A Real Option Approach, vol. 462. 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10725
M. Platzner, B. Rinner, and R. Weiss, “Toward embedded qualitative simulation: a specialized computer architecture for QSim,” IEEE Intelligent Systems, vol. 15, no. 2, pp. 62–68, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8345
J. Küster and J. Stroop, “Towards Consistency of Dynamic Models and Analysis of Timing Constraints,” in Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8334
R. Depke and R. Heckel, “Towards Role-based Modeling of Autonomous Agents,” in Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany), 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7690
C. Heidtkamp et al., “Tunable backscattering in quantum Hall systems induced by neighbouring gates,” Physica B: Condensed Matter, vol. 284–288, pp. 1728–1729, 2000.
LibreCat | DOI
 

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

2000 | Journal Article | LibreCat-ID: 13761
W. G. Schmidt, F. Bechstedt, and J. Bernholc, “Understanding reflectance anisotropy: Surface-state signatures and bulk-related features,” Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures, vol. 18, no. 4, 2000.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13760
W. G. Schmidt et al., “Understanding reflectance anisotropy: Surface-state signatures and bulk-related features in the optical spectrum ofInP(001)(2×4),” Physical Review B, vol. 61, pp. R16335–R16338, 2000.
LibreCat | DOI
 

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

2000 | Conference Paper | LibreCat-ID: 8347
K. Mehner and A. Wagner, “Visualisierung der Synchronisation von Java-Threads mit UML,” in Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), 2000, vol. 15.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7877
K. Mehner and A. Wagner, “Visualizing the Synchronization of Java-Threads with UML,” in Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington), 2000, pp. 199–206.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 2434
J. Simon, Werkzeugunterstützte effiziente Nutzung von Hochleistungsrechnern. Dr. Dirk Blunk Verlag, 2000.
LibreCat
 

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

2000 | Conference (Editor) | LibreCat-ID: 7791
J. D. P. Rolim et al., Eds., Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland). Waterloo, Ontario, Canada: Carleton Scientific, 2000.
LibreCat
 

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

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

2000 | Book Chapter | LibreCat-ID: 7565
H.-H. Kremer and P. F. E. Sloane, “Zur Fortführung des Forschungsprogramms,” in Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung,” P. F. E. Sloane, Ed. Markt Schwaben, 2000, pp. 130–134.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 13768
A. M. Frisch, W. G. Schmidt, J. Bernholc, M. Pristovsek, N. Esser, and W. Richter, “(2×4)GaP(001) surface: Atomic structure and optical anisotropy,” Physical Review B, vol. 60, no. 4, pp. 2488–2494, 1999.
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 2056
D. Krimphove and S. Seitz, : “Personalcontrolling und Recht - Fallbeispiele und deren juristische Lösung -,” in Personalinformationssysteme & Personalcontrolling, W. Schmeisser, A. Clermont, and A. Protz, Eds. Neuwied: Hermann Luchterhand Verlag, 1999, p. 363 ff.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7858
F. Gadducci, R. Heckel, and M. Llabrés, “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting,” in Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), 1999, vol. 29, pp. 80–100.
LibreCat | DOI
 

1999 | Report | LibreCat-ID: 8206
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, and P. Jan t’Hoen, A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3410
B. Hehenkamp and W. Leininger, “A note on evolutionary stability of Bertrand equilibrium,” Journal of Evolutionary Economics, vol. 9, no. 3, pp. 367–371, 1999.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 15234
E. Hüllermeier, “A possibilistic formalization of case-based reasoning and decision making,” in in Proceedings of the 6th International Conference on Computational Intelligence, Dortmund, Germany, 1999, vol. 1625, pp. 411–420.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 2436
M. Brune, A. Reinefeld, and J. Varnholt, “A Resource Description Environment for Distributed Computing Systems,” in Proc. Int. Symp. High-Performance Distributed Computing (HPDC), 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 11805
M. J. Harris, X. L. Aubert, R. Haeb-Umbach, and P. Beyerlein, “A study of broadcast news audio stream segmentation and segment clustering,” in Eurospeech, 1999.
LibreCat | Download (ext.)
 

1999 | Book Chapter | LibreCat-ID: 7518
R. Heckel, G. Engels, H. Ehrig, and G. Taentzer, “A View-based Approach to System Modeling Based on Open Graph Transformation Systems,” in Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, Singapore: World Scientific, 1999, pp. 639–668.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 13764
F. Bechstedt, B. Adolph, and W. G. Schmidt, “Ab initio calculation of linear and nonlinear optical properties of semiconductor structures,” Brazilian Journal of Physics, vol. 29, no. 4, 1999.
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 1607
D. Krimphove, Aktuelle Rechtsfragen des Börsentermin- und Optionshandels -Anforderungen an Bank und Kunde-, vol. Neue Folgen Nr. 63. Paderborn: Schriftenreihe der Universität Paderborn, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8323
A. Corradini, M. Große-Rhode, and R. Heckel, “An Algebra of Graph Derivations using Finite (co-) limit Double Theories,” in Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), 1999, vol. 1589, pp. 92–106.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 8327
K. Mehner and A. Wagner, “An Assessment of Aspect Language Design,” in Proceedings of the Young Researchers Workshop (satellite event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 1722
D. Krimphove, “An Economic Analysis of the Law of Good-Faith Purchase in European Property Law,” in Gdanskie Strudia Prawnicze, Danzig: Wydawnictwo Uniwersytetu Gdanskiego, 1999, pp. 228–236.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 11791
R. Haeb-Umbach and M. Loog, “An Investigation of Cepstral Parameterisations for Large Vocabulary Speech Recognition,” in Eurospeech, 1999.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 7851
A. Cherchago, “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development,” in Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia), 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 1946
D. Krimphove, “Arbeitsrecht / Europäische Vorgaben der Unternehmensansiedlung.” Editions Juridiques Bruylant, Paris, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 3689
S. Kraft, W. Gallenberger, C. Harteis, and G. Fink, “Auf dem Weg zum Profi-Pädagogen?,” in Erziehungswissenschaft und Pädagogik zwischen kritischer Reflexion und Dienstleistung, G. Pollack and R. Prim, Eds. Weinheim: Deutscher Studienverlag, 1999, pp. 216–223.
LibreCat
 

1999 | Report | LibreCat-ID: 8203
H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin, 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 9667
M. Tönnies, “Becker, J.: Nicht-Ich-Identität. Ästhtische Subjektivität in Samuel Becketts Arbeiten für Theater, Radio, Film und Fernsehen, 1998,” Forum Modernes Theater, vol. 14, no. 2. pp. 229–233, 1999.
LibreCat
 

1999 | Book (Editor) | LibreCat-ID: 6767
M. Tönnies and R. Schiffer, Eds., British Literature and Culture. Divergent Views and Attitudes. On the Occasion of Gerd Stratmann’s 60th Birthday. Trier: WVT, 1999.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: IEEE

Export / Embed