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

Hasan, J., Amarasinghe, Y., Frydendahl, C., Jeppesen, B. R., Klarskov, P. & Han, Z. (2025). 3-dimensional THz metasurface for sensing applications. SPP 11 conference, SPP11 conference.

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, 110(12), 1966-1977. https://doi.org/10.1113/EP092194

Hansen, S. T. (2023). Accurate Co-simulation of Cyber-Physical Systems. [PhD thesis, Aarhus University]. Aarhus 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

Hallerstede, S., Robby & Hatcliff, J. (2025). Danvy’s Mystery Functions in Slang. In F. Henglein, J. Lawall, J. Palsberg & S. Ilya (Eds.), OLIVIERFEST 2025 - Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday (pp. 14-25). Association for Computing Machinery. https://doi.org/10.1145/3759427.3760363

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

Grøn Sørensen, C. & Bochtis, D. (2010). Agricultural fleet management: A systems approach. Paper presented at World Congress of the International Commission of Agricultural and Biosystems Engineering (CIGR), Quebec City, Canada. http://bioeng.ca/publications/meetings-papers?sobi2Task=sobi2Details&catid=23&sobi2Id=324

Grøn Sørensen, C. & Bochtis, D. (2010). Agricultural Fleet Management: A system approach. In P. Savoie, J. Villeneuve & R. Morisette (Eds.), XVIIth World Congress of the International Commission of Agricultural and Biosystems Engineering, Book of Abstracts (pp. 182) https://www.semanticscholar.org/paper/AGRICULTURAL-FLEET-MANAGEMENT%3A-A-SYSTEM-APPROACH-Soerensen-Bochtis/f48b196d036719a0003cc4f1686473b70a737634

Grøn Sørensen, C., Dybro, N., M. Allen, C., Grift, T. & C. Hansen, A. (2021). A Grain Production System Analysis Towards Scalable Machine Systems. Poster session presented at ASABE.

Grøn Sørensen, C. (2023). Smart Farming and Circular Systems. In Q. Zhang (Ed.), Encyclopedia of Smart Agriculture Technologies (pp. 1-7). Springer. https://doi.org/10.1007/978-3-030-89123-7_254-1

Grøn Sørensen, C. & Andersen, J. V. (2025). What if? Ways forward based on the 2025 START Green Minds Gather Conference for an accelerated, research-based green transition in European agrifood systems. START Centre for Sustainable Agrifood Systems.

Grombacher, D., Liu, L., Griffiths, M. P., Vang, M. & Larsen, J. J. (2021). Steady-State Surface NMR for Mapping of Groundwater. Geophysical Research Letters, 48(23), Article e2021GL095381. https://doi.org/10.1029/2021GL095381

Grombacher, D., Griffiths, M. P., Liu, L., Vang, M. & Larsen, J. J. (2022). Frequency Shifting Steady-State Surface NMR Signals to Avoid Problematic Narrowband-Noise Sources. Geophysical Research Letters, 49(7), Article e2021GL097402. https://doi.org/10.1029/2021GL097402

Grombacher, D., Griffiths, M. P., Kass, M. A. & Larsen, J. J. (2024). An investigation of factors affecting the depths of steady-state surface nuclear magnetic resonance signals. Geophysics, 89(2), J9-J17. https://doi.org/10.1190/geo2023-0068.1

Grombacher, D., Griffiths, M. P., Vang, M. Ø., Kass, M. A. & Larsen, J. J. (2024). Observation of spikelets in steady-state surface nuclear magnetic resonance data. Geophysics, 89(2), J1-J8. https://doi.org/10.1190/GEO2023-0145.1

Griffiths, M. P., Grombacher, D. J. & Larsen, J. J. (2021). Efficient numerical Bloch solutions for multipulse surface NMR. Geophysical Journal International, 227(3), 1905-1916. https://doi.org/10.1093/gji/ggab321

Griffiths, M. P., Grombacher, D., Liu, L., Vang, M. Ø. & Larsen, J. J. (2022). Forward Modeling Steady-State Free Precession in Surface NMR. IEEE Geoscience and Remote Sensing Letters, 60, Article 4513510. https://doi.org/10.1109/TGRS.2022.3221624

Displaying results 851 to 900 out of 1322

Revised 30.12.2025

AU Engineering