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.

4676 Publications


2019 | Conference Paper | LibreCat-ID: 13442
Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface
S.A. Manavi, E. Kenig, in: Computer Aided Chemical Engineering, 29th European Symposium on Computer Aided Process Engineering, Eindhoven, Netherlands, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10093
Combining Verifiers in Conditional Model Checking via Reducers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: S. Becker, I. Bogicevic, G. Herzwurm, S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, GI, 2019, pp. 151--152.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229–233.
LibreCat | Files available | DOI
 

2019 | Mastersthesis | LibreCat-ID: 10105
Analyzing Data Usage in Array Programs
J. Haltermann, Analyzing Data Usage in Array Programs, Universität Paderborn, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10135
Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere
M. Webersen, M. Hüttner, F. Woitschek, E. Moritzer, B. Henning, in: Deutsche Gesellschaft für Akustik e.V. (DEGA) (Ed.), Fortschritte der Akustik - DAGA 2019, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10232 | OA
Automating Multi-Label Classification Extending ML-Plan
M.D. Wever, F. Mohr, A. Tornede, E. Hüllermeier, in: 2019.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 10258 LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 10271
Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves
N. N., Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves, Universität Paderborn, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 10277
Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry
S. Althaus, Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry, Universität Paderborn, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10281
From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation
M. Feldotto, P. Lenzner, L. Molitor, A. Skopalik, in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
LibreCat | Files available | Download (ext.)
 

2019 | Dissertation | LibreCat-ID: 10290
Essays on Drivers and Economic Outcomes of Online-Reviews
D. Gutt, Essays on Drivers and Economic Outcomes of Online-Reviews, Universität Paderborn, 2019.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 10325 | OA
Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing
M. Peuster, M. Marchetti, G. García de Blas, H. Karl, EURASIP Journal on Wireless Communications and Networking (2019).
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Report | LibreCat-ID: 10332
Bundling in a Distribution Channel with Retail Competition
J.M.J. Heinzel, Bundling in a Distribution Channel with Retail Competition, CIE Working Paper Series, Paderborn University, 2019.
LibreCat | Files available
 

2019 | Mastersthesis | LibreCat-ID: 10344
Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine
S. Pukrop, Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine, Universität Paderborn, 2019.
LibreCat
 

2019 | Conference Abstract | LibreCat-ID: 13586
Head over Feels? Differences in Online Rating Behavior for Utilitarian and Hedonic Service Aspects
J. Seutter, J. Neumann, in: Proceedings of the 40th International Conference on Information Systems (ICIS), 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13587
The App Updating Conundrum: Implications of Platform’s Rating Resetting on Developers’ Behavior
D. Gutt, J. Neumann, W. Jabr, D. Kundisch, in: Proceedings of the 40th International Conference on Information Systems (ICIS), 2019.
LibreCat
 

2019 | Bachelorsthesis | LibreCat-ID: 13592
Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java
M. Pilot, Efficient Finite-Field Arithmetic for Elliptic Curve Cryptography in Java, Universität Paderborn, 2019.
LibreCat
 

2019 | Mastersthesis | LibreCat-ID: 13648 | OA
Implementation and Comparison of Elliptic Curve Algorithms in Java
S. Scholz, Implementation and Comparison of Elliptic Curve Algorithms in Java, Universität Paderborn, 2019.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 13652
Fast Distributed Algorithms for LP-Type Problems of Low Dimension
K. Hinnenthal, C. Scheideler, M. Struijs, in: 33rd International Symposium on Distributed Computing (DISC 2019), 2019.
LibreCat | DOI
 

2019 | Dissertation | LibreCat-ID: 13679
Classification and Approximation of Geometric Location Problems
S. Brauer, Classification and Approximation of Geometric Location Problems, Paderborn, 2019.
LibreCat | DOI
 

Filters and Search Terms

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

Search

Filter Publications

Display / Sort

Export / Embed