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.
9821 Publications
2000 | Conference Paper | LibreCat-ID: 3249
Fischer, C., & Wehrheim, H. (2000). Behavioural Subtyping Relations for Object-Oriented Formalisms. In T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings (pp. 469--483). https://doi.org/10.1007/3-540-45499-3_33
LibreCat
| DOI
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 | Book Chapter | LibreCat-ID: 3023
Blömer, J. (2000). Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices. In Automata, Languages and Programming (pp. 248–259). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-45022-x_22
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20994
Eis, M., & Meschut, G. (2000). Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen. In Tagungsband zur Veranstaltung EndForm 2000 (pp. 135–152). Aachen: Shaker Verlag.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20995
Hahn, O., Koyro, M., & Meschut, G. (2000). Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen. In Tagungsband zur Veranstaltung EndForm 2000 (pp. 225–241). Aachen: Shaker Verlag.
LibreCat
2000 | Report | LibreCat-ID: 21001
Hahn, O., Meschut, G., Eis, M., & Kötting, G. (2000). Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile. Düsseldorf: Verlag und Vertriebsgesellschaft mbH.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21003
Bohling, P., Jüttner, S., Kaiser, M., Meschut, G., & Schumann, S. (2000). Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau (pp. 199–210). Presented at the 7. Paderborner Symposium Fügetechnik 2000, Paderborn.
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 | Book (Editor) | LibreCat-ID: 17458
Peckhaus, V. (Ed.). (2000). “Contributing Editor” für die Sektion “Philosophy of Mathematics” in: The History of Mathematics from Antiquity to the Present: A Selective Annotated Bibliography, edited by Joseph W. Dauben, revised edition on CD-ROM by Albert C. Lewis, in cooperation with the International Commission on the History Mathematics, American Mathematical Society.
LibreCat
2000 | Book Chapter | LibreCat-ID: 17852
Mindt, I. (2000). Prosodic Cues at Speaker Turns. In C. Mair & M. Hundt (Eds.), Corpus Linguistics and Linguistic Theory. Papers from the Twentieth International Conference on English Language Research on Computerized Corpora (ICAME 20) (pp. 255–265). Amsterdam: Rodopi.
LibreCat
2000 | Conference Paper | LibreCat-ID: 18962
Govindarajan, S., Lukovszki, T., Maheshwari, A., & Zeh, N. (2000). I/O-Efficient Well-Separated Pair Decomposition and Applications. In Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS (pp. 585–614). https://doi.org/10.1007/s00453-005-1197-3
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 17990
Czumaj, A., Sohler, C., & Ziegler, M. (2000). Property Testing in Computational Geometry. In Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00) (Vol. 4698, pp. 155–166). Berlin, Heidelberg: Springer. https://doi.org/10.1007/3-540-45253-2_15
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18146
Ziegler, M., & Brattka, V. (2000). Computing the Dimension of Linear Subspaces. In SOFSEM 2000: Theory and Practice of Informatics (Vol. 1963, pp. 450–458). Berlin, Heidelberg: Springer. https://doi.org/10.1007/3-540-44411-4_34
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 18446
Lorys, K., Wanka, R., Oesterdiekhoff, B., & Kutylowski, M. (2000). Periodification Scheme: Constructing Sorting Networks with Constant Period. Journal of the ACM, 45, 944–967. https://doi.org/10.1145/355483.355490
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 21783
Volbracht, S., & Domik, G. (2000). Developing Effective Navigation Techniques in Virtual 3D Environments. In J. Mulder & R. van Liere (Eds.), Virtual Environments 2000 (pp. 55–64). Vienna: Springer Vienna.
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: 7875
Engels, G., Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2000). Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK) (Vol. 1939, pp. 323–337). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-40011-7_23
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8124
Krauter, S., & Araujo, R. G. (2000). New Power Conditioning Unit Incorporating Charge Controller, Energy Flow Monitor, Data Logger, DC/AC Converter for Stand-Alone and Combined PV-Diesel Operation. In Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2575–2577. .
LibreCat
2000 | Conference Paper | LibreCat-ID: 8125
Krauter, S., & Herold, H. (2000). PV in Brazil. In Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2909–2911.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8126
Krauter, S. (2000). Sistemas híbridos termo-solares/fotovoltaicos. In Proceedings of Workshop “Formas Não-Convencionais de Geração e Uso Racional de Energia”, UFSC, Florianópolis, Santa Catarina (Brasilien), 9.–11. November 2000.
LibreCat