Publications

2023

• Standpoint Linear Temporal LogicGigante, N., Álvarez, L. G. & Lyon, T., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). IJCAI Inc, p. 311-321, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Syntactic vs Semantic Linear Abstraction and Refinement of Neural NetworksChau, C., Křetínský, J. & Mohr, S., 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (eds.). Springer, Cham, p. 401-421, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree AutomataFernandez Gil, O. & Marantidis, P., 2023, Proceedings of the 36th International Workshop on Description Logics (DL'23). CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Variability-Aware Instance Handling for Model Evolution at RuntimeKegel, K. & Gotz, S., 2023, Proceedings - 2023 49th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2023. Institute of Electrical and Electronics Engineers Inc., p. 183-190, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint ELÁlvarez, L. G., Rudolph, S. & Straß, H., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). ijcai.org, p. 3258-3267, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Triad: Trusted Timestamps in Untrusted EnvironmentsPereira Fernandez, G., Brito, A. & Fetzer, C., 2023, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Understanding Person Identification Through GaitMuschter, E., Hanisch, S., LI, S., Strufe, T. & Chatzipanagioti, A., 2023, Proceedings on Privacy Enhancing Technologies Symposium. Vol. 2023. p. 177–189Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Usage of Self-Motivating Achievements to Collect Accessibility Information of Indoor Environments.Schmalfuß-Schwarz, J., Loitsch, C. & Weber, G., 2023, Universal Access in Human-Computer Interaction - 17th International Conference, UAHCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Proceedings. Antona, M. & Stephanidis, C. (eds.). Springer Nature Switzerland, Dortrecht [u. a.], p. 477-488, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Validierung von Lernergebnissen: Entstehung und Entwicklung in Europa und darüber hinaus.Bohlinger, S., Dürrschmidt, A. & Müller, C., 2023, Handbuch Validierung non-formal und informell erworbener Kompetenzen: Disziplinäre, theoretische und konzeptionelle Zugänge. Schmid, M. (ed.). Bielefeld: wbv Media GmbH & Co. KG, p. 53-70Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Voice Assistant-Based Cognitive Behavioral Therapy for Test Anxiety in StudentsStriegl, J., Loitsch, C. & Weber, G., 2023, Human-Computer Interaction - Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Proceedings: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part III. Kurosu, M. & Hashizume, A. (eds.). Springer Nature Switzerland, Dortrecht [u. a.], p. 396-406, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Vorgehensweise zur Implementation von datenbasierten AssistenzsystemenGröllich, D., Hahmann, M., Ott, G. & Graf-Pfohl, C., 2023, Scientific Reports. Mittweida: Hochschule Mittweida, University of Applied Science, Vol. 1/2023Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury TheoremKarge, J., 2023, Proceedings of the The 2nd International Workshop on Knowledge Diversity (KoDis23). 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Welcome Message from the ChairsFirouzi, F., Chakrabarty, K., Karimi, N., Farahani, B., Goehringer, D., De Castro, A. G., Reichenbach, M. & 1 others, 2023, 2023 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2023. p. 1Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/Postscript
• What to Do Next? An Activity Scheduling Schema for Social Assistance Robots for Older AdultsGollasch, D. & Weber, G., 2023, Human Aspects of IT for the Aged Population - 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Proceedings. Gao, Q. & Zhou, J. (eds.).p. 288–306, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Why Not? Explaining Missing Entailments with EveeAlrabbaa, C., Borgwardt, S., Friese, T., Koopmann, P. & Kotlov, M., 2023, Proceedings of the 36th International Workshop on Description Logics (DL'23). Kutz, O. & Ozaki, A. (eds.). Rhodes, Greece: CEUR-WS.org, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2022

• Near-memory Computing on FPGAs with 3D-stacked Memories: Applications, Architectures, and OptimizationsIskandar, V., Ghany, M. A. E. & Gohringer, D., 22 Dec 2022, In: ACM Transactions on Reconfigurable Technology and Systems. 16, 1, 16Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Energy Efficient Design of Coarse-Grained Reconfigurable Architectures: Insights, Trends and ChallengesAliagha, E. & Göhringer, D., 15 Dec 2022, 2022 International Conference on Field-Programmable Technology (ICFPT). IEEE Xplore, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Brain-inspired Cognition in Next-generation Racetrack MemoriesKhan, A. A., Ollivier, S., Longofono, S., Hempel, G., Castrillon, J. & Jones, A. K., 12 Dec 2022, In: ACM transactions on embedded computing systems. 21, 6, 3524071Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Sensor-based jump detection and classification with machine learning in trampoline gymnasticsWoltmann, L., Hartmann, C., Lehner, W., Rausch, P. & Ferger, K., 8 Dec 2022, In:  German journal of exercise and sport research : Sportwissenschaft. 53, 2, p. 187-195, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• From the Beginning: Key Transitions in the First 15 Years of DNSSECOsterweil, E., Tehrani, P. F., Schmidt, T. C. & Wählisch, M., 1 Dec 2022, In: IEEE Transactions on Network and Service Management. 19, 4, p. 5265-5283, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Framework for the Execution of Python Tests in SystemC and Specman TestbenchesTietz, C., Stieber, S., Charaf, N. & Göhringer, D., Dec 2022, 2022 Design and Verification Conference and Exhibition Europe (DVCon)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Wissen als Code: Die Welt der Wissensgraphen und OntologienKrötzsch, M., Dec 2022, In: Linux-Magazin. Vol. 2022. p. 24–28Electronic (full-text) versionResearch output: Contribution to specialist publication > Feature article/Contribution (Feuilleton)
• On the Interplay between TLS Certificates and QUIC PerformanceNawrocki, M., Tehrani, P. F., Hiesgen, R., Mücke, J., Schmidt, T. C. & Wählisch, M., 30 Nov 2022, Proceedings of ACM CoNEXT 2022. ACM New York, NY, USA, p. 204-213, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Gaussian jump process formulation of the reaction-diffusion master equation enables faster exact stochastic simulationsSubic, T. & Sbalzarini, I. F., 21 Nov 2022, In: Journal of Chemical Physics. 157, 19, 194110Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Collective cell migration during optic cup formation features changing cell-matrix interactions linked to matrix topologySoans, K. G., Ramos, A. P., Sidhaye, J., Krishna, A., Solomatina, A., Hoffmann, K. B., Schlüßler, R. & 4 others, 21 Nov 2022, In: Current biology. 32, 22, p. 4817-4831.e9, 25 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article