en
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.
8960 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
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.
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
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.
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
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.
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.
LibreCat
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: 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.
LibreCat
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.
LibreCat
S. Krauter, ed., Book of Proceedings of RIO 3 – World Climate & Energy Event, Imprinta Pres, Rio de Janeiro (Brasilien), 2003.
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.
LibreCat
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.
LibreCat
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 | Misc | LibreCat-ID: 6693
Gegenwind Windkraft in Paderborn
J. Bendfeld, H. Hübert, - et al., Gegenwind Windkraft in Paderborn, 2003.
LibreCat
J. Bendfeld, H. Hübert, - et al., Gegenwind Windkraft in Paderborn, 2003.
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.
LibreCat
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.