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
@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Inheritance of Temporal Logic Properties}, DOI={10.1007/978-3-540-39958-2_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={79--93}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI

2003 | Conference Paper | LibreCat-ID: 3240
@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={10.1007/3-540-44880-2_10}, booktitle={{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}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\’{e}}n, MarinaEditors}, year={2003}, pages={127--147}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI

2003 | Conference Paper | LibreCat-ID: 4298
@inproceedings{Waldmuller_Förstner_Knorr_Woerner_Reimann_Kaindl_Hey_Ploog_2003, title={Correlated influence of carrier-carrier/carrier-phonon interaction and radiative damping on semiconductor intersubband transitions}, DOI={10.1109/qels.2003.238217}, booktitle={Postconference Digest Quantum Electronics and Laser Science, 2003. QELS.}, publisher={IEEE}, author={Waldmuller, I. and Förstner, Jens and Knorr, A. and Woerner, M. and Reimann, K. and Kaindl, R.A. and Hey, R. and Ploog, K.H.}, year={2003} }
LibreCat | Files available | DOI

2003 | Conference Paper | LibreCat-ID: 6004
@inproceedings{Kundisch_Dzienziol_2003, place={Los Alamitos, Hawaii, USA}, series={IEEE Computer Society Press}, title={Formalization of Financial Problems and Solutions under Risk as an Essential Requirement for IT-based Financial Planning}, booktitle={Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS)}, author={Kundisch, Dennis and Dzienziol, J.}, year={2003}, collection={IEEE Computer Society Press} }

2003 | Book Chapter | LibreCat-ID: 6218
@inbook{Festing_Kabst_Weber_2003, place={Wiesbaden}, title={Internationales Personalmanagement}, booktitle={ Internationales Management: Betriebswirtschaftslehre der internationalen Unternehmung}, author={Festing, M and Kabst, Rüdiger and Weber, W}, editor={Breuer, W and Gürtler, MEditors}, year={2003}, pages={163–204} }

2003 | Conference Paper | LibreCat-ID: 7247
@inproceedings{Pertsch_Streppel_Zentgraf_Dannberg_Braeuer_Peschel_Lederer_2003, title={Temperature-controlled beam steering in polymer waveguide arrays}, DOI={10.1117/12.408494}, booktitle={Linear, Nonlinear, and Power-Limiting Organics}, publisher={SPIE}, author={Pertsch, Thomas and Streppel, Ulrich and Zentgraf, Thomas and Dannberg, Peter and Braeuer, Andreas H. and Peschel, Ulf and Lederer, Falk L.}, year={2003} }
LibreCat | DOI

2003 | Misc | LibreCat-ID: 6693
@book{Bendfeld_Hübert_et al._2003, series={Deutschland Funk, 10.09.03, Radiosendung }, title={Gegenwind Windkraft in Paderborn}, author={Bendfeld, Jörg and Hübert, H. and et al., -}, year={2003}, collection={Deutschland Funk, 10.09.03, Radiosendung } }

2003 | Conference Paper | LibreCat-ID: 7913
@inproceedings{Hendrik Hausmann_Kent_2003, place={New York, NY, USA}, title={Visualizing model mappings in UML}, booktitle={Proceedings of the ACM symposium on Software visualization (SOFTVIS 2003), San Diego, CA (USA)}, publisher={ACM Press}, author={Hendrik Hausmann, Jan and Kent, Stuart}, year={2003}, pages={169–178} }

2003 | Conference Paper | LibreCat-ID: 8377
@inproceedings{Hendrik Hausmann_Heckel_Lohmann_2003, title={Towards Automatic Selection of Web Services Using Graph Transformation Rules}, booktitle={Proceeding of the Web Service Workshop (Berliner XML-Tage 2003), Berlin (Germany)}, publisher={XML-Clearinghouse}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Lohmann, Marc}, year={2003}, pages={286–291} }

2003 | Conference Paper | LibreCat-ID: 8384
@inproceedings{Schattkowsky_Müller_2003, title={Distributed Engineering Environment for the Design of Electronic Systems}, booktitle={Proceedings of the Workshop on Challenges in Collaborative Engineering (CCE 2003), Poznan (Poland)}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2003}, pages={15–16} }

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed