Publications

2025

• Model Checking Markov Chains as Distribution TransformersAghamov, R., Baier, C., Karimov, T., Nieuwveld, J., Ouaknine, J., Piribauer, J. & Vahanwala, M., 2025, Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Springer, Cham, p. 293-313, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Modified Buck Converter Generating Two Independent Output Voltages Using Resonances: A Case StudyRobenack, K. & Gerbet, D., 2025, 2025 29th International Conference on System Theory, Control and Computing, ICSTCC 2025 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 233-238, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multi-Partner Project: Smart Sensor Analog Front-Ends Powered by Emerging Reconfigurable Devices (SENSOTERIC)Galderisi, G., Kramer, A., Fuchsberger, A., Gonzalez-Medina, J. M., He, Y., Hung, L. C., Hong Li, M. J. & 17 others, 2025, 2025 Design, Automation and Test in Europe Conference, DATE 2025 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multiplicative Rewards in Markovian ModelsBaier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 2025, Proceedings - 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025. Institute of Electrical and Electronics Engineers (IEEE), p. 499-512, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Multi-Task Learning for mmWave Transceiver Beam PredictionKhan, M. Q., Gaber, A., Parvini Kohnehshahri, M., Schulz, P. & Fettweis, G., 2025, In: IEEE open journal of the Communications Society : an open acces publication of the IEEE Communications Society. 6, p. 5535-5551, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Navigating Time and Energy Trade-Offs in Reactive Heterogeneous SystemsLin, S., Tanneberger, T., Bi, J., Feng, G., Xu, Y., Robledo, J., Khasanov, R. & 1 others, 2025, In: IEEE Embedded Systems Letters. 17, 2, p. 103-106Electronic (full-text) versionResearch output: Contribution to journal > Research article
• NDR Effects in a Locally-Active Memristor Induce Small-Signal Amplification in a Simple CellAscoli, A., Gemo, E., Corinto, F., Bonnin, M., Gilli, M., Civalleri, P. P., Demirkol, A. S. & 7 others, 2025, 2025 14th International Conference on Modern Circuits and Systems Technologies, MOCAST 2025 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 1-9Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Neuartige Display-Umgebungen zur intuitiven DatenvisualisierungDachselt, R., 2025, Grenzen überwinden – voneinander lernen: 21. GI-Fachtagung Informatik und Schule, INFOS 2025, Stoos, Schweiz. Grillenberger, M. & Grillenberger, A. (eds.).p. 17-26Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• New Strategies for Monitoring and Improving Flushing Processes Used in Chocolate ManufacturingHeide, M., Liebmann, V., Drechsel, C., Rüdiger, F., Majschak, J. & Köhler, H., 2025, Fouling and Cleaning in Food Processing 2025 Proceedings Part 1 . Dresden, Germany, p. 379-388Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Non-discriminatory congestion management scheme for consumer curtailment in low voltage distribution gridsFiedler, L. & Schegner, P., 2025, ETG Kongress 2025: Voller Energie – heute und morgen. 21. – 22. Mai 2025 in Kassel. VDE Verband der Elektrotechnik Elektronik Informationstechnik e.V. Energietechnische Gesellschaft (ETG), p. 328-336Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution