Papers

• Destination-Labeled Self-Looping Systems with Dwell: Intrinsic Characterization, Realization Cost, and Recognition (2026)
  Reda Belaiche
  4.39
• A Datalog Framework for Conflict-Free Replicated Data Types (2026)
  Elena Yanakieva et al.
  4.27
• On the Depth Scalability of Logic Gate Networks (2026)
  Taegun An et al.
  2.00
• Formalisation of Security for Federated Learning with DP and Attacker Advantage in IIIf for Satellite Swarms -- Extended Version (2025)
  Florian Kamm\"uller
  1.61
• Privacy-Preserving Personalization in Education: A Federated Recommender System for Student Performance Prediction (2025)
  Rodrigo Tertulino et al.
  1.44
• Evaluating Federated Learning for At-Risk Student Prediction: A Comparative Analysis of Model Complexity and Data Balancing (2025)
  Rodrigo Tertulino et al.
  1.39
• Distributed Transactional Systems Cannot Be Fast (2019)
  Diego Didona et al.
  —
• Conflict-free Collaborative Set Sharing for Distributed Systems (2021)
  Masato Takeichi
  —
• Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP) (2024)
  Anil Nerode et al.
  —