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

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

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

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

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-5

Hafeez, S., Abro, G. E. M. & Marimuthu, M. (2026). Quantum-Secured AI-Driven Drone Logistics for Real-Time Healthcare Delivery. Arabian Journal for Science and Engineering. Advance online publication. https://doi.org/10.1007/s13369-026-11104-5

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

Guven, Z. A., Mendes, E. & Baker, S. (2026). Multi-label text classification using prompting techniques via LLMs in Software Effort Estimation. IEEE Access, 14. https://doi.org/10.1109/ACCESS.2026.3679475

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. 1276-1282). 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

Griffiths, M. P., Grombacher, D., Kass, M. A., Vang, M., Liu, L. & Larsen, J. J. (2023). A surface NMR forward in a dot product. Geophysical Journal International, 234(3), 2284-2290. https://doi.org/10.1093/gji/ggad203

Griffiths, M. P., Grombacher, D., Mashhadi, S. R. & Larsen, J. J. (2024). Ground-Truth Validation of T₂ Estimates From Steady-State Surface NMR. Geophysical Research Letters, 51(24), Article e2024GL112094. https://doi.org/10.1029/2024GL112094

Griffiths, M., Grombacher, D., Kass, M. A., Liu, L., Vang, M. & Larsen, J. J. (2022). A Reformulated Surface Nmr Forward For Multi-Sequence Acquisitions. In 28th European Meeting of Environmental and Engineering Geophysics, Held at the Near Surface Geoscience Conference and Exhibition 2022, NSG 2022 European Association of Geoscientists and Engineers. https://doi.org/10.3997/2214-4609.202220109

Griffiths, M. P., Grombacher, D., Mashhadi, S. R. & Larsen, J. J. (2024). Ground-truth Validation of T₂ Estimates from Steady-state Surface NMR. Abstract from AGU Fall meeting 2024, Washington DC, United States.

Griffiths, M. P., Grombacher, D. & Larsen, J. J. (2024). Synthetic studies to investigate the ability of steady-state surface NMR to resolve T2. In NSG 2024 30th European Meeting of Environmental and Engineering Geophysics (pp. 1-5). European Association of Geoscientists and Engineers. https://doi.org/10.3997/2214-4609.202420092

Green, O., Juul Larsen, J., Kristensen, E. F., Nadimi, E. S., Jørgensen, J. R., Ibrahim, I. A. F. A. H., Bochtis, D. & Grøn Sørensen, C. (2010). Automated monitoring of variations of drying conditions in a seed drying facility. Poster session presented at World Congress of the International Commission of Agricultural Engineering (CIGR), Sustainable biosystems through engineering, Quebec, Canada. https://www.researchgate.net/publication/260600010_Automated_monitoring_of_variations_of_drying_conditions_in_a_seed_drying_facility

Green, O., Juul Larsen, J., Kristensen, E. F., Nadimi, E. S., Jørgensen, J. R., Ibrahim, I. A. F. A. H., Bochtis, D. & Grøn Sørensen, C. (2010). Automated monitoring of variations of drying conditions in a seed drying facility. Paper presented at World Congress of the International Commission of Agricultural and Biosystems Engineering (CIGR), Sustainable Biosystems Through Engineering, Quebec City, Canada. http://bioeng.ca/publications/meetings-papers?sobi2Task=sobi2Details&catid=25&sobi2Id=387

Green, O., Juul Larsen, J., Kristensen, E. F., Nadimi, E. S., Jørgensen, J. R., Ibrahim, I. A. F. A. H., Bochtis, D. & Grøn Sørensen, C. (2010). Automated monitoring of variations of drying conditions in a seed drying facility. In P. Savoie, J. Villeneuve & R. Morisette (Eds.), XVIIth World Congress of the International Commission of Agricultural and Biosystems Engineering, Book of Abstracts (pp. 214) https://www.researchgate.net/publication/260600010_Automated_monitoring_of_variations_of_drying_conditions_in_a_seed_drying_facility

Green, O., Lamandé, M., Schjønning, P., Sørensen, C. A. G. & Bochtis, D. (2011). Reducing the risk of soil compaction by applying "Jordværn Online"® when performing slurry distribution. Acta Agriculturae Scandinavica, Section B - Soil & Plant Science, 61(3), 209-213. https://doi.org/10.1080/09064710.2010.490535

Gravesen, K. B., Gardner, A. B., Ulsig, E. Z., Stanton, E. J., Hansen, M. T., Thomsen, S. T., Ahler, L. & Volet, N. (2024). Nonlinear Schrödinger equation for integrated photonics. Journal of the Optical Society of America B: Optical Physics, 41(6), 1451-1456. https://doi.org/10.1364/JOSAB.517190

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.11107011

Gong, 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.3638049

Gonçalves Gomes, C. Â., Abbiati, G. & Larsen, P. G. (2021). Seismic Hybrid Testing using FMI-based Co-Simulation. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 287-295) https://doi.org/10.3384/ecp21181287

Gonçalves Gomes, C. Â., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2021). The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations. In M. Sjölund, L. Buffoni, A. Pop & L. Ochel (Eds.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (pp. 27-36) https://doi.org/10.3384/ecp2118127

Gomes Guerreiro, G. M., Martin, F., Yang, G. & Andresen, B. (2022). New pathways to future grid compliance for wind power plants. 115-121. https://doi.org/10.1049/icp.2022.2745

Gomes Guerreiro, G. M., Frank, M., Dreyer, T., Yang, G. & Andresen, B. (2024). Advancements on Grid Compliance in Wind Power: Component & Subsystem Testing, Software-/Hardware-in-the-Loop, and Digital Twins. IEEE Access, 12, 25949-25966. https://doi.org/10.1109/ACCESS.2024.3366091

Gomes, C., Franceschini, R., Battle, N., Thule, C., Lausdahl, K., Vangheluwe, H. & Larsen, P. G. (2020). Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units. In Proceedings of the American Modelica Conference 2020 (pp. 149-158). Linköping University Electronic Press. https://doi.org/10.3384/ecp20169149

Gomes, C., Lucani Rötter, D. E., Iosifidis, A., Feng, H., Ejersbo, H. & Frasheri, M. (2024). Sensing and Communication of Data from the Physical Twin. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 147-171). Springer. https://doi.org/10.1007/978-3-031-66719-0_7#citeas

Gomes, C., Oakes, B. J., Fitzgerald, J. & Larsen, P. G. (2024). Foundational Concepts for Digital Twins of Cyber-Physical Systems. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 45-63). Springer. https://doi.org/10.1007/978-3-031-66719-0_3

Gomes, C., Feng, H., Kazemi, Z. & Pierce, K. (2024). Calibration of Models for Digital Twins. In J. Fitzgerald, C. Gomes & P. G. Larsen (Eds.), The Engineering of Digital Twins (pp. 129-146). Springer. https://doi.org/10.1007/978-3-031-66719-0_6

Gomes, C., Kristensen, M. H., Andersen, M. S., Talasila, P., Feng, H., Wright, T. & Larsen, P. G. (2025). Digital Twin Tutorial: The Incubator Case Study. In J. P. Bowen, C. Gomes & Z. Liu (Eds.), Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Tutorial Lectures (pp. 68-101). Springer Science+Business Media. https://doi.org/10.1007/978-981-96-4656-2_3

Godoy, P. H., Ahler, L. C., Thomsen, S. T., Ulsig, E. Z. & Volet, N. (2025). Platform-Dependent Feasibility of All-Optical Switching in Photonic Integrated Circuits. In Advanced Photonics Congress (IPR, Networks, NOMA, SOLITH, SPPCom) https://doi.org/10.1364/IPRSN.2025.IW2A.5

Displaying results 951 to 1000 out of 1435

Revised 30.12.2025

AU Engineering