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
R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “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
R. Depke, R. Heckel, and J. Küster, “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
R. Heckel and S. Sauer, “Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML,” in Proceedings of the 7th GI-Workshop GROOM, 2000, vol. 20, no. 2, pp. 43–44.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 8918
T. Krzyzynski, K. Popp, and W. Sextro, “On some regularities in dynamic response of cyclic periodic structures,” Chaos, Solitons \& Fractals, vol. 11, no. 10, pp. 1597–1609, 2000.
LibreCat | DOI
 

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 | Book Chapter | LibreCat-ID: 16553
M. Dellnitz, G. Froyland, and S. Sertl, “A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator,” in Equadiff 99, 2000.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16616
O. Junge, “Rigorous discretization of subdivision techniques,” in Equadiff 99, 2000.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 17018
M. Dellnitz, O. Junge, M. Rumpf, and R. Strzodka, “The computation of an unstable invariant set inside a cylinder containing a knotted flow,” in Equadiff 99, 2000, pp. 1053--1059.
LibreCat | DOI
 

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

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

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

2000 | Conference Paper | LibreCat-ID: 13005
S. Hellebrand, H.-G. Liang, and H.-J. Wunderlich, “A Mixed Mode BIST Scheme Based on Reseeding of Folding Counters,” in {IEEE International Test Conference (ITC’00)}, 2000, pp. 778–784.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13757
W. G. Schmidt, J. Bernholc, and F. Bechstedt, “(001) Surfaces of GaP and InP: structural motifs, electronic states and optical signatures,” Applied Surface Science, vol. 166, pp. 179–184, 2000.
LibreCat | DOI
 

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

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

2000 | Conference Paper | LibreCat-ID: 14844
E. Hüllermeier, “Similarity-based inference as evidential reasoning,” in In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, 2000, pp. 50–54.
LibreCat
 

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

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

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

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

2000 | Conference Paper | LibreCat-ID: 1920
H. Karl, A. Polze, and M. Werner, “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
A. Brinkmann, K. Salzwedel, and C. Scheideler, “Efficient, distributed data placement strategies for storage area networks (extended abstract),” in SPAA, 2000, pp. 119--128.
LibreCat | Files available
 

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

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 | Journal Article | LibreCat-ID: 3248
H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” Formal Asp. Comput., no. 3, pp. 147--164, 2000.
LibreCat | DOI
 

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

2000 | Journal Article | LibreCat-ID: 6507
M. Platzner, “Reconfigurable accelerators for combinatorial problems,” Computer, vol. 33, no. 4, pp. 58–60, 2000.
LibreCat | DOI
 

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

2000 | Conference Paper | LibreCat-ID: 6691
J. Bendfeld et al., “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, 2000.
LibreCat
 

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 | Book Chapter | LibreCat-ID: 7550
H.-H. Kremer and P. F. E. Sloane, “Präzisierung: Fächer- und lernortübergreifende Ausbildungskonzepte,” 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. 15–32.
LibreCat
 

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

2000 | Book Chapter | LibreCat-ID: 7562
H.-H. Kremer and P. F. E. Sloane, “DFG-Projekt ‘FäLoU’: Evaluationskonzept,” 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. 81–83.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7872
G. Engels and R. Heckel, “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), 2000, vol. 1853, pp. 127–150.
LibreCat | DOI
 

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 | 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: 7396
G. Engels and R. Heckel, “Graph Transformation and Visual Modeling Techniques,” Bulletin of the EATCS, no. 71, pp. 186–202, 2000.
LibreCat
 

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

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 | Conference Paper | LibreCat-ID: 8919
L. Panning, W. Sextro, and K. Popp, “Optimization of Interblade Friction Damper,” in International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, 2000, pp. 1–8.
LibreCat
 

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

2000 | Conference Paper | LibreCat-ID: 8332
G. Busatto, G. Engels, K. Mehner, and A. Wagner, “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), 2000, vol. 1764, pp. 352–367.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8337
R. Depke, R. Heckel, and J. Küster, “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), 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 | Journal Article | LibreCat-ID: 16554
M. Dellnitz, G. Froyland, and S. Sertl, “On the isolated spectrum of the Perron-Frobenius operator,” Nonlinearity, pp. 1171–1188, 2000.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 10189
E. Steffen, “Non-bicritical critical snarks,” Graphs Comb., vol. 15, pp. 473–480, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 10191
S. Grünewald and E. Steffen, “Chromatic-index-critical graphs of even order,” J. Graph Theory, vol. 30, pp. 27–36, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 13006
S. Hellebrand, H.-J. Wunderlich, A. A. Ivaniuk, Y. V. Klimets, and V. N. Yarmolik, “Error Detecting Refreshment for Embedded DRAMs,” in {17th IEEE VLSI Test Symposium (VTS’99)}, 1999, pp. 384–390.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 13607
O. Mencer and M. Platzner, “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), 1999.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 13765
W. G. Schmidt, J. L. FATTEBERT, J. BERNHOLC, and F. BECHSTEDT, “SELF-ENERGY EFFECTS IN THE OPTICAL ANISOTROPY OF GaP(001),” Surface Review and Letters, vol. 6, no. 6, pp. 1159–1165, 1999.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed