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
Managing {LTL} properties in Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
LibreCat
 

2014 | Working Paper | LibreCat-ID: 3085
Do elderly choose nursing homes by quality, price or location?
H. Schmitz, M. Stroka, Do Elderly Choose Nursing Homes by Quality, Price or Location?, 2014.
LibreCat
 
 

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

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

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

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

2014 | Journal Article | LibreCat-ID: 3890 LibreCat | Files available | DOI
 

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

2014 | Conference Paper | LibreCat-ID: 3939
Engineering plasmonic and dielectric directional nanoantennas
A. Hildebrandt, M. Reichelt, T. Meier, J. Förstner, in: M. Betz, A.Y. Elezzabi, J.-J. Song, K.-T. Tsen (Eds.), Ultrafast Phenomena and Nanophotonics XVIII, SPIE, 2014, pp. 89841G-8941G–6.
LibreCat | Files available | DOI
 

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

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

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

2014 | Conference Paper | LibreCat-ID: 345
Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
A. Jungmann, B. Kleinjohann, 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
On the Ontological Expressiveness of Conceptual Modeling Grammars for Service Productivity Management
J. Becker, D. Beverungen, R. Knackstedt, H. Peter Rauer, D. Sigge, Information Systems and E-Business Management (2014) 337--365.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 364
SeSAME: Modeling and Analyzing High-Quality Service Compositions
S. Arifulina, M. Becker, M.C. Platenius, S. Walther, 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
Learning from errors at work
C. Harteis, J. Bauer, in: S. Billett, C. Harteis, H. Gruber (Eds.), International Handbook of Research in Professional and Practice-Based Learning, 2014, pp. 699--732.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 3686
New skills for new jobs: Work agency as a necessary condition for successful lifelong learning
C. Harteis, M. Goller, in: T. Halttunen, M. Koivisto, S. Billett (Eds.), Promoting, Assessing, Recognizing and Certifying Lifelong Learning, Springer, Dordrecht, 2014, pp. 37--56.
LibreCat
 

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

2014 | Conference Paper | LibreCat-ID: 371
RoBuSt: A Crash-Failure-Resistant Distributed Storage System
C. Scheideler, A. Setzer, M. Eikel, 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: Default

Export / Embed