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.

17245 Publications

2016 | Conference Paper | LibreCat-ID: 3159
Towards a Thread-Local Proof Technique for Starvation Freedom
G. Schellhorn, O. Travkin, H. Wehrheim, in: M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
LibreCat | DOI

2016 | Journal Article | LibreCat-ID: 3161
Deriving approximation tolerance constraints from verification runs
T. Isenberg, M.-}Christine Jakobs, F. Pauck, H. Wehrheim, CoRR (2016).

2016 | Journal Article | LibreCat-ID: 4239
Identification of ferroelectric domain structure sensitive phonon modes in potassium titanyl phosphate: A fundamental study
M. Rüsing, C. Eigner, P. Mackwitz, G. Berth, C. Silberhorn, A. Zrenner, Journal of Applied Physics 119 (2016).
LibreCat | DOI

2016 | Journal Article | LibreCat-ID: 4246
Advanced optical manipulation of carrier spins in (In,Ga)As quantum dots
S. Varwig, E. Evers, A. Greilich, D.R. Yakovlev, D. Reuter, A.D. Wieck, T. Meier, A. Zrenner, M. Bayer, Applied Physics B 122 (2016).
LibreCat | DOI

2016 | Conference Paper | LibreCat-ID: 4462
Studienprogramm-Entwicklung in unterschiedlichen Spannungsfeldern
B. Dilger, T. Jenert, P.F.E. Sloane, in: 2016.

2016 | Journal Article | LibreCat-ID: 4690
The Role of Gender in Business Process Management Competence Supply
E. Gorbacheva, A. Stein, T. Schmiedel, O. Müller, Business and Information Systems Engineering (2016) 213--231.
LibreCat | DOI

2016 | Journal Article | LibreCat-ID: 4739
Can the CCCTB Alleviate Tax Discrimination against Loss-Making European Multinational Groups?
R. Ortmann, C. Sureth-Sloane, Journal of Business Economics 86 (2016) 441–475.
LibreCat | DOI

2016 | Journal Article | LibreCat-ID: 4929
Human resource management and radical innovation: a fuzzy-set QCA of US multinationals in Germany, Switzerland, and the UK
U. Backes-Gellner, M. Kluike, K. Pull, M. Schneider, S. Teuber, Journal of Business Economics (2016) 751--772.

2016 | Journal Article | LibreCat-ID: 4842
Understanding outcome-based contracts: benefits and risks from the buyers’ and sellers’ perspective
E. Boehm, C. Backhaus, A. Eggert, T. Cummins, Journal of Strategic Contracting and Negotiation (2016) 128--149.

2016 | Journal Article | LibreCat-ID: 4967 LibreCat

Filters and Search Terms



Filter Publications

Display / Sort

Export / Embed