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.

8931 Publications


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
 

2000 | Conference Paper | LibreCat-ID: 8344
@inproceedings{Heckel_Sauer_2000, place={Munich (Germany)}, title={Strengthening the Semantics of UML Collaboration Diagrams}, number={0006}, booktitle={Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}, publisher={Ludwig-Maximilians-University}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={63–69} }
LibreCat
 

2000 | Conference Abstract | LibreCat-ID: 6014
@inproceedings{Calaminus_Klöpfer_Kundisch_Wolfersberger_2000, title={Ein Contentmodell für den Multichannel Vertrieb von Finanzdienstleistungen}, booktitle={3. FANTagung 2000}, author={Calaminus, D. and Klöpfer, Elisabeth and Kundisch, Dennis and Wolfersberger, P.}, year={2000} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 6223
@inbook{Friedrich_Kabst_Rodehuth_Weber_2000, place={Houndmills/Basingstoke}, title={Job Rotation: An Empirical Analysis on the Utilization and Strategic Integration in European Companies}, booktitle={ New Challenges for European Human Resource Management}, publisher={Macmillan Press}, author={Friedrich, A and Kabst, Rüdiger and Rodehuth, M and Weber, W}, editor={Brewster, C and Mayrhofer, W and Morley, MEditors}, year={2000}, pages={56–71} }
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed