Jialu Bao
Orcid: 0000-0002-2353-350X
According to our database1,
Jialu Bao
authored at least 12 papers
between 2020 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
2025
0
1
2
3
4
2
1
2
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
ACM Trans. Knowl. Discov. Data, January, 2025
Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic Reasoning.
Proc. ACM Program. Lang., 2025
2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Hidden Community Detection on Two-layer Stochastic Models: a Theoretical Prospective.
CoRR, 2020
Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective.
Proceedings of the Theory and Applications of Models of Computation, 2020