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, Gerhard, et al. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.” {ACM} Trans. Comput. Log., no. 4, 2014, pp. 31:1--31:37, doi:10.1145/2629496.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3171
Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability Proofs.” Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 2014, pp. 132--147, doi:10.1007/978-3-319-13338-6_11.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 2717
Weskamp, Christoph, et al. “Towards a Simulation-Based Approach for Evaluating Business Models for the Electric Vehicle Market.” Proceedings of the European Electric Vehicle Congress (EEVC), 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2729
Dimant, Eugen, et al. “A Crook Is a Crook … But Is He Still a Crook Abroad? On the Effect of Immigration on Destination-Country Corruption.” German Economic Review, vol. 16, no. 4, Wiley-Blackwell, 2014, pp. 464–89, doi:10.1111/geer.12064.
LibreCat | DOI
 

2014 | Report | LibreCat-ID: 2731
Gries, Thomas, et al. 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, Sonja, and Jan-Philip Gamp. “Competitive Outcomes and the Inner Core of NTU Market Games.” Economic Theory, vol. 57, no. 3, Springer Nature, 2014, pp. 529–54, doi:10.1007/s00199-014-0846-7.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 2623
Herrmann, Philipp, et al. “Beating Irrationality: Does Delegating to IT Alleviate the Sunk Cost Effect?” Management Science, vol. 64, no. 4, 2014, pp. 831–50.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2743
Beutner, Marc, et al. “Evaluation von Lerndesigns mit einem webbasierten Classroom Response System in der universitären Lehre.” Proceedings of the 12. e-Learning Fachtagung Informatik, edited by S. Trahasch, no. P-233, GI, 2014, pp. 121–26.
LibreCat
 

2014 | Conference Abstract | LibreCat-ID: 2748
Zoyke, A., et al. “Webbasierte Classroom Response Systeme in Der Hochschullehre - Eine Eimpirische Fallstudie Zur Unterstützung von Lehr-/Lernprozessen Aus Studierendensicht.” 43. Dghd Jahrestagung, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2750
Heinrich, B., et al. “Analyzing Risk Interaction Effects among IT Projects Based on Modern Portfolio Theory.” Tagungsband Der Multikonferenz Wirtschaftsinformatik 2014 (MKWI), Universität Paderborn, 2014, pp. 1392–403.
LibreCat
 

2014 | Report | LibreCat-ID: 2825
Suhl, Leena, and Dennis Kundisch. Vorwort Der Tagungsleitung. 2014.
LibreCat
 

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

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

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

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

2014 | Conference Paper | LibreCat-ID: 412
Feldotto, Matthias, et al. “HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths.” Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 2014, pp. 1–10, doi:10.1109/P2P.2014.6934300.
LibreCat | Files available | DOI | arXiv
 

2014 | Conference Paper | LibreCat-ID: 417
Besova, Galina, et al. “Grammar-Based Model Transformations.” Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–10, doi:10.1016/j.cl.2015.05.003.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 328
Agne, Andreas, et al. “ReconOS - An Operating System Approach for Reconfigurable Computing.” IEEE Micro, vol. 34, no. 1, IEEE, 2014, pp. 60–71, doi:10.1109/MM.2013.110.
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 3289
Gries, Thomas. “Low Carbon Economics - Theory and Application.” Low Carbon Economics , edited by Xue Jinjun, vol. Chapter 22, 2014, pp. 361–82.
LibreCat
 

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

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed