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. (2014). A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. {ACM} Trans. Comput. Log., (4), 31:1--31:37. https://doi.org/10.1145/2629496
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3171
Travkin, O., & Wehrheim, H. (2014). Handling {TSO} in Mechanized Linearizability Proofs. In E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings (pp. 132--147). https://doi.org/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. (2014). Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market. In Proceedings of the European Electric Vehicle Congress (EEVC). Brussels, Belgium.
LibreCat
 

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

2014 | Report | LibreCat-ID: 2731
Gries, T., Meierriecks, D., & Redlin, M. (2014). Providing aid to repressive terrorist source countries does not make the U.S. any safer.
LibreCat | Download (ext.)
 

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

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

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

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

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

2014 | Report | LibreCat-ID: 2825
Suhl, L., & Kundisch, D. (2014). Vorwort der Tagungsleitung.
LibreCat
 

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

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

2014 | Dissertation | LibreCat-ID: 431
Kling, P. (2014). Energy-efficient Scheduling Algorithms. Universität Paderborn.
LibreCat | Files available
 

2014 | Mastersthesis | LibreCat-ID: 436
Damschen, M. (2014). Easy-to-use on-the-fly binary program acceleration on many-cores. Universität Paderborn.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 412
Feldotto, M., Scheideler, C., & Graffi, K. (2014). 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) (pp. 1–10). https://doi.org/10.1109/P2P.2014.6934300
LibreCat | Files available | DOI | arXiv
 

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

2014 | Journal Article | LibreCat-ID: 328
Agne, A., Happe, M., Keller, A., Lübbers, E., Plattner, B., Platzner, M., & Plessl, C. (2014). ReconOS - An Operating System Approach for Reconfigurable Computing. IEEE Micro, 34(1), 60–71. https://doi.org/10.1109/MM.2013.110
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 3289
Gries, T. (2014). Low Carbon Economics - Theory and application. In X. Jinjun (Ed.), Low Carbon Economics (Vol. Chapter 22, pp. 361–382).
LibreCat
 

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

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed