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.
11198 Publications
2003 | Conference Paper | LibreCat-ID: 7911
@inproceedings{Engels_Küster_Heckel_Lohmann_2003, series={Electronic Notes in Theoretical Computer Science}, title={Model Based Verification and Validation of Properties}, volume={82}, DOI={dx.doi.org/10.1016/S1571-0661(04)80752-7}, number={7}, booktitle={Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)}, publisher={Elsevier}, author={Engels, Gregor and Küster, Jochen and Heckel, Reiko and Lohmann, Marc}, year={2003}, pages={1–18}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7912
@inproceedings{Heckel_Küster_Thöne_Voigt_2003, title={Towards Consistency of Web Service Architectures}, booktitle={Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA)}, author={Heckel, Reiko and Küster, Jochen and Thöne, Sebastian and Voigt, Hendrik}, year={2003} }
LibreCat
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: 7914
@inproceedings{Heckel_Lohmann_2003, place={Berlin/Heidelberg}, series={LNCS}, title={Model-Based Development of Web Applications Using Graphical Reaction Rules}, volume={2621}, DOI={http://dx.doi.org/10.1007/3-540-36578-8}, booktitle={Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland)}, publisher={Springer}, author={Heckel, Reiko and Lohmann, Marc}, year={2003}, pages={170–183}, collection={LNCS} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7915
@inproceedings{Mueller_Schattkowsky_Eikerling_Wegner_2003, place={Washington, DC, USA}, title={Dynamic Tool Integration in Heterogeneous Computer Networks}, DOI={http://dx.doi.org/10.1109/DATE.2003.10201}, booktitle={Proceedings of the conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany)}, publisher={IEEE Computer Society}, author={Mueller, Wolfgang and Schattkowsky, Tim and Eikerling, Heinz-Josef and Wegner, Jan}, year={2003}, pages={946–951} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7916
@inproceedings{Küster_Heckel_Engels_2003, place={Washington, DC, USA}, title={Defining and Validating Transformations of UML Models}, DOI={https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1109/HCC.2003.1260218}, booktitle={Proceedings of the conference on Human Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)}, publisher={IEEE Computer Society}, author={Küster, Jochen and Heckel, Reiko and Engels, Gregor}, year={2003}, pages={145–152} }
LibreCat
| DOI
2003 | Report | LibreCat-ID: 8213
@book{Mehner_Rashid_2003, place={United Kingdom}, title={Towards a Generic Model for AOP (GEMA)}, publisher={Lancaster University, Computing Department}, author={Mehner, Katharina and Rashid, Awais}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 8241
@inproceedings{Krauter_2003, title={An Integrated Solar Home System – History}, booktitle={Proceedings of the 3rd World Conference of Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Osaka (Japan), 12.–16. Mai 2003, Band 2, S. 2094–2097}, author={Krauter, Stefan}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 8242
@inproceedings{Krauter_Ochs_2003, title={The Integrated Solar Home System: The solution for cost-effective rural electrification}, booktitle={Proceedings of the 3rd World Conference of Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Osaka (Japan), 12.–16. Mai 2003, Band 3, S. 2333–2336}, author={Krauter, Stefan and Ochs, F.}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 8243
@inproceedings{Krauter_Depping_2003, title={Monitoring of Remote PV-Systems via Satellite}, booktitle={Proceedings of the 3rd World Conference of Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Osaka (Japan), 12.–16. Mai 2003, Band 3, S. 2202–2205.}, author={Krauter, Stefan and Depping, T.}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 8244
@inproceedings{Krauter_2003, title={Greenhouse Gas Reduction by PV}, booktitle={Proceedings of the 3rd World Conference of Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Osaka (Japan), 12.–16. Mai 2003, Band 3, S. 2610–2613}, author={Krauter, Stefan}, year={2003} }
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 Paper | LibreCat-ID: 8246
@inproceedings{Krauter_Depping_2003, title={Remote PV-System Monitored via Satellite}, booktitle={Proceedings of the ISES Solar World Congress 2003, Göteborg (Schweden), 14.–19. Juni 2003, S. PS 90}, author={Krauter, Stefan and Depping, T.}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 8247
@inproceedings{Krauter_2003, title={Greenhouse Gas Reduction by Photovoltaic Power Plants}, booktitle={Proceedings of the ISES Solar World Congress 2003, Göteborg (Schweden), 14.–19. Juni 2003, S. P1 69}, author={Krauter, Stefan}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 8250
@inproceedings{Krauter_Depping_2003, title={Remote PV Power Supply Monitored via Satellite}, booktitle={Proceedings of RIO 3 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 1.–5. Dezember 2003, S. 121–128}, author={Krauter, Stefan and Depping, T.}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 8251
@inproceedings{Krauter_2003, title={Rural Electrification by PV in terms of Carbon Trading}, booktitle={Proceedings of RIO 3 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 1.–5. December 2003, S. 129–136.}, author={Krauter, Stefan}, 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 | Journal Article | LibreCat-ID: 7383
@article{Mehner_2003, title={Zur Performanz der Überwachung von Methodenaufrufen mit der Java Platform Debugger Architecture (JPDA)}, volume={6}, journal={Java Spektrum}, author={Mehner, Katharina}, year={2003} }
LibreCat
2003 | Journal Article | LibreCat-ID: 7384
@article{Engels_Hendrik Hausmann_Lohmann_2003, title={eLearning-Plattformen für die Hochschule: Bedarfsgerechte Bestimmung der Anforderungen}, volume={6}, journal={ForschungsForum Paderborn}, author={Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc}, year={2003}, pages={44–47} }
LibreCat
2003 | Book Chapter | LibreCat-ID: 7530
@inbook{Heckel_2003, place={Berlin/Heidelberg}, series={LNCS}, title={Open Petri Nets as Semantic Model for Workflow Integration}, volume={2472}, DOI={http://dx.doi.org/10.1007/b83526}, booktitle={Petri Net Technology for Communication-Based Systems, Advances in Petri Nets}, publisher={Springer}, author={Heckel, Reiko}, editor={Ehrig, H. and Reisig, W. and Weber, H. Editors}, year={2003}, pages={281–294}, collection={LNCS} }
LibreCat
| DOI