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.

9931 Publications


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: 708
Minimizing downtimes: Using dynamic reconfiguration and state management in SDN
A. Schwabe, E. Rojas, H. Karl, in: 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--5.
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: 723 | OA
A flexible multi-pop infrastructure emulator for carrier-grade MANO systems
M. Peuster, S. Dräxler, H. Razzaghi Kouchaksaraei, S. van Rossem, W. Tavernier, H. Karl, in: IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--3.
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: 8559
Perceived Competence and Incompetence in the First Year of Mathematics Studies: Forms and Situations
M. Liebendörfer, R. Hochmuth, in: R. Göller, R. Biehler, R. Hochmuth, H.-G. Rück (Eds.), Didactics of Mathematics in Higher Education as a Scientific Discipline - Conference Proceedings, Universität Kassel, Kassel, 2017, pp. 286–293.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 8564
Interest development during the first year at university: do mathematical beliefs predict interest in mathematics?
M. Liebendörfer, S. Schukajlow, ZDM 49 (2017) 355–366.
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 8752
Gradient-Based Multiobjective Optimization with Uncertainties
S. Peitz, M. Dellnitz, in: NEO 2016, Cham, 2017, pp. 159–182.
LibreCat | 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 | Misc | LibreCat-ID: 8843
Presentation: Framework for Constructing Context-Specific Migration Methods for Test Cases
I. Jovanovikj, Presentation: Framework for Constructing Context-Specific Migration Methods for Test Cases, Berlin, 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 9607
Optimal Security Proofs for Full Domain Hash, Revisited
S. Kakvi, E. Kiltz, Journal of Cryptology (2017) 276–306.
LibreCat | DOI | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 97
From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 981 | OA
Profile Your Chains, Not Functions. Automated Network Service Profiling in DevOps Environments
M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN), Berlin, 2017.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 983
Assessing Genetic Algorithms for Placing Flow Processing-aware Control Applications
S. Auroux, S. Scholz, H. Karl, in: Proc. European Wireless, 2017.
LibreCat | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 9919
Three-Stage Power System Restoration Methodology Considering Renewable Energies
C. Shen, P. Kaufmann, M. Braun, Elsevier International Journal of Electrical Power and Energy Systems (IJEPES) 94 (2017) 287–299.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5204
IDEal: Efficient and Precise Alias-aware Dataflow Analysis
J. Späth, K. Ali, E. Bodden, in: 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), ACM Press, 2017.
LibreCat | Files available | Download (ext.)
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed