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).
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 4967 LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Export / Embed