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.

8237 Publications


2000 | Journal Article | LibreCat-ID: 3247
Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Bulletin of the {EATCS}. 2000:92--101.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 2143
Adler M, Scheideler C. Efficient Communication Strategies for Ad Hoc Wireless Networks. Theory Comput Syst. 2000;33(5/6):337--391. doi:10.1007/s002240010006
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 2148
Czumaj A, Scheideler C. Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma. Random Struct Algorithms. 2000;17(3-4):213--237.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 2150
Czumaj A, Scheideler C. A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract). In: STOC. ACM; 2000:38--47.
LibreCat | Files available
 

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

2000 | Journal Article | LibreCat-ID: 2585
Betz S. Funktionales Qualitätscontrolling bei mehrstufiger Fertigung. Zeitschrift für Planung. 2000;11:169-193.
LibreCat
 

2000 | Book | LibreCat-ID: 7509
Doberkat E-E. Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht. LIT Verlag Münster; 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7542
Kremer H-H, Sloane PFE. Lern- und Maßnahmeerfolg fächer- und lernortübergreifender Unterrichtsarrangements. Wirtschaft und Erziehung. 2000;(3):142-145.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7559
Kremer H-H. Entwicklung und Implementation als kooperativer Prozeß - Erfahrungen und Gestaltungsanregungen. In: Sloane PFE, 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:45-54.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7667
Bliemel F, Eggert A, Adolphs K. Preispolitik mit Electronic Commerce. In: Bliemel F, Fassott G, Theobald A, eds. Electronic Commerce. 3rd ed. Wiesbaden: Gabler; 2000:205-217.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7864
Depke R, Langham M, Lütkemeier B, Thöne S. Ein Konzept zur Generierung von XSL-Transformationen und dessen Anwendung bei Bankselbstbedienungssystemen. In: Proceedings of the Net.ObjectDays (2000), Erfurt (Germany). ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7876
Hendrik Hausmann J. Graphtransitionsregeln zur Beschreibung der Semantik von UML. In: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany). Leinfelden - Echterdingen: Konradin Verlag; 2000:103-107.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 4651
Feng Y, Heiler S. Locally weighted autoregression. In: Vosgerau H-J, ed. Institutional Arrangements for Global Economic Integration. ; 2000:371--388.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 4904
Eggert A. Konzeptualisierung und Operationalisierung der Kundenbindung aus Kundensicht. Marketing - Zeitschrift für Forschung und Praxis. 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6013
Buhl HU, Kundisch D, Leinfelder A, Steck W. IT-Enabled Sophistication Banking. In: Bichler M, Hansen H-R, Mahrer H, eds. Proceedings of the 8th European Conference on Information Systems 2000 (ECIS). Vol 2. Wiesbaden: Gabler; 2000:789-795.
LibreCat
 

2000 | Book | LibreCat-ID: 6145
Kabst R. Steuerung Und Kontrolle Internationaler Joint Venture: Eine Transaktionskostentheoretisch Fundierte Empirische Analyse. München/Mehring; 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 6222
Weber W, Kabst R. Internationalisierung mittelständischer Unternehmen: Organisationsform und Personalmanagement. In: Gutmann J, Kabst R, eds. Internationalisierung Im Mittelstand: Chancen, Risiken, Erfolgsfaktoren. Wiesbaden; 2000:3-89.
LibreCat
 

2000 | Misc | LibreCat-ID: 6397
Kabst R. Erfolgsfaktoren Der Internationalisierung Mittelständischer Unternehmen: Markteintrittsstrategien Und Personalmanagement, Paderborn 2000. .; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6690
Bendfeld J, Gruffke M, Ortjohann E, Peters T, Voss J. FULL AREA COVERAGE MEASURING NETWORK FOR RECORDING THE DISTRIBUTION OF INCIDENT SOLAR RADIATION. In: Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom. ; 2000.
LibreCat
 

2000 | Report | LibreCat-ID: 8209
Heckel R, Llabrés M, Ehrig H, Orejas F. On the Concurrent Semantics of Open Graph Transformation Systems and Views.; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8329
Hendrik Hausmann J, Heckel R, Sauer S. Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung. 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 | Conference Paper | LibreCat-ID: 8331
Heckel R, Llabrés M, Ehrig H, Orejas F. Concurrency of Double-Pullback Graph Transitions. In: Proceedings of Workshop on Graph Transformation Systems (GraTra; Satellite Event of the ETAPS 2000), Berlin (Germany). ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8336
Depke R, Heckel R, Küster J. Deploying Agents in an Electronic Banking Environment. In: Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain). ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8343
Heckel R, Sauer S. Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In: Proceedings of the 7th GI-Workshop GROOM. Vol 20. University of Koblenz-Landau; 2000:43-44.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8456
Kremer H-H, Sloane PFE. Lern- und Maßnahmeerfolg “Fächer- und Lernortübergreifender Lehr- Lernarrangements” - Erste Projektergebnisse. In: Kaiser FJ, ed. Berufliche Bildung in Deutschland für das 21. Jahrhundert. Nürnberg; 2000:135-144.
LibreCat
 

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

2000 | Journal Article | LibreCat-ID: 8918
Krzyzynski T, Popp K, Sextro W. On some regularities in dynamic response of cyclic periodic structures. Chaos, Solitons \& Fractals. 2000;11(10):1597-1609. doi:10.1016/S0960-0779(99)00080-6
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10182
Brinkmann G, Choudum SA, Grünewald S, Steffen E. Bounds for the independence number of critical graphs. Bull London Math Soc. 2000;32:137-140.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 11779
Haeb-Umbach R. Data-driven Phonetic Regression Class Tree Estimation for MLLR Adaptation. In: International Conference on Spoken Language Processing (ICSLP 2000). ; 2000.
LibreCat | Download (ext.)
 

2000 | Journal Article | LibreCat-ID: 10606
Eisenring M, Platzner M. Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems. IEE Proceedings -- Computers & Digital Techniques. 2000;147:159-165. doi:10.1049/ip-cdt:20000496
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 13763
Bernholc J, Briggs EL, Bungaro C, et al. Large-Scale Applications of Real-Space Multigrid Methods to Surfaces, Nanotubes and Quantum Transport. In: Computer Simulation of Materials at Atomic Level. Vol 1. 217. physica status solidi (b); 2000:685-701. doi:10.1002/3527603107.ch33
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13756
Pulci O, Lüdge K, Schmidt WG, Bechstedt F. First-principles study of (2×1) and (2×2) phosphorus-rich InP(001) surfaces. Surface Science. 2000;464:272-282. doi:10.1016/s0039-6028(00)00729-9
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 2586
Betz S. Qualitätskostencontrolling auf Basis des Half-Life-Konzepts. Betrieb und Wirtschaft. 2000;54:749-755.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 3248
Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. Formal Asp Comput. 2000;(3):147--164. doi:10.1007/s001650070026
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3250
Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In: S. E. Maibaum T, 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. Lecture Notes in Computer Science. ; 2000:334--348. doi:10.1007/3-540-46428-X_23
LibreCat | DOI
 

2000 | Book | LibreCat-ID: 1608
Krimphove D, Pieper SU, Schollmeier A. Europarecht - Das Casebook. 2nd ed. Köln: Carl Heymanns Verlag KG; 2000.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 1634
Clermont A, Schmeisser W, Krimphove D, eds. Personalführung Und Organisation. München: Verlag Vahlen; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 1920
Karl H, Polze A, Werner M. Predictable Network Computing using Message-driven Scheduling. In: Proc. the Workshop on Run-Time Systems for Parallel Programming. ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 2149
Brinkmann A, Salzwedel K, Scheideler C. Efficient, distributed data placement strategies for storage area networks (extended abstract). In: SPAA. ; 2000:119--128.
LibreCat | Files available
 

2000 | Journal Article | LibreCat-ID: 7396
Engels G, Heckel R. Graph Transformation and Visual Modeling Techniques. Bulletin of the EATCS. 2000;(71):186-202.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7543
Kremer H-H, Wilbers K. Telekooperatives Lehren und Lernen - Erfahrungen aus dem virtuellen Seminar “WiPäd München - Köln.” In: Straka GA, Bader R, Sloane PFE, eds. Perspektiven der Berufs- und Wirtschaftspädagogik. Forschungsberichte der Sektion Berufs- und Wirtschaftspädagogik der Deutschen Gesellschaft für Erziehungswissenschaft - Frühjahrstagung 2000. Opladen; 2000:159-170.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7550
Kremer H-H, Sloane PFE. Präzisierung: Fächer- und lernortübergreifende Ausbildungskonzepte. In: Sloane PFE, 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:15-32.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7555
Kremer H-H, Sloane PFE. Präzisierung: Entwicklungswege und -beispiel. In: Sloane PFE, 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:33-44.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7562
Kremer H-H, Sloane PFE. DFG-Projekt “FäLoU”: Evaluationskonzept. In: Sloane PFE, 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:81-83.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7670
Bliemel F, Eggert A. Stärkt Customer Care die Kundenbeziehung? Eine kausalanalytische Untersuchung aus Kundensicht. In: Bruhn M, Stauss B, eds. Jahrbuch Für Dienstleistungsmanagement 2000 - Kundenbeziehungen Im Dienstleistungsbereich. Wiesbaden: Gabler; 2000:197-211.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7790
Ehrig H, Engels G, Kreowksi H-J, Taentzer G, eds. Special Issue: Selected Papers of GRATRA 2000. Vol 44. Amsterdam, The Netherlands: Elsevier; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7872
Engels G, Heckel R. 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. LNCS. Berlin/Heidelberg: Springer; 2000:127-150. doi:http://dx.doi.org/10.1007/3-540-45022-X_12
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 7877
Mehner K, Wagner A. Visualizing the Synchronization of Java-Threads with UML. In: Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington). Washington, DC, USA: IEEE Computer Society; 2000:199-206.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8332
Busatto G, Engels G, Mehner K, Wagner A. A Framework for Adding Packages to Graph Transformation Approaches. In: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany). Vol 1764. LNCS. Berlin/Heidelberg: Springer; 2000:352-367. doi:http://dx.doi.org/10.1007/b75045
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8337
Depke R, Heckel R, Küster J. Rollenbasierte Modellierung autonomer Agenten. 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). Münster: Universität Münster; 2000.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: AMA

Export / Embed