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.

10002 Publications


2000 | Conference Paper | LibreCat-ID: 8331
Heckel, R., Llabrés, M., Ehrig, H., & Orejas, F. (2000). Concurrency of Double-Pullback Graph Transitions. In Proceedings of workshop on Graph Transformation Systems (GraTra; satellite event of the ETAPS 2000), Berlin (Germany).
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8336
Depke, R., Heckel, R., & Küster, J. (2000). 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).
LibreCat
 

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

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

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

2000 | Book Chapter | LibreCat-ID: 16553
Dellnitz, M., Froyland, G., & Sertl, S. (2000). A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator. In Equadiff 99. https://doi.org/10.1142/9789812792617_0199
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16616
Junge, O. (2000). Rigorous discretization of subdivision techniques. In Equadiff 99. https://doi.org/10.1142/9789812792617_0178
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 17018
Dellnitz, M., Junge, O., Rumpf, M., & Strzodka, R. (2000). The computation of an unstable invariant set inside a cylinder containing a knotted flow. In Equadiff 99 (pp. 1053--1059). https://doi.org/10.1142/9789812792617_0204
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10183
Steffen, E. (2000). A refinement of Vizing’s theorem. Discrete Mathematics, 218, 289–291.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 11869
Lieb, M., & Haeb-Umbach, R. (2000). LDA derived cepstral trajectory filters in adverse environmental conditions. In IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2000) (Vol. 2, pp. II1105-II1108 vol.2). https://doi.org/10.1109/ICASSP.2000.859157
LibreCat | DOI | Download (ext.)
 

2000 | Conference Paper | LibreCat-ID: 11871
Loog, M., & Haeb-Umbach, R. (2000). Multi-class Linear Dimension Reduction by Generalized Fisher Criteria. In International Conference on Spoken Language Processing (ICSLP 2000).
LibreCat | Download (ext.)
 

2000 | Conference Paper | LibreCat-ID: 13005
Hellebrand, S., Liang, H.-G., & Wunderlich, H.-J. (2000). A Mixed Mode BIST Scheme Based on Reseeding of Folding Counters. In {IEEE International Test Conference (ITC’00)} (pp. 778–784). Atlantic City, NJ, USA: {IEEE}. https://doi.org/10.1109/test.2000.894274
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13757
Schmidt, W. G., Bernholc, J., & Bechstedt, F. (2000). (001) Surfaces of GaP and InP: structural motifs, electronic states and optical signatures. Applied Surface Science, 166, 179–184. https://doi.org/10.1016/s0169-4332(00)00406-2
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 15018
Domik, G. (2000). Do we need formal education in visualization? IEEE Computer Graphics and Applications, 20(4), 16–19.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15063
Hüllermeier, E. (2000). Change detection in heuristic search. In Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas (pp. 898–903).
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14844
Hüllermeier, E. (2000). Similarity-based inference as evidential reasoning. In W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany (pp. 50–54). IOS Press.
LibreCat
 

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

2000 | Conference Paper | LibreCat-ID: 16496
Meyer auf der Heide, F., Vöcking, B., & Westermann, M. (2000). Caching in networks (extended abstract). In SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms (pp. 430–439).
LibreCat
 

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

2000 | Journal Article | LibreCat-ID: 16198
Hüllermeier, E., Kraft, M., & Weise, P. (2000). Evaluation and specification of a synergetic business cycle model with German data. Homo Oeconomicus XVI.
LibreCat
 

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

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

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

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

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

2000 | Conference Abstract | LibreCat-ID: 6014
Calaminus, D., Klöpfer, E., Kundisch, D., & Wolfersberger, P. (2000). Ein Contentmodell für den Multichannel Vertrieb von Finanzdienstleistungen. In 3. FANTagung 2000. Siegen, Germany.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 6507
Platzner, M. (2000). Reconfigurable accelerators for combinatorial problems. Computer, 33(4), 58–60. https://doi.org/10.1109/2.839322
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 6223
Friedrich, A., Kabst, R., Rodehuth, M., & Weber, W. (2000). Job Rotation: An Empirical Analysis on the Utilization and Strategic Integration in European Companies. In C. Brewster, W. Mayrhofer, & M. Morley (Eds.), New Challenges for European Human Resource Management (pp. 56–71). Houndmills/Basingstoke: Macmillan Press.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6691
Bendfeld, J., Bettenwort, G., Drilling, C., Gruffke, M., Ortjohann, E., Rump, S., & Voß, J. (2000). MODEL FOR EVALUATING MPP METHODS FOR GRID-CONNECTED PV PLANTS. In Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom.
LibreCat
 

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

2000 | Book Chapter | LibreCat-ID: 7550
Kremer, H.-H., & Sloane, P. F. E. (2000). Präzisierung: Fächer- und lernortübergreifende Ausbildungskonzepte. 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” (pp. 15–32). Markt Schwaben.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7555
Kremer, H.-H., & Sloane, P. F. E. (2000). Präzisierung: Entwicklungswege und -beispiel. 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” (pp. 33–44). Markt Schwaben.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7562
Kremer, H.-H., & Sloane, P. F. E. (2000). DFG-Projekt “FäLoU”: Evaluationskonzept. 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” (pp. 81–83). Markt Schwaben.
LibreCat
 

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

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

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

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

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

2000 | Journal Article | LibreCat-ID: 8914
Hemsel, T., & Wallaschek, J. (2000). Survey of the present state of the art of piezoelectric linear motors. Ultrasonics, 38, 37–40. https://doi.org/10.1016/S0041-624X(99)00143-2
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8919
Panning, L., Sextro, W., & Popp, K. (2000). Optimization of Interblade Friction Damper. In International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME (pp. 1–8). Munich, Germany.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8457
Kremer, H.-H. (2000). Didaktische Theorie implementieren - Innovationen gestalten. In D. Euler, H.-C. Jongebloed, & P. F. E. Sloane (Eds.), Sozialökonomische Theorie - sozialökonomisches Handeln. Konturen und Perspektiven der Wirtschafts- und Sozialpädagogik. Kiel.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8332
Busatto, G., Engels, G., Mehner, K., & Wagner, A. (2000). 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, pp. 352–367). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b75045
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8337
Depke, R., Heckel, R., & Küster, J. (2000). 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.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8344
Heckel, R., & Sauer, S. (2000). Strengthening the Semantics of UML Collaboration Diagrams. In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany) (pp. 63–69). Munich (Germany): Ludwig-Maximilians-University.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 16554
Dellnitz, M., Froyland, G., & Sertl, S. (2000). On the isolated spectrum of the Perron-Frobenius operator. Nonlinearity, 1171–1188. https://doi.org/10.1088/0951-7715/13/4/310
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 10189
Steffen, E. (1999). Non-bicritical critical snarks. Graphs Comb., 15, 473–480.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 10191
Grünewald, S., & Steffen, E. (1999). Chromatic-index-critical graphs of even order. J. Graph Theory, 30, 27–36.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 13006
Hellebrand, S., Wunderlich, H.-J., A. Ivaniuk, A., V. Klimets, Y., & N. Yarmolik, V. (1999). Error Detecting Refreshment for Embedded DRAMs. In {17th IEEE VLSI Test Symposium (VTS’99)} (pp. 384–390). Dana Point, CA, USA: {IEEE (Comput. Soc.)}. https://doi.org/10.1109/vtest.1999.766693
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 13607
Mencer, O., & Platzner, M. (1999). Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment. In Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32). IEEE CS Press. https://doi.org/10.1109/hicss.1999.772883
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 13765
Schmidt, W. G., FATTEBERT, J. L., BERNHOLC, J., & BECHSTEDT, F. (1999). SELF-ENERGY EFFECTS IN THE OPTICAL ANISOTROPY OF GaP(001). Surface Review and Letters, 6(6), 1159–1165. https://doi.org/10.1142/s0218625x99001281
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed