Publications

2018

• 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 others, 2018, Dresden: Technische Universität DresdenElectronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
• 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. (eds.). Springer, Berlin [u. a.], p. 78-93, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Forschen für die Baustelle 4.0 – Wie geht es in den nächsten Jahren weiter?Will, F., 2018, TASPO Garten-Design. p. 56-58Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, ChamElectronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• 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). p. 116-140, 25 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Frequency-Domain Investigation on the Neutron Noise in KWU PWRsViebach, M., Bernt, N., Lange, C., Hennig, D. & Hurtado Gutierrez, A., 2018Research output: Contribution to conferences > Paper
• From Display to Labelled Proofs for Tense LogicsCiabattoni, A., Lyon, T. & Ramanayake, R., 2018, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (eds.). Cham: Springer International Publishing AG, p. 120-139, 20 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• From Kratzenstein to the Soviet Vocoder: Some Results of a Historic Research Project in Speech TechnologyHoffmann, R., Birkholz, P., Gabriel, F. & Jäckel, R., 2018, Speech and Computer: 20th International Conference, SPECOM 2018, Leipzig, Germany, September 18–22, 2018, Proceedings. p. 215–225Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Fulcrum: Flexible network coding for heterogeneous devicesLucani, D. E., Pedersen, M. V., Ruano, D., Sorensen, C. W., Fitzek, F. H., Heide, J., Geil, O. & 2 others, 2018, In: IEEE access. 6, p. 77890-77910, 21 p., 8554264Electronic (full-text) versionResearch output: Contribution to journal > Research article