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.

14318 Publications


2014 | Journal Article | LibreCat-ID: 3169
Schellhorn G, Derrick J, Wehrheim H. A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. {ACM} Trans Comput Log. 2014;(4):31:1--31:37. doi:10.1145/2629496
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3171
Travkin O, Wehrheim H. Handling {TSO} in Mechanized Linearizability Proofs. In: Yahav E, ed. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:132--147. doi:10.1007/978-3-319-13338-6_11
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 2717
Weskamp C, John T, Suhl L, Kundisch D, Teetz A, Rose M. Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market. In: Proceedings of the European Electric Vehicle Congress (EEVC). ; 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2729
Dimant E, Krieger T, Redlin M. A Crook is a Crook … But is He Still a Crook Abroad? On the Effect of Immigration on Destination-Country Corruption. German Economic Review. 2014;16(4):464-489. doi:10.1111/geer.12064
LibreCat | DOI
 

2014 | Report | LibreCat-ID: 2731
Gries T, Meierriecks D, Redlin M. Providing Aid to Repressive Terrorist Source Countries Does Not Make the U.S. Any Safer.; 2014.
LibreCat | Download (ext.)
 

2014 | Journal Article | LibreCat-ID: 2522
Brangewitz S, Gamp J-P. Competitive outcomes and the inner core of NTU market games. Economic Theory. 2014;57(3):529-554. doi:10.1007/s00199-014-0846-7
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 2623
Herrmann P, Kundisch D, Rahman M. Beating Irrationality: Does Delegating to IT Alleviate the Sunk Cost Effect? Management Science. 2014;64(4):831-850.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2743
Beutner M, Kundisch D, Magenheim J, Neugebauer J, Zoyke A. Evaluation von Lerndesigns mit einem webbasierten Classroom Response System in der universitären Lehre. In: Trahasch S, ed. Proceedings of the 12. e-Learning Fachtagung Informatik. Lecture Notes in Informatics (LNI). Freiburg: GI; 2014:121-126.
LibreCat
 

2014 | Conference Abstract | LibreCat-ID: 2748
Zoyke A, Beutner M, Magenheim J, Kundisch D, Herrmann P, Reinhardt W. Webbasierte Classroom Response Systeme in der Hochschullehre - eine eimpirische Fallstudie zur Unterstützung von Lehr-/Lernprozessen aus Studierendensicht. In: 43. Dghd Jahrestagung. ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2750
Heinrich B, Kundisch D, Zimmermann S. Analyzing Risk Interaction Effects among IT Projects based on Modern Portfolio Theory. In: Tagungsband Der Multikonferenz Wirtschaftsinformatik 2014 (MKWI). Paderborn: Universität Paderborn; 2014:1392-1403.
LibreCat
 

2014 | Report | LibreCat-ID: 2825
Suhl L, Kundisch D. Vorwort Der Tagungsleitung.; 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 424
Finkensiep C. Fast and Flexible Automatic Composition of Semantic Web Services. Universität Paderborn; 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 429
Herbort M. Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters. Universität Paderborn; 2014.
LibreCat
 

2014 | Dissertation | LibreCat-ID: 431
Kling P. Energy-Efficient Scheduling Algorithms. Universität Paderborn; 2014.
LibreCat | Files available
 

2014 | Mastersthesis | LibreCat-ID: 436
Damschen M. Easy-to-Use on-the-Fly Binary Program Acceleration on Many-Cores. Universität Paderborn; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 412
Feldotto M, Scheideler C, Graffi K. HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths. In: Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P). ; 2014:1-10. doi:10.1109/P2P.2014.6934300
LibreCat | Files available | DOI | arXiv
 

2014 | Conference Paper | LibreCat-ID: 417
Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). ; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 328
Agne A, Happe M, Keller A, et al. ReconOS - An Operating System Approach for Reconfigurable Computing. IEEE Micro. 2014;34(1):60-71. doi:10.1109/MM.2013.110
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 3289
Gries T. Low Carbon Economics - Theory and application. In: Jinjun X, ed. Low Carbon Economics . Vol Chapter 22. ; 2014:361-382.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 330
Drigalsky L. Zur Ausbreitung und Behinderung von Epidemien - Eine Netzwerkanalyse. Universität Paderborn; 2014.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed