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.
1995 Publications
2001 | Book Chapter | LibreCat-ID: 43564
@inbook{Schroeter-Wittke_2001, title={Kasualgottesdienst und Kausalmusik. Gemeindekulturpädagogisches Thema mit 6 Variationen}, booktitle={Gemeindekulturpädagogik}, author={Schroeter-Wittke, Harald}, editor={Fermor, Gotthard and Ruddat, Günter and Schroeter-Wittke, Harald}, year={2001}, pages={193–212} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 56571
@inproceedings{Haarslev_Möller_Turhan_2001, series={Lecture Notes in Computer Science}, title={Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics}, volume={2083}, DOI={10.1007/3-540-45744-5_6}, booktitle={Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings}, publisher={Springer}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Goré, Rajeev and Leitsch, Alexander and Nipkow, Tobias}, year={2001}, pages={61–75}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3249
@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={10.1007/3-540-45499-3_33}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
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 | 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