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.
4692 Publications
2016 | Conference Paper | LibreCat-ID: 186
@inproceedings{Czech_Jakobs_Wehrheim_2016, series={Lecture Notes in Informatics}, title={Just test what you cannot verify!}, booktitle={Software Engineering 2016}, author={Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Jens Knoop, Uwe ZdunEditor}, year={2016}, pages={17–18}, collection={Lecture Notes in Informatics} }
LibreCat
| Files available
2016 | Report | LibreCat-ID: 221
@book{Platenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016, title={An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)}, publisher={Universität Paderborn}, author={Platenius, Marie Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm}, year={2016} }
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 222
@article{Wiersema_Bockhorn_Platzner_2016, title={An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip}, DOI={10.1016/j.compeleceng.2016.04.005}, journal={Computers & Electrical Engineering}, publisher={Elsevier}, author={Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco}, year={2016}, pages={112--122} }
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 223
@book{Hinnenthal_2016, title={Aggregation in Overlay Networks}, publisher={Universität Paderborn}, author={Hinnenthal, Kristian}, year={2016} }
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 224
@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A short survey on using software error localization for service compositions}, DOI={10.1007/978-3-319-44482-6_16}, booktitle={Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016}, pages={248--262}, collection={LNCS} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 22404
@inproceedings{Lammers_Adam_Schmid_Mrozek_Oberacker_Hoffmann_Quattrone_Ponick_2016, title={Additive Manufacturing of a Lightweight Rotor for a Permanent Magnet Synchronous Machine}, DOI={10.1109/EDPC.2016.7851312}, booktitle={EDPC 2016}, author={Lammers, Stefan and Adam, Guido and Schmid, Hans-Joachim and Mrozek, Rafael and Oberacker, Rainer and Hoffmann, Michael and Quattrone, Francesco and Ponick, Bernd}, year={2016} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 225
@inproceedings{Jungmann_Kleinjohann_2016, title={A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality}, DOI={10.1109/ETFA.2016.7733522}, booktitle={Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2016}, pages={1--8} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A Formal Approach to Error Localization and Correction in Service Compositions}, DOI={10.1007/978-3-319-50230-4_35}, booktitle={Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016}, pages={445--457}, collection={LNCS} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 227
@inproceedings{Töws_Wehrheim_2016, series={LNCS}, title={A CEGAR Scheme for Information Flow Analysis}, DOI={10.1007/978-3-319-47846-3_29}, booktitle={Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)}, author={Töws, Manuel and Wehrheim, Heike}, year={2016}, pages={466--483}, collection={LNCS} }
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 2271
@book{Hesso_2016, title={Die Rolle der Reputation: Die Entstehung, der Aufbau, die Messung und die Auswirkung der Reputation auf Kunden und Unternehmen}, publisher={Universität Paderborn}, author={Hesso, Aref}, year={2016} }
LibreCat
2016 | Book | LibreCat-ID: 21698
@book{Lindemann_Deppe_Koch_2016, title={Scenario Based Outlook of Additive Manufacturing Applications for the Aerospace Market}, publisher={Metropolis Verlag}, author={Lindemann, C. and Deppe, G. and Koch, R.}, year={2016} }
LibreCat
2016 | Book | LibreCat-ID: 21699
@book{Jahnke_Koch_2016, title={Prevention of Product Piracy - Potentials of Additive Manufacturing}, publisher={Metropolis Verlag}, author={Jahnke, U. and Koch, R.}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 217
@inproceedings{Schwichtenberg_2016, title={Automatized Derivation of Comprehensive Specifications for Black-box Services}, DOI={10.1145/2889160.2889271}, booktitle={Proceedings of the 38th International Conference on Software Engineering Companion (ICSE)}, author={Schwichtenberg, Simon}, year={2016}, pages={815–818} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 218
@inproceedings{Jungmann_Kleinjohann_2016, title={Automatic Composition of Service-based Image Processing Applications}, DOI={10.1109/SCC.2016.21}, booktitle={Proceedings of the 13th IEEE International Conference on Services Computing (SCC)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2016}, pages={106--113} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 219
@inproceedings{Jazayeri_2016, place={Copenhagen, Denmark}, title={Architectural Management of On-The-Fly Computing Markets}, DOI={10.1145/2993412.3010821}, booktitle={Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops)}, publisher={ACM}, author={Jazayeri, Bahar}, year={2016}, pages={42} }
LibreCat
| Files available
| DOI
2016 | Book | LibreCat-ID: 21904
@book{Rumlich_2016, place={Frankfurt am Main, Germany}, title={Evaluating bilingual education in Germany: CLIL students’ general English proficiency, EFL self-concept and interest}, publisher={Lang}, author={Rumlich, Dominik}, year={2016} }
LibreCat
2016 | Dissertation | LibreCat-ID: 220
@book{Keller_2016, title={Application Deployment at Distributed Clouds}, publisher={Universität Paderborn}, author={Keller, Matthias}, year={2016} }
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 22025
@article{Moritzer_Hirsch_Günther_Teutoburg-Weiss_Lasagni_Klotzbach_Sonntag_2016, title={Universelle Mikrobearbeitungsplaffform und Basistechnologien für das Fertigen und Markieren mikrophysiologischer Systeme}, volume={6}, journal={6. Dresdner Medizintechnik-Symposium, Biomedizinische Technik - interdisziplinär, integrativ und innovativ}, author={Moritzer, Elmar and Hirsch, André and Günther, K. and Teutoburg-Weiss, S. and Lasagni, A.F. and Klotzbach, U. and Sonntag, F.}, year={2016}, pages={65–70} }
LibreCat
2016 | Journal Article | LibreCat-ID: 5762
@article{Strothmann_2016, title={The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Tree}, volume={20}, DOI={10.7155/jgaa.00385}, number={1}, journal={Journal of Graph Algorithms and Applications}, publisher={Journal of Graph Algorithms and Applications}, author={Strothmann, Thim Frederik}, year={2016}, pages={79–100} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 726
@article{Wette_Karl_2016, title={DCT2Gen: A traffic generator for data centers}, DOI={10.1016/j.comcom.2015.12.001}, journal={Computer Communications}, author={Wette, Philip and Karl, Holger}, year={2016}, pages={45--58} }
LibreCat
| Files available
| DOI