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 for example journal articles, books, reports etc.

The department also publishes technical reports which you can read more about under Technical reports.

Under PhD dissertations you will find the department's published PhD dissertations.

Publication list

Sort by: Date | Author | Title

Hedegaard Morsing, L., Alok, A., Jose, J. & Iosifidis, A. (2022). Structured Pruning Adapters. https://doi.org/10.48550/arXiv.2211.10155

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 Morsing, L., Bakhtiarnia, A. & Iosifidis, A. (2022). Continual Transformers: Redundancy-Free Attention for Online Inference. The Eleventh International Conference on Learning Representations. https://arxiv.org/abs/2201.06268

Hedegaard Morsing, L., Bakhtiarnia, A. & Iosifidis, A. (2023). Continual Transformers: Redundancy-Free Attention for Online Inference. https://openreview.net/forum?id=PolHquob8M7

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

Hassan Hire, J., Agianniotis, N., Kofoed, B. P. & Moradi, F. (2022). Energy Harvesting In Immersed Tunnel For Powering Wireless Sensor Nodes For Corrosion Monitoring. I E E E Sensors Journal, 22(10), 9892-9903. https://doi.org/10.1109/JSEN.2022.3165659

Hassan Hire, J. (2022). Self-powered Embedded Wireless Corrosion Monitoring System. Århus Universitet.

Hassan, A., Bazzi, A. M., Jensen, F. & Karaki, S. H. (2025). Analysis and Comparison of Nonlinear Kalman Filters for Sensorless Induction Motor Drives To Achieve Multiple Model Estimation. IEEE Transactions on Industry Applications. Advance online publication. https://doi.org/10.1109/TIA.2025.3546902

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

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, E. M., Thomsen, I. K., Cronin, I. V., Gislum, R., Larsen, R. & Mortensen, A. K., (2023). Opdatere trappemodel om dækningsgrad af efterafgrøder ved kontrol i forhold til etableringstidspunkt, No. 2022-0445946, 18 p., Apr 26, 2023. Rådgivningsnotat fra DCA - Nationalt Center for Fødevarer og Jordbrug

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., Thule, C., Gomes, C., Lausdahl, K. G., Madsen, F. P., Abbiati, G. & Larsen, P. G. (2024). Co-simulation at different levels of expertise with Maestro2. Journal of Systems and Software, 209, Article 111905. https://doi.org/10.1016/j.jss.2023.111905

Hansen, J. G. & de Figueiredo, R. P. (2024). Active Object Detection and Tracking Using Gimbal Mechanisms for Autonomous Drone Applications. Drones, 8(2), Article 55. https://doi.org/10.3390/drones8020055

Hansen, M. T., Ulsig, E. Z., Labbé, F., Madsen, M. L., Ding, Y., Rottwitt, K. & Volet, N. (2023). Efficient and robust second-harmonic generation in thin-film lithium niobate using modal phase matching. Frontiers in Photonics, 4, Article 1324648. https://doi.org/10.3389/fphot.2023.1324648

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 and Business Media Deutschland GmbH. 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. Advance online publication. https://doi.org/10.1113/EP092194

Hansen, S. T. (2023). Accurate Co-simulation of Cyber-Physical Systems: A Formal Approach. Århus Universitet.

Han, G., Mofid, O., Mobayen, S. & Khooban, M. H. (2024). Adaptive prescribed performance based on recursive nonsingular terminal sliding mode control for quad-rotor systems under uncertainty and disturbance: real-time validation. Aerospace Science and Technology, 147, Article 109028. https://doi.org/10.1016/j.ast.2024.109028

Hallerstede, S. & Butler, M. (2004). Performance analysis of probabilistic action systems. Formal Aspects of Computing, 16(4), 313-331. https://doi.org/10.1007/s00165-004-0037-6

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

Hallerstede, S. & Kamburjan, E. (2023). Applications of Formal Methods and Digital Twins. CEUR Workshop Proceedings, 3507. https://ceur-ws.org/Vol-3507/xpreface.pdf

Hallerstede, S. & Kamburjan, E. (Eds.) (2023). Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023). CEUR-WS.org. CEUR Workshop Proceedings Vol. 3507 https://ceur-ws.org/Vol-3507/

Hallerstede, S. & Hatcliff, J. (2024). A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. In J. Cámara & S.-S. Jongmans (Eds.), Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (1 ed., pp. 45-64). Springer. https://doi.org/10.1007/978-3-031-52183-6_3

Hallerstede, S. (2022, Jun 14). Book review: Decision Procedures – An Algorithmic Point of View. (2 ed.) Springer Berlin, Heidelberg. Texts in Theoretical Computer Science. An EATCS Series https://www.fmeurope.org/2022/06/14/book-review-decision-procedures-an-algorithmic-point-of-view/

Hallerstede, S. & Hatcliff, J. (2025). A mechanized semantics for component-based systems in the HAMR AADL runtime. Science of Computer Programming, 245, Article 103312. https://doi.org/10.1016/j.scico.2025.103312

Haldrup, M., Rasmussen, M., Mohamad, N., Dyrskog, S., Thorup, L., Mikic, N., Wismann, J., Grønhøj, M., Poulsen, F. R., Nazari, M., Rehman, N. U., Simonsen, C. Z. & Korshøj, A. R. (2023). Intraventricular Lavage vs External Ventricular Drainage for Intraventricular Hemorrhage: A Randomized Clinical Trial. JAMA network open, 6(10), e2335247. Article e2335247. https://doi.org/10.1001/jamanetworkopen.2023.35247

Haldrup, M., Nazari, M., Gu, C., Rasmussen, M., Dyrskog, S., Ziegler Simonsen, C., Grønhøj, M., Poulsen, F. R., Ur Rehman, N. & Rosendal Korshoej, A. (2024). Reliability and performance of the IRRAflow® system for intracranial lavage and evacuation of hematomas-A technical note. PLOS ONE, 19(4 April), Article e0297131. https://doi.org/10.1371/journal.pone.0297131

Haiyang, Y., Ruige, G., Zhongda, Z., Yuzhang, Z., Xiaobo, Z., Tao, L. & Haiyan, W. (2025). U-TransCNN: A U-shape transformer-CNN fusion model for underwater image enhancement. Displays, 88, Article 103047. https://doi.org/10.1016/j.displa.2025.103047

Hageman, K., Feal, A., Gamba, J., Girish, A., Bleier, J., Lindorfer, M., Tapiador, J. & Vallina-Rodriguez, N. (2023). Mixed Signals: Analyzing Software Attribution Challenges in the Android Ecosystem. IEEE Transactions on Software Engineering, 49(4), 2964-2979. https://doi.org/10.1109/TSE.2023.3236582

Hageman, K. & Hylsberg Jacobsen, R. (2024). On the Scheduling of Spatio-Temporal Charging Windows for Autonomous Drone Fleets. IEEE Access, 12, 74291-74304. https://doi.org/10.1109/ACCESS.2024.3405796

Hadi Mogavi, R., Son, J., Yang, S., Wang, D. M., Choong, L., Alhilal, A., Zhou, P. Y., Hui, P. & Nacke, L. E. (2024). The Jade Gateway to Exergaming: How Socio-Cultural Factors Shape Exergaming Among East Asian Older Adults. Proceedings of the ACM on Human-Computer Interaction, 8, Article 341. https://doi.org/10.1145/3677106

Gudjonsdottir, M. S., Audunsson, H., Donoso, A. M., Kristjansson, G., Saemundsdóttir, I., Foley, J. T., Kyas, M., Sripakagorn, A., Roslöf, J., Bennedsen, J., Edström, K., Kuptasthien, N. & Lyng, R. (2022). Editorial. Proceedings of the International CDIO Conference, iii-iv.

Gu, X., Wang, X., Feng, Y., Long, Y., Mukherjee, M., Pan, Z., Guo, M. & Zhang, Q. (2022). Demo: TINGLE: Pushing Edge Intelligence in Synchronization and Useful Data Transfer for Human-Robotic Arm Interactions. In INFOCOM WKSHPS 2022 - IEEE Conference on Computer Communications Workshops IEEE. https://doi.org/10.1109/INFOCOMWKSHPS54753.2022.9798353

Grøn Sørensen, C., Pesonen, L., Fountas, S., Suomi, P., Bochtis, D., Bildsøe, P. & Pedersen, S. M. (2010). A user-centric approach for information modelling in arable farming. Computers and Electronics in Agriculture, 73(1), 44-55. https://doi.org/10.1016/j.compag.2010.04.003

Displaying results 751 to 800 out of 1194

Technical reports

Department of Electrical and Computer Engineering publishes technical reports covering our research areas.

With the reports, we wish to communicate the newest knowledge and research to society ahead of and during the publication process which can take up to a year.

Read the technical reports by following the link below:

Technical Report Department of Electrical and Computer Engineering

PhD dissertations

At the Department of Electrical and Computer Engineering, PhD dissertations are published via Aarhus University Library's/State and University Library's online E-books platform that is open access. You can find the published dissertations by following the link below.

PhD dissertations at Department of Electrical and Computer Engineering

AU Engineering Profile

Download AU Engineering Profile 2013-2022:

Revised 22.02.2024

AU Engineering