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.

14330 Publications


2014 | Journal Article | LibreCat-ID: 2088
Rechtliche Unterstützung für studierwil-lige Care-Leaver
D. Krimphove, Careleaver Deutschland (2014).
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 2867
Evaluierung von Initialisierungsmethoden für Fuzzy-k-means Algorithmen
M. Sauer, Evaluierung von Initialisierungsmethoden Für Fuzzy-k-Means Algorithmen, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 3168
Two approaches for proving linearizability of multiset
B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 297--314.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3170
Quiescent Consistency: Defining and Verifying Relaxed Linearizability
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat | DOI
 

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
 

2014 | Bachelorsthesis | LibreCat-ID: 416
Group Signature Schemes with Strong Exculpability
P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.
LibreCat
 

2014 | Mastersthesis | LibreCat-ID: 404
Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse
D. van Straaten, Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse, Universität Paderborn, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 4053 LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 4058
Double-Angle-Resolved Nanosphere Lithography
C. Brodehl, S. Greulich-Weber, J. Lindner, in: 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 4060
Fabrication of Arrays of Nanoparticles with Arbitrarily Designed Shape
C. Brodehl, S. Greulich-Weber, J. Lindner, in: 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 4072
Self-organized fabrication of periodic arrays of vertical, ultra-thin nanopillars on GaAs surfaces
T. Riedl, J. Lindner, Physica Status Solidi (A) 211 (2014) 2871–2877.
LibreCat | Files available | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: Default

Export / Embed