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.

7891 Publications


2016 | Mastersthesis | LibreCat-ID: 181
Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen
S. Stanco, Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen, Universität Paderborn, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 1836
On the Runtime of Universal Coating for Programmable Matter
Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, in: DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, pp. 148--164.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 184
Learning to Aggregate Using Uninorms
V. Melnikov, E. Hüllermeier, in: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 186
Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in: U.Z. Jens Knoop (Ed.), Software Engineering 2016, 2016, pp. 17–18.
LibreCat | Files available
 

2016 | Report | LibreCat-ID: 221
An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)
M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G. Engels, W. Schäfer, An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3), Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 22107
Festigkeits- und leichtbauoptimierte Konstruktion und Auslegung eines additiv gefertigten Fahrradvorbaus
J.P. Brüggemann, W. Reschetnik, H.A. Richard, G. Kullmer, B. Schramm, in: Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 2016, pp. 290–300.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 22190
Extended Analysis of the Surface Topography of Laser Sintered Polymer Parts
P. Delfs, H.-J. Schmid, in: Fraunhofer Direct Digital Manufacturing Conference, 2016, pp. 411–414.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 222
An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip
T. Wiersema, A. Bockhorn, M. Platzner, Computers & Electrical Engineering (2016) 112--122.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 22200
Dimensional accuracy of polymer laser sintered parts: Influences and measures
S. Josupeit, P. Delfs, T. Lieneke, G. Adam, M. Gessler, H. Pfisterer, H.-J. Schmid, in: Rapid Tech - International Trade Show & Conference for Additive Manufacturing , 2016, pp. 107–120.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 224
A short survey on using software error localization for service compositions
J. Krämer, H. Wehrheim, in: Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.
LibreCat | Files available | DOI
 

2016 | Dissertation | LibreCat-ID: 22417
Optimierung von Planetengetriebemotoren - Einfluss des Übersetzungsverhältnisses auf das Kosten-, Gewichts-, Verlust-, Dynamik- und Zuverlässigkeitsverhalten von Planetengetriebemotoren
A.K. Kücükyavuz, Optimierung von Planetengetriebemotoren - Einfluss Des Übersetzungsverhältnisses Auf Das Kosten-, Gewichts-, Verlust-, Dynamik- Und Zuverlässigkeitsverhalten von Planetengetriebemotoren, Der Andere Verlag, 2016.
LibreCat
 

2016 | Dissertation | LibreCat-ID: 22418
Beitrag zur Reduzierung der Verluste von fluidabdichtenden Wellendichtsystemen
K. Nolte, Beitrag Zur Reduzierung Der Verluste von Fluidabdichtenden Wellendichtsystemen, Der Andere Verlag, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 225
A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality
A. Jungmann, B. Kleinjohann, in: Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, pp. 1--8.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 226
A Formal Approach to Error Localization and Correction in Service Compositions
J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 227
A CEGAR Scheme for Information Flow Analysis
M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
LibreCat | Files available | DOI
 

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

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

2016 | Conference Paper | LibreCat-ID: 217
Automatized Derivation of Comprehensive Specifications for Black-box Services
S. Schwichtenberg, in: Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 21702
Combining material efficiency and part reliability by product optimization applying additive manufacturing
T. Reiher, G. Deppe, R. Koch, in: International Conference Production Engineering and Management 2016, 2016, pp. 27–38.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 21705
Unterstützung des AM Entscheidungsprozesses in der Luftfahrtersatzteilversorgung
G. Deppe, R. Koch, in: Rapid Tech 2016, Hanser Verlag, 2016, pp. 349–360.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D978-3-540-44769-6

Search

Filter Publications

Display / Sort

Export / Embed