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.

9734 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: 680 | OA
Directional Emission from Dielectric Leaky-Wave Nanoantennas
M. Peter, A. Hildebrandt, C. Schlickriede, K. Gharib, T. Zentgraf, J. Förstner, S. Linden, Nano Letters 17 (2017) 4178–4183.
LibreCat | Files available | 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 | Book Chapter | LibreCat-ID: 16461
Monitoring of Domain-Related Problems in Distributed Data Streams
P. Bemmann, F. Biermeier, J. Bürmann, A. Kemper, T. Knollmann, S. Knorr, N. Kothe, A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, J.S. Schaefer, J. Sundermeier, in: Structural Information and Communication Complexity, Cham, 2017.
LibreCat | DOI | arXiv
 

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-59593-694-3

Search

Filter Publications

Display / Sort

Export / Embed