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.

1135 Publications


2014 | Journal Article | LibreCat-ID: 3167
S. Schneider, H. Treharne, and H. Wehrheim, “The behavioural semantics of Event-B refinement,” Formal Asp. Comput., no. 2, pp. 251--280, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3174
S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} properties in Event-B refinement,” CoRR, 2014.
LibreCat
 

2014 | Working Paper | LibreCat-ID: 3085
H. Schmitz and M. Stroka, Do elderly choose nursing homes by quality, price or location?, vol. 495. 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2708
P. Herrmann, “The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience,” presented at the Workshop on Information Systems & Economics (WISE), Auckland, Neuseeland, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2715
T. Görzen, D. Kundisch, C. Ottensmann, and A. Haubrock, “Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet,” in Proceedings of the European Electric Vehicle Congress (EEVC), Brussels, Belgium, 2014.
LibreCat
 

2014 | Mastersthesis | LibreCat-ID: 415
S. Vijapurwala, Handling Incomplete Service Specifications using Fuzzy Matching. Universität Paderborn, 2014.
LibreCat
 

2014 | Mastersthesis | LibreCat-ID: 422
M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 388
T. Kenter, G. F. Vaz, and C. Plessl, “Partitioning and Vectorizing Binary Applications for a Reconfigurable Vector Computer,” in Proceedings of the International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC), 2014, vol. 8405, pp. 144–155.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 3890
M. Hammer, “Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver,” Optics Communications, vol. 338, pp. 447–456, 2014.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 390
Z. Huma, C. Gerth, and G. Engels, “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains,” Computer Science - Research and Development, no. 3–4, pp. 333–361, 2014.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 3939
A. Hildebrandt, M. Reichelt, T. Meier, and J. Förstner, “Engineering plasmonic and dielectric directional nanoantennas,” in Ultrafast Phenomena and Nanophotonics XVIII, 2014, pp. 89841G-8941G–6.
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 3941
S. Declair and J. Förstner, “Simulation of Planar Photonic Resonators,” in Handbook of Optical Microcavities, vol. Kapitel 2, A. H. W. Choi, Ed. Pan Stanford Publishing Pte. Ltd., 2014.
LibreCat | Files available
 

2014 | Bachelorsthesis | LibreCat-ID: 340
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 3439
B. Klör, S. Bräuer, D. Beverungen, and M. Matzner, “IT-basierte Dienstleistungen für die Elektromobilität --- Konzeptioneller Rahmen und Literaturanalyse,” in Proceedings of the Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014), Paderborn, 2014, pp. 2047--2066.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 345
A. Jungmann and B. Kleinjohann, “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing,” in Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 3491
J. Becker, D. Beverungen, R. Knackstedt, H. Peter Rauer, and D. Sigge, “On the Ontological Expressiveness of Conceptual Modeling Grammars for Service Productivity Management,” Information Systems and e-Business Management, no. 3, pp. 337--365, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 364
S. Arifulina, M. Becker, M. C. Platenius, and S. Walther, “SeSAME: Modeling and Analyzing High-Quality Service Compositions,” in Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–842.
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 3667
C. Harteis and J. Bauer, “Learning from errors at work,” in International handbook of research in professional and practice-based learning, S. Billett, C. Harteis, and H. Gruber, Eds. 2014, pp. 699--732.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 3686
C. Harteis and M. Goller, “New skills for new jobs: Work agency as a necessary condition for successful lifelong learning,” in Promoting, assessing, recognizing and certifying lifelong learning, T. Halttunen, M. Koivisto, and S. Billett, Eds. Dordrecht: Springer, 2014, pp. 37--56.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 369
T. Rath, RSA-Full Domain Hash Revisited. Universität Paderborn, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 371
C. Scheideler, A. Setzer, and M. Eikel, “RoBuSt: A Crash-Failure-Resistant Distributed Storage System,” in Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 2014, pp. 107--122.
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 3718
C. Harteis, “Auswirkungen des Bologna-Prozesses: Eine Expertise der Hochschuldidaktik,” in Herausforderung kompetenzorientierte Hochschule, R. Arnold and K. Wolf, Eds. Hohengeheren: Schneider, 2014, pp. 189–211.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 403
T. Martin Lohre, Machtverteilungen von Koalitionen im Fokus der politischen Realität. Universität Paderborn, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 4052
D. J. As et al., “Spatially resolved optical emission of cubic GaN/AlN multi-quantum well structures,” MRS Proceedings, vol. 1736, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 4057
K. Brassat, C. Brodehl, M. Wahle, and J. Lindner, “Self-assembly for the directed self-assembly of smaller objects in a microfluidic channel,” presented at the MRS Materials Research Society Fall Meeting 2014, Boston (USA), 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 4064
L. Hiller, T. Stauden, R. M. Kemper, J. Lindner, D. J. As, and J. Pezoldt, “Hydrogen Effects in ECR-Etching of 3C-SiC(100) Mesa Structures,” Materials Science Forum, vol. 778–780, pp. 730–733, 2014.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 4069
R. M. Kemper et al., “STEM-CL investigations on the influence of stacking faults on the optical emission of cubic GaN epilayers and cubic GaN/AlN multi-quantum wells,” presented at the European Materials Research Society Spring Meeting 2014, Lille (France), 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 4076
T. Riedl and H. Wendrock, “Reliability of high-resolution electron backscatter diffraction determination of strain and rotation variations using phase-only and cross correlation,” Crystal Research and Technology, vol. 49, no. 4, pp. 195–203, 2014.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 408
M.-C. Jakobs, M. Platzner, T. Wiersema, and H. Wehrheim, “Integrating Software and Hardware Verification,” in Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), 2014, pp. 307–322.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 4083
J. Lindner, “Nanostrukturierte Oberflächen, nicht nur zum Spass,” presented at the Kolloquium der Friedrich-Schiller-Universität, Jena (Germany), 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 4088
D. Tophinke and M. Papenbrock, “‘Meine Styles sollen wie Schlachtschiffe wirken’ – Schrift aggressiv gestalten,” Praxis Deutsch, no. 246, pp. 26–30, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 410
A. Jungmann, S. Brangewitz, R. Petrlic, and M. C. Platenius, “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services,” International Journal On Advances in Intelligent Systems (IntSys), vol. 7, no. 3&4, pp. 572--594, 2014.
LibreCat | Files available | Download (ext.)
 

2014 | Dissertation | LibreCat-ID: 352
F. Scheel, The Economics of Individual Behavior in Competitive Environments: Empirical Evidence from Real-Life Tournaments. Universität Paderborn, 2014.
LibreCat | Files available
 

2014 | Bachelorsthesis | LibreCat-ID: 357
O. Ebel, Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten. Universität Paderborn, 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 333
S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn, 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 338
H. Beck, Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens. Universität Paderborn, 2014.
LibreCat
 

2014 | Dissertation | LibreCat-ID: 376
M. Herlich, Reducing Energy Consumption of Radio Access Networks. Universität Paderborn, 2014.
LibreCat | Files available
 

2014 | Conference Paper | LibreCat-ID: 383
D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs -- Approach and Applications,” in Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat | Files available | Download (ext.)
 

2014 | Conference Paper | LibreCat-ID: 439
G. F. Vaz, H. Riebler, T. Kenter, and C. Plessl, “Deferring Accelerator Offloading Decisions to Application Runtime,” in Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–8.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 441
C. Sorge and R. Petrlic, “Datenschutz im Future Internet: rechtliche Aspekte und technische Maßnahmen,” in Tagungsband des 17. Internationalen Rechtsinformatik Symposions, 2014.
LibreCat | Files available
 

2014 | Journal Article | LibreCat-ID: 4425
T. Brahm and T. Jenert, “Wissenschafts-Praxis-Kooperation in designbasierter Forschung: Im Spannungsfeld zwischen wissenschaftlicher Gültigkeit und praktischer Relevanz,” Zeitschrift für Berufs-und Wirtschaftspädagogik-Beihefte (ZBW-B), no. Band 27, pp. 45–62, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 446
A. Ogierman, A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “Competitive MAC under adversarial SINR,” in Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM), 2014, pp. 2751--2759.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 4470
T. Brahm, F. Zellweger, T. Jenert, and G. Thomann, “Developing study programs as a continuous task-the role of educational developers,” presented at the ICED 2014 : Educational Development in a Changing World, Stockholm, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 4475
A. Gebhardt and T. Jenert, “Transition within higher education institutions (HEI): Differences in learning culture (LC) between first-year, bachelor, and master students at a business school,” presented at the SIG4 Higher Education & SIG17 Qualitative and Quantitative Approaches to Learning and Instruction Earli SIG Conference 2014, Leuven, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 453
M. Feldotto, M. Gairing, and A. Skopalik, “Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria,” in Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 30–43.
LibreCat | Files available | DOI
 

2014 | Mastersthesis | LibreCat-ID: 427
B. Bulk, Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction. Universität Paderborn, 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 434
L. Luo, Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 4824
T. Wecker, F. Hörich, M. Feneberg, R. Goldhahn, D. Reuter, and D. J. As, “Structural and optical properties of MBE-grown asymmetric cubic GaN/AlxGa1-xN double quantum wells,” physica status solidi (b), vol. 252, no. 5, pp. 873–878, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 4850
A. Eggert, J. Hogreve, W. Ulaga, and E. Muenkhoff, “Revenue and profit implications of industrial service strategies,” Journal of Service Research, no. 1, pp. 23--39, 2014.
LibreCat
 

2014 | Mastersthesis | LibreCat-ID: 458
P. Dreimann, Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic. Universität Paderborn, 2014.
LibreCat
 

Filters and Search Terms

year=2014

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed