Andrea Patanè

Orcid: 0000-0003-0492-4860

Affiliations:

University of Oxford, UK

According to our database¹, Andrea Patanè authored at least 35 papers between 2015 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection.

[BibT_eX]

[DOI]

CoRR, 2024

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification.

[BibT_eX]

[DOI]

CoRR, 2024

Probabilistic reach-avoid for Bayesian neural networks.

[BibT_eX]

[DOI]

Artif. Intell., 2024

Adversarial Robustness Certification for Bayesian Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States.

[BibT_eX]

[DOI]

Enzo Pasquale Scilingo

Alberto Greco

Marta Kwiatkowska

IEEE J. Biomed. Health Informatics, August, 2023

Individual Fairness in Bayesian Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2023

BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

2022

Adversarial Robustness Guarantees for Gaussian Processes.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2022

On the Robustness of Bayesian Neural Networks to Adversarial Attacks.

[BibT_eX]

[DOI]

CoRR, 2022

Individual Fairness Guarantees for Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Certification of iterative predictions in Bayesian neural networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

Bayesian Inference with Certifiable Adversarial Robustness.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021

2020

Probabilistic Safety for Bayesian Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020

Robustness of Bayesian Neural Networks to Gradient-Based Attacks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition.

[BibT_eX]

[DOI]

Enzo Pasquale Scilingo

Marta Z. Kwiatkowska

Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2020

Safety Guarantees for Iterative Predictions with Gaussian Processes.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Adversarial Robustness Guarantees for Classification with Gaussian Processes.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019

Semantic Place Understanding for Human-Robot Coexistence - Toward Intelligent Workplaces.

[BibT_eX]

[DOI]

IEEE Trans. Hum. Mach. Syst., 2019

Safety Guarantees for Planning Based on Iterative Gaussian Processes.

[BibT_eX]

[DOI]

CoRR, 2019

Robustness Quantification for Classification with Gaussian Processes.

[BibT_eX]

[DOI]

CoRR, 2019

Multi-objective optimization of genome-scale metabolic models: the case of ethanol production.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2019

Statistical Guarantees for the Robustness of Bayesian Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Robustness Guarantees for Bayesian Inference with Gaussian Processes.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers.

[BibT_eX]

[DOI]

Nicola Paoletti

Andrea Patanè

Marta Kwiatkowska

ACM Trans. Cyber Phys. Syst., 2018

Enhancing quantum efficiency of thin-film silicon solar cells by Pareto optimality.

[BibT_eX]

[DOI]

J. Glob. Optim., 2018

When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG.

[BibT_eX]

[DOI]

Andrea Patanè

Marta Kwiatkowska

Proceedings of the Machine Learning, Optimization, and Data Science, 2018

CommonSense: Collaborative learning of scene semantics by robots and humans.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Internet of People, 2018

Automated Recognition of Sleep Arousal Using Multimodal and Personalized Deep Ensembles of Neural Networks.

[BibT_eX]

[DOI]

Andrea Patane

Shadi Ghiasi

Enzo Pasquale Scilingo

Marta Kwiatkowska

Proceedings of the Computing in Cardiology, 2018

2017

Multi-objective optimization and analysis for the design space exploration of analog circuits and solar cells.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2017

Broken Hearted: How To Attack ECG Biometrics.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

2016

Metabolic Circuit Design Automation by Multi-objective BioCAD.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning, Optimization, and Big Data, 2016

2015

Pareto Optimal Design for Synthetic Biology.

[BibT_eX]

[DOI]

IEEE Trans. Biomed. Circuits Syst., 2015

Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

Andrea Patanè

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...