Publikationer

1. Boosting Constrained Horn Solving by Unsat Core Learning. Parosh Aziz Abdulla, Chencheng Liang och Philipp Rümmer. I Verification, Model Checking, and Abstract Interpretation, volym 14499 av Lecture Notes in Computer Science, pp 280-302, Springer Nature, 2024. (DOI).
2. Poster: Fault Tolerance with Time Guarantees in Mobile Systems for Extreme Environments. Ahmed El Yaacoub, Luca Mottola, Thiemo Voigt och Philipp Rümmer. I , 2024.
3. Comparing Service-Oriented Architecture Frameworks for Use in Programmable Industrial Vehicle Displays. Axel Gällstedt. Examensarbete, handledare: Ken Lindfors, examinator: Lars-Åke Nordén, Mohamed Faouzi Atig, UPTEC IT nr 24001, 2024. (fulltext).
4. Blades: A Unified Benchmark Suite for Byzantine Attacks and Defenses in Federated Learning. Shenghui Li, Edith Ngai, Fanghua Ye, Li Ju, Tianru Zhang och Thiemo Voigt. I , 2024. (Conference information).
5. FedCau: A Proactive Stop Policy for Communication and Computation Efficient Federated Learning. Afsaneh Mahmoudi, Hossein S. Ghadikolaei, José Mairton Barros da Silva Jr. och Carlo Fischione. I IEEE Transactions on Wireless Communications, pp 1-1, IEEE Communications Society, 2024. (DOI, Fulltext, Extern länk).
6. ChannelComp: A General Method for Computation by Communications. Saeed Razavikia, José Mairton Barros da Silva och Carlo Fischione. I IEEE Transactions on Communications, volym 72, nummer 2, pp 692-706, Institute of Electrical and Electronics Engineers (IEEE), 2024. (DOI, Fulltext, Extern länk, fulltext:print).
7. On differential privacy for federated learning in wireless systems with multiple base stations. Nima Tavangaran, Mingzhe Chen, Zhaohui Yang, José Mairton B. Da Silva Jr. och H. Vincent Poor. I IET Communications, 2024. (DOI, Fulltext, fulltext:print).
8. Predicting COVID-19 hospitalizations: The importance of healthcare hotlines, test positivity rates and vaccination coverage. Vera van Zoest, Karl Lindberg, Georgios Varotsis, Frank Badu Osei och Tove Fall. I Spatial and Spatio-temporal Epidemiology, volym 48, Elsevier, 2024. (DOI, Fulltext, fulltext:print).
9. Spatio-temporal modelling of the effects of the COVID-19 pandemic on electricity consumption patterns in Stockholm, Sweden. Vera van Zoest, Carl Lindberg, Fouad El Gohary och Cajsa Bartusch. I Science Talks, volym 9, pp 100300-100300, 2024. (DOI).

Publikationer från tidigare år arkiveras.