Nicholas Gisolfi

Orcid: 0000-0002-9258-6285

According to our database1, Nicholas Gisolfi authored at least 12 papers between 2015 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Mitigating Persistent Client Dropout in Asynchronous Decentralized Federated Learning.
CoRR, August, 2025

2024
Signal Quality Auditing for Time-series Data.
CoRR, 2024

A SAT-Based Approach to Rigorous Verification of Bayesian Networks.
Proceedings of the Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2024

Data-Driven Discovery of Design Specifications (Student Abstract).
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Verification of Fuzzy Decision Trees.
IEEE Trans. Software Eng., 2023

Ordinal Programmatic Weak Supervision and Crowdsourcing for Estimating Cognitive States (Student Abstract).
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Model-Centric Verification of Artificial Intelligence.
PhD thesis, 2022

Actionable Model-Centric Explanations (Student Abstract).
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Provably Robust Model-Centric Explanations for Critical Decision-Making.
CoRR, 2021

2018
Revealing Actionable Simplicity in Data.
Proceedings of the 2018 AAAI Spring Symposia, 2018

2015
Finding Meaningful Gaps to Guide Data Acquisition for a Radiation Adjudication System.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Leveraging Common Structure to Improve Prediction across Related Datasets.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015


  Loading...