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

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

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

Ulsig, E. Z. & Tønning, P. (2022, Mar 16). Forskere: En sikker type UV-lys er et nyt våben mod corona og fremtidige epidemier. https://videnskab.dk/forskerzonen/teknologi-innovation/en-sikker-type-uv-lys-er-det-nye-vaaben-mod-corona-og-fremtidige-epidemier

Ulsig, E. Z. & Tønning, P. (2022). Forskere: En sikker type uv-lys er det nye våben mod corona og fremtidige epidemier. Videnskab.dk [online]. https://videnskab.dk/forskerzonen/teknologi-innovation/en-sikker-type-uv-lys-er-det-nye-vaaben-mod-corona-og-fremtidige-epidemier

Wright, T., Dennis, L. A., Woodcock, J. & Foster, S. (2025). Formal Verification of BDI Agents. In M. Hinchey & B. Steffen (Eds.), The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (pp. 302-326). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-73887-6_20

Wright, T., Gomes, C. & Woodcock, J. (2022). Formally Verified Self-adaptation of an Incubator Digital Twin. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (pp. 89-109). Springer. https://doi.org/10.1007/978-3-031-19762-8_7

Thule, C., Gomes, C. & Lausdahl, K. G. (2020). Formally Verified FMI Enabled External Data Broker: Rabbitmq FMU. In Proceedings of the 2020 Summer Simulation Conference (Vol. 52, pp. 254-265). Article 12 Association for Computing Machinery. https://doi.org/10.5555/3427510.3427533

Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. In Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (pp. 75-85). IEEE. https://doi.org/10.1109/FormaliSE52586.2021.00014

Baxter, J., van Acker, B., Kristensen, M., Wright, T., Cavalcanti, A. & Gomes, C. (2025). Formal Architectural Patterns for Adaptive Robotic Software. In A. Boronat & G. Fraser (Eds.), Fundamental Approaches to Software Engineering. FASE 2025 (pp. 145-165). Springer. https://doi.org/10.1007/978-3-031-90900-9_8

Nielsen, A. H., Iosifidis, A. & Karstoft, H. (2022). Forecasting large-scale circulation regimes using deformable convolutional neural networks and global spatiotemporal climate data. Scientific Reports, 12(1), Article 8395. https://doi.org/10.1038/s41598-022-12167-8

Passalis, N., Kanniainen, J., Gabbouj, M., Iosifidis, A. & Tefas, A. (2021). Forecasting Financial Time Series Using Robust Deep Adaptive Input Normalization. Journal of Signal Processing Systems, 93(10), 1235-1251. https://doi.org/10.1007/s11265-020-01624-0

Mohseni, S.-R., Jahanshahi Zeitouni, M., Parvaresh, A., Abrazeh, S., Gheisarnejad Chirani, M. & Khooban, M. H. (2023). FMI real-time co-simulation-based machine deep learning control of HVAC systems in smart buildings: Digital-twins technology. Transactions of the Institute of Measurement and Control, 45(4), 661-673. https://doi.org/10.1177/01423312221119635

Gil, S., Baş, E. E., Jensen, C. D., Engelsgaard, S., Abbiati, G. & Gomes, C. (2025). FMI-Based Distributed Co-Simulation with Enhanced Security and Intellectual Property Safeguards. (1 ed.) (pp. 198-203).

Gil Arboleda, S., Baş, E. E., Jensen, C. D., Engelsgaard, S., Abbiati, G. & Gomes, C. (2026). FMI-Based Distributed Co-Simulation with Enhanced Security and Intellectual Property Safeguards. In Proceedings of the 2025 Annual Modeling and Simulation Conference (ANNSIM '25 ed., pp. 1-6). Article 17 Association for Computing Machinery. https://doi.org/10.22360/ANNSIM.2025.CPS+DT.21

Sahana, G., Gebreyesus, G., Cheruiyot Bett , R., Kinyua, J., Roos, N., MBI Tanga, C., Mwikirize, C., Akol, R., Khamis, F. M., Karstoft, H., Bjerge, K., Nkirote Kunyanga , C., Hansen, L. S., Nielsen, H. M., Lund, M. S., Geoffrey, S., Walusimbi, S. & Nakimbugwe, D. (2024). FLYgene: Advancing Sustainable Breeding Programs and Genomic Tools for Black Soldier Fly (Hermetia illucens) in Kenya and Uganda. In Book of Abstracts of the 75th Annual Meeting of the European Federation of Animal Science (pp. 633-633) https://docs.eaap.org/boa/2024_Florence_EAAP_Book_Abstracts.pdf

Iversen, M., Monisha, M. & Agarwala, S. (2022). Flexible, Wearable and Fully-printed Smart Patch for pH and Hydration Sensing in Wounds. International Journal of Bioprinting, 8(1), 41-49. https://doi.org/10.18063/IJB.V8I1.447

Zamani, M., Ronchini, M., Huynh, H. A., Farkhani, H. & Moradi, F. (2021). Flexible Energy-Efficient Implementation of Adaptive Spiking Encoder for Neuromorphic Processors. In 2021 IEEE International Symposium on Circuits and Systems, ISCAS 2021 - Proceedings Article 9401103 IEEE. https://doi.org/10.1109/ISCAS51556.2021.9401103

Marcano, N. J. H., Diez, L., Aguero, R. & Jacobsen, R. H. (2022). Finite Buffer Queuing Delay Performance in the Low Earth Orbit Land Mobile Satellite Channel. In 2022 IEEE Wireless Communications and Networking Conference, WCNC 2022 (pp. 132-137). IEEE. https://doi.org/10.1109/WCNC51071.2022.9771859

Jensen, R. I. T. & Iosifidis, A. (2023). Fighting Money Laundering With Statistics and Machine Learning. IEEE Access, 11, 8889-8903. https://doi.org/10.1109/ACCESS.2023.3239549

Bjerge, K., Pinoy, N., Karstoft, H. & Høye, T. T. (2023). Field trials with automated moth monitoring in three different habitats of Denmark. Abstract from 2023 Butterfly Conservation Symposium, Bedfordshire , United Kingdom.

Aguzzi, G., Viroli, M. & Esterle, L. (2023). Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks. In Proceedings - 2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2023 (pp. 37-46). IEEE. https://doi.org/10.1109/ACSOS58161.2023.00021

Benos, L., Grøn Sørensen, C. & Bochtis, D. (2022). Field Deployment of Robotic Systems for Agriculture in Light of Key Safety, Labor, Ethics and Legislation Issues. Current Robotics Reports, 3(2), 49-56. https://doi.org/10.1007/s43154-022-00074-9

Domini, D., Aguzzi, G., Esterle, L. & Viroli, M. (2024). Field-Based Coordination for Federated Learning. In I. Castellani & F. Tiezzi (Eds.), Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Proceedings (pp. 56-74). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-62697-5_4

Bjerge, K., Bodesheim, P. & Karstoft, H. (2024). Few-Shot Learning with Novelty Detection. 340-363. Paper presented at DeLTA 2024 - 5th International Conference on Deep Learning Theory and Applications. https://doi.org/10.1007/978-3-031-66694-0_21

Chumachenko, K., Iosifidis, A. & Gabbouj, M. (2022). Feedforward Neural Networks Initialization based on Discriminant Learning. Neural Networks, 146, 220-229. https://doi.org/10.1016/j.neunet.2021.11.020

Ding, Y., Zhang, S., Fan, B., Sun, W., Liao, Y. & Zhou, P. Y. (2024). FedLoCA: Low-Rank Coordinated Adaptation with Knowledge Decoupling for Federated Recommendations. In RecSys '24: Proceedings of the 18th ACM Conference on Recommender Systems (pp. 690-700). Association for Computing Machinery. https://doi.org/10.1145/3640457.3688112

Khaleghi, A., Oshnoei, S. & Mirzajani, S. (2025). Federated Learning Detection of Cyberattacks on Virtual Synchronous Machines Under Grid-Forming Control Using Physics-Informed LSTM. Fractal and Fractional, 9(9), Article 569. https://doi.org/10.3390/fractalfract9090569

Larsen, P. G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2018). Features of Integrated Model-Based Co-modelling and Co-simulation Technology. In A. Cerone & M. Roveri (Eds.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (pp. 377-390). Springer. https://doi.org/10.1007/978-3-319-74781-1_26

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

Jensen, A. L., Kristensen, E. F. & Grøn Sørensen, C. (2022). Feasibility study for organic farming. Poster session presented at The XX CIGR World Congress 2022, Kyoto, Japan.

Larsen, J. J., Kass, M. A., Grombacher, D. & Griffiths, M. P. (2024). Feasibility of Surface Nuclear Magnetic Resonance With Absurdly Long Excitation Pulses. Geophysical Research Letters, 51(20), Article e2024GL110826. https://doi.org/10.1029/2024GL110826

Mohammadnia, A., M. Ziapour, B., Ghaebi, H. & Khooban, M. H. (2021). Feasibility assessment of next-generation drones powering by laser-based wireless power transfer. Optics & Laser Technology, 143, Article 107283. https://doi.org/10.1016/j.optlastec.2021.107283

Larsen, P. G., Esterle, L., Fitzgerald, J. & Frasheri, M. (2023). Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 222-236). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-40132-9_14

Frasheri, M., Thule, C., Macedo, H. D., Lausdahl, K., Larsen, P. G. & Esterle, L. (2021). Fault Injecting Co-simulations for Safety. 6-13. Paper presented at 5th International Conference on System Reliability and Safety, Palermo, Italy. https://doi.org/10.1109/ICSRS53853.2021.9660728

Kjaer-Rasmussen, A., Griffiths, M. P., Grombacher, D. & Larsen, J. J. (2022). Fast removal of powerline harmonic noise from surface NMR datasets using a projection-based approach on graphical processing units. IEEE Geoscience and Remote Sensing Letters, 19, Article 8024005. https://doi.org/10.1109/LGRS.2021.3118064

Ruf, F., Faurby, C. F. D., Paesani, S., Wang, Y., Nielsen, L., Midolo, L., Volet, N. & Heck, M. (2022). Fast All-Optical Switches in Si₃N₄ Photonic Integrated Circuits for Single-Photon Routing. Poster session presented at National Optics Congress, Aarhus, Denmark.

Kopler, I., Marchaim, U., Tikász, I. E., Opaliński, S., Kokin, E., Mallinger, K., Neubauer, T., Gunnarsson, S., Soerensen, C., Phillips, C. J. C. & Banhazi, T. (2023). Farmers’ Perspectives of the Benefits and Risks in Precision Livestock Farming in the EU Pig and Poultry Sectors. Animals, 13(18), Article 2868. https://doi.org/10.3390/ani13182868

Woodcock, J. (2025). Farewell Editorial. Formal Aspects of Computing, 37(4), Article 26. https://doi.org/10.1145/3773042

Honoré, J. T., Rask, R. D. & Wagner, S. R. (2023). Fall Detection Combining Android Accelerometer and Step Counting Virtual Sensors. In G. A. Papadopoulos, A. Achilleos, E. Pissaloux & R. Velázquez (Eds.), ICT for Health, Accessibility and Wellbeing - 2nd International Conference, IHAW 2022, Revised Selected Papers (pp. 3-16). Springer. https://doi.org/10.1007/978-3-031-29548-5_1

Banhazi, T., Banhazi, A., Tikasz, I. E., Palotay, S., Mallimger, K., Neubauer, T., Corpaci, L., Marchaim, U., Kopler, I., Opalinski, S., Olejnik, K., Kokin, E., Gunnarsson, S., Bjerre, T. & Soerensen, C. (2024). Facilitating PLF Technology Adoption in the Pig and Poultry Industries. Studies in Agricultural Economics, 126(1), 43-49. https://doi.org/10.7896/j.2725

Macedo, H. D., Sassanelli, C., Larsen, P. G. & Terzi, S. (2021). Facilitating model-based design of cyber-manufacturing systems. Procedia CIRP, 104, 1936-1941. https://doi.org/10.1016/j.procir.2021.11.327

Liu, H., Yang, Y., Wu, Q., He, B., Liao, Y. & Zhou, P. (2024). FacGNN: Multi-faceted Fairness Enhancement for GNN through Adversarial and Contrastive Learning. In 2024 International Joint Conference on Neural Networks (IJCNN) IEEE. https://doi.org/10.1109/IJCNN60899.2024.10649939

Merhi, Y. & Agarwala, S. (2022). Fabrication of flexible, and bioresorbable poly-l-lactide acid piezoelectric material with tunable properties. Materials Today: Proceedings, 70, 531-534. https://doi.org/10.1016/j.matpr.2022.09.553

Mørup, C., Kloborg, A. & Lucani Rötter, D. E. (2022). Extreme Bitmapping: Efficiently Sorting Data for Cloud Compression. In 2022 IEEE 11th International Conference on Cloud Networking (CloudNet) (pp. 247-251). IEEE. https://doi.org/10.1109/CloudNet55617.2022.9978780

Vang, M. Ø., Grombacher, D., Larsen, J. J. & Christiansen, A. V. (2024). Extrapolating sparse SNMR data sets onto dense TEM coverage using spatially variable correlations. Abstract from AGU Fall meeting 2024, Washington DC, United States.

Arent, N. H., Far Brusatori, M. & Volet, N. (2020). Extraction of frequency noise spectral components from delayed self-heterodyne measurements of a laser. Abstract from European Semiconductor Laser Workshop 2020.

Far Brusatori, M. & Volet, N. (2022). External optical feedback engineered to reduce and stabilize the linewidth of diode lasers. In V. S. Ilchenko, A. M. Armani & J. V. Sheldakova (Eds.), Laser Resonators, Microresonators, and Beam Control XXIV Article 119870D SPIE - International Society for Optical Engineering. https://doi.org/10.1117/12.2609616

Noor, M. A., Benhassen, L. L., Johansen, P. & Hasenkam, J. M. (2022). External aortic annuloplasty ring. Manuscript submitted for publication. (Patent No. PCT/EP2022/071334).

Kulik, T., Talasila, P., Greco, P., Veneziano, G., Marguglio, A., Sutton, L. F., Larsen, P. G. & Macedo, H. D. (2021). Extending the Formal Security Analysis of the HUBCAP sandbox. In H. D. Macedo, C. Thule & K. Pierce (Eds.), Proceedings of the 19th International Overture Workshop (pp. 36-50) https://arxiv.org/abs/2110.09371

Ourang, S. A. H., Sohrabniya, F., Zhou, P. Y., Pasqualini, D., Duncan, H. F., Pauwels, R. & Nosrat, A. (2026). Extended Reality in Endodontics: A Review of Current Applications and Future Potential. International Endodontic Journal. Advance online publication. https://doi.org/10.1111/iej.70204

Displaying results 851 to 900 out of 1527

Revised 30.12.2025

AU Engineering