Publications

Overview of publications written by staff at DTU Compute

In addition to this publication list, please use the search facilities in DTU Orbit for articles and reports of employees at DTU Compute. You will find full-texts of articles in accordance with the applicable copyright policies.

rss feed

2022
 

A Case Study in Computer-Assisted Meta-reasoning

From, Asta Halkjær ; Lund, Simon Tobias ; Villadsen, Jørgen
part of: Distributed Computing and Artificial Intelligence, pages: 53-63, 2022
Presented at:
18th International Symposium on Distributed Computing and Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-030-86887-1_5

 

Approximately dual pairs of wavelet frames

Benavente, Ana ; Christensen, Ole ; Hasannasab, Marzieh ; Kim, Hong Oh ; Kim, Rae Young ; Kovac, Federico D.
in: Journal of Mathematical Analysis and Applications, vol: 507, issue: 2

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1016/j.jmaa.2021.125841

 

A Theorem Proving Approach to Formal Verification of a Cognitive Agent

Jensen, Alexander Birch
part of: Distributed Computing and Artificial Intelligence, pages: 1-11, 2022
Presented at:
18th International Symposium on Distributed Computing and Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1007/978-3-030-86261-9_1

 

Blockchain-based Framework for Reducing Fake or Vicious News Spread on Social Media/Messaging Platforms

Dhall, Sakshi ; Dwivedi, Ashutosh Dhar ; Pal, Saibal K. ; Srivastava, Gautam
in: ACM Transactions on Asian and Low-Resource Language Information Processing, vol: 21, issue: 1

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1145/3467019

 

Cyber security challenges in aviation communication, navigation, and surveillance

Dave, Gaurav ; Choudhary, Gaurav ; Sihag, Vikas ; You, Ilsun ; Choo, Kim Kwang Raymond
in: Computers and Security, vol: 112

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1016/j.cose.2021.102516

  PDF

De-homogenization using Convolutional Neural Networks

Elingaard, Martin O. ; Aage, Niels ; Bærentzen, J. Andreas ; Sigmund, Ole
in: Computer Methods in Applied Mechanics and Engineering, vol: 388

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1016/j.cma.2021.114197

  PDF

Detecting Ambiguous Phishing Certificates using Machine Learning

Hageman, Kaspar ; Homayoun, Sajad ; Afzal-Houshmand, Sam ; Jensen, Christian D. ; Pedersen, Jens M.
part of: Proceedings of 36th International Conference on Information Networking, 2022
Presented at:
36th International Conference on Information Networking

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2022

  PDF

Individual Fibre Inclination Segmentation from X-ray Computed Tomography using Principal Component Analysis

Salling, Filip Bo ; Jeppesen, Niels ; Sonne, Mads Rostgaard ; Hattel, Jesper H. ; Mikkelsen, Lars Pilgaard
in: Journal of Composite Materials, vol: 56, issue: 1, pages: 83-98

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1177/00219983211052741

 

Reviewing two decades of energy system analysis with bibliometrics

Dominković, D. F. ; Weinand, J. M. ; Scheller, F. ; D'Andrea, M. ; McKenna, R.
in: Renewable and Sustainable Energy Reviews, vol: 153

Type: Review (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1016/j.rser.2021.111749

 

Soft-linking of improved spatiotemporal capacity expansion model with a power flow analysis for increased integration of renewable energy sources into interconnected archipelago

Mimica, Marko ; Dominković, Dominik F. ; Kirinčić, Vedran ; Krajačić, Goran
in: Applied Energy, vol: 305

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2022     |    DOI: https://doi.org/10.1016/j.apenergy.2021.117855