We stand with Ukraine  

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.
[BibTeX]
[DOI]
Ignacy Stepka
,
Nicholas Gisolfi
,
Artur Dubrawski
CoRR, 2024

Signal Quality Auditing for Time-series Data.
[BibTeX]
[DOI]
Chufan Gao
,
Nicholas Gisolfi
,
Artur Dubrawski
CoRR, 2024

Data-Driven Discovery of Design Specifications (Student Abstract).
[BibTeX]
[DOI]
Angela Chen
,
Nicholas Gisolfi
,
Artur Dubrawski
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Verification of Fuzzy Decision Trees.
[BibTeX]
[DOI]
Jack H. Good
,
Nicholas Gisolfi
,
James Kyle Miller
,
Artur Dubrawski
IEEE Trans. Software Eng., 2023

Ordinal Programmatic Weak Supervision and Crowdsourcing for Estimating Cognitive States (Student Abstract).
[BibTeX]
[DOI]
Prakruthi Pradeep
,
Benedikt Boecking
,
Nicholas Gisolfi
,
Jacob R. Kintz
,
Torin K. Clark
,
Artur Dubrawski
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Model-Centric Verification of Artificial Intelligence.
[BibTeX]
[DOI]
Nicholas Gisolfi
PhD thesis, 2022

Actionable Model-Centric Explanations (Student Abstract).
[BibTeX]
[DOI]
Cecilia G. Morales
,
Nicholas Gisolfi
,
Robert Edman
,
James Kyle Miller
,
Artur Dubrawski
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Provably Robust Model-Centric Explanations for Critical Decision-Making.
[BibTeX]
[DOI]
Cecilia G. Morales
,
Nicholas Gisolfi
,
Robert Edman
,
James Kyle Miller
,
Artur Dubrawski
CoRR, 2021

2018
Revealing Actionable Simplicity in Data.
[BibTeX]
[DOI]
Nick Gisolfi
,
Artur Dubrawski
Proceedings of the 2018 AAAI Spring Symposia, 2018

2015
Finding Meaningful Gaps to Guide Data Acquisition for a Radiation Adjudication System.
[BibTeX]
[DOI]
Nick Gisolfi
,
Madalina Fiterau
,
Artur Dubrawski
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Leveraging Common Structure to Improve Prediction across Related Datasets.
[BibTeX]
[DOI]
Matt Barnes
,
Nick Gisolfi
,
Madalina Fiterau
,
Artur Dubrawski
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015


  Loading...