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.

7318 Publications


2016 | Conference Paper | LibreCat-ID: 226
Krämer J, Wehrheim H. A Formal Approach to Error Localization and Correction in Service Compositions. In: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016). LNCS. ; 2016:445--457. doi:10.1007/978-3-319-50230-4_35
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 227
Töws M, Wehrheim H. A CEGAR Scheme for Information Flow Analysis. In: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016). LNCS. ; 2016:466--483. doi:10.1007/978-3-319-47846-3_29
LibreCat | Files available | DOI
 

2016 | Mastersthesis | LibreCat-ID: 2271
Hesso A. Die Rolle der Reputation: Die Entstehung, der Aufbau, die Messung und die Auswirkung der Reputation auf Kunden und Unternehmen. Universität Paderborn; 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 22872
Westermann M, Anacker H, Dumitrescu R, Czaja AM. Reference Architecture and Maturity Levels for Cyber-Physical Systems. In: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016. ; 2016.
LibreCat
 

2016 | Book | LibreCat-ID: 21698
Lindemann C, Deppe G, Koch R. Scenario Based Outlook of Additive Manufacturing Applications for the Aerospace Market. Metropolis Verlag; 2016.
LibreCat
 

2016 | Book | LibreCat-ID: 21699
Jahnke U, Koch R. Prevention of Product Piracy - Potentials of Additive Manufacturing. Metropolis Verlag; 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 217
Schwichtenberg S. Automatized Derivation of Comprehensive Specifications for Black-box Services. In: Proceedings of the 38th International Conference on Software Engineering Companion (ICSE). ; 2016:815-818. doi:10.1145/2889160.2889271
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 218
Jungmann A, Kleinjohann B. Automatic Composition of Service-based Image Processing Applications. In: Proceedings of the 13th IEEE International Conference on Services Computing (SCC). ; 2016:106--113. doi:10.1109/SCC.2016.21
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 219
Jazayeri B. Architectural Management of On-The-Fly Computing Markets. In: Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops). Copenhagen, Denmark: ACM; 2016:42. doi:10.1145/2993412.3010821
LibreCat | Files available | DOI
 

2016 | Book | LibreCat-ID: 21904
Rumlich D. Evaluating Bilingual Education in Germany: CLIL Students’ General English Proficiency, EFL Self-Concept and Interest. Lang; 2016.
LibreCat
 

2016 | Dissertation | LibreCat-ID: 220
Keller M. Application Deployment at Distributed Clouds. Universität Paderborn; 2016.
LibreCat | Files available
 

2016 | Journal Article | LibreCat-ID: 22025
Moritzer E, Hirsch A, Günther K, et al. Universelle Mikrobearbeitungsplaffform und Basistechnologien für das Fertigen und Markieren mikrophysiologischer Systeme. 6 Dresdner Medizintechnik-Symposium, Biomedizinische Technik - interdisziplinär, integrativ und innovativ. 2016;6:65-70.
LibreCat
 

2016 | Conference (Editor) | LibreCat-ID: 7758
Van Gorp P, Engels G, eds. Theory and Practice of Model Transformations - 9th International Conference ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings. Vol 9765. Springer; 2016.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 5762
Strothmann TF. The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Tree. Journal of Graph Algorithms and Applications. 2016;20(1):79-100. doi:10.7155/jgaa.00385
LibreCat | Files available | DOI
 

2016 | Journal Article | LibreCat-ID: 7054
Schuster J, Kim TY, Batke E, Reuter D, Wieck AD. Electric field distribution and exciton recombination line shape in GaAs. Materials Research Express. 2016;3(5). doi:10.1088/2053-1591/3/5/056201
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 726
Wette P, Karl H. DCT2Gen: A traffic generator for data centers. Computer Communications. 2016:45--58. doi:10.1016/j.comcom.2015.12.001
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 730 | OA
Peuster M, Karl H. Understand Your Chains: Towards Performance Profile-Based Network Service Management. In: Fifth European Workshop on Software-Defined Networks, EWSDN 2016, Den Haag, The Netherlands, October 10-11, 2016. ; 2016:7--12. doi:10.1109/EWSDN.2016.9
LibreCat | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 731
Peuster M, Karl H, Enrico Redondi A, Capone A. Demonstrating on-demand cell switching with a two-layer mobile network testbed. In: IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2016, San Francisco, CA, USA, April 10-14, 2016. ; 2016:1015--1016. doi:10.1109/INFCOMW.2016.7562232
LibreCat | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 738 | OA
Peuster M, Karl H, van Rossem S. MeDICINE: Rapid Prototyping of Production-Ready Network Services in Multi-PoP Environments. In: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN). ; 2016. doi:10.1109/NFV-SDN.2016.7919490
LibreCat | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 7540
Meise B, Mexin Y, Schloots FM, Senft B, Wawilow A. Interdisziplinäre Forschung als Basis nachhaltiger Entscheidungsprozesse in der Softwareentwicklung. In: Konferenzband: 1. Interdisziplinären Konferenz Zur Zukunft Der Wertschöpfung. Wulfsberg, Jens (Hrsg.) ; Univ. der Bundeswehr Hamburg, Laboratorium Fertigungstechnik; 2016:14-15.
LibreCat
 

Filters and Search Terms

isbn%3D978-1-467303-12-5

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed