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.

16994 Publications


2014 | Journal Article | LibreCat-ID: 3175
Proof-Carrying Hardware via {IC3}
T. Isenberg, H. Wehrheim, CoRR (2014).
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2709
Too Much of a Good Thing? Welfare Consequences of Market Transparency
Y. Gu, B. Hehenkamp, Journal of Institutional and Theoretical Economics JITE 170 (2014) 225–248.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 2627
Geschäftsmodelle - Eine Forschungsagenda für die Wirtschaftsinformatik
D. Veit, E. Clemons, A. Buxmann, T. Hess, D. Kundisch, J.-M. Leimeister, P. Loos, M. Spann, Wirtschaftsinformatik 56 (2014) 55–64.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2742
Support, Supervision, Feedback and Lecturers Role in the use of the Classroom Response Systems PINGO
M. Beutner, D. Kundisch, J. Magenheim, A. Zoyke, in: Proceedings of the E-LEARN 2014 - World Conference on E-Learning, 2014.
LibreCat
 

2014 | Report | LibreCat-ID: 2824
Should I Stay or Should I Go - Herausforderungen und Chancen eines Wechsels zwischen Hochschulsystemen
T. Eymann, D. Kundisch, J. Recker, Should I Stay or Should I Go - Herausforderungen und Chancen eines Wechsels zwischen Hochschulsystemen, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 377
Reconstructing AES Key Schedules from Decayed Memory with FPGAs
H. Riebler, T. Kenter, C. Plessl, C. Sorge, in: Proceedings of Field-Programmable Custom Computing Machines (FCCM), IEEE, 2014, pp. 222–229.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 353
Template-based Generation of Semantic Services
F. Mohr, S. Walther, in: Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203.
LibreCat | Files available | DOI
 

2014 | Dissertation | LibreCat-ID: 358
Strategic and Cooperative Games in Network Economics
N. Röhl, Strategic and Cooperative Games in Network Economics, Universität Paderborn, 2014.
LibreCat | Files available
 

2014 | Conference Paper | LibreCat-ID: 360
Specifying and Placing Chains of Virtual Network Functions
S. Dräxler, M. Keller, H. Karl, in: Proceedings of the 3rd International Conference on Cloud Networking (CloudNet), 2014, pp. 7–13.
LibreCat | Files available | DOI
 

2014 | Mastersthesis | LibreCat-ID: 411
Improving Service Specifications for the Service Matching on a Service Market
V. Taherinajafabadi, Improving Service Specifications for the Service Matching on a Service Market, Universität Paderborn, 2014.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed