Skip to main content
To KTH's start page

Publications

Here is the 50 latest publications at Department of Computer Science.

Below you will find the 50 latest publications at Department of Computer Science,
for a complete list use the link to DiVA .

Publications CS

[1]
Y. Ju et al., "Dynamic Resource Management for In-Situ Techniques Using MPI-Sessions," in Recent advances in the message passing interface, EUROMPI 2024, 2025, pp. 105-120.
[2]
J. Amilon and D. Gurov, "Deductively Verified Program Models for Software Model Checking," in Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings, 2025, pp. 8-25.
[3]
K. Hammar and R. Stadler, "Intrusion Tolerance as a Two-Level Game," in Decision and Game Theory for Security - 15th International Conference, GameSec 2024, Proceedings, 2025, pp. 3-23.
[4]
O. Stenhammar, G. Fodor and C. Fischione, "AI-aided Channel Prediction," in Artificial Intelligence for Future Networks, Mohammad A. Matin, Sotirios K. Goudos, George K. Karagiannidis Ed., : Wiley, 2025.
[5]
J. Ekelund et al., "AI in Space for Scientific Missions : Strategies for Minimizing Neural-Network Model Upload," in 2024 IEEE 20TH INTERNATIONAL CONFERENCE ON E-SCIENCE, E-SCIENCE 2024, 2024.
[6]
T. Lindeberg, "A time-causal and time-recursive analogue of the Gabor transform," IEEE Transactions on Information Theory, pp. 1-31, 2024.
[7]
D. Tiwari, "Augmenting Test Oracles with Production Observations," Doctoral thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2024:87, 2024.
[8]
E. Poorhadi and E. Troubitsyna, "Automating an Integrated Model-Driven Approach to Analysing the Impact of Cyberattacks on Safety," in Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024, pp. 61-73.
[9]
B. Lindqvist and A. Podobas, "Algorithms for Fast Spiking Neural Network Simulation on FPGAs," IEEE Access, vol. 12, pp. 150334-150353, 2024.
[10]
T. Horberg et al., "A Rose by Another Name? : Odor Misnaming is Associated with Linguistic Properties," Cognitive science, vol. 48, no. 10, 2024.
[11]
V. Petrov, D. Moltchanov and J. M. Jornet, "Accurate Channel Model for Near Field Terahertz Communications beyond 6G," in 2024 IEEE 25th International Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2024, 2024, pp. 781-785.
[12]
B. Deutschmann et al., "Accurate Direct Positioning in Distributed MIMO Using Delay-Doppler Channel Measurements," in 2024 IEEE 25th International Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2024, 2024, pp. 606-610.
[13]
S. Karimi, S. Asadi and A. H. Payberah, "BaziGooshi : A Hybrid Model of Reinforcement Learning for Generalization in Gameplay," IEEE Transactions on Games, vol. 16, no. 3, pp. 722-734, 2024.
[14]
O. Stenhammar, G. Fodor and C. Fischione, "A Comparison of Neural Networks for Wireless Channel Prediction," IEEE wireless communications, vol. 31, no. 3, pp. 235-241, 2024.
[15]
E. Konuk et al., "A framework for assessing joint human-AI systems based on uncertainty estimation," in Miccai2024, 27Th International Conference On Medical Image Computing,  And Computer Assisted Intervention, Marrakesh, October 6-10, 2024, 2024.
[16]
N. Dayan, I.-O. Bercea and R. Pagh, "Aleph Filter: To Infinity in Constant Time," Proceedings of the VLDB Endowment, vol. 17, no. 11, pp. 3644-3656, 2024.
[17]
M. Aghvamipanah et al., "Activity Recognition Protection for IoT Trigger-Action Platforms," in Proceedings - 9th IEEE European Symposium on Security and Privacy, Euro S and P 2024, 2024, pp. 600-616.
[18]
X. Yan, S. Razavikia and C. Fischione, "A Novel Channel Coding Scheme for Digital Multiple Access Computing," in ICC 2024 - IEEE International Conference on Communications, 2024, pp. 3851-3857.
[19]
G. Çaylak, "Automated Optimizations for Inference in Probabilistic Programming Languages," Licentiate thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2024:73, 2024.
[20]
V. Palmkvist, "Abstraction, Composition, and Resolvable Ambiguity in Programming Language Implementation," Doctoral thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2024:69, 2024.
[21]
F. Schmidt et al., "A Scalable System Architecture for Composition and Deployment of Machine Learning Models in Cognitive Behavioral Therapy," in 2024 IEEE International Conference on Digital Health (ICDH), 2024, pp. 79-86.
[22]
K. Segeljakt, S. Haridi and P. Carbone, "AquaLang : A Dataflow Programming Language," in DEBS 2024 - Proceedings of the 18th ACM International Conference on Distributed and Event-Based Systems, 2024, pp. 42-53.
[23]
V. Engström, G. Nebbione and M. Ekstedt, "A Metalanguage for Dynamic Attack Graphs and Lazy Generation," in ARES 2024 - 19th International Conference on Availability, Reliability and Security, Proceedings, 2024.
[24]
H. Teixeira De Castro et al., "A Model-based Approach for Assessing the Security of Cyber-Physical Systems," in ARES 2024 - 19th International Conference on Availability, Reliability and Security, Proceedings, 2024.
[25]
T. Westin et al., "Assistive Augmented Reality for Adults on the Autism Spectrum with Intellectual Disability," in Computers Helping People with Special Needs - 19th International Conference, ICCHP 2024, Proceedings, 2024, pp. 257-266.
[26]
A. Buwaider et al., "Augmented reality navigation in external ventricular drain insertion-a systematic review and meta-analysis," Virtual Reality, vol. 28, no. 3, 2024.
[27]
T. Westin et al., "An extended reality platform for inclusion of adults on the autism spectrum: A position paper," in 15th International Conference on Ambient Systems, Networks and Technologies Networks, ANT 2024 / The 7th International Conference on Emerging Data and Industry 4.0, EDI40 2024, 2024, pp. 476-483.
[28]
M. Polverini et al., "Achieving Best-path Selection at Line Rate through the SRv6 Live-Live Behavior," in Proceedings of IEEE/IFIP Network Operations and Management Symposium 2024, NOMS 2024, 2024.
[29]
E. Kennerland, B. Lindoff and E. Björnson, "Analysis of Quantization Noise Suppression Gains in Digital Phased Arrays," in 2024 IEEE Wireless Communications and Networking Conference, WCNC 2024 - Proceedings, 2024.
[30]
R. Glassey and A. Baltatzis, "Active Repos : Integrating Generative AI Workflows into GitHub," in ITiCSE 2024 - Proceedings of the 2024 Conference Innovation and Technology in Computer Science Education, 2024, pp. 777-778.
[31]
S. G. E. Gökstorp et al., "Anomaly Detection in Security Logs using Sequence Modeling," in Proceedings of IEEE/IFIP Network Operations and Management Symposium 2024, NOMS 2024, 2024.
[32]
J. P. Huix et al., "Are Natural Domain Foundation Models Useful for Medical Image Classification?," in Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024, 2024, pp. 7619-7628.
[33]
A. Q. Khan et al., "A Taxonomy for Cloud Storage Cost," in Management of Digital EcoSystems - 15th International Conference, MEDES 2023, Revised Selected Papers, 2024, pp. 317-330.
[34]
J. Lindén et al., "Autonomous Realization of Safety- and Time-Critical Embedded Artificial Intelligence," in 2024 Design, Automation and Test in Europe Conference and Exhibition, DATE 2024 - Proceedings, 2024.
[35]
Y. Khorsandmanesh et al., "Beam Coherence Time Analysis for Mobile Wideband mmWave Point-to-Point MIMO Channels," IEEE Wireless Communications Letters, vol. 13, no. 6, pp. 1546-1550, 2024.
[36]
C. Linse and J. Lilliesköld, "Agile Transformation to an Agile Organization : A new form of organizing R&D," in R&D Management 2024 : Transforming Industries through Technology, 2024.
[37]
M. Andersson, F. Liu and S. Markidis, "Anderson Accelerated PMHSS for Complex-Symmetric Linear Systems," in 2024 SIAM Conference on Parallel Processing for Scientific Computing, PP 2024, 2024, pp. 39-51.
[38]
T. Lanciano et al., "A Survey on the Densest Subgraph Problem and its Variants," ACM Computing Surveys, vol. 56, no. 8, 2024.
[39]
D. Hussain, "Accessibility Knowledge Viewed Through the Lens of the Stakeholders.," in HCSE24, 2024.
[40]
F. S. Samani and R. Stadler, "A Framework for dynamically meeting performance objectives on a service mesh," (Manuscript).
[41]
O. Kynman et al., "Analysis and Measurement of Key Performance Indicators for MIMO Antennas," in 18th European Conference on Antennas and Propagation, EuCAP 2024, 2024.
[42]
Z. Liao et al., "A Bibliometric Analysis of Scientific Publications on Eating Disorder Prevention in the Past Three Decades," Nutrients, vol. 16, no. 8, 2024.
[43]
T. Lindeberg, "Approximation properties relative to continuous scale space for hybrid discretizations of Gaussian derivative operators," , 2024.
[44]
C. Matsoukas, "Artificial Intelligence for Medical Image Analysis with Limited Data," Doctoral thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2024:48, 2024.
[45]
C. Jiao, J. Liao and S. He, "An aberration-free line scan confocal Raman imager and type classification and distribution detection of microplastics," Journal of Hazardous Materials, vol. 470, 2024.
[46]
S. Ennadir et al., "A Simple and Yet Fairly Effective Defense for Graph Neural Networks," in AAAI Technical Track on Safe, Robust and Responsible AI Track, 2024, pp. 21063-21071.
[47]
J.-H. Kim et al., "An NN-Aided Near-and-Far-Field Classifier via Channel Hankelization in XL-MIMO Systems," IEEE Access, vol. 12, pp. 41934-41941, 2024.
[48]
E. Shereen, K. Kazari and G. Dán, "A Reinforcement Learning Approach to Undetectable Attacks Against Automatic Generation Control," IEEE Transactions on Smart Grid, vol. 15, no. 1, pp. 959-972, 2024.
[49]
C. Lidström, "Automated Deductive Verification of Safety-Critical Embedded Software," Doctoral thesis Stockholm : KTH Royal Institute of Technology, TRITA-EECS-AVL, 2024:17, 2024.
[50]
J. Amilon et al., "An Exercise in Mind Reading: Automatic Contract Inference for Frama-C," in Guide to Software Verification with Frama-C: Core Components, Usages, and Applications, : Springer Nature, 2024.