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.

18381 Publications

2003 | Conference Paper | LibreCat-ID: 3238
Inheritance of Temporal Logic Properties
H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.
LibreCat | DOI

2003 | Conference Paper | LibreCat-ID: 3240
Using Coupled Simulations in Non-atomic Refinement
J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.
LibreCat | DOI

2003 | Conference Paper | LibreCat-ID: 4298
Correlated influence of carrier-carrier/carrier-phonon interaction and radiative damping on semiconductor intersubband transitions
I. Waldmuller, J. Förstner, A. Knorr, M. Woerner, K. Reimann, R.A. Kaindl, R. Hey, K.H. Ploog, in: Postconference Digest Quantum Electronics and Laser Science, 2003. QELS., IEEE, 2003.
LibreCat | Files available | DOI

2003 | Conference Paper | LibreCat-ID: 6004
Formalization of Financial Problems and Solutions under Risk as an Essential Requirement for IT-based Financial Planning
D. Kundisch, J. Dzienziol, in: Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS), Los Alamitos, Hawaii, USA, 2003.

2003 | Book Chapter | LibreCat-ID: 6218
Internationales Personalmanagement
M. Festing, R. Kabst, W. Weber, in: W. Breuer, M. Gürtler (Eds.), Internationales Management: Betriebswirtschaftslehre Der Internationalen Unternehmung, Wiesbaden, 2003, pp. 163–204.

2003 | Conference Paper | LibreCat-ID: 7247
Temperature-controlled beam steering in polymer waveguide arrays
T. Pertsch, U. Streppel, T. Zentgraf, P. Dannberg, A.H. Braeuer, U. Peschel, F.L. Lederer, in: Linear, Nonlinear, and Power-Limiting Organics, SPIE, 2003.
LibreCat | DOI

2003 | Misc | LibreCat-ID: 6693
Gegenwind Windkraft in Paderborn
J. Bendfeld, H. Hübert, - et al., Gegenwind Windkraft in Paderborn, 2003.

2003 | Conference Paper | LibreCat-ID: 7913
Visualizing model mappings in UML
J. Hendrik Hausmann, S. Kent, in: Proceedings of the ACM Symposium on Software Visualization (SOFTVIS 2003), San Diego, CA (USA), ACM Press, New York, NY, USA, 2003, pp. 169–178.

2003 | Conference Paper | LibreCat-ID: 8377
Towards Automatic Selection of Web Services Using Graph Transformation Rules
J. Hendrik Hausmann, R. Heckel, M. Lohmann, in: Proceeding of the Web Service Workshop (Berliner XML-Tage 2003), Berlin (Germany), XML-Clearinghouse, 2003, pp. 286–291.

2003 | Conference Paper | LibreCat-ID: 8384
Distributed Engineering Environment for the Design of Electronic Systems
T. Schattkowsky, W. Müller, in: Proceedings of the Workshop on Challenges in Collaborative Engineering (CCE 2003), Poznan (Poland), 2003, pp. 15–16.

2003 | Conference Paper | LibreCat-ID: 8935
Modelling and Analysis of Piezoelectric Transformers
T. Hemsel, J. Wallaschek, in: Proceedings of the 5th International Congress of Intelligent Materials (ICIM), 2003.

2003 | Conference Paper | LibreCat-ID: 8245
Integrated Solar Home System
S. Krauter, F. Ochs, in: Proceedings of the ISES Solar World Congress 2003, Göteborg (Schweden), 14.–19. Juni 2003, S. OS 32, 2003.

2003 | Conference (Editor) | LibreCat-ID: 8252
Book of Proceedings of RIO 3 – World Climate & Energy Event
S. Krauter, ed., Book of Proceedings of RIO 3 – World Climate & Energy Event, Imprinta Pres, Rio de Janeiro (Brasilien), 2003.

2003 | Journal Article | LibreCat-ID: 8790
UHV adsorption studies of K/H2O on Pt(111) and O/CH3COOH on Cu(110): orientation and intermediates
P. Baumann, G. Pirug, D. Reuter, H.P. Bonzel, Surface Science (2003) 186–196.
LibreCat | DOI

2003 | Journal Article | LibreCat-ID: 860
The TCP control block interdependence in fixed networks - new performance results
M. Savoric, H. Karl, A. Wolisz, Computer Communications (2003) 366--375.
LibreCat | DOI

2003 | Conference Paper | LibreCat-ID: 865
Are Classes of Nodes with Different Power Amplifiers Good for Wireless Multi-hop Networks?
M. Kubisch, H. Karl, A. Wolisz, in: Personal Wireless Communications, {IFIP-TC6} 8th International Conference, {PWC} 2003, Venice, Italy, September 23-25, 2003, Proceedings, 2003, pp. 841--846.
LibreCat | DOI

2003 | Journal Article | LibreCat-ID: 8719
Resonant Rayleigh scattering dynamics of excitons in single quantum wells
G. Kocherscheidt, W. Langbein, U. Woggon, V. Savona, R. Zimmermann, D. Reuter, A.D. Wieck, Physical Review B (2003).
LibreCat | DOI

2003 | Journal Article | LibreCat-ID: 8726
Homogeneous linewidth of quantum well excitons from resonance fluorescence spectra
D. Schwedt, C. Nacke, H. Stolz, S. Eshlaghi, D. Reuter, A. Wieck, Physica Status Solidi (B) (2003) 9–18.
LibreCat | DOI

2003 | Book Chapter | LibreCat-ID: 9596
M. Beutner, in: D. Euler (Ed.), Handbuch der Lernortkooperation, Bielefeld, 2003, pp. 55–61.

2003 | Book Review | LibreCat-ID: 9659 LibreCat


Filter Publications

Display / Sort

Export / Embed