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.

18381 Publications


2014 | Journal Article | LibreCat-ID: 1858
@article{Jacob_W. Richa_Scheideler_Schmid_Täubig_2014, title={SKIP*: A Self-Stabilizing Skip Graph}, DOI={10.1145/2629695}, number={6}, journal={J. ACM}, author={Jacob, Riko and W. Richa, Andrea and Scheideler, Christian and Schmid, Stefan and Täubig, Hanjo}, year={2014}, pages={36:1--36:26} }
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 2039
@article{Krimphove_2014, title={Grenzen der Logik }, number={Jg. 44}, journal={Rechtstheorie}, publisher={Dunker und Humblot}, author={Krimphove, Dieter}, year={2014}, pages={315 – 339} }
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2976
@article{Ackermann_Blömer_Kuntze_Sohler_2014, title={Analysis of Agglomerative Clustering}, volume={69}, DOI={10.1007/s00453-012-9717-4}, journal={Algorithmica}, publisher={Springer US}, author={Ackermann, Marcel Rudolf and Blömer, Johannes and Kuntze, Daniel and Sohler, Christian}, year={2014} }
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3169
@article{Schellhorn_Derrick_Wehrheim_2014, title={A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures}, DOI={10.1145/2629496}, number={4}, journal={{ACM} Trans. Comput. Log.}, author={Schellhorn, Gerhard and Derrick, John and Wehrheim, Heike}, year={2014}, pages={31:1--31:37} }
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3171
@inproceedings{Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Handling {TSO} in Mechanized Linearizability Proofs}, DOI={10.1007/978-3-319-13338-6_11}, booktitle={Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Yahav, EranEditor}, year={2014}, pages={132--147}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 2717
@inproceedings{Weskamp_John_Suhl_Kundisch_Teetz_Rose_2014, title={Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market}, booktitle={Proceedings of the European Electric Vehicle Congress (EEVC)}, author={Weskamp, Christoph and John, Thomas and Suhl, Leena and Kundisch, Dennis and Teetz, A. and Rose, M.}, year={2014} }
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2729
@article{Dimant_Krieger_Redlin_2014, title={A Crook is a Crook … But is He Still a Crook Abroad? On the Effect of Immigration on Destination-Country Corruption}, volume={16}, DOI={10.1111/geer.12064}, number={4}, journal={German Economic Review}, publisher={Wiley-Blackwell}, author={Dimant, Eugen and Krieger, Tim and Redlin, Margarete}, year={2014}, pages={464–489} }
LibreCat | DOI
 

2014 | Report | LibreCat-ID: 2731
@book{Gries_Meierriecks_Redlin_2014, series={USAPP– American Politics and Policy; London School of Economics.}, title={Providing aid to repressive terrorist source countries does not make the U.S. any safer}, author={Gries, Thomas and Meierriecks, Daniel and Redlin, Margarete}, year={2014}, collection={USAPP– American Politics and Policy; London School of Economics.} }
LibreCat | Download (ext.)
 

2014 | Journal Article | LibreCat-ID: 2522
@article{Brangewitz_Gamp_2014, title={Competitive outcomes and the inner core of NTU market games}, volume={57}, DOI={10.1007/s00199-014-0846-7}, number={3}, journal={Economic Theory}, publisher={Springer Nature}, author={Brangewitz, Sonja and Gamp, Jan-Philip}, year={2014}, pages={529–554} }
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 2623
@article{Herrmann_Kundisch_Rahman_2014, title={Beating Irrationality: Does Delegating to IT Alleviate the Sunk Cost Effect?}, volume={64}, number={4}, journal={Management Science}, author={Herrmann, Philipp and Kundisch, Dennis and Rahman, Mohammad}, year={2014}, pages={831–850} }
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed