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.

12442 Publications


2012 | Conference Paper | LibreCat-ID: 590
Wonisch, Daniel, and Heike Wehrheim. “Predicate Analysis with Block-Abstraction Memoization.” Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–47, doi:10.1007/978-3-642-34281-3_24.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 608
Timm, Nils, et al. “Heuristic-Guided Abstraction Refinement for Concurrent Systems.” Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–63, doi:10.1007/978-3-642-34281-3_25.
LibreCat | Files available | DOI
 

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

2012 | Journal Article | LibreCat-ID: 6102
Steinmetz, Holger, et al. “Das Cranet-Projekt: Kreuzkulturelle Vergleiche Im HR-Management.” PERSONALquartely, vol. 64, no. 1, 2012, pp. 34–39.
LibreCat
 

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

2012 | Conference Paper | LibreCat-ID: 615
Happe, Markus, et al. “Eight Ways to Put Your FPGA on Fire – A Systematic Study of Heat Generators.” Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8, doi:10.1109/ReConFig.2012.6416745.
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 5508
Wehner, M. C., et al. “Der Personalverantwortliche Als Strategischer Partner: Persönliche Einstellung Oder Subjektive Norm?” Zeitschrift Für Betriebswirtschaft (ZfB)., vol. 82, no. 9, 2012, pp. 913–33.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 5510
Strohmeier, S., and Rüdiger Kabst. “Evaluating Major Human Resource Information Systems Design Characteristics: An Empirical Analysis.” International Journal of Business Information Systems (IJBIS)., vol. 9, no. 3, 2012, pp. 328–42.
LibreCat
 

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

2012 | Conference Paper | LibreCat-ID: 639
Huma, Zille, et al. “A UML-Based Rich Service Description for Automatic Service Discovery.” Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
LibreCat | Files available
 

2012 | Mastersthesis | LibreCat-ID: 641
Schluessler, Jonathan. A Forensic Framework for Automatic Information Retrieval in Distributed Systems. Universität Paderborn, 2012.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 6412
Kremer, H. Hugo, et al. “Weiterbildung ‘Individuelle Förderung in der beruflichen Bildung’ - Entwicklungen und Implementation eines Blended Learning Ansatzes im Projekt InLab.” Individuelle Förderung und berufliche Orientierung im berufsschulischen Übergangssystem - Ergebnisse aus dem Forschungs- und Entwicklungsprojekt InLab, edited by H.-Hugo Kremer et al., 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 5717
Schumann, Jan H., et al. “Culture’s Impact on Customer Motivation to Engage in Professional Service Enactments.” Schmalenbach Business Review, vol. 64, no. 2, Springer, 2012, pp. 141–65.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 576
Schmitz, Henning. Stereo Matching on a Convey HC-1 Hybrid Core Computer. Universität Paderborn, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 622
Arifulina, Svetlana, et al. “Coverage Criteria for Testing DMM Specifications.” Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012, doi:10.14279/tuj.eceasst.47.718.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 627
Wonisch, Daniel. “Block Abstraction Memoization for CPAchecker.” Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–33, doi:10.1007/978-3-642-28756-5_41.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 6277
Kabst, Rüdiger. Endogeneity in the Behavioral Sciences: An Illustration with Real Data. 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 6291
Fischer, Holger Gerhard, et al. “Der Qualitätsstandard Für Usability Engineering Der German UPA – Aktueller Stand Der Arbeiten.” Jahresband Usability Professionals, German UPA, 2012, pp. 160–65.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 595
Mallmann Trenn, Frederik. On Scheduling with Multi-Core and Multi-Speed Processors Using Power Down. Universität Paderborn, 2012.
LibreCat
 

2012 | Report | LibreCat-ID: 603
Wette, Philip, and Holger Karl. Introducing Feedback to Preemptive Routing and Wavelength Assignment Algorithms for Dynamic Traffic Scenarios. Universität Paderborn, 2012.
LibreCat | Files available
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: MLA

Export / Embed