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.

17249 Publications


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
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed