Nicholas Gisolfi

According to our database1, Nicholas Gisolfi authored at least 11 papers between 2015 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A SAT-based approach to rigorous verification of Bayesian networks.
CoRR, 2024

Signal Quality Auditing for Time-series Data.
CoRR, 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...