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
@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 2143
@article{Adler_Scheideler_2000, title={Efficient Communication Strategies for Ad Hoc Wireless Networks}, volume={33}, DOI={10.1007/s002240010006}, number={5/6}, journal={Theory Comput. Syst.}, author={Adler, Micah and Scheideler, Christian}, year={2000}, pages={337--391} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 2148
@article{Czumaj_Scheideler_2000, title={Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma}, volume={17}, number={3–4}, journal={Random Struct. Algorithms}, author={Czumaj, Artur and Scheideler, Christian}, year={2000}, pages={213--237} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 2150
@inproceedings{Czumaj_Scheideler_2000, title={A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract)}, booktitle={STOC}, publisher={ACM}, author={Czumaj, Artur and Scheideler, Christian}, year={2000}, pages={38--47} }
LibreCat | Files available
 

2000 | Dissertation | LibreCat-ID: 2434
@book{Simon_2000, title={Werkzeugunterstützte effiziente Nutzung von Hochleistungsrechnern}, publisher={Dr. Dirk Blunk Verlag}, author={Simon, Jens}, year={2000} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 2585
@article{Betz_2000, title={Funktionales Qualitätscontrolling bei mehrstufiger Fertigung}, volume={11}, journal={Zeitschrift für Planung}, author={Betz, Stefan}, year={2000}, pages={169–193} }
LibreCat
 

2000 | Book | LibreCat-ID: 7509
@book{Doberkat_2000, title={Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht}, publisher={LIT Verlag Münster}, author={Doberkat, Ernst-Erich}, year={2000} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7542
@article{Kremer_Sloane_2000, title={Lern- und Maßnahmeerfolg fächer- und lernortübergreifender Unterrichtsarrangements}, number={3}, journal={Wirtschaft und Erziehung}, author={Kremer, H.-Hugo and Sloane, Peter F. E.}, year={2000}, pages={142–145} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7559
@inbook{Kremer_2000, place={Markt Schwaben}, title={Entwicklung und Implementation als kooperativer Prozeß - Erfahrungen und Gestaltungsanregungen}, booktitle={Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung”}, author={Kremer, H.-Hugo}, editor={Sloane, P. F. E.Editor}, year={2000}, pages={45–54} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7667
@inbook{Bliemel_Eggert_Adolphs_2000, place={Wiesbaden}, edition={3}, title={Preispolitik mit Electronic Commerce}, booktitle={Electronic Commerce}, publisher={Gabler}, author={Bliemel, F and Eggert, A and Adolphs, K}, editor={Bliemel, F and Fassott, G and Theobald, AEditors}, year={2000}, pages={205–217} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7864
@inproceedings{Depke_Langham_Lütkemeier_Thöne_2000, title={Ein Konzept zur Generierung von XSL-Transformationen und dessen Anwendung bei Bankselbstbedienungssystemen}, booktitle={Proceedings of the Net.ObjectDays (2000), Erfurt (Germany)}, author={Depke, Ralph and Langham, Matthew and Lütkemeier, Björn and Thöne, Sebastian}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7876
@inproceedings{Hendrik Hausmann_2000, place={Leinfelden - Echterdingen}, title={Graphtransitionsregeln zur Beschreibung der Semantik von UML}, booktitle={Proceedings of the Informatiktage 2000, Bad Schussenried (Germany)}, publisher={Konradin Verlag}, author={Hendrik Hausmann, Jan}, year={2000}, pages={103–107} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 4651
@inbook{Feng_Heiler_2000, title={Locally weighted autoregression}, booktitle={Institutional Arrangements for Global Economic Integration}, author={Feng, Yuanhua and Heiler, Siegfried}, editor={Vosgerau, Hans-JürgenEditor}, year={2000}, pages={371--388} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 4904
@article{Eggert_2000, title={Konzeptualisierung und Operationalisierung der Kundenbindung aus Kundensicht}, journal={Marketing - Zeitschrift für Forschung und Praxis}, author={Eggert, Andreas}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6013
@inproceedings{Buhl_Kundisch_Leinfelder_Steck_2000, place={Wiesbaden}, title={IT-Enabled Sophistication Banking}, volume={2}, booktitle={Proceedings of the 8th European Conference on Information Systems 2000 (ECIS)}, publisher={Gabler}, author={Buhl, H. U. and Kundisch, Dennis and Leinfelder, A. and Steck, W.}, editor={Bichler, M. and Hansen, H.-R. and Mahrer, H.Editors}, year={2000}, pages={789–795} }
LibreCat
 

2000 | Book | LibreCat-ID: 6145
@book{Kabst_2000, place={München/Mehring}, title={Steuerung und Kontrolle Internationaler Joint Venture: Eine transaktionskostentheoretisch fundierte empirische Analyse}, author={Kabst, Rüdiger}, year={2000} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 6222
@inbook{Weber_Kabst_2000, place={Wiesbaden}, title={Internationalisierung mittelständischer Unternehmen: Organisationsform und Personalmanagement}, booktitle={Internationalisierung im Mittelstand: Chancen, Risiken, Erfolgsfaktoren}, author={Weber, W and Kabst, Rüdiger}, editor={Gutmann, J and Kabst, REditors}, year={2000}, pages={3–89} }
LibreCat
 

2000 | Misc | LibreCat-ID: 6397
@book{Kabst_2000, title={Erfolgsfaktoren der Internationalisierung mittelständischer Unternehmen: Markteintrittsstrategien und Personalmanagement, Paderborn 2000. }, author={Kabst, Rüdiger}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6690
@inproceedings{Bendfeld_Gruffke_Ortjohann_Peters_Voss_2000, title={FULL AREA COVERAGE MEASURING NETWORK FOR RECORDING THE DISTRIBUTION OF INCIDENT SOLAR RADIATION}, booktitle={Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom}, author={Bendfeld, Jörg and Gruffke, Michael and Ortjohann, Egon and Peters, T. and Voss, Jürgen}, year={2000} }
LibreCat
 

2000 | Report | LibreCat-ID: 8209
@book{Heckel_Llabrés_Ehrig_Orejas_2000, title={On the Concurrent Semantics of Open Graph Transformation Systems and Views}, author={Heckel, Reiko and Llabrés, Mercé and Ehrig, Hartmut and Orejas, Fernando}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8329
@inproceedings{Hendrik Hausmann_Heckel_Sauer_2000, title={Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung}, booktitle={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)}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8331
@inproceedings{Heckel_Llabrés_Ehrig_Orejas_2000, title={Concurrency of Double-Pullback Graph Transitions}, booktitle={Proceedings of workshop on Graph Transformation Systems (GraTra; satellite event of the ETAPS 2000), Berlin (Germany)}, author={Heckel, Reiko and Llabrés, Mercé and Ehrig, Hartmut and Orejas, Fernando}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8336
@inproceedings{Depke_Heckel_Küster_2000, title={Deploying Agents in an Electronic Banking Environment}, booktitle={Proceedings of the Workshop on Agents in Industry (Agents 2000; satellite event of the 4th International Conference on Autonomous Agents), Barcelona (Spain)}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8343
@inproceedings{Heckel_Sauer_2000, title={Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML}, volume={20}, number={2}, booktitle={Proceedings of the 7th GI-Workshop GROOM}, publisher={University of Koblenz-Landau}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={43–44} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8456
@inbook{Kremer_Sloane_2000, place={Nürnberg}, title={Lern- und Maßnahmeerfolg “Fächer- und Lernortübergreifender Lehr- Lernarrangements” - Erste Projektergebnisse}, booktitle={Berufliche Bildung in Deutschland für das 21. Jahrhundert}, author={Kremer, H.-Hugo and Sloane, Peter F. E.}, editor={Kaiser, F.J.Editor}, year={2000}, pages={135–144} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8920
@inproceedings{Sextro_2000, place={Munich, Germany}, title={The Calculation of the Forced Response of Shrouded Blades with Friction Contacts and Its Experimental Verification}, booktitle={International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME}, author={Sextro, Walter}, year={2000}, pages={1–8} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 8918
@article{Krzyzynski_Popp_Sextro_2000, title={On some regularities in dynamic response of cyclic periodic structures}, volume={11}, DOI={10.1016/S0960-0779(99)00080-6}, number={10}, journal={Chaos, Solitons \& Fractals}, author={Krzyzynski, Tomasz and Popp, Karl and Sextro, Walter}, year={2000}, pages={1597–1609} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10182
@article{Brinkmann_Choudum_Grünewald_Steffen_2000, title={Bounds for the independence number of critical graphs}, volume={32}, journal={Bull. London Math. Soc.}, author={Brinkmann, Gunnar and Choudum, Sheshayya A and Grünewald, Stefan and Steffen, Eckhard}, year={2000}, pages={137–140} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 11779
@inproceedings{Haeb-Umbach_2000, title={Data-driven Phonetic Regression Class Tree Estimation for MLLR Adaptation}, booktitle={International Conference on Spoken Language Processing (ICSLP 2000)}, author={Haeb-Umbach, Reinhold}, year={2000} }
LibreCat | Download (ext.)
 

2000 | Journal Article | LibreCat-ID: 10606
@article{Eisenring_Platzner_2000, title={Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems}, volume={147}, DOI={10.1049/ip-cdt:20000496}, journal={IEE Proceedings -- Computers & Digital Techniques}, publisher={IET}, author={Eisenring, Michael and Platzner, Marco}, year={2000}, pages={159–165} }
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 13763
@inbook{Bernholc_Briggs_Bungaro_Buongiorno Nardelli_Fattebert_Rapcewicz_Roland_Schmidt_Zhao_2000, series={217}, title={Large-Scale Applications of Real-Space Multigrid Methods to Surfaces, Nanotubes and Quantum Transport}, volume={1}, DOI={10.1002/3527603107.ch33}, booktitle={Computer Simulation of Materials at Atomic Level}, publisher={physica status solidi (b)}, author={Bernholc, J. and Briggs, E. L. and Bungaro, C. and Buongiorno Nardelli, M. and Fattebert, J. -L. and Rapcewicz, K. and Roland, C. and Schmidt, Wolf Gero and Zhao, Q.}, year={2000}, pages={685–701}, collection={217} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13756
@article{Pulci_Lüdge_Schmidt_Bechstedt_2000, title={First-principles study of (2×1) and (2×2) phosphorus-rich InP(001) surfaces}, volume={464}, DOI={10.1016/s0039-6028(00)00729-9}, journal={Surface Science}, author={Pulci, Olivia and Lüdge, Kathy and Schmidt, Wolf Gero and Bechstedt, F}, year={2000}, pages={272–282} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 2586
@article{Betz_2000, title={Qualitätskostencontrolling auf Basis des Half-Life-Konzepts}, volume={54}, journal={Betrieb und Wirtschaft}, author={Betz, Stefan}, year={2000}, pages={749–755} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 3248
@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={10.1007/s001650070026}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3250
@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}, DOI={10.1007/3-540-46428-X_23}, booktitle={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}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor}, year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2000 | Book | LibreCat-ID: 1608
@book{Krimphove_Pieper_Schollmeier_2000, place={Köln}, edition={2}, title={Europarecht - Das Casebook}, publisher={Carl Heymanns Verlag KG}, author={Krimphove, Dieter and Pieper, Stefan Ulrich and Schollmeier, Andres}, year={2000} }
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 1634
@book{Clermont_Schmeisser_Krimphove_2000, place={München}, title={Personalführung und Organisation}, publisher={Verlag Vahlen}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 1920
@inproceedings{Karl_Polze_Werner_2000, title={Predictable Network Computing using Message-driven Scheduling}, booktitle={Proc. the Workshop on Run-Time Systems for Parallel Programming}, author={Karl, Holger and Polze, Andreas and Werner, Matthias}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 2149
@inproceedings{Brinkmann_Salzwedel_Scheideler_2000, title={Efficient, distributed data placement strategies for storage area networks (extended abstract)}, booktitle={SPAA}, author={Brinkmann, André and Salzwedel, Kay and Scheideler, Christian}, year={2000}, pages={119--128} }
LibreCat | Files available
 

2000 | Journal Article | LibreCat-ID: 7396
@article{Engels_Heckel_2000, title={Graph Transformation and Visual Modeling Techniques}, number={71}, journal={Bulletin of the EATCS}, author={Engels, Gregor and Heckel, Reiko}, year={2000}, pages={186–202} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7543
@inbook{Kremer_Wilbers_2000, place={Opladen}, title={Telekooperatives Lehren und Lernen - Erfahrungen aus dem virtuellen Seminar “WiPäd München - Köln”}, booktitle={Perspektiven der Berufs- und Wirtschaftspädagogik. Forschungsberichte der Sektion Berufs- und Wirtschaftspädagogik der Deutschen Gesellschaft für Erziehungswissenschaft - Frühjahrstagung 2000}, author={Kremer, H.-Hugo and Wilbers, K.}, editor={Straka, G. A. and Bader, R. and Sloane, P. F. E.Editors}, year={2000}, pages={159–170} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7550
@inbook{Kremer_Sloane_2000, place={Markt Schwaben}, title={Präzisierung: Fächer- und lernortübergreifende Ausbildungskonzepte}, booktitle={Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung”}, author={Kremer, H.-Hugo and Sloane, Peter F. E.}, editor={Sloane, P. F. E.Editor}, year={2000}, pages={15–32} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7555
@inbook{Kremer_Sloane_2000, place={Markt Schwaben}, title={Präzisierung: Entwicklungswege und -beispiel}, booktitle={Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung”}, author={Kremer, H.-Hugo and Sloane, Peter F. E.}, editor={Sloane, P. F. E.Editor}, year={2000}, pages={33–44} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7562
@inbook{Kremer_Sloane_2000, place={Markt Schwaben}, title={DFG-Projekt “FäLoU”: Evaluationskonzept}, booktitle={Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung”}, author={Kremer, H.-Hugo and Sloane, Peter F. E.}, editor={Sloane, P. F. E.Editor}, year={2000}, pages={81–83} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7670
@inbook{Bliemel_Eggert_2000, place={Wiesbaden}, title={Stärkt Customer Care die Kundenbeziehung? Eine kausalanalytische Untersuchung aus Kundensicht}, booktitle={Jahrbuch für Dienstleistungsmanagement 2000 - Kundenbeziehungen im Dienstleistungsbereich}, publisher={Gabler}, author={Bliemel, F and Eggert, A}, editor={Bruhn , M and Stauss, BEditors}, year={2000}, pages={197–211} }
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7790
@book{Ehrig_Engels_Kreowksi_Taentzer_2000, place={Amsterdam, The Netherlands}, series={Science of Computer Programming}, title={Special Issue: Selected Papers of GRATRA 2000}, volume={44}, number={2}, publisher={Elsevier}, year={2000}, collection={Science of Computer Programming} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7872
@inproceedings{Engels_Heckel_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution}, volume={1853}, DOI={http://dx.doi.org/10.1007/3-540-45022-X_12}, booktitle={Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko}, year={2000}, pages={127–150}, collection={LNCS} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 7877
@inproceedings{Mehner_Wagner_2000, place={Washington, DC, USA}, title={Visualizing the Synchronization of Java-Threads with UML}, booktitle={Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington)}, publisher={IEEE Computer Society}, author={Mehner, Katharina and Wagner, Annika}, year={2000}, pages={199–206} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8332
@inproceedings{Busatto_Engels_Mehner_Wagner_2000, place={Berlin/Heidelberg}, series={LNCS}, title={A Framework for Adding Packages to Graph Transformation Approaches}, volume={1764}, DOI={http://dx.doi.org/10.1007/b75045}, booktitle={Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany)}, publisher={Springer}, author={Busatto, Giorgio and Engels, Gregor and Mehner, Katharina and Wagner, Annika}, year={2000}, pages={352–367}, collection={LNCS} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8337
@inproceedings{Depke_Heckel_Küster_2000, place={Münster}, title={Rollenbasierte Modellierung autonomer Agenten}, booktitle={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)}, publisher={Universität Münster}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }
LibreCat
 

Search

Filter Publications

Display / Sort

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

Export / Embed