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.

13722 Publications


2014 | Journal Article | LibreCat-ID: 3169
G. Schellhorn, J. Derrick, and H. Wehrheim, “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures,” {ACM} Trans. Comput. Log., no. 4, pp. 31:1--31:37, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3171
O. Travkin and H. Wehrheim, “Handling {TSO} in Mechanized Linearizability Proofs,” in Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 2717
C. Weskamp, T. John, L. Suhl, D. Kundisch, A. Teetz, and M. Rose, “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, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2729
E. Dimant, T. Krieger, and M. Redlin, “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, pp. 464–489, 2014.
LibreCat | DOI
 

2014 | Report | LibreCat-ID: 2731
T. Gries, D. Meierriecks, and M. Redlin, 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
S. Brangewitz and J.-P. Gamp, “Competitive outcomes and the inner core of NTU market games,” Economic Theory, vol. 57, no. 3, pp. 529–554, 2014.
LibreCat | Files available | DOI
 

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

2014 | Conference Paper | LibreCat-ID: 2743
M. Beutner, D. Kundisch, J. Magenheim, J. Neugebauer, and A. Zoyke, “Evaluation von Lerndesigns mit einem webbasierten Classroom Response System in der universitären Lehre,” in Proceedings of the 12. e-Learning Fachtagung Informatik, Freiburg, Germany, 2014, no. P-233, pp. 121–126.
LibreCat
 

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

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

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

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

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

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

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

2014 | Conference Paper | LibreCat-ID: 412
M. Feldotto, C. Scheideler, and K. Graffi, “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, pp. 1–10.
LibreCat | Files available | DOI | arXiv
 

2014 | Conference Paper | LibreCat-ID: 417
G. Besova, D. Steenke, and H. Wehrheim, “Grammar-based model transformations,” in Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.
LibreCat | Files available | DOI
 

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

2014 | Book Chapter | LibreCat-ID: 3289
T. Gries, “Low Carbon Economics - Theory and application,” in Low Carbon Economics , vol. Chapter 22, X. Jinjun, Ed. 2014, pp. 361–382.
LibreCat
 

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

Search

Filter Publications

Display / Sort

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

Export / Embed