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
Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 79--93, doi:10.1007/978-3-540-39958-2_6.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 3240
Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” {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, edited by Didier Bert et al., 2003, pp. 127--147, doi:10.1007/3-540-44880-2_10.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 4298
Waldmuller, I., et al. “Correlated Influence of Carrier-Carrier/Carrier-Phonon Interaction and Radiative Damping on Semiconductor Intersubband Transitions.” Postconference Digest Quantum Electronics and Laser Science, 2003. QELS., IEEE, 2003, doi:10.1109/qels.2003.238217.
LibreCat | Files available | DOI
 

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

2003 | Book Chapter | LibreCat-ID: 6218
Festing, M., et al. “Internationales Personalmanagement.” Internationales Management: Betriebswirtschaftslehre Der Internationalen Unternehmung, edited by W Breuer and M Gürtler, 2003, pp. 163–204.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7247
Pertsch, Thomas, et al. “Temperature-Controlled Beam Steering in Polymer Waveguide Arrays.” Linear, Nonlinear, and Power-Limiting Organics, SPIE, 2003, doi:10.1117/12.408494.
LibreCat | DOI
 

2003 | Misc | LibreCat-ID: 6693
Bendfeld, Jörg, et al. Gegenwind Windkraft in Paderborn. 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7913
Hendrik Hausmann, Jan, and Stuart Kent. “Visualizing Model Mappings in UML.” Proceedings of the ACM Symposium on Software Visualization (SOFTVIS 2003), San Diego, CA (USA), ACM Press, 2003, pp. 169–78.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 8377
Hendrik Hausmann, Jan, et al. “Towards Automatic Selection of Web Services Using Graph Transformation Rules.” Proceeding of the Web Service Workshop (Berliner XML-Tage 2003), Berlin (Germany), XML-Clearinghouse, 2003, pp. 286–91.
LibreCat
 

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

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

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

2003 | Conference (Editor) | LibreCat-ID: 8252
Krauter, Stefan, editor. Book of Proceedings of RIO 3 – World Climate & Energy Event. Imprinta Pres, 2003.
LibreCat
 

2003 | Journal Article | LibreCat-ID: 8790
Baumann, P., et al. “UHV Adsorption Studies of K/H2O on Pt(111) and O/CH3COOH on Cu(110): Orientation and Intermediates.” Surface Science, 2003, pp. 186–96, doi:10.1016/0039-6028(95)00457-2.
LibreCat | DOI
 

2003 | Journal Article | LibreCat-ID: 860
Savoric, Michael, et al. “The TCP Control Block Interdependence in Fixed Networks - New Performance Results.” Computer Communications, no. 4, 2003, pp. 366--375, doi:10.1016/S0140-3664(02)00155-X.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 865
Kubisch, Martin, et al. “Are Classes of Nodes with Different Power Amplifiers Good for Wireless Multi-Hop Networks?” Personal Wireless Communications, {IFIP-TC6} 8th International Conference, {PWC} 2003, Venice, Italy, September 23-25, 2003, Proceedings, 2003, pp. 841--846, doi:10.1007/978-3-540-39867-7_78.
LibreCat | DOI
 

2003 | Journal Article | LibreCat-ID: 8719
Kocherscheidt, G., et al. “Resonant Rayleigh Scattering Dynamics of Excitons in Single Quantum Wells.” Physical Review B, 2003, doi:10.1103/physrevb.68.085207.
LibreCat | DOI
 

2003 | Journal Article | LibreCat-ID: 8726
Schwedt, D., et al. “Homogeneous Linewidth of Quantum Well Excitons from Resonance Fluorescence Spectra.” Physica Status Solidi (B), 2003, pp. 9–18, doi:10.1002/pssb.200301888.
LibreCat | DOI
 

2003 | Book Chapter | LibreCat-ID: 9596
Beutner, Marc. “Betriebsprojekttage.” Handbuch der Lernortkooperation, edited by D. Euler, vol. Band 2: praktische Erfahrungen, 2003, pp. 55–61.
LibreCat
 

2003 | Book Review | LibreCat-ID: 9659
Tönnies, Merle. “Veit, C.: Ich-Konzept Und Körper in Becketts Dualen Konstruktionen, 2002.” The Beckett Circle, vol. 26, no. 2, 2003, p. 18.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed