Publications

Below you will find the list of publications related to staff members from Electromagnetic Systems.

Please note that you can search directly in DTU's research database ORBIT - Online Research Database In Technology to find information and publications related to former staff members (i.e. no longer employed at DTU) or staff members who have previously been part of another organizational group/section/department at DTU.

rss feed

2025
 

An eID-Based Privacy-Enhanced Public Transportation Ticket System

Anojjan, Kanagaratnam ; Meng, Weizhi ; Kidmose, Brooke Elizabeth ; Wang, Yu
part of: Proceedings of the 19th International Conference on Information Security Practice and Experience, ISPEC 2024, pages: 292–309, 2025
Presented at:
19th International Conference on Information Security Practice and Experience

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-981-97-9053-1_17

 

Attack Tree Generation via Process Mining

Konsta, Alyzia Maria ; Di Federico, Gemma ; Lluch Lafuente, Alberto ; Burattin, Andrea
part of: Proceedings of the 12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, pages: 356-372, 2025
Presented at:
12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-3-031-73709-1_22

  PDF

Comparative Study on the Thermodynamic Performance of the Solar Latent Heat Thermal Energy Storage System Using Different Storage Mediums

Jin, Xin ; Huang, Chunjun ; You, Shi
part of: Proceedings of 16th International Conference on Applied Energy (ICAE2024), 2025
Presented at:
16th International Conference on Applied Energy

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.46855/energy-proceedings-11505

 

Estimating Linear Joint Stiffness and Damping Using a Frequency-Based Optimization Framework and the Emerging Concept of DyDis

Brøns, Marie ; Trainotti, Francesco ; Rixen, Daniel J.
part of: Dynamic Substructures , pages: 37-42, 2025
Presented at:
42nd IMAC

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-3-031-68897-3_4

 

Fast Diffusion-Based Counterfactuals for Shortcut Removal and Generation

Weng, Nina ; Pegios, Paraskevas ; Petersen, Eike ; Feragen, Aasa ; Bigdeli, Siavash
part of: Proceedings of the 18th European Conference Computer Vision – ECCV 2024, pages: 338-357, 2025
Presented at:
The 18th European Conference on Computer Vision

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-3-031-73016-0_20

 

Formal Methods for Distributed Computing in Future Railway Systems

Fantechi, Alessandro ; Gnesi, Stefania ; Haxthausen, Anne
part of: Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, pages: 109-111, 2025
Presented at:
12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-3-031-75390-9_7

 

Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components

Limbrée, Christophe ; Haxthausen, Anne E. ; Gori, Gloria ; Fantechi, Alessandro
part of: Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, pages: 127-141, 2025
Presented at:
12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-3-031-75390-9_9

 

Geometry Fidelity for Spherical Images

Christensen, Anders ; Mojab, Nooshin ; Patel, Khushman ; Ahuja, Karan ; Akata, Zeynep ; Winther, Ole ; Gonzalez-Franco, Mar ; Colaco, Andrea
part of: Proceedings of the 18th European Conference on Computer Vision ECCV 2024, 2025
Presented at:
The 18th European Conference on Computer Vision

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-3-031-72989-8_16

 

Hygrothermal Assessment of Internally Insulation for Historic Half-Timbered Outer Wall

Møller, Eva ; Hansen, Ernst Jan de Place ; Jensen, Nickolaj Feldt ; Pagoni, Panagiota ; Peuhkuri, Ruut Hannele
part of: Multiphysics and Multiscale Building Physics , pages: 451–456, 2025, Singapore
Presented at:
9th International Building Physics Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-981-97-8313-7

 

Identifying Nonalcoholic Fatty Liver Disease and Advanced Liver Fibrosis from MRI in UK Biobank

Al-Belmpeisi, Rami ; Sørensen, Kristine Aavild ; Sundgaard, Josefine Vilsbøll ; Nabilou, Puria ; Emerson, Monica Jane ; Larsen, Peter Hjørringgaard ; Gluud, Lise Lotte ; Andersen, Thomas Lund ; Dahl, Anders Bjorholm
part of: Proceedings of the 15th International Workshop Machine Learning in Medical Imaging, MLMI 2024, pages: 222-231, 2025
Presented at:
15th International Workshop Machine Learning in Medical Imaging

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-3-031-73290-4_22

  PDF

Lab-field multi-energy platform: electrolyzer, redox flow battery, and lithium-ion battery energy storage system

Zhao, Chunyang ; Jin, Xin ; Kayaalp, Bugra ; Liu, Chao ; Klintström, Magnus ; Hauer, Frank Alan ; You, Shi ; Træholt, Chresten
part of: Proceedings of 16th International Conference on Applied Energy (ICAE2024), 2025
Presented at:
16th International Conference on Applied Energy

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.46855/energy-proceedings-11540

 

Optimality-Preserving Reduction of Chemical Reaction Networks

Larsen, Kim G. ; Toller, Daniele ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea
part of: Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, ISoLA, pages: 13-32, 2025
Presented at:
12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-3-031-75107-3_2

 

Recent Trends in Demand-Side Flexibility

Madsen, Henrik ; Tohidi, Seyed Shahabaldin ; Ebrahimy, Razgar ; Banaei, Mohsen ; Ritschel, Tobias K.S. ; Mahdavi, Nariman
part of: Proceedings of the 4th Energy Informatics Academy Conference, EI.A 2024, pages: 167-184, 2025
Presented at:
4th Energy Informatics.Academy Conference, EI.A 2024

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-3-031-74741-0_12

 

Scholarly Wikidata: Population and Exploration of Conference Data in Wikidata using LLMs

Mihindukulasooriya, Nandana ; Tiwar, Sanju ; Dobriy, Daniil ; Nielsen, Finn Årup ; Chhetri, Tek Raj ; Polleres, Axel
part of: Proceeding of the 24th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2024, pages: 243–259, 2025
Presented at:
24th International Conference on Knowledge Engineering and Knowledge Management

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-3-031-77792-9_15

 

Slicing Through Bias: Explaining Performance Gaps in Medical Image Analysis using Slice Discovery Methods

Olesen, Vincent ; Weng, Nina ; Feragen, Aasa ; Petersen, Eike
part of: Proceedings of Ethics and Fairness in Medical Imaging , pages: 3-13, 2025
Presented at:
27th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2024

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2025     |    DOI: https://doi.org/10.1007/978-3-031-72787-0_1