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.
1759 Publications
2000 | Conference Paper | LibreCat-ID: 3251
@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural Subtyping and Property Preservation}, DOI={10.1007/978-0-387-35520-7_11}, booktitle={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}}, author={Wehrheim, Heike}, editor={F. Smith, Scott and L. Talcott, CarolynEditors}, year={2000}, pages={213--231}, collection={{IFIP} Conference Proceedings} }
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 3023
@inbook{Blömer_2000, place={Berlin, Heidelberg}, title={Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices}, DOI={10.1007/3-540-45022-x_22}, booktitle={Automata, Languages and Programming}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes}, year={2000}, pages={248–259} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20994
@inproceedings{Eis_Meschut_2000, place={Aachen}, title={Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen}, booktitle={Tagungsband zur Veranstaltung EndForm 2000}, publisher={Shaker Verlag}, author={Eis, M. and Meschut, Gerson}, year={2000}, pages={135–152} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 20995
@inproceedings{Hahn_Koyro_Meschut_2000, place={Aachen}, title={Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen}, booktitle={Tagungsband zur Veranstaltung EndForm 2000}, publisher={Shaker Verlag}, author={Hahn, O. and Koyro, M. and Meschut, Gerson}, year={2000}, pages={225–241} }
LibreCat
2000 | Report | LibreCat-ID: 21001
@book{Hahn_Meschut_Eis_Kötting_2000, place={Düsseldorf}, title={Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile}, publisher={Verlag und Vertriebsgesellschaft mbH}, author={Hahn, O. and Meschut, Gerson and Eis, M. and Kötting, G.}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 21003
@inproceedings{Bohling_Jüttner_Kaiser_Meschut_Schumann_2000, place={Paderborn}, title={Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau}, author={Bohling, P. and Jüttner, S. and Kaiser, M. and Meschut, Gerson and Schumann, S.}, year={2000}, pages={199–210} }
LibreCat
2000 | Book Chapter | LibreCat-ID: 19196
@inbook{Seng_2000, place={Dresden}, title={Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines “Guten Regiments” und “Guter Ordnung”}, booktitle={Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul}, author={Seng, Eva- Maria}, editor={Lupfer, Gilbert and Rudert, Konstanze and Sigel, PaulEditors}, year={2000}, pages={296–309} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 17990
@inproceedings{Czumaj_Sohler_Ziegler_2000, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Property Testing in Computational Geometry}, volume={4698}, DOI={10.1007/3-540-45253-2_15}, booktitle={Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00)}, publisher={Springer}, author={Czumaj, Artur and Sohler, Christian and Ziegler, Martin}, year={2000}, pages={155–166}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18146
@inproceedings{Ziegler_Brattka_2000, place={Berlin, Heidelberg}, title={Computing the Dimension of Linear Subspaces}, volume={1963}, DOI={10.1007/3-540-44411-4_34}, booktitle={SOFSEM 2000: Theory and Practice of Informatics}, publisher={Springer}, author={Ziegler, Martin and Brattka, Vasco}, year={2000}, pages={450–458} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18150
@inproceedings{Ziegler_Sohler_2000, title={Computing Cut Numbers}, booktitle={Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00)}, author={Ziegler, Martin and Sohler, Christian}, year={2000}, pages={73–79} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
@inproceedings{Engels_Heckel_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution}, volume={1853}, DOI={http://dx.doi.org/10.1007/3-540-45022-X_12}, booktitle={Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko}, year={2000}, pages={127–150}, collection={LNCS} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7875
@inproceedings{Engels_Hendrik Hausmann_Heckel_Sauer_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML}, volume={1939}, DOI={http://dx.doi.org/10.1007/3-540-40011-7_23}, booktitle={Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)}, publisher={Springer}, author={Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={323–337}, collection={LNCS} }
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 7690
@article{Heidtkamp_Meier_Reuter_Versen_Hoch_Diaconescu_Wieck_2000, title={Tunable backscattering in quantum Hall systems induced by neighbouring gates}, volume={284–288}, DOI={10.1016/s0921-4526(99)02892-6}, journal={Physica B: Condensed Matter}, publisher={Elsevier BV}, author={Heidtkamp, C. and Meier, Cedrik and Reuter, D. and Versen, M. and Hoch, S. and Diaconescu, D. and Wieck, A.D.}, year={2000}, pages={1728–1729} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
@inproceedings{Engels_Zamperoni_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!}, volume={1779}, DOI={http://dx.doi.org/10.1007/3-540-45104-8_28}, booktitle={Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)}, publisher={Springer}, author={Engels, Gregor and Zamperoni, Andreas}, year={2000}, pages={359–368}, collection={LNCS} }
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 8918
@article{Krzyzynski_Popp_Sextro_2000, title={On some regularities in dynamic response of cyclic periodic structures}, volume={11}, DOI={10.1016/S0960-0779(99)00080-6}, number={10}, journal={Chaos, Solitons \& Fractals}, author={Krzyzynski, Tomasz and Popp, Karl and Sextro, Walter}, year={2000}, pages={1597–1609} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8919
@inproceedings{Panning_Sextro_Popp_2000, place={Munich, Germany}, title={Optimization of Interblade Friction Damper}, booktitle={International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME}, author={Panning, Lars and Sextro, Walter and Popp, Karl}, year={2000}, pages={1–8} }
LibreCat
2000 | Book Chapter | LibreCat-ID: 16497
@inbook{Meyer auf der Heide_Kutyłowski_Ragde_2000, place={Berlin, Heidelberg}, title={Complexity Theory and Algorithms}, DOI={10.1007/3-540-44520-x_59}, booktitle={Euro-Par 2000 Parallel Processing}, author={Meyer auf der Heide, Friedhelm and Kutyłowski, Mirosław and Ragde, Prabhakar}, year={2000} }
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 16345
@article{Meyer auf der Heide_Wanka_2000, title={Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik}, journal={ForschungsForum Paderborn}, author={Meyer auf der Heide, Friedhelm and Wanka, Rolf}, year={2000}, pages={112–116} }
LibreCat
| Files available
2000 | Book (Editor) | LibreCat-ID: 36301
@book{Böhme_Kessl_Heil_Reinke_2000, place={Neuwied/Kriftel}, title={Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion}, publisher={Luchterhand Verlag}, year={2000} }
LibreCat
2000 | Dissertation | LibreCat-ID: 34782 | 
@book{Süßmann_2000, place={Stuttgart}, series={Frankfurter Historische Abhandlungen}, title={Geschichtsschreibung oder Roman? Zur Konstitutionslogik von Geschichtserzählungen zwischen Schiller und Ranke (1780–1824)}, volume={41}, publisher={Franz Steiner}, author={Süßmann, Johannes}, year={2000}, collection={Frankfurter Historische Abhandlungen} }
LibreCat
| Download (ext.)