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.
8510 Publications
2017 | Conference Paper | LibreCat-ID: 65
reMinMin: A Novel Static Energy-Centric List Scheduling Approach Based on Real Measurements
A. Lösch, M. Platzner, in: Proceedings of the 28th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2017.
LibreCat
| Files available
| DOI
A. Lösch, M. Platzner, in: Proceedings of the 28th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2017.
2017 | Conference Paper | LibreCat-ID: 6556
A Spectral Approach to Acoustic Absorption Measurement
L. Claes, R.S. Chatwell, J. Vrabec, B. Henning, in: PROCEEDINGS -- AMA Conferences 2017, AMA Service GmbH, 2017, pp. 304–309.
LibreCat
| DOI
L. Claes, R.S. Chatwell, J. Vrabec, B. Henning, in: PROCEEDINGS -- AMA Conferences 2017, AMA Service GmbH, 2017, pp. 304–309.
2017 | Conference Paper | LibreCat-ID: 6559
Additively manufactured acoustic diffuser structures for ultrasonic measurement applications
L. Claes, H. Zeipert, P. Koppa, T. Tröster, B. Henning, in: Proceedings of Meetings on Acoustics, Honolulu, 2017, p. 030004.
LibreCat
| DOI
L. Claes, H. Zeipert, P. Koppa, T. Tröster, B. Henning, in: Proceedings of Meetings on Acoustics, Honolulu, 2017, p. 030004.
2017 | Conference Paper | LibreCat-ID: 66
Pure Nash Equilibria in Restricted Budget Games
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in: Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON), 2017, pp. 175--187.
LibreCat
| Files available
| DOI
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in: Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON), 2017, pp. 175--187.
2017 | Bachelorsthesis | LibreCat-ID: 67
Provably Secure Key-Derivation-Functions for Certain Types of Applications
M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications, Universität Paderborn, 2017.
LibreCat
M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 6725
A Characterization for Decidable Separability by Piecewise Testable Languages
W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, G. Zetzsche, Discrete Mathematics & Theoretical Computer Science 19 (2017).
LibreCat
| DOI
W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, G. Zetzsche, Discrete Mathematics & Theoretical Computer Science 19 (2017).
2017 | Journal Article | LibreCat-ID: 68
Proof-Carrying Hardware via Inductive Invariants
T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design Automation of Electronic Systems (2017) 61:1--61:23.
LibreCat
| Files available
| DOI
T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design Automation of Electronic Systems (2017) 61:1--61:23.
2017 | Dissertation | LibreCat-ID: 685
On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 69
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and Systems (2017) 7:1-7:56.
LibreCat
| Files available
| DOI
M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and Systems (2017) 7:1-7:56.
2017 | Bachelorsthesis | LibreCat-ID: 696
Das Mobile Server Problem in Netzwerken
L. Wachowiak, Das Mobile Server Problem in Netzwerken, Universität Paderborn, 2017.
LibreCat
L. Wachowiak, Das Mobile Server Problem in Netzwerken, Universität Paderborn, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 697
Untersuchungen zum Cone-Hashing
M. Burkhardt, Untersuchungen zum Cone-Hashing, Universität Paderborn, 2017.
LibreCat
M. Burkhardt, Untersuchungen zum Cone-Hashing, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 16791
Investigation of geometrical discontinuities in blanks for hot sheet metal forming process under the influence of induction heating
A. Dietrich, B. Nacke, F. Pfeifer, T. Marten, T. Tröster, in: 2017.
LibreCat
A. Dietrich, B. Nacke, F. Pfeifer, T. Marten, T. Tröster, in: 2017.
2017 | Conference Paper | LibreCat-ID: 16792
Effects of Holes in Blanks for Press Hardening Process due to Induction Heating
A. Dietrich, B. Nacke, F. Pfeifer, T. Marten, T. Tröster, in: 2017.
LibreCat
A. Dietrich, B. Nacke, F. Pfeifer, T. Marten, T. Tröster, in: 2017.
2017 | Bachelorsthesis | LibreCat-ID: 104
EAX - An Authenticated Encryption Mode for Block Ciphers
D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers, Universität Paderborn, 2017.
LibreCat
D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers, Universität Paderborn, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 1048
Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen
A. Schenk, Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen, Universität Paderborn, 2017.
LibreCat
A. Schenk, Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen, Universität Paderborn, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 1049
Visualisierung zu Algorithmen verteilter Netzwerksysteme
B. Beckendorfer, Visualisierung zu Algorithmen verteilter Netzwerksysteme, Universität Paderborn, 2017.
LibreCat
B. Beckendorfer, Visualisierung zu Algorithmen verteilter Netzwerksysteme, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 105
Distributed Monitoring of Network Properties: The Power of Hybrid Networks
R. Gmyr, K. Hinnenthal, C. Scheideler, C. Sohler, in: Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017, pp. 137:1--137:15.
LibreCat
| Files available
| DOI
R. Gmyr, K. Hinnenthal, C. Scheideler, C. Sohler, in: Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017, pp. 137:1--137:15.
2017 | Journal Article | LibreCat-ID: 1054
The effects of competition on medical service provision
J. Brosig-Koch, B. Hehenkamp, J. Kokot, Health Economics 26 (2017) 6–20.
LibreCat
| Files available
| DOI
J. Brosig-Koch, B. Hehenkamp, J. Kokot, Health Economics 26 (2017) 6–20.
2017 | Report | LibreCat-ID: 1055
Location Choice and Quality Competition in Mixed Hospital Markets
B. Hehenkamp, O. Kaarboe, Location Choice and Quality Competition in Mixed Hospital Markets, Universität Paderborn, 2017.
LibreCat
| Files available
B. Hehenkamp, O. Kaarboe, Location Choice and Quality Competition in Mixed Hospital Markets, Universität Paderborn, 2017.
2017 | Report | LibreCat-ID: 1056
Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation
Y. Gu, B. Hehenkamp, W. Leininger, Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation, Universität Paderborn, 2017.
LibreCat
| Files available
Y. Gu, B. Hehenkamp, W. Leininger, Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation, Universität Paderborn, 2017.