Publikationen

2018

• Preserving Constraints with the Stable ChaseCarral, D., Krötzsch, M., Marx, M., Ozaki, A. & Rudolph, S., 2018, 21st International Conference on Database Theory (ICDT 2018). S. 12:1-12:19Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Pressure-induced dimerization and valence bond crystal formation in the Kitaev-Heisenberg magnet α-RuCl₃Bastien, G., Garbarino, G., Yadav, R., Martinez-Casado, F., Beltrán Rodríguez, R., Stahl, Q., Kusch, M. & 13 weitere, 2018, in: Physical review. B. 97, 24, 241108Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Proceedings of the 14th International Workshop on Data Management on New Hardware, Houston, TX, USA, June 11, 2018Lehner, W. & Salem, K., 2018Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Proceedings of the International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES 2018, Torino, Italy, September 30 - October 05, 2018Mitra, T. & Kumar, A., 2018, Association for Computing Machinery (ACM), New York, (CASES)Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Sammelband
• Process development for the manufacture of fiber reinforced wood composites (FRWC)Bergner, K., Tosch, M., Zauer, M., Spickenheuer, H., Wagenführ, A. & Heinrich, G., 2018, in: Construction and Building MaterialsElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Production of rosewood substitute for fingerboards in electric bass guitarsZauer, M., Dietrich, T., Kirchner, R., Stonjek, H. & Wagenführ, A., 2018Publikation: Beitrag zu Konferenzen > Paper
• ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model CheckingChrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2018, in: Formal Aspects of Computing. 30, 1, S. 45-75, 31 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Protecting Communication in Many-Core Systems against Active Attackers.Moriam, S., Franz, E., Walther, P., Kumar, A., Strufe, T. & Fettweis, G. P., 2018, ACM Great Lakes Symposium on VLSI. S. 45-50, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Prototypenfertigung im selektiven Lasersinterverfahren unter Einsatz von BiopolymerenRöwe, A., Krause, M., Unbehaun, H. & Einer, D., 2018Publikation: Beitrag zu Konferenzen > Paper
• Providing process-centered key performance indicators for system managementDennert, A., Lehmann, R., Schneider, S. & Wollschlaeger, M., 2018, S. 1622-1627, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper