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.
4679 Publications
2014 | Conference Paper | LibreCat-ID: 407
@inproceedings{Mohr_2014, title={Issues of Automated Software Composition in AI Planning}, DOI={10.1145/2642937.2653470}, booktitle={Proceedings of the 29th International Conference on Automated Software Engineering (ASE)}, author={Mohr, Felix}, year={2014}, pages={895--898} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 4072
@article{Riedl_Lindner_2014, title={Self-organized fabrication of periodic arrays of vertical, ultra-thin nanopillars on GaAs surfaces}, volume={211}, DOI={10.1002/pssa.201431474}, number={12}, journal={physica status solidi (a)}, publisher={Wiley}, author={Riedl, Thomas and Lindner, Jörg}, year={2014}, pages={2871–2877} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
@inproceedings{Jakobs_Platzner_Wiersema_Wehrheim_2014, series={LNCS}, title={Integrating Software and Hardware Verification}, DOI={10.1007/978-3-319-10181-1_19}, booktitle={Proceedings of the 11th International Conference on Integrated Formal Methods (iFM)}, author={Jakobs, Marie-Christine and Platzner, Marco and Wiersema, Tobias and Wehrheim, Heike}, editor={Albert, Elvira and Sekerinski, EmilEditors}, year={2014}, pages={307–322}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
@inproceedings{Platenius_Becker_Schäfer_2014, series={LNCS}, title={Integrating Service Matchers into a Service Market Architecture}, DOI={10.1007/978-3-319-09970-5_19}, booktitle={Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)}, author={Platenius, Marie Christin and Becker, Steffen and Schäfer, Wilhelm}, editor={Avgeriou, Paris and Zdun, UweEditors}, year={2014}, pages={210–217}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 410
@article{Jungmann_Brangewitz_Petrlic_Platenius_2014, title={Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services}, volume={7}, number={3&4}, journal={International Journal On Advances in Intelligent Systems (IntSys)}, publisher={IARIA}, author={Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={572--594} }
LibreCat
| Files available
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 411
@book{Taherinajafabadi_2014, title={Improving Service Specifications for the Service Matching on a Service Market}, publisher={Universität Paderborn}, author={Taherinajafabadi, Vahide}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 412
@inproceedings{Feldotto_Scheideler_Graffi_2014, title={HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths}, DOI={10.1109/P2P.2014.6934300}, booktitle={Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P)}, author={Feldotto, Matthias and Scheideler, Christian and Graffi, Kalman}, year={2014}, pages={1–10} }
LibreCat
| Files available
| DOI
| arXiv
2014 | Bachelorsthesis | LibreCat-ID: 413
@book{Eusterholz_2014, title={Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes}, publisher={Universität Paderborn}, author={Eusterholz, Fabian}, year={2014} }
LibreCat
2014 | Mastersthesis | LibreCat-ID: 414
@book{Jochheim_2014, title={Hiding software components using functional encryption}, publisher={Universität Paderborn}, author={Jochheim, Janek}, year={2014} }
LibreCat
2014 | Mastersthesis | LibreCat-ID: 415
@book{Vijapurwala_2014, title={Handling Incomplete Service Specifications using Fuzzy Matching}, publisher={Universität Paderborn}, author={Vijapurwala, Shafi}, year={2014} }
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
@book{Bemmann_2014, title={Group Signature Schemes with Strong Exculpability}, publisher={Universität Paderborn}, author={Bemmann, Pascal}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
@inproceedings{Besova_Steenke_Wehrheim_2014, title={Grammar-based model transformations}, DOI={10.1016/j.cl.2015.05.003}, booktitle={Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD)}, author={Besova, Galina and Steenke, Dominik and Wehrheim, Heike}, year={2014}, pages={1601–1610} }
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
@book{Pauck_2014, title={Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren}, publisher={Universität Paderborn}, author={Pauck, Felix}, year={2014} }
LibreCat
| Files available
2014 | Dissertation | LibreCat-ID: 419
@book{Kolle_2014, title={Gender and ethnic discrimination in hiring : evidence from field experiments in the German labor market}, publisher={Universität Paderborn}, author={Kolle, Andre}, year={2014} }
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 420
@book{Merschjohann_2014, title={Fuzzy Matching of Service Price Specifications}, publisher={Universität Paderborn}, author={Merschjohann, Sven}, year={2014} }
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 421
@book{Lippert_2014, title={Fujisaki-Okamoto Transformation}, publisher={Universität Paderborn}, author={Lippert, Jan}, year={2014} }
LibreCat
2014 | Mastersthesis | LibreCat-ID: 422
@book{Sanati_2014, title={Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions}, publisher={Universität Paderborn}, author={Sanati, Maryam}, year={2014} }
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
@book{Jojiju_2014, title={Finding Optimal Self-Adaption Rules by Design-Space Exploration}, publisher={Universität Paderborn}, author={Jojiju, Suman}, year={2014} }
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 424
@book{Finkensiep_2014, title={Fast and Flexible Automatic Composition of Semantic Web Services}, publisher={Universität Paderborn}, author={Finkensiep, Christoph}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 425
@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2014, title={Evaluation of Color Spaces for Robust Image Segmentation}, booktitle={Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2014}, pages={648–655} }
LibreCat
| Files available