Aarhus Universitets segl

Publikationer fra instituttet

Under publikationsliste finder du en samlet liste over de publikationer, som er lavet af medarbejdere ved Institut for Elektro- og Computerteknologi.

Publikationsliste

Sortér efter: Dato | Forfatter | Titel

Laakom, F., Raitoharju, J., Passalis, N., Iosifidis, A. & Gabbouj, M. (2022). Graph Embedding with Data Uncertainty. IEEE Access, 10, 24232-24239. https://doi.org/10.1109/ACCESS.2022.3155233
Sohrab, F., Iosifidis, A., Gabbouj, M. & Raitoharju, J. (2023). Graph-embedded subspace support vector data description. Pattern Recognition, 133, Artikel 108999. https://doi.org/10.1016/j.patcog.2022.108999
Gautam, C., Tiwari, A., Mishra, P. K., Suresh, S., Iosifidis, A. & Tanveer, M. (2021). Graph-Embedded Multi-Layer Kernel Ridge Regression for One-Class Classification. Cognitive Computation, 13(2), 552-569. https://doi.org/10.1007/s12559-020-09804-7
Heidari, N., Hedegaard Morsing, L. & Iosifidis, A. (2022). Graph convolutional networks. I A. Iosifidis & A. Tefas (red.), Deep Learning for Robot Perception and Cognition (s. 71-99). Elsevier. https://doi.org/10.1016/B978-0-32-385787-1.00009-9
Chen, Y., Liu, H., Liu, Y., Xie, J., Yang, R., Yuan, H., Fu, Y., Zhou, P. Y., Chen, Q., Caverlee, J. & Li, I. (2025). GraphCheck: Breaking Long-Term Text Barriers with Extracted Knowledge Graph-Powered Fact-Checking. I W. Che, J. Nabende, E. Shutova & M. T. Pilehvar (red.), Proceedings of the Annual Meeting of the Association for Computational Linguistics: Volume 1: Long Papers (s. 14976-14995). Association for Computational Linguistics (ACL).
Nazari, M., Korshoej, A. R. & Rehman, N. U. (2024). Graph-Aided Multivariate Signal Decomposition. I International Conference on Frontiers of Signal Processing (ICFSP) (s. 169-173) https://doi.org/10.1109/ICFSP62546.2024.10785500
Frasheri, M., Miloradovic, B., Esterle, L. & Papadopoulos, A. V. (2023). GLocal: A Hybrid Approach to the Multi-Agent Mission Re-Planning Problem. Proceedings (IEEE Symposium Series on Computational Intelligence), 1696-1703. https://doi.org/10.1109/SSCI52147.2023.10371893
Vindbjerg, L. K. & Esterle, L. (2024). Generative Models for Temporal-based Task Definition. 109-114. Afhandling præsenteret på 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems. https://doi.org/10.1109/ACSOS-C63493.2024.00040
Pham, X. H., Bozcan, I., Sarabakha, A., Haddadin, S. & Kayacan, E. (2021). GateNet: An Efficient Deep Neural Network Architecture for Gate Perception Using Fish-Eye Camera in Autonomous Drone Racing. 4176-4183. Afhandling præsenteret på 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems, Prag, Tjekkiet. https://doi.org/10.1109/IROS51168.2021.9636207
Larsen, P. G., Fitzgerald, J., Gomes, C., Woodcock, J., Basagiannis, S., Ulisse, A., Esterle, L., Lucani Rötter, D. E., Hansen, S. T. & Oakes, B. J. (2024). Future Directions and Challenges. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 363-386). Springer. https://doi.org/10.1007/978-3-031-66719-0_15
Wu, S., Deng, S., Wei, X., Asif, M. R., Vignoli, G. & Farquharson, C. G. (2025). Frontiers in electromagnetic geophysics - Introduction. Geophysics, 90(3), WAi-WAii. https://doi.org/10.1190/geo2025-0312-spseintro.1
Shreya, S., Jenkins, A., Bohnert, T., Ferreira, R., Moradi, F. & Farkhani, H. (2023). Frequency Sensing and Detection using Granular Vortex MTJ Nano Oscillator. Poster-session præsenteret på IEEE INTERMAG Conference, Japan. https://doi.org/10.1109/INTERMAGShortPapers58606.2023.10228828
Gomes, C., Oakes, B. J., Fitzgerald, J. & Larsen, P. G. (2024). Foundational Concepts for Digital Twins of Cyber-Physical Systems. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 45-63). Springer. https://doi.org/10.1007/978-3-031-66719-0_3
Wright, T., Dennis, L. A., Woodcock, J. & Foster, S. (2025). Formal Verification of BDI Agents. I M. Hinchey & B. Steffen (red.), The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (s. 302-326). Springer Science and Business Media Deutschland GmbH. 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. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (s. 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. I Proceedings of the 2020 Summer Simulation Conference (Bind 52, s. 1-12). Artikel 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. I 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 (s. 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. I A. Boronat & G. Fraser (red.), Fundamental Approaches to Software Engineering. FASE 2025 (s. 145-165). Springer. https://doi.org/10.1007/978-3-031-90900-9_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
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. I Book of Abstracts of the 75th Annual Meeting of the European Federation of Animal Science (s. 633-633) https://docs.eaap.org/boa/2024_Florence_EAAP_Book_Abstracts.pdf
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. I 2022 IEEE Wireless Communications and Networking Conference, WCNC 2022 (s. 132-137). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/WCNC51071.2022.9771859
Bjerge, K., Pinoy, N., Karstoft, H. & Høye, T. T. (2023). Field trials with automated moth monitoring in three different habitats of Denmark. Abstract fra 2023 Butterfly Conservation Symposium, Bedfordshire , Storbritannien.
Aguzzi, G., Viroli, M. & Esterle, L. (2023). Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks. I Proceedings - 2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2023 (s. 37-46). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ACSOS58161.2023.00021
Domini, D., Aguzzi, G., Esterle, L. & Viroli, M. (2024). Field-Based Coordination for Federated Learning. I I. Castellani & F. Tiezzi (red.), 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 (s. 56-74). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-62697-5_4