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.
9825 Publications
2017 | Conference Paper | LibreCat-ID: 5769
@inproceedings{Töws_Wehrheim_2017, title={Policy Dependent and Independent Information Flow Analyses}, DOI={10.1007/978-3-319-68690-5_22}, booktitle={Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017)}, publisher={Springer International Publishing}, author={Töws, Manuel and Wehrheim, Heike}, year={2017}, pages={362–378} }
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 58 | 
@article{Dräxler_Karl_2017, title={Specification, Composition, and Placement of Network Services with Flexible Structures}, DOI={10.1002/nem.1963}, number={2}, journal={International Journal of Network Management}, publisher={Wiley Online Library}, author={Dräxler, Sevil and Karl, Holger}, year={2017}, pages={1--16} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 5830
@inproceedings{Wolters_Kirchhoff_Gerth_Engels_2017, place={Cham}, title={XDAI-A: Framework for Enabling Cross-Device Integration of Android Apps}, DOI={10.1007/978-3-319-68136-8_25}, booktitle={Service-Oriented Computing -- ICSOC 2016 Workshops}, publisher={Springer International Publishing}, author={Wolters, Dennis and Kirchhoff, Jonas and Gerth, Christian and Engels, Gregor}, editor={Drira, Khalil and Wang, Hongbing and Yu, Qi and Wang, Yan and Yan, Yuhong and Charoy, François and Mendling, Jan and Mohamed, Mohamed and Wang, Zhongjie and Bhiri, SamiEditors}, year={2017}, pages={203–206} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 59
@inproceedings{Kling_Mäcker_Riechers_Skopalik_2017, title={Sharing is Caring: Multiprocessor Scheduling with a Sharable Resource}, DOI={10.1145/3087556.3087578}, booktitle={Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}, author={Kling, Peter and Mäcker, Alexander and Riechers, Sören and Skopalik, Alexander}, year={2017}, pages={123--132} }
LibreCat
| Files available
| DOI
2017 | Conference (Editor) | LibreCat-ID: 5980
@book{Scheideler_Taghi Hajiaghayi_2017, title={Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017}, DOI={10.1145/3087556}, publisher={ACM}, year={2017} }
LibreCat
| DOI
2017 | Mastersthesis | LibreCat-ID: 60
@book{Niehus_2017, title={Semantically Secure Attribute-based Searchable Encryption}, publisher={Universität Paderborn}, author={Niehus, David}, year={2017} }
LibreCat
2017 | Dissertation | LibreCat-ID: 61
@book{Strothmann_2017, title={Self-* Algorithms for Distributed Systems}, DOI={10.17619/UNIPB/1-150}, publisher={Universität Paderborn}, author={Strothmann, Thim Frederik}, year={2017} }
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 6255
@inbook{Fischer_Engler_Sauer_2017, place={Cham}, series={Lecture Notes in Computer Science}, title={A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0}, volume={10288}, DOI={10.1007/978-3-319-58634-2_42}, booktitle={Design, User Experience, and Usability: Theory, Methodology, and Management}, publisher={Springer International Publishing}, author={Fischer, Holger Gerhard and Engler, Michael and Sauer, Stefan}, year={2017}, pages={570–583}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 6256
@inproceedings{Fischer_Senft_Stahl_2017, place={Paderborn}, title={Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering}, volume={369}, DOI={10.17619/UNIPB/1-93}, booktitle={Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, author={Fischer, Holger Gerhard and Senft, Björn and Stahl, Katharina}, editor={Bodden, Eric and Dressler, Falko and Dumitrescu, Roman and Gausemeier, Jürgen and Meyer auf der Heide, Friedhelm and Scheytt, Christoph and Trächtler, AnsgarEditors}, year={2017}, pages={197–210} }
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 6305
@book{Hess_Fischer_2017, place={Regensburg}, title={Mensch und Computer 2017 - Usability Professionals. Tagungsband}, publisher={Gesellschaft für Informatik e.V. und German UPA e.V.}, year={2017} }
LibreCat
2017 | Journal Article | LibreCat-ID: 64
@article{Keller_Karl_2017, title={Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions}, DOI={10.1109/TNSM.2016.2611590}, number={1}, journal={IEEE Transactions on Network and Service Management}, publisher={IEEE}, author={Keller, Matthias and Karl, Holger}, year={2017}, pages={121--135} }
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 699
@book{Sundermeier_2017, title={Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions}, publisher={Universität Paderborn}, author={Sundermeier, Jannik}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 70
@inproceedings{Feldkord_Markarian_Meyer auf der Heide_2017, title={Price Fluctuations in Online Leasing}, DOI={10.1007/978-3-319-71147-8_2}, booktitle={Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA)}, author={Feldkord, Björn and Markarian, Christine and Meyer auf der Heide, Friedhelm}, year={2017}, pages={17–31} }
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 700
@book{Knollmann_2017, title={A Self-Stabilizing Protocol for Graphs of Diameter Two}, publisher={Universität Paderborn}, author={Knollmann, Till}, year={2017} }
LibreCat
2017 | Mastersthesis | LibreCat-ID: 701
@book{Götte_2017, title={Self-Stabilizing Spanners for Tree Metrics}, publisher={Universität Paderborn}, author={Götte, Thorsten}, year={2017} }
LibreCat
2017 | Journal Article | LibreCat-ID: 7011
@article{Hottung_Tanaka_Tierney_2017, title={Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem}, journal={CoRR abs/1709.09972}, author={Hottung, André and Tanaka, Shunji and Tierney, Kevin}, year={2017} }
LibreCat
2017 | Journal Article | LibreCat-ID: 7012
@article{Fazal-Baqaie_Güldali_Oberthür_2017, title={Towards DevOps in Multi-provider Projects}, journal={CSE@SE 2017}, author={Fazal-Baqaie, Masud and Güldali, Baris and Oberthür, Simon}, year={2017}, pages={18–21} }
LibreCat
2017 | Dissertation | LibreCat-ID: 703
@book{Podlipyan_2017, title={Local Algorithms for the Continuous Gathering Problem}, DOI={10.17619/UNIPB/1-230}, publisher={Universität Paderborn}, author={Podlipyan, Pavel}, year={2017} }
LibreCat
| Files available
| DOI
2017 | Dissertation | LibreCat-ID: 704
@book{Riechers_2017, title={Scheduling with Scarce Resources}, DOI={10.17619/UNIPB/1-231}, publisher={Universität Paderborn}, author={Riechers, Sören}, year={2017} }
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 706
@article{Mäcker_Malatyali_Meyer auf der Heide_Riechers_2017, title={Cost-efficient Scheduling on Machines from the Cloud}, volume={36}, DOI={10.1007/s10878-017-0198-x}, number={4}, journal={Journal of Combinatorial Optimization}, publisher={Springer}, author={Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2017}, pages={1168–1194} }
LibreCat
| Files available
| DOI