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
Policy Dependent and Independent Information Flow Analyses
M. Töws, H. Wehrheim, in: Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–378.
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 58 | OA
Specification, Composition, and Placement of Network Services with Flexible Structures
S. Dräxler, H. Karl, International Journal of Network Management (2017) 1--16.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 5830
XDAI-A: Framework for Enabling Cross-Device Integration of Android Apps
D. Wolters, J. Kirchhoff, C. Gerth, G. Engels, in: K. Drira, H. Wang, Q. Yu, Y. Wang, Y. Yan, F. Charoy, J. Mendling, M. Mohamed, Z. Wang, S. Bhiri (Eds.), Service-Oriented Computing -- ICSOC 2016 Workshops, Springer International Publishing, Cham, 2017, pp. 203–206.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 59
Sharing is Caring: Multiprocessor Scheduling with a Sharable Resource
P. Kling, A. Mäcker, S. Riechers, A. Skopalik, in: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 123--132.
LibreCat | Files available | DOI
 

2017 | Conference (Editor) | LibreCat-ID: 5980
Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017
C. Scheideler, M. Taghi Hajiaghayi, eds., Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017, ACM, 2017.
LibreCat | DOI
 

2017 | Mastersthesis | LibreCat-ID: 60
Semantically Secure Attribute-based Searchable Encryption
D. Niehus, Semantically Secure Attribute-Based Searchable Encryption, Universität Paderborn, 2017.
LibreCat
 

2017 | Dissertation | LibreCat-ID: 61
Self-* Algorithms for Distributed Systems
T.F. Strothmann, Self-* Algorithms for Distributed Systems, Universität Paderborn, 2017.
LibreCat | DOI
 

2017 | Book Chapter | LibreCat-ID: 6255
A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0
H.G. Fischer, M. Engler, S. Sauer, in: Design, User Experience, and Usability: Theory, Methodology, and Management, Springer International Publishing, Cham, 2017, pp. 570–583.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 6256
Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering
H.G. Fischer, B. Senft, K. Stahl, in: E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, A. Trächtler (Eds.), Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017, pp. 197–210.
LibreCat | DOI
 

2017 | Conference (Editor) | LibreCat-ID: 6305
Mensch und Computer 2017 - Usability Professionals. Tagungsband
S. Hess, H.G. Fischer, eds., Mensch und Computer 2017 - Usability Professionals. Tagungsband, Gesellschaft für Informatik e.V. und German UPA e.V., Regensburg, 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 64
Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions
M. Keller, H. Karl, IEEE Transactions on Network and Service Management (2017) 121--135.
LibreCat | Files available | DOI
 

2017 | Mastersthesis | LibreCat-ID: 699
Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions
J. Sundermeier, Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions, Universität Paderborn, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 70
Price Fluctuations in Online Leasing
B. Feldkord, C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2017, pp. 17–31.
LibreCat | Files available | DOI
 

2017 | Mastersthesis | LibreCat-ID: 700
A Self-Stabilizing Protocol for Graphs of Diameter Two
T. Knollmann, A Self-Stabilizing Protocol for Graphs of Diameter Two, Universität Paderborn, 2017.
LibreCat
 

2017 | Mastersthesis | LibreCat-ID: 701
Self-Stabilizing Spanners for Tree Metrics
T. Götte, Self-Stabilizing Spanners for Tree Metrics, Universität Paderborn, 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 7011
Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem
A. Hottung, S. Tanaka, K. Tierney, CoRR Abs/1709.09972 (2017).
LibreCat
 

2017 | Journal Article | LibreCat-ID: 7012
Towards DevOps in Multi-provider Projects
M. Fazal-Baqaie, B. Güldali, S. Oberthür, CSE@SE 2017 (2017) 18–21.
LibreCat
 

2017 | Dissertation | LibreCat-ID: 703
Local Algorithms for the Continuous Gathering Problem
P. Podlipyan, Local Algorithms for the Continuous Gathering Problem, Universität Paderborn, 2017.
LibreCat | Files available | DOI
 

2017 | Dissertation | LibreCat-ID: 704
Scheduling with Scarce Resources
S. Riechers, Scheduling with Scarce Resources, Universität Paderborn, 2017.
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 706
Cost-efficient Scheduling on Machines from the Cloud
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2017) 1168–1194.
LibreCat | Files available | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed