en
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.
654 Publications
2012 | Conference Paper | LibreCat-ID: 590
Wonisch, Daniel, and Heike Wehrheim. “Predicate Analysis with Block-Abstraction Memoization.” In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 332–47. LNCS, 2012. https://doi.org/10.1007/978-3-642-34281-3_24.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 608
Timm, Nils, Heike Wehrheim, and Mike Czech. “Heuristic-Guided Abstraction Refinement for Concurrent Systems.” In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 348–63. LNCS, 2012. https://doi.org/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, C Schwens, M Wehner, and Rüdiger Kabst. “Das Cranet-Projekt: Kreuzkulturelle Vergleiche Im HR-Management.” PERSONALquartely 64, no. 1 (2012): 34–39.
LibreCat
2012 | Book | LibreCat-ID: 6138
Weber, W, and Rüdiger Kabst. Einführung in Die Betriebswirtschaftslehre. 8th ed. Wiesbaden, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 615
Happe, Markus, Hendrik Hangmann, Andreas Agne, and Christian Plessl. “Eight Ways to Put Your FPGA on Fire – A Systematic Study of Heat Generators.” In Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), 1–8. IEEE, 2012. https://doi.org/10.1109/ReConFig.2012.6416745.
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 5508
Wehner, M C, Rüdiger Kabst, M Meifert, and L M Cunz. “Der Personalverantwortliche Als Strategischer Partner: Persönliche Einstellung Oder Subjektive Norm?” Zeitschrift Für Betriebswirtschaft (ZfB). 82, no. 9 (2012): 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). 9, no. 3 (2012): 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, Christian Gerth, Gregor Engels, and Oliver Juwig. “A UML-Based Rich Service Description for Automatic Service Discovery.” In Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 90--97. CEUR Workshop Proceedings, 2012.
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, S. Rhode, and A. Zoyke. “Weiterbildung ‘Individuelle Förderung in der beruflichen Bildung’ - Entwicklungen und Implementation eines Blended Learning Ansatzes im Projekt InLab.” In Individuelle Förderung und berufliche Orientierung im berufsschulischen Übergangssystem - Ergebnisse aus dem Forschungs- und Entwicklungsprojekt InLab, edited by H.-Hugo Kremer, Marc Beutner, and A. Zoyke. Paderborn, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 5717
Schumann, Jan H, Nancy Wünderlich, and Marcus S Zimmer. “Culture’s Impact on Customer Motivation to Engage in Professional Service Enactments.” Schmalenbach Business Review 64, no. 2 (2012): 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, Gregor Engels, and Christian Soltenborn. “Coverage Criteria for Testing DMM Specifications.” In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Electronic Communications of the EASST, 2012. https://doi.org/10.14279/tuj.eceasst.47.718.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 627
Wonisch, Daniel. “Block Abstraction Memoization for CPAchecker.” In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 531–33. LNCS, 2012. https://doi.org/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.” Amsterdam, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 6291
Fischer, Holger Gerhard, Thomas Geis, Oliver Kluge, Christian Bogner, and Knut Polkehn. “Der Qualitätsstandard Für Usability Engineering Der German UPA – Aktueller Stand Der Arbeiten.” In Jahresband Usability Professionals, 160–65. German UPA, 2012.
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
2012 | Conference Paper | LibreCat-ID: 6056
Menke, Peter, and Philipp Cimiano. “Towards an Ontology of Categories for Multimodal Annotation.” In Proceedings of the Workshop “Describing Language Resources With Metadata” at Language Resources and Evaluation Conference (LREC) 2012, 49–54, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 5515
Wehner, M C, A Giardini, and Rüdiger Kabst. “Graduates’ Reactions to Recruitment Process Outsourcing: A Scenario-Based Study.” Human Resource Management. 51, no. 4 (2012): 601–23.
LibreCat
2012 | Journal Article | LibreCat-ID: 7302
Varwig, S., A. Schwan, D. Barmscheid, C. Müller, A. Greilich, I. A. Yugova, D. R. Yakovlev, Dirk Reuter, A. D. Wieck, and M. Bayer. “Hole Spin Precession in a (In,Ga)As Quantum Dot Ensemble: From Resonant Spin Amplification to Spin Mode Locking.” Physical Review B 86, no. 7 (2012). https://doi.org/10.1103/physrevb.86.075321.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7326
Bryja, L., J. Jadczak, A. Wójs, G. Bartsch, D. R. Yakovlev, M. Bayer, P. Plochocka, M. Potemski, Dirk Reuter, and A. D. Wieck. “Cyclotron-Resonant Exciton Transfer between the Nearly Free and Strongly Localized Radiative States of a Two-Dimensional Hole Gas in a High Magnetic Field.” Physical Review B 85, no. 16 (2012). https://doi.org/10.1103/physrevb.85.165308.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7338
Li, Yan, N. Sinitsyn, D. L. Smith, Dirk Reuter, A. D. Wieck, D. R. Yakovlev, M. Bayer, and S. A. Crooker. “Intrinsic Spin Fluctuations Reveal the Dynamical Response Function of Holes Coupled to Nuclear Spin Baths in (In,Ga)As Quantum Dots.” Physical Review Letters 108, no. 18 (2012). https://doi.org/10.1103/physrevlett.108.186603.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7340
Luckey, Markus, Martin Erwig, and Gregor Engels. “Systematic Evolution of Model-Based Spreadsheet Applications.” Journal of Visual Languages & Computing 23, no. 5 (2012): 267–86. https://doi.org/10.1016/j.jvlc.2011.11.009.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7345
Engels, Gregor, and Jon Whittle. “Ten Years of Software and Systems Modeling.” Software & Systems Modeling 11, no. 4 (2012): 463–65. https://doi.org/10.1007/s10270-012-0287-3.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7352
Geisen, Silke, and Baris Güldali. “Agiles Testen in Scrum – Testtypen Und Abläufe.” OBJEKTspektrum (Online Themenspecials), no. Agility/2012 (2012): 1–4.
LibreCat
2012 | Journal Article | LibreCat-ID: 6993
Büchter, K., D. Frommeberger, and H.-Hugo Kremer. “Akademisierung der Berufsbildung .” bwp@ Berufs- und Wirtschaftspädagogik - online, no. 23 (2012).
LibreCat
2012 | Book (Editor) | LibreCat-ID: 6753
Tönnies, Merle, Heike Buschmann, and Anglistik und Englischunterricht, eds. Spatial Representations of British Identities. Heidelberg: Winter, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 6784
Tönnies, Merle. “A Bricolage of Identities in Crisis. Colour Photography Documenting Northern England under Thatcher.” Facteurs d’Identité / Faktoren Der Identität, 2012, 301–23.
LibreCat
2012 | Conference Paper | LibreCat-ID: 6892
Krauter, Stefan, and o. Lang. “Suitable Test Procedure for Electrical Energy Storage in PV Operation Mode – Implementation and Implication.” In 7th International Renewable Energy Storage Conference (IRES 2012), Berlin (Germany), 12.-14. November 2012, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 6897
Krauter, Stefan. “Solar PV in Latin America.” PV Magazine April 2012, no. April (2012): 8.
LibreCat
2012 | Conference Paper | LibreCat-ID: 6905
Bendfeld, Jörg, Stefan Balluff, and Yassin Bouyraaman. “Analysis of Selected Offshore Fog Occurrences. .” In Proceedings of the DEWEK 2012, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 6912
Bendfeld, Jörg. “Determination of the Meteorological Optical Range in Offshore Conditions.” In Proceedings of the DEWEK 2012, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 7491
Kröger, Philipp, Marcel Ruth, Nils Weber, and Cedrik Meier. “Carrier Localization in ZnO Quantum Wires.” Applied Physics Letters 100, no. 26 (2012). https://doi.org/10.1063/1.4731767.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 7744
Eggert, A, I Garnefeld, and L Steinhoff. “Endowed Status in Hierarchical Loyalty Programs.” In 2012 AMA Winter Marketing Educators’ Proceedings, 2012.
LibreCat
2012 | Conference (Editor) | LibreCat-ID: 7763
Ehrig, Hartmut, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, eds. Graph Transformation - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings. Vol. 7562. LNCS. Springer, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 785
Blanckenstein, Johannes, Jirka Klaue, and Holger Karl. “Energy Efficient Clustering Using a Wake-up Receiver.” In European Wireless 2012 - 18th European Conference 2012, April 18-20, 2012, Poznan, Poland., 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 792
Volkhausen, Tobias, Kornelius Dridger, Hermann S. Lichte, and Holger Karl. “Efficient Cooperative Relaying in Wireless Multi-Hop Networks with Commodity WiFi Hardware.” In 10th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks (WiOpt), Paderborn, Germany, May 14-18, 2012, 299--304, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8475
Huma , Zille , Christian Gerth , Gregor Engels, and Oliver Juwig. “A UML-Based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners.” In Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 855:90--97. CEUR Workshop Proceedings. CEUR-WS.org, 2012. http://ceur-ws.org/Vol-855/paper11.pdf.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 8552
Biehler, Rolf, Axel Hoppenbrock, Juliane Klemm, Michael Liebendörfer, and Thomas Wassong. “Training of Student Teaching Assistants and E-Learning via Math-Bridge – Two Projects at the German Centre for Higher Mathematics Education.” In CETL-MSOR Conference 2011, 2012.
LibreCat
2012 | Misc | LibreCat-ID: 9733
Flotmann, Christina. Der Zauber Magischer Welten. Deutschlandfunk, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 9783
Bornmann, Peter, Tobias Hemsel, Walter Sextro, Takafumi Maeda, and Takeshi Morita. “Non-Perturbing Cavitation Detection / Monitoring in Sonochemical Reactors.” In Ultrasonics Symposium (IUS), 2012 IEEE International, 1141–44, 2012. https://doi.org/10.1109/ULTSYM.2012.0284.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 9788
Maeda, Takafumi, Peter Bornmann, Tobias Hemsel, and Takeshi Morita. “Piezoelectric Applications of Hydrothermal Lead-Free (K0.48Na0.52)NbO3 Ceramics.” In Ultrasonics Symposium (IUS), 2012 IEEE International, 194–95, 2012. https://doi.org/10.1109/ULTSYM.2012.0048.
LibreCat
| DOI
2012 | Patent | LibreCat-ID: 9790
Sextro, Walter, Matthias Hunstig, Peter Bornmann, and Tobias Hemsel. “Anordnung Und Verfahren Zur Mehrdimensionalen Messung von Schwingungen Eines Objekts. Patent - EN: Arrangement for Multidimensional Measurement of Oscillations of Object, Has Deflecting Units for Deflecting Beam Such That Measuring Point of Object Is Detectable with Beam from Spatial Directions or One of Spatial Directions,” 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 9670
Strauß, Sara. “Victorian Values in Nineteenth- and Twenty-First-Century Advertising and Consumer Practices.” In Anglistik & Englischunterricht. Victorian Structures of Feeling, n.d.
LibreCat
2012 | Book Chapter | LibreCat-ID: 9699
Strauß, Sara. “Facets of Children’s Fears in Twentieth- and Twenty-First-Century Stream-of-Consciousness Fiction.” In Who’s Afraid of...? Facets of Fear in Anglophone Literature and Film, edited by Marion Gymnich, 141–56. Bonn: V&R Unipress Bonn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 16591
Flasskamp, Kathrin, Todd Murphey, and Sina Ober-Blobaum. “Switching Time Optimization in Discretized Hybrid Dynamical Systems.” In 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 2012. https://doi.org/10.1109/cdc.2012.6426414.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16589
Flaskamp, K., and S. Ober-Blobaum. “Energy Efficient Control for Mechanical Systems Based on Inherent Dynamical Structures.” In 2012 American Control Conference (ACC), 2012. https://doi.org/10.1109/acc.2012.6314820.
LibreCat
| DOI