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.

13897 Publications

2000 | Journal Article | LibreCat-ID: 13757
@article{Schmidt_Bernholc_Bechstedt_2000, title={(001) Surfaces of GaP and InP: structural motifs, electronic states and optical signatures}, volume={166}, DOI={10.1016/s0169-4332(00)00406-2}, journal={Applied Surface Science}, author={Schmidt, Wolf Gero and Bernholc, J. and Bechstedt, F.}, year={2000}, pages={179–184} }
LibreCat | DOI

2000 | Conference Paper | LibreCat-ID: 15063
@inproceedings{Hüllermeier_2000, title={Change detection in heuristic search}, booktitle={Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas}, author={Hüllermeier, Eyke}, year={2000}, pages={898–903} }

2000 | Conference Paper | LibreCat-ID: 14844
@inproceedings{Hüllermeier_2000, title={Similarity-based inference as evidential reasoning}, booktitle={In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany}, publisher={IOS Press}, author={Hüllermeier, Eyke}, editor={Horn, W.Editor}, year={2000}, pages={50–54} }

2000 | Book (Editor) | LibreCat-ID: 1634
@book{Clermont_Schmeisser_Krimphove_2000, place={München}, title={Personalführung und Organisation}, publisher={Verlag Vahlen}, year={2000} }

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

2000 | Journal Article | LibreCat-ID: 16198
@article{Hüllermeier_Kraft_Weise_2000, title={Evaluation and specification of a synergetic business cycle model with German data}, journal={Homo Oeconomicus XVI}, author={Hüllermeier, Eyke and Kraft, M. and Weise, P.}, year={2000} }

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

2000 | Journal Article | LibreCat-ID: 2586
@article{Betz_2000, title={Qualitätskostencontrolling auf Basis des Half-Life-Konzepts}, volume={54}, journal={Betrieb und Wirtschaft}, author={Betz, Stefan}, year={2000}, pages={749–755} }

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


Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed