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.

655 Publications


2012 | Conference Paper | LibreCat-ID: 590
Predicate Analysis with Block-Abstraction Memoization
D. Wonisch, H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–347.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 608
Heuristic-Guided Abstraction Refinement for Concurrent Systems
N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
LibreCat | Files available | DOI
 

2012 | Mastersthesis | LibreCat-ID: 610
Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis
M. Mohr, Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis, Universität Paderborn, 2012.
LibreCat | Files available
 

2012 | Journal Article | LibreCat-ID: 6102
Das Cranet-Projekt: Kreuzkulturelle Vergleiche im HR-Management.
H. Steinmetz, C. Schwens, M. Wehner, R. Kabst, PERSONALquartely 64 (2012) 34–39.
LibreCat
 

2012 | Book | LibreCat-ID: 6138
Einführung in die Betriebswirtschaftslehre
W. Weber, R. Kabst, Einführung in Die Betriebswirtschaftslehre, 8th ed., Wiesbaden, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 615
Eight Ways to put your FPGA on Fire – A Systematic Study of Heat Generators
M. Happe, H. Hangmann, A. Agne, C. Plessl, in: Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8.
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 5508
Der Personalverantwortliche als strategischer Partner: Persönliche Einstellung oder subjektive Norm?
M.C. Wehner, R. Kabst, M. Meifert, L.M. Cunz, Zeitschrift Für Betriebswirtschaft (ZfB). 82 (2012) 913–933.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 5510
Evaluating Major Human Resource Information Systems Design Characteristics: An Empirical Analysis.
S. Strohmeier, R. Kabst, International Journal of Business Information Systems (IJBIS). 9 (2012) 328–342.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 634
Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen
J. Kratzmann, Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen, Universität Paderborn, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 639
A UML-based Rich Service Description for Automatic Service Discovery
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
LibreCat | Files available
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed