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.

8959 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: 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 | 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} }
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 8245
@inproceedings{Krauter_Ochs_2003, title={Integrated Solar Home System}, booktitle={Proceedings of the ISES Solar World Congress 2003, Göteborg (Schweden), 14.–19. Juni 2003, S. OS 32}, author={Krauter, Stefan and Ochs, F.}, year={2003} }
LibreCat
 

2003 | Conference (Editor) | LibreCat-ID: 8252
@book{Krauter_2003, place={Rio de Janeiro (Brasilien),}, title={Book of Proceedings of RIO 3 – World Climate & Energy Event}, publisher={ Imprinta Pres}, year={2003} }
LibreCat
 

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} }
LibreCat
 

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} }
LibreCat
 

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 } }
LibreCat
 

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} }
LibreCat
 

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} }
LibreCat
 

2003 | Journal Article | LibreCat-ID: 860
@article{Savoric_Karl_Wolisz_2003, title={The TCP control block interdependence in fixed networks - new performance results}, DOI={10.1016/S0140-3664(02)00155-X}, number={4}, journal={Computer Communications}, author={Savoric, Michael and Karl, Holger and Wolisz, Adam}, year={2003}, pages={366--375} }
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 865
@inproceedings{Kubisch_Karl_Wolisz_2003, title={Are Classes of Nodes with Different Power Amplifiers Good for Wireless Multi-hop Networks?}, DOI={10.1007/978-3-540-39867-7_78}, booktitle={Personal Wireless Communications, {IFIP-TC6} 8th International Conference, {PWC} 2003, Venice, Italy, September 23-25, 2003, Proceedings}, author={Kubisch, Martin and Karl, Holger and Wolisz, Adam}, year={2003}, pages={841--846} }
LibreCat | DOI
 

2003 | Journal Article | LibreCat-ID: 8719
@article{Kocherscheidt_Langbein_Woggon_Savona_Zimmermann_Reuter_Wieck_2003, title={Resonant Rayleigh scattering dynamics of excitons in single quantum wells}, DOI={10.1103/physrevb.68.085207}, journal={Physical Review B}, author={Kocherscheidt, G. and Langbein, W. and Woggon, U. and Savona, V. and Zimmermann, R. and Reuter, Dirk and Wieck, A. D.}, year={2003} }
LibreCat | DOI
 

2003 | Journal Article | LibreCat-ID: 8726
@article{Schwedt_Nacke_Stolz_Eshlaghi_Reuter_Wieck_2003, title={Homogeneous linewidth of quantum well excitons from resonance fluorescence spectra}, DOI={10.1002/pssb.200301888}, journal={physica status solidi (b)}, author={Schwedt, D. and Nacke, Ch. and Stolz, H. and Eshlaghi, S. and Reuter, Dirk and Wieck, A.}, year={2003}, pages={9–18} }
LibreCat | DOI
 

2003 | Journal Article | LibreCat-ID: 8790
@article{Baumann_Pirug_Reuter_Bonzel_2003, title={UHV adsorption studies of K/H2O on Pt(111) and O/CH3COOH on Cu(110): orientation and intermediates}, DOI={10.1016/0039-6028(95)00457-2}, journal={Surface Science}, author={Baumann, P. and Pirug, G. and Reuter, Dirk and Bonzel, H.P.}, year={2003}, pages={186–196} }
LibreCat | DOI
 

2003 | Book Review | LibreCat-ID: 9661
@article{Tönnies_2003, title={Keipert, H.: Pope, Popovskij und die Popen, 2001}, volume={240}, number={1}, journal={Archiv für das Studium der neueren Sprachen und Literaturen}, author={Tönnies, Merle}, year={2003}, pages={141–144} }
LibreCat
 

2003 | Book Review | LibreCat-ID: 9659
@article{Tönnies_2003, title={Veit, C.: Ich-Konzept und Körper in Becketts dualen Konstruktionen, 2002}, volume={26}, number={2}, journal={The Beckett Circle}, author={Tönnies, Merle}, year={2003}, pages={18} }
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 8935
@inproceedings{Hemsel_Wallaschek_2003, title={Modelling and Analysis of Piezoelectric Transformers}, booktitle={Proceedings of the 5th International Congress of Intelligent Materials (ICIM)}, author={Hemsel, Tobias and Wallaschek, Jörg}, year={2003} }
LibreCat
 

2003 | Journal Article | LibreCat-ID: 11777
@article{Haeb-Umbach_2003, title={Auf ein Wort - Moeglichkeiten und Grenzen der automatischen Spracherkennung}, journal={Forschungsforum Paderborn}, author={Haeb-Umbach, Reinhold}, year={2003}, pages={68–71} }
LibreCat | Download (ext.)
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed