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


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
 

2017 | Dissertation | LibreCat-ID: 707
Knowledge-based Verification of Service Compositions
S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 71
Predicting Rankings of Software Verification Tools
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 717 | OA
SONATA: Service programming and orchestration for virtualized software networks
S. Dräxler, H. Karl, M. Peuster, H. Razzaghi Kouchaksaraei, M. Bredel, J. Lessmann, T. Soenen, W. Tavernier, S. Mendel-Brin, G. Xilouris, in: 2017 IEEE International Conference on Communications Workshops (ICC Workshops), IEEE, 2017.
LibreCat | Files available | DOI | Download (ext.)
 

2017 | Report | LibreCat-ID: 72
Predicting Rankings of Software Verification Competitions
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
LibreCat | Files available
 

2017 | Conference Paper | LibreCat-ID: 73
PART_PW: From Partial Analysis Results to a Proof Witness
M.-C. Jakobs, in: A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.
LibreCat | Files available | DOI
 

2017 | Mastersthesis | LibreCat-ID: 74
OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 84
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract)
M.C. Platenius, S. Arifulina, W. Schäfer, in: Tagungsband Software Engineering, 2017, pp. 81--82.
LibreCat | Files available
 

2017 | Bachelorsthesis | LibreCat-ID: 85
Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture
L. Lohrsträter, Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture, Universität Paderborn, 2017.
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 86
Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland
L. Niggemeyer, Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland, Universität Paderborn, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 87 | OA
Joint Optimization of Scaling and Placement of Virtual Network Services
S. Dräxler, H. Karl, Z.A. Mann, in: Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017), 2017.
LibreCat | Files available | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 88
Instantiating a Predicate Encryption Scheme via Pair Encodings
A. Ganesh Athreya, Instantiating a Predicate Encryption Scheme via Pair Encodings, Universität Paderborn, 2017.
LibreCat
 

2017 | Dissertation | LibreCat-ID: 89
Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
F.S. Bäumer, Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen, Universität Paderborn, 2017.
LibreCat | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 96
Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle
M. Warkentin, Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle, Universität Paderborn, 2017.
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 9671
Narrative Ethics and Dementia in Alice LaPlante’s Turn of Mind
S. Strauß, in: R. Daniela, S. Strauß, L. Süwolto (Eds.), Dementia and Subjectivity. Aesthetic, Literary and Philosophical Perspectives, Lang, Frankfurt, 2017.
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 9672
Introduction
S. Strauß, in: D. Ringkamp, S. Strauß, L. Süwolto (Eds.), Dementia and Subjectivity. Aesthetic, Literary and Philosophical Perspectives, Lang, Frankfurt, 2017.
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 9673
Neuroethical Reflections on Body and Awareness in Kazuo Ishiguro’s Never Let Me Go and Ian McEwan’s Saturday
S. Strauß, in: G. Hofmann, S. Zorić (Eds.), Presence of the Body: Awareness In and Beyond Experience, Rodopi, Boston, 2017, pp. 139–153.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 9692
The Immobility of Power in British Political Theatre after 2000: Absurdist Dystopias
M. Tönnies, Journal of Contemporary Drama in English 5 (2017) 156–172.
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 9693
Still/Again 'Political'? New Approaches to Questioning Power in Mike Bartlett's 13 (2011)
M. Tönnies, in: K. Frank, C. Lusin (Eds.), Finance, Terror, and Science on Stage. Current Public Concerns in 21st-Century British Drama, Narr Francke Attempto, Tübingen, 2017, pp. 19–39.
LibreCat
 

Filters and Search Terms

isbn%3D978-1-60960-086-0

Search

Filter Publications

Display / Sort

Export / Embed