Hallerstede, S., Robby, Hatcliff, J., Belt, J. & Hardin, D. (2026).
Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. In A. Remke & B. Steffen (Eds.),
Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Proceedings (pp. 39-58). Springer.
https://doi.org/10.1007/978-3-032-00942-5_3
Hafeez, S.
, Abro, G. E. M., Memon, S. A., Khan, T. A., Memon, I. & Nasir, H. (2026).
Quantum-secured routing in drone communication for 6G-enabled smart mobility.
Scientific Reports,
16(1), Article 8626.
https://doi.org/10.1038/s41598-026-36297-5Isasa, C., Abou El Wafa, N.
, Gomes, C., Larsen, P. G. & Platzer, A. (2026).
Safe Temperature Regulation: Formally Verified and Real-World Validated. In F. Damiani & M. Farrell (Eds.),
Integrated Formal Methods - 20th International Conference, iFM 2025, Proceedings (pp. 143-161). Springer.
https://doi.org/10.1007/978-3-032-10794-7_8
Zhang, X., Wei, Q., Hu, B., Pan, L., Wu, C.
, Sørensen, C. A. G., Chen, Y. & Zhou, K. (2026).
Self-supervised multi-level trajectory representation model for field-road trajectory segmentation.
Engineering Applications of Artificial Intelligence,
172, Article 114378.
https://doi.org/10.1016/j.engappai.2026.114378Fernandez-Khatiboun, D., Richter, S., Rezaeiyan, Y.
, Sadeghi, M., Piozin, C.
& Moradi, F. (2026).
SPIRE: A 28nm Memory-Efficient Multi-Reservoir LSM Accelerator for Adaptive and Flexible Time-series Classification.
IEEE Transactions on Biomedical Circuits and Systems. Advance online publication.
https://doi.org/10.1109/TBCAS.2026.3668521
Shiri, Y., Lei, J.
, Amarasinghe, Y., Chen, H. T., Chang, C. C., Lilly, M. P., Addamane, S. & Mittleman, D. M. (2026).
Steerable terahertz beams using surface waves on an active metasurface.
Scientific Reports,
16(1), Article 3446.
https://doi.org/10.1038/s41598-025-33364-1Cox, D. M., Damasceno, D. R., Hagsten, J., Hellesen, C., Hjelmeland, M., Jurasz, J.
, Kies, A., Lagnelöv, O., Lundberg, M., Lundström, L., McKenna, J. T. K., Norberg, P., Nøland, J. K., Llisterri, A. P., Qvist, S., Svanström, S., Såmark-Roth, A., Yang, Y., Hesamzadeh, M. R. & Tjernberg, L. B. (2026).
Strategic capacity expansion planning in hydro-dominated power systems: Insights from the Nordics.
Energy,
344, Article 139771.
https://doi.org/10.1016/j.energy.2025.139771Yao, H., Guo, D.
, Zhao, X., Zang, Y., Yan, C., Lei, T. & Wang, H. (2026).
Unbalanced bandwidth Mel-spectrum based stability recognition network for underwater acoustic target.
Digital Signal Processing: A Review Journal,
178, Article 106147.
https://doi.org/10.1016/j.dsp.2026.106147Wang, Z., Tai, C. L. A.
, Zhou, P., Shi, Y. & Lee, L. H. (2026).
VTPPG: End-to-end Video-Transformed Persona Poem Generation.
Cognitive Computation,
18(1), Article 31.
https://doi.org/10.1007/s12559-026-10556-zLi, H., Ma, L., Shi, H., Hao, Y., Liao, Y., Cheng, L.
& Zhou, P. Y. (2025).
3D-GOI: 3D GAN Omni-Inversion for Multifaceted and Multi-object Editing. In A. Leonardis, E. Ricci, S. Roth, O. Russakovsky, T. Sattler & G. Varol (Eds.),
Computer Vision – ECCV 2024 - 18th European Conference, Proceedings (pp. 390-406). Springer Science+Business Media.
https://doi.org/10.1007/978-3-031-73033-7_22Hasan, J., Amarasinghe, Y., Frydendahl, C., Jeppesen, B. R., Klarskov, P. & Han, Z. (2025).
3-dimensional THz metasurface for sensing applications.
Mosalmani, A., Rezaeiyan, Y., Richter, S., Zamani, M., Koolivand, Y. & Moradi, F. (2025).
A 0.97 nJ/Conversion BJT-Based Temperature Sensor With a Low-Power Two-Stage Dynamic Comparator.
IEEE Transactions on Very Large Scale Integration (VLSI) Systems,
33(10), 2815-2823.
https://doi.org/10.1109/TVLSI.2025.3587799
Nguyen, N. D. T., Phan, H., Geirnaert, S.
, Mikkelsen, K. & Kidmose, P. (2025).
AADNet: An End-to-End Deep Learning Model for Auditory Attention Decoding.
IEEE Transactions on Neural Systems and Rehabilitation Engineering,
33, 2695-2706.
https://doi.org/10.1109/TNSRE.2025.3587637
Safari, A., Saidi, M. H.
, Salavatidezfouli, S., Ma, W. & Yao, S. (2025).
A comprehensive experimental and numerical study of Taylor-Couette flow on superhydrophobic surfaces.
AIP Advances,
15(5), Article 055012.
https://doi.org/10.1063/5.0249290Gong, H., Li, Q., Liu, Z., Zhou, H.
, Zhou, P. Y., Li, Z. & Li, J. (2025).
Adaptive 3-D Gaussian Splatting Video Streaming.
IEEE Network. Advance online publication.
https://doi.org/10.1109/MNET.2025.3638049Fathollahi, A., Sharifzadeh, M., Oshnoei, S., Gheisarnejad, M., Laurendeau, E. & Al-Haddad, K. (2025).
Adaptive Fault-Tolerant Data-Driven Control of Multilevel PEC Inverter via Soft Reinforcement Learning Under Switching-Level Transition. In
2025 IEEE Energy Conversion Conference Congress and Exposition, ECCE 2025 IEEE.
https://doi.org/10.1109/ECCE58356.2025.11259828
Liang, W.
, Amer, A., Mehndiratta, M., Chen, Z., Yao, B.
& Kayacan, E. (2025).
Adaptive Robust Control Integrated With Gaussian Processes for Quadrotors: Enhanced Accuracy, Fault Tolerance and Anti-Disturbance.
IEEE Transactions on Systems, Man, and Cybernetics: Systems,
55(5), 3235-3248.
https://doi.org/10.1109/TSMC.2025.3539707Verholt, A. B., Foss, C. H., Hinrichsen, L. M.
, Madsen, L. H., Odderskov, C. S. N.
, Andersen, L. H. & Lietzen, L. W. (2025).
Advancing a patient-centered and holistic approach for older patients with frailty in a vascular surgical department: a quality improvement initiative.
European Geriatric Medicine. Advance online publication.
https://doi.org/10.1007/s41999-025-01355-0
Merhi, Y., Goumarre, V., Romanyuk, K.
, Amarasinghe, Y., Kholkin, A.
, Klarskov, P. & Agarwala, S. (2025).
Advancing green electronics: tunable piezoelectric enhancement in biodegradable poly(l-lactic acid) PLLA films through thermal-strain engineering.
Nanoscale Horizons,
10(7), 1414-1427.
https://doi.org/10.1039/d5nh00142k
Graarup, M., Andersen, H. S.
, Mosalmani, A., Rezaeiyan, Y., Moradi, F. & Zamani, M. (2025).
A Dynamically-Biased Relaxation Oscillator for Low-Power Applications. In
2025 23rd IEEE Interregional NEWCAS Conference (NEWCAS) (pp. 192-196). IEEE.
https://doi.org/10.1109/NewCAS64648.2025.11107011Zayed, Y. N. H., Kristoffersen, A. E., Lohm, G., Kamari, A. & Schultz, C. P. L. (2025).
A Formalization Framework for Integrating Social Design Intentions into Digital Building Models.
Sustainability,
17(17), Article 7739.
https://doi.org/10.3390/su17177739
Thylstrup, B., Schrøder, S., Fabricius, V. A. V., Brummer, J. E., Kirk, H. B. & del Palacio González , A. (2025).
AfterCare – udvikling og pilottest af mobilapplikation til forebyggelse af tilbagefald af alkohol- og cannabisbrug blandt unge voksne.
Gaikwad, N. B., Liu, L., Griffiths, M. P., Grombacher, D. & Larsen, J. J. (2025).
A high-duty-cycle transmitter unit for steady-state surface NMR instruments.
Geoscientific Instrumentation, Methods and Data Systems,
14(2), 139-151.
https://doi.org/10.5194/gi-14-139-2025
Pedersen, M. B., Pelletier, L. S.
, Rezaeiyan, Y., Bohnert, T.
, Zamani, M., Shreya, S., Mosalmani, A., Paz, E.
, Farkhani, H., Ferreira, R.
& Moradi, F. (2025).
A Miniaturized, Low-Noise Magnetic Tunnel Junction (MTJ)-Based Gyroscope for High-Precision Rotation Sensing. In
2025 23rd IEEE Interregional NEWCAS Conference, NEWCAS 2025 (pp. 212-215). IEEE.
https://doi.org/10.1109/NewCAS64648.2025.11107116
