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.

13895 Publications


2014 | Journal Article | LibreCat-ID: 1858
SKIP*: A Self-Stabilizing Skip Graph
R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, J. ACM (2014) 36:1--36:26.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 2039
Grenzen der Logik
D. Krimphove, Rechtstheorie (2014) 315 – 339.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2976
Analysis of Agglomerative Clustering
M.R. Ackermann, J. Blömer, D. Kuntze, C. Sohler, Algorithmica 69 (2014).
LibreCat | DOI
 

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
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed