Aarhus University Seal

Publications at Department of Electrical and Computer Engineering

Under publication list you can find a complete list of the publications that are written by employees at the Publications at Department of Electrical and Computer Engineering.

Publication list

Sort by: Date | Author | Title

Heidari, N., Hedegaard Morsing, L. & Iosifidis, A. (2022). Graph convolutional networks. In A. Iosifidis & A. Tefas (Eds.), Deep Learning for Robot Perception and Cognition (pp. 71-99). Elsevier. https://doi.org/10.1016/B978-0-32-385787-1.00009-9
Heidari, N. (2022). Representation Learning for Graph-Structured Data Analysis. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Heidari, J., Peykarporsan, R., Oshnoei, S., Lie, T. T., Vandevelde, L. & Crevecoeur, G. (2026). Hierarchical switch fault diagnosis based on transformer algorithm in four-leg inverters of stand-alone wind energy conversion systems. International Journal of Electrical Power and Energy Systems, 175, Article 111607. https://doi.org/10.1016/j.ijepes.2026.111607
Hegde, S., Shi, L., Hernandez Marcano, N. J., Shrivastava, R., Blume, O. & Jacobsen, R. H. (2021). Sidelink Group Resource Scheduling for Platoons in Cellular Vehicle-to-Vehicle Communications. In 2021 IEEE 93rd Vehicular Technology Conference, VTC 2021-Spring - Proceedings Article 9449009 IEEE. https://doi.org/10.1109/VTC2021-Spring51267.2021.9449009
Hedegaard Morsing, L. & Iosifidis, A. (2022). Continual 3D Convolutional Neural Networks for Real-time Processing of Videos. In S. Avidan, G. Brostow, M. Cissé, G. M. Farinella & T. Hassner (Eds.), Computer Vision – ECCV 2022 - 17th European Conference, 2022, Proceedings (pp. 369-385). Springer. https://doi.org/10.1007/978-3-031-19772-7_22
Hedegaard, L. & Iosifidis, A. (2023). Continual Inference: A Library for Efficient Online Inference with Deep Neural Networks in PyTorch. In L. Karlinsky, T. Michaeli & K. Nishino (Eds.), Computer Vision – ECCV 2022 Workshops, Proceedings (pp. 21-34). Springer. https://doi.org/10.1007/978-3-031-25082-8_2
Hedegaard, L., Alok, A., Jose, J. & Iosifidis, A. (2024). Structured pruning adapters. Pattern Recognition, 156, Article 110724. https://doi.org/10.1016/j.patcog.2024.110724
He, B., Yang, Y., Wu, Q., Liu, H., Yang, R., Peng, H., Wang, X., Liao, Y. & Zhou, P. (2024). Dynamicity-aware Social Bot Detection with Dynamic Graph Transformers. In K. Larson (Ed.), Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 (pp. 5844-5852). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/646
H. Bohlbro, C., Macedo, H. D., Tola, D., Esterle, L. & Larsen, P. G. (2024). Visualisation in a Digital Twin Context. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 175-188). Springer. https://doi.org/10.1007/978-3-031-66719-0_8
Hatamzadeh, E. (2026). Power Management IC Design for IoT Applications. [PhD dissertation, Aarhus University].
Hassan Hire, J. (2022). Self-powered Embedded Wireless Corrosion Monitoring System. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Hasanvand , S., Sobhani, H. & Khooban, M. H. (2025). Distribution network clustering for reactive power planning and distributed voltage control. IET Generation, Transmission & Distribution, 19(1), Article e70002. https://doi.org/10.1049/gtd2.70002
Hasanvand, S., Sobhani, H., Mardaneh, M. & Khooban, M. H. (2025). Optimal Design of Battery Energy Storage System Controllers for Damping Low-Frequency Oscillations. International Journal of Energy Research, 2025(1), Article 2248945. https://doi.org/10.1155/er/2248945
Hardin, D., Amundson, I., Babar, J., Cofer, D., Hasan, S., Hoech, K., Belt, J., Hatcliff, J., Robby & Hallerstede, S. (2025). Automated SysML v2 System Model to Memory-Safe Language Code Generation for Avionics Applications. In DASC 2025 - Digital Avionics Systems Conference, Conference Proceedings IEEE. https://doi.org/10.1109/DASC66011.2025.11257170
Hardenberg, M., Griffiths, M. P., Grombacher, D. & Larsen, J. J. (2024). Feasibility study of steady-state surface NMR with adiabatic pulses. In NSG2024, 30th European Meeting of Environmental and Engineering Geophysics (pp. 1-5). European Association of Geoscientists and Engineers. https://doi.org/10.3997/2214-4609.202420051
Hansen, S. T., Thule, C. & Gomes, C. (2021). An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. In L. Cleophas & M. Massink (Eds.), Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops (pp. 295-310). Springer. https://doi.org/10.1007/978-3-030-67220-1_22
Hansen, S. T., Gomes, C., Larsen, P. G. & Van De Pol, J. (2021). Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. In C. R. Martin, M. J. Blas & A. I. Psijas (Eds.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (pp. 62-73). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552073
Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021). Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. In A. L. Lafuente & A. Mavridou (Eds.), Formal Methods for Industrial Critical Systems (pp. 3-20). Springer. https://doi.org/10.1007/978-3-030-85248-1_1
Hansen, J. P., Jespersen, L. M., Brunori, G., Jensen, A. L., Holst, K., Mathiesen, C., Halberg, N. & Rasmussen, I. A. (2014). ICT and social media as drivers of multi-actor innovation in agriculture. In World Conference on Computers in Agriculture, San Jose, Costa Rica, 2014 https://journals.sfu.ca/cigrp/index.php/Proc/article/view/162/161
Hansen, M. J., Kai, P., Nørremark, M., Børsting, C. F., Ottosen, C.-O. & Konnerup, D. (2022). Miljø- og Klimateknologi 2022. DCA - Nationalt Center for Fødevarer og Jordbrug. Rådgivningsrapport fra DCA - Nationalt Center for Fødevarer og Jordbrug
Hansen, S. T., Gomes, C. Â. G., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2022). The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations. Electronics, 11(21), Article 3635. https://doi.org/10.3390/electronics11213635
Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O., Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022). Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. International Journal on Software Tools for Technology Transfer, 24(6), 999-1024. https://doi.org/10.1007/s10009-022-00686-8
Hansen, J. G., Heiß, M., Kozłowski, M. & Kayacan, E. (2022). UAV Trajectory Evaluation in Large Industrial Environments: A Cost-Effective Solution. In 2022 European Control Conference (ECC) (pp. 1336-1341). IEEE. https://doi.org/10.23919/ECC55457.2022.9838352
Hansen, S. T. & Ölveczky, P. C. (2022). Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. In K. Bae (Ed.), Rewriting Logic and Its Applications. WRLA 2022 (pp. 130-150). Springer. https://doi.org/10.1007/978-3-031-12441-9_7
Hansen, S. T., Gomes, C. & Kazemi, Z. (2023). Synthesizing Orchestration Algorithms for FMI 3.0. In M. J. Blas & G. Alvarez (Eds.), 2023 Annual Modeling and Simulation Conference (ANNSIM) (pp. 184-195). IEEE. https://ieeexplore.ieee.org/document/10155361
Hansen, S. T., Kamburjan, E. & Kazemi, Z. (2025). Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (pp. 47-61). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-75390-9_4
Hansen, S. K., Hansen, P., Berry, T. W., Grønbæk, H. D., Olsen, C. M., Merhi, Y., Agarwala, S., Aagaard, P., Hvid, L. G., Agergaard, J., Dela, F. & Suetta, C. (2025). Effects of neuromuscular electrical stimulation on voluntary muscle activation and peripheral muscle contractility following short-term bed rest. Experimental Physiology, 110(12), 1966-1977. https://doi.org/10.1113/EP092194
Hansen, S. T. (2023). Accurate Co-simulation of Cyber-Physical Systems. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Hallerstede, S. (2003). Parallel hardware design in B. In D. Bert, J. P. Bowen, S. King & M. Walden (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 101-102). Springer Verlag. https://doi.org/10.1007/3-540-44880-2_8
Hallerstede, S. (2006). Justifications for the event-b modelling notation. In J. Julliand & O. Kouchnarenko (Eds.), B 2007: Formal Specification and Development in B - 7th International Conference of B Users, Proceedings (pp. 49-63). Springer Verlag. https://doi.org/10.1007/11955757_7
Hallerstede, S. & Hoang, T. S. (2007). Qualitative probabilistic modelling in Event-B. In Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings (pp. 293-312). Springer Verlag. https://doi.org/10.1007/978-3-540-73210-5_16