Publikationen

2018

• Flux-induced porous structures in Cu-SnAg solidliquid-interdiffusion microbump interconnectsMeyer, J., Upasani, P. J., Bickel, S., Panchenko, J. & Wolf, M. J., 2018Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Focusing through mouse skull using wavefront shapingKoukourakis, N., Kreysing, M. & Czarske, J., 2018, Proceedings: Biophotonics Congress: Biomedical Optics Congress 2018 (Microscopy/Translational/Brain/OTS). Optica Publishing Group (formerly OSA), JW3A.19Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• FOREL-Studie - Ressourceneffizienter Leichtbau für die Mobilität: Wandel, Prognose, TransferGude, M., Lieberwirth, H., Meschut, G., Tekkaya, E., Zäh, M., Stegelmann, M., Demnitz, K. & 1 weitere, 2018, Dresden: Technische Universität DresdenElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Monographie
• Formal Parameter Synthesis for Energy-Utility-Optimal Fault ToleranceHerrmann, L., Baier, C., Fetzer, C., Klüppelholz, S. & Napierkowski, M., 2018, Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Bakhshi, R., Ballarini, P., Barbot, B., Castel-Taleb, H. & Remke, A. (Hrsg.). Springer, Berlin [u. a.], S. 78-93, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, ProceedingsBaier, C. & Caires, L., 2018, Springer, Berlin [u. a.], 197 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Forschen für die Baustelle 4.0 – Wie geht es in den nächsten Jahren weiter?Will, F., 2018, TASPO Garten-Design. S. 56-58Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. ProceedingsBaier, C. & Dal Lago, U., 2018, Springer, ChamElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• FPGA vs. SIMD: Comparison for Main Memory-Based Fast Column Scan.Lisa, N. J., Ungethüm, A., Habich, D., Lehner, W., Nguyen, T. D. A. & Kumar, A., 2018, DATA (Revised Selected Papers). S. 116-140, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Frequency-Domain Investigation on the Neutron Noise in KWU PWRsViebach, M., Bernt, N., Lange, C., Hennig, D. & Hurtado Gutierrez, A., 2018Publikation: Beitrag zu Konferenzen > Paper
• From Display to Labelled Proofs for Tense LogicsCiabattoni, A., Lyon, T. & Ramanayake, R., 2018, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (Hrsg.). Cham: Springer International Publishing AG, S. 120-139, 20 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband