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.

15982 Publications

2003 | Conference Paper | LibreCat-ID: 7911
Engels, G., Küster, J., Heckel, R., & Lohmann, M. (2003). Model Based Verification and Validation of Properties. In Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland) (Vol. 82, pp. 1–18). Elsevier.
LibreCat | DOI

2003 | Conference Paper | LibreCat-ID: 7916
Küster, J., Heckel, R., & Engels, G. (2003). Defining and Validating Transformations of UML Models. In Proceedings of the conference on Human Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand) (pp. 145–152). Washington, DC, USA: IEEE Computer Society.
LibreCat | DOI

2003 | Journal Article | LibreCat-ID: 7682
Riedesel, C., Meier, C., Schafmeister, P., Reuter, D., & Wieck, A. . (2003). Fabrication of high quality two-dimensional electron gases by overgrowth of focused ion beam implantation doped AlxGa1−xAs. Physica E: Low-Dimensional Systems and Nanostructures, 17, 503–504.
LibreCat | DOI

2003 | Journal Article | LibreCat-ID: 7384
Engels, G., Hendrik Hausmann, J., & Lohmann, M. (2003). eLearning-Plattformen für die Hochschule: Bedarfsgerechte Bestimmung der Anforderungen. ForschungsForum Paderborn, 6, 44–47.

2003 | Conference Paper | LibreCat-ID: 8933
Götting, F., Sextro, W., Panning, L., & Popp, K. (2003). Schwingungsverhalten von verstimmten Beschaufelungen mit Reibelementen. In H. Irretier , R. Nordmann, & H. Springer (Eds.), Schwingungen in rotierenden Maschinen VI SIRM, Referate der Tagung in Darmstadt (pp. 201–210). Vieweg-Verlag.

2003 | Journal Article | LibreCat-ID: 8938
Panning, L., Sextro, W., & Popp, K. (2003). Spatial dynamics of tuned and mistuned bladed disks with cylindrical and wedge-shaped friction dampers. International Journal of Rotating Machinery, 9(3), 219–228.

2003 | Conference Paper | LibreCat-ID: 8940
Sextro, W., & Popp, K. (2003). Optimierung des Schwingungsverhaltens elastischer Strukturen mit Reibfugen am Beispiel von Turbomaschinenschaufeln. In Forschungsvereinigung Verbrennungskraftmaschinen (FW) (p. 40). Frankfurt am Main, Germany.

2003 | Conference Paper | LibreCat-ID: 8375
Baresi, L., Heckel, R., Thöne, S., & Varró, D. (2003). Modeling and Analysis of Architectural Styles Based on Graph Transformation. In Proceedings of the 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction (CBSE 2003), Portland, OR (USA) (pp. 67–72). Carnegie Mellon University (USA), and Monash University (Australia).

2003 | Conference Paper | LibreCat-ID: 8382
Küster, J., & Stehr, J. (2003). Towards Explicit Behavioral Consistency Concepts in the UML. In Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA).

2003 | Conference Paper | LibreCat-ID: 870
Kubisch, M., Karl, H., Wolisz, A., Charlie Zhong, L., & M. Rabaey, J. (2003). Distributed algorithms for transmission power control in wireless sensor networks. In 2003 IEEE Wireless Communications and Networking, WCNC 2003, New Orleans, LA, USA, 16-20 March, 2003 (pp. 558--563).
LibreCat | DOI

Filters and Search Terms

year<=2030 AND year>=1980



Filter Publications

Display / Sort

Citation Style: APA

Export / Embed