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.

11562 Publications


2017 | Conference Abstract | LibreCat-ID: 52
Towards Explaining the Popularity of the Business Model Canvas: A Dual-coding Approach
T. John, D. Szopinski, in: 1st Business Model Conference, 2017.
LibreCat | Files available
 

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.)
 

2017 | Journal Article | LibreCat-ID: 5209
Computation on Encrypted Data using Data Flow Authentication
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, CoRR abs/1710.00390 (2017).
LibreCat | Files available | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 53
The Traveling Reviewer Problem – Exploring the Relationship Between Offline Locations and Online Rating Behavior
J. Neumann, D. Gutt, D. Kundisch, in: Proceedings of the 38th International Conference on Information Systems (ICIS), 2017.
LibreCat | Files available
 

2017 | Conference Abstract | LibreCat-ID: 54
The Traveling Reviewer Problem – Exploring the Relationship between Offline Locations and Online Rating Behavior
J. Neumann, D. Gutt, D. Kundisch, in: INFORMS Annual Meeting, 2017.
LibreCat | Files available
 

2017 | Conference Paper | LibreCat-ID: 55
The Mobile Server Problem
B. Feldkord, F. Meyer auf der Heide, in: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 313–319.
LibreCat | Files available | DOI
 

2017 | Conference Abstract | LibreCat-ID: 56
Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory
T. John, in: 1st Business Model Conference, 2017.
LibreCat | Files available
 

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
 

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
 

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
 

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
 

2017 | Journal Article | LibreCat-ID: 6737
Visual Requirements Modeling for Cross-Device Systems
D. Wolters, C. Gerth, G. Engels, Computer Science and Information Systems (ComSIS) 14 (2017) 517–536.
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 6764
Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases
I. Jovanovikj, S. Sauer, Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF) 37 (2017) 50–51.
LibreCat
 

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 | 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: 695
On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen
J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen, Universität Paderborn, 2017.
LibreCat
 

Filters and Search Terms

isbn%3D978-1-931971-15-7

Search

Filter Publications

Display / Sort

Export / Embed