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
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures
G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014) 31:1--31:37.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3171
Handling {TSO} in Mechanized Linearizability Proofs
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), 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
Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market
C. Weskamp, T. John, L. Suhl, D. Kundisch, A. Teetz, M. Rose, in: Proceedings of the European Electric Vehicle Congress (EEVC), 2014.
LibreCat
 

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

2014 | Report | LibreCat-ID: 2731
Providing aid to repressive terrorist source countries does not make the U.S. any safer
T. Gries, D. Meierriecks, 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
Competitive outcomes and the inner core of NTU market games
S. Brangewitz, J.-P. Gamp, Economic Theory 57 (2014) 529–554.
LibreCat | Files available | DOI
 

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

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

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

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

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

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

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

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

2014 | Mastersthesis | LibreCat-ID: 436
Easy-to-use on-the-fly binary program acceleration on many-cores
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
HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths
M. Feldotto, C. Scheideler, K. Graffi, 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
Grammar-based model transformations
G. Besova, D. Steenke, H. Wehrheim, 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
ReconOS - An Operating System Approach for Reconfigurable Computing
A. Agne, M. Happe, A. Keller, E. Lübbers, B. Plattner, M. Platzner, C. Plessl, IEEE Micro 34 (2014) 60–71.
LibreCat | Files available | DOI
 

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

2014 | Bachelorsthesis | LibreCat-ID: 330
Zur Ausbreitung und Behinderung von Epidemien - Eine Netzwerkanalyse
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

Export / Embed