PaperA Formal Treatment of Non-repudiation ProtocolsSatoshi HadaIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
PaperA minimal descriptor of an ancestral recombinations graphLaxmi Parida, Pier F. Palamara, et al.BMC Bioinformatics
PaperDynamic graph and polynomial chaos based models for contact tracing data analysis and optimal testing prescriptionShashanka Ubaru, Lior Horesh, et al.Journal of Biomedical Informatics
Workshop paperSPRIG: Stackelberg Perception-Reinforcement Learning with Internal Game DynamicsFernando Martinez, Juntao Chen, et al.AAAI 2025