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.

4769 Publications


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
 

2017 | Journal Article | LibreCat-ID: 682
Double resonant plasmonic nanoantennas for efficient second harmonic generation in zinc oxide
N. Weber, M. Protte, F. Walter, P. Georgi, T. Zentgraf, C. Meier, Physical Review B 95 (2017).
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 684
Ultrathin Nonlinear Metasurface for Optical Image Encoding
F. Walter, G. Li, C. Meier, S. Zhang, T. Zentgraf, Nano Letters 17 (2017) 3171–3175.
LibreCat | DOI
 

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
 

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
 

2017 | Bachelorsthesis | LibreCat-ID: 696
Das Mobile Server Problem in Netzwerken
L. Wachowiak, Das Mobile Server Problem in Netzwerken, Universität Paderborn, 2017.
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 697
Untersuchungen zum Cone-Hashing
M. Burkhardt, Untersuchungen zum Cone-Hashing, Universität Paderborn, 2017.
LibreCat
 

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
 

2017 | Bachelorsthesis | LibreCat-ID: 1048
Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen
A. Schenk, Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen, Universität Paderborn, 2017.
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 1049
Visualisierung zu Algorithmen verteilter Netzwerksysteme
B. Beckendorfer, Visualisierung zu Algorithmen verteilter Netzwerksysteme, Universität Paderborn, 2017.
LibreCat
 

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
 

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
 

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
 

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
 

2017 | Report | LibreCat-ID: 1057
Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries
O. Sürücü, B. Mir Djawadi, S. Brangewitz, Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries, Universität Paderborn, 2017.
LibreCat | Files available
 

2017 | Dissertation | LibreCat-ID: 10594 | OA
Exploiting structure in multiobjective optimization and optimal control
S. Peitz,   Exploiting Structure in Multiobjective Optimization and Optimal Control, 2017.
LibreCat | Files available | DOI | Download (ext.)
 

2017 | Mastersthesis | LibreCat-ID: 106
Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz
I. Krammer, Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz, Universität München, 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 1062
The revenue potential of product differentiation: Empirical evidence fro the Croation restaurant industry
B. Frick, O. Gergaud, P. Winter, Gastronomy and Tourism 2 (2017) 259-271(13).
LibreCat | Files available | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 1069
Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine ökonomische Analyse
H.C. Petersen, Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine ökonomische Analyse, Universität Paderborn, 2017.
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 1070
Zu den Anreizwirkungen der Kronzeugenregelung - Eine spieltheoretische Analyse
A. Turan, Zu den Anreizwirkungen der Kronzeugenregelung - Eine spieltheoretische Analyse, Universität Paderborn, 2017.
LibreCat
 

Filters and Search Terms

isbn%3D978-1-61197-287-0

Search

Filter Publications

Display / Sort

Export / Embed