Conference paperCOUNTERFACTUAL CONCEPT BOTTLENECK MODELSGabriele Dominici, Pietro Barbiero, et al.ICLR 2025
PaperExposing and eliminating vulnerabilities to denial of service attacks in secure gossip-based multicastGal Badishi, Idit Keidar, et al.IEEE TDSC
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science