Publications

2020

• Temporal Constraint Satisfaction Problems in Fixed-Point LogicBodirsky, M., Pakusa, W. & Rydval, J., 8 Jul 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery (ACM), p. 237-251, 15 p., 3394750. (ACM International Conference Proceeding Series)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Observer-based synthesis of linear parameter-varying mixed sensitivity controllersTheis, J. & Pfifer, H., 7 Jul 2020, In: International journal of robust and nonlinear control. 30, 13, p. 5021-5039, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Comparison of Layered Li(Li_0.2Rh_0.8)O₂and LiRhO₂upon Li Removal: Stabilizing Effect of Li SubstitutionMikhailova, D., Maletti, S., Missyul, A. & Büchner, B., 6 Jul 2020, In: Inorganic chemistry. 59, 13, p. 9108-9115, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The impact of draping effects on the stiffness and failure behavior of unidirectional non-crimp fabric fiber reinforced compositesKunze, E., Galkin, S., Böhm, R., Gude, M. & Kärger, L., 2 Jul 2020, In: Materials. 13, 13, 2959Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Aerosol Jet Printed Optical Waveguides for Short Range CommunicationLorenz, L., Nieweglowski, K., Al-Husseini, Z., Neumann, N., Plettemeier, D., Reitberger, T., Franke, J. & 1 others, 1 Jul 2020, In: Journal of lightwave technology. 38, 13, p. 3478-3484, 7 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Framework for Reasoning about Dynamic Axioms in Description LogicsBednarczyk, B., Demri, S. & Mansutti, A., 1 Jul 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020). International Joint Conferences on Artificial IntelligenceElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDsBednarczyk, B., Ferens, R. & Ostropolski-Nalewaja, P., 1 Jul 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020). International Joint Conferences on Artificial IntelligenceElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Design, Fabrication, and Comparison of 3D Multimode Optical Interconnects on Silicon InterposerCharania, S., Neumann, N., Killge, S., Winkler, F., Al-Husseini, Z., Szilagyi, L., Henker, R. & 3 others, 1 Jul 2020, In: Journal of Lightwave Technology. 38, 13, p. 3454-3460, 7 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Dosimetry with the ability to distinguish pulsed and non-pulsed dose contributionsMakarevich, K., Beyer, R., Henniger, J., Ma, Y., Polter, S., Sommer, M., Teichmann, T. & 2 others, 1 Jul 2020, In: Radiation protection dosimetry. 190, 4, p. 437-445, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Intrinsic plasticity of silicon nanowire neurotransistors for dynamic memory and learning functionsBaek, E., Das, N. R., Cannistraci, C. V., Rim, T., Bermúdez, G. S. C., Nych, K., Cho, H. & 7 others, 1 Jul 2020, In: Nature electronics. 3, 7, p. 398-408, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article