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.

17338 Publications


2014 | Journal Article | LibreCat-ID: 3174
Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” CoRR, 2014.
LibreCat
 

2014 | Working Paper | LibreCat-ID: 3085
Schmitz, Hendrik, and Magdalena Stroka. Do Elderly Choose Nursing Homes by Quality, Price or Location? Vol. 495, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2708
Herrmann, Philipp. The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience. 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2715
Görzen, Thomas, et al. “Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet.” Proceedings of the European Electric Vehicle Congress (EEVC), 2014.
LibreCat
 

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

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

2014 | Conference Paper | LibreCat-ID: 388
Kenter, Tobias, et al. “Partitioning and Vectorizing Binary Applications for a Reconfigurable Vector Computer.” Proceedings of the International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC), vol. 8405, Springer International Publishing, 2014, pp. 144–55, doi:10.1007/978-3-319-05960-0_13.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 3890
Hammer, Manfred. “Oblique Incidence of Semi-Guided Waves on Rectangular Slab Waveguide Discontinuities: A Vectorial QUEP Solver.” Optics Communications, vol. 338, Elsevier BV, 2014, pp. 447–56, doi:10.1016/j.optcom.2014.09.087.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 390
Huma, Zille, et al. “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains.” Computer Science - Research and Development, no. 3–4, Springer, 2014, pp. 333–61, doi:10.1007/s00450-014-0254-z.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 3939
Hildebrandt, Andre, et al. “Engineering Plasmonic and Dielectric Directional Nanoantennas.” Ultrafast Phenomena and Nanophotonics XVIII, edited by Markus Betz et al., SPIE, 2014, pp. 89841G-8941G – 6, doi:10.1117/12.2036588.
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 3941
Declair, Stefan, and Jens Förstner. “Simulation of Planar Photonic Resonators.” Handbook of Optical Microcavities, edited by Anthony H.W. Choi, vol. Kapitel 2, Pan Stanford Publishing Pte. Ltd., 2014.
LibreCat | Files available
 

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

2014 | Conference Paper | LibreCat-ID: 3439
Klör, Benjamin, et al. “IT-Basierte Dienstleistungen Für Die Elektromobilität --- Konzeptioneller Rahmen Und Literaturanalyse.” Proceedings of the Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014), 2014, pp. 2047--2066.
LibreCat
 

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

2014 | Journal Article | LibreCat-ID: 3491
Becker, Jörg, et al. “On the Ontological Expressiveness of Conceptual Modeling Grammars for Service Productivity Management.” Information Systems and E-Business Management, no. 3, 2014, pp. 337--365, doi:10.1007/s10257-013-0219-y.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 364
Arifulina, Svetlana, et al. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.” Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–42, doi:10.1145/2642937.2648621.
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 3667
Harteis, Christian, and Johannes Bauer. “Learning from Errors at Work.” International Handbook of Research in Professional and Practice-Based Learning, edited by Stephen Billett et al., 2014, pp. 699--732.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 3686
Harteis, Christian, and Michael Goller. “New Skills for New Jobs: Work Agency as a Necessary Condition for Successful Lifelong Learning.” Promoting, Assessing, Recognizing and Certifying Lifelong Learning, edited by Timo Halttunen et al., Springer, 2014, pp. 37--56.
LibreCat
 

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

2014 | Conference Paper | LibreCat-ID: 371
Scheideler, Christian, et al. “RoBuSt: A Crash-Failure-Resistant Distributed Storage System.” Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 2014, pp. 107--122, doi:10.1007/978-3-319-14472-6_8.
LibreCat | Files available | DOI
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed