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.

13863 Publications


2000 | Conference Paper | LibreCat-ID: 2150
Czumaj, A., & Scheideler, C. (2000). A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract). In STOC (pp. 38--47). ACM.
LibreCat | Files available
 

2000 | Journal Article | LibreCat-ID: 2148
Czumaj, A., & Scheideler, C. (2000). Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma. Random Struct. Algorithms, 17(3–4), 213--237.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 13174
Luke, A., Baumhögger, E., & Scheunemann, P. (2000). 3-DIMENSIONAL DESCRIPTION OF THE MICROSTRUCTURE OF HEATED SURFACES IN NUCLEATE POOL BOILING. Multiphase Science and Technology. https://doi.org/10.1615/multscientechn.v12.i3-4.20
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 20996
Hahn, O., Eis, M., & Meschut, G. (2000). Erhöhung der der Bauteilsteifigkeit durch Optimierung von Unterfütterungsklebungen. In Tagungsband zur Swiss Bondung ´00. Rapperswil (CH).
LibreCat
 

2000 | Journal Article | LibreCat-ID: 21002
Hahn, O., Koyro, M., & Meschut, G. (2000). Kleben in Kombination mit Fügen durch Umformen. Der Praktiker , 9, 356–361.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 21007
Koyro, M., & Meschut, G. (2000). Status und Weiterentwicklungsmöglichkeiten beim strukturellen Kleben bei Spaceframe-Konstruktionen. In Tagungsband zur 4. Jahres- und 1. Europäischen Fachkonferenz “Kleben im Automobilbau” (pp. 114–126). Bad Nauheim.
LibreCat
 

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 | 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 | 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 | 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
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed