Skip to main content
Department of Information Technology

Publications

Publications produced by research conducted at the Division of Computer Systems during the current year are listed below.

Publications from previous years are archived.

Publications from the Division of Computer Systems

  1. Boosting Constrained Horn Solving by Unsat Core Learning. Parosh Aziz Abdulla, Chencheng Liang, and Philipp Rümmer. In Verification, Model Checking, and Abstract Interpretation, volume 14499 of 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, and Philipp Rümmer. In , 2024.
  3. Blades: A Unified Benchmark Suite for Byzantine Attacks and Defenses in Federated Learning. Shenghui Li, Edith Ngai, Fanghua Ye, Li Ju, Tianru Zhang, and Thiemo Voigt. In , 2024. (Conference information).
  4. FedCau: A Proactive Stop Policy for Communication and Computation Efficient Federated Learning. Afsaneh Mahmoudi, Hossein S. Ghadikolaei, José Mairton Barros da Silva Jr., and Carlo Fischione. In IEEE Transactions on Wireless Communications, pp 1-1, IEEE Communications Society, 2024. (DOI, Fulltext, External link).
  5. ChannelComp: A General Method for Computation by Communications. Saeed Razavikia, Jose Mairton Barros da Silva Junior, and Carlo Fischione. In IEEE Transactions on Communications, volume 72, number 2, pp 692-706, IEEE Communications Society, 2024. (DOI, Fulltext, External link). Publication status: Accepted
  6. 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., and H. Vincent Poor. In IET Communications, 2024. (DOI, Fulltext, fulltext:print).
  7. 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, and Tove Fall. In Spatial and Spatio-temporal Epidemiology, volume 48, Elsevier, 2024. (DOI, Fulltext, fulltext:print).

Publications from previous years are archived.

Updated  2022-03-13 19:21:17 by Victor Kuismin.