Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Data-Driven Invariant Learning for Probabilistic Programs.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
Data-Driven Invariant Learning for Probabilistic Programs.
CoRR, 2021
SeVa: A Food Donation App for Smart Living.
Proceedings of the 11th IEEE Annual Computing and Communication Workshop and Conference, 2021
Hydroinformatics and the web: analytics and dissemination of hydrology data for climate change and sustainability.
SIGWEB Newsl., 2020
Ubiquitous Access for Local Water Management Through HCI Based App Development.
Proceedings of the 10th IEEE Annual Ubiquitous Computing, 2019