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.
1769 Publications
2000 | Conference Paper | LibreCat-ID: 3251
Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings, 2000. https://doi.org/10.1007/978-0-387-35520-7_11.
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 3023
Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.” In Automata, Languages and Programming, 248–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. https://doi.org/10.1007/3-540-45022-x_22.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20994
Eis, M., and Gerson Meschut. “Minimierung von Bauteildeformationen Beim Kleben Durch Beachtung Der Konstruktiven Und Werkstofftechnischen Einflußgrößen.” In Tagungsband Zur Veranstaltung EndForm 2000, 135–52. Aachen: Shaker Verlag, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20995
Hahn, O., M. Koyro, and Gerson Meschut. “Eigenschaften von Wärmearm Gefügten Al-Rahmentragwerken Mit IHU-Knotenelementen.” In Tagungsband Zur Veranstaltung EndForm 2000, 225–41. Aachen: Shaker Verlag, 2000.
LibreCat
2000 | Report | LibreCat-ID: 21001
Hahn, O., Gerson Meschut, M. Eis, and G. Kötting. Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile. Düsseldorf: Verlag und Vertriebsgesellschaft mbH, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21003
Bohling, P., S. Jüttner, M. Kaiser, Gerson Meschut, and S. Schumann. “Eigenschaften von Thermisch Und Wärmearm Gefügten Al-/Mg-Verbindungen Für Den Strukturellen Karosserieleichtbau,” 199–210. Paderborn, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19196
Seng, Eva- Maria. “Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines ‘Guten Regiments’ und ‘Guter Ordnung.’” In Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul, edited by Gilbert Lupfer, Konstanze Rudert, and Paul Sigel, 296–309. Dresden, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 17990
Czumaj, Artur, Christian Sohler, and Martin Ziegler. “Property Testing in Computational Geometry.” In Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), 4698:155–66. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2000. https://doi.org/10.1007/3-540-45253-2_15.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18146
Ziegler, Martin, and Vasco Brattka. “Computing the Dimension of Linear Subspaces.” In SOFSEM 2000: Theory and Practice of Informatics, 1963:450–58. Berlin, Heidelberg: Springer, 2000. https://doi.org/10.1007/3-540-44411-4_34.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18150
Ziegler, Martin, and Christian Sohler. “Computing Cut Numbers.” In Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 73–79, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
Engels, Gregor, and Reiko 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), 1853:127–50. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-45022-X_12.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7875
Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. “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), 1939:323–37. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-40011-7_23.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 7690
Heidtkamp, C., Cedrik Meier, D. Reuter, M. Versen, S. Hoch, D. Diaconescu, and A.D. Wieck. “Tunable Backscattering in Quantum Hall Systems Induced by Neighbouring Gates.” Physica B: Condensed Matter 284–288 (2000): 1728–29. https://doi.org/10.1016/s0921-4526(99)02892-6.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
Engels, Gregor, and Andreas Zamperoni. “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!” In Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), 1779:359–68. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-45104-8_28.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 8918
Krzyzynski, Tomasz, Karl Popp, and Walter Sextro. “On Some Regularities in Dynamic Response of Cyclic Periodic Structures.” Chaos, Solitons \& Fractals 11, no. 10 (2000): 1597–1609. https://doi.org/10.1016/S0960-0779(99)00080-6.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8919
Panning, Lars, Walter Sextro, and Karl Popp. “Optimization of Interblade Friction Damper.” In International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, 1–8. Munich, Germany, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 16497
Meyer auf der Heide, Friedhelm, Mirosław Kutyłowski, and Prabhakar Ragde. “Complexity Theory and Algorithms.” In Euro-Par 2000 Parallel Processing. Berlin, Heidelberg, 2000. https://doi.org/10.1007/3-540-44520-x_59.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 16345
Meyer auf der Heide, Friedhelm, and Rolf Wanka. “Von Der Hollerith-Maschine Zum Parallelrechner - Die Alltägliche Aufgabe Des Sortierens Als Fortschrittsmotor Für Die Informatik.” ForschungsForum Paderborn, 2000, 112–16.
LibreCat
| Files available
2000 | Book (Editor) | LibreCat-ID: 36301
Böhme, Peter, Fabian Kessl, Ragnar Heil, and Thilo Reinke, eds. Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion. Neuwied/Kriftel: Luchterhand Verlag, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 34782 | 
Süßmann, Johannes. Geschichtsschreibung oder Roman? Zur Konstitutionslogik von Geschichtserzählungen zwischen Schiller und Ranke (1780–1824). Vol. 41. Frankfurter Historische Abhandlungen. Stuttgart: Franz Steiner, 2000.
LibreCat
| Download (ext.)