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
Concurrency of Double-Pullback Graph Transitions
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, 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
Deploying Agents in an Electronic Banking Environment
R. Depke, R. Heckel, J. Küster, 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
Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.
LibreCat
 

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

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

2000 | Book Chapter | LibreCat-ID: 16553
A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator
M. Dellnitz, G. Froyland, S. Sertl, in: Equadiff 99, 2000.
LibreCat | DOI
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2000 | Conference Paper | LibreCat-ID: 3250
Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods
H. Wehrheim, 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, 2000, pp. 334--348.
LibreCat | DOI
 

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

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

2000 | Journal Article | LibreCat-ID: 6507
Reconfigurable accelerators for combinatorial problems
M. Platzner, Computer 33 (2000) 58–60.
LibreCat | DOI
 

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

2000 | Conference Paper | LibreCat-ID: 6691
MODEL FOR EVALUATING MPP METHODS FOR GRID-CONNECTED PV PLANTS
J. Bendfeld, G. Bettenwort, C. Drilling, M. Gruffke, E. Ortjohann, S. Rump, J. Voß, 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
Telekooperatives Lehren und Lernen - Erfahrungen aus dem virtuellen Seminar "WiPäd München - Köln"
H.-H. Kremer, K. Wilbers, 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, Opladen, 2000, pp. 159–170.
LibreCat
 

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

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

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

2000 | Conference Paper | LibreCat-ID: 7872
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution
G. Engels, R. Heckel, in: Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), Springer, Berlin/Heidelberg, 2000, pp. 127–150.
LibreCat | DOI
 

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

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

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

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

2000 | Journal Article | LibreCat-ID: 8914
Survey of the present state of the art of piezoelectric linear motors
T. Hemsel, J. Wallaschek, Ultrasonics 38 (2000) 37–40.
LibreCat | DOI
 

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

2000 | Book Chapter | LibreCat-ID: 8457
Didaktische Theorie implementieren - Innovationen gestalten
H.-H. Kremer, 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, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8332
A Framework for Adding Packages to Graph Transformation Approaches
G. Busatto, G. Engels, K. Mehner, A. Wagner, in: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany), Springer, Berlin/Heidelberg, 2000, pp. 352–367.
LibreCat | DOI
 

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

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

2000 | Journal Article | LibreCat-ID: 16554
On the isolated spectrum of the Perron-Frobenius operator
M. Dellnitz, G. Froyland, S. Sertl, Nonlinearity (2000) 1171–1188.
LibreCat | DOI
 

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

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

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

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

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

Search

Filter Publications

Display / Sort

Export / Embed