default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrea Patanè
Person information
- affiliation: University of Oxford, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j9]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. 334: 104132 (2024)- [c20]Matthew Wicker
, Andrea Patane, Luca Laurenti, Marta Kwiatkowska:
Adversarial Robustness Certification for Bayesian Neural Networks. FM (1) 2024: 3-28 - [i17]Eduardo Figueiredo, Andrea Patane, Morteza Lahijanian, Luca Laurenti:
Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification. CoRR abs/2403.15626 (2024) - [i16]Steven Adams, Andrea Patanè, Morteza Lahijanian, Luca Laurenti:
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection. CoRR abs/2407.18707 (2024) - 2023
- [j8]Shadi Ghiasi, Andrea Patane, Luca Laurenti, Claudio Gentili, Enzo Pasquale Scilingo, Alberto Greco, Marta Kwiatkowska:
Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. IEEE J. Biomed. Health Informatics 27(8): 3721-3730 (2023) - [c19]Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti:
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. ICML 2023: 133-151 - [i15]Alice Doherty, Matthew Wicker, Luca Laurenti, Andrea Patane:
Individual Fairness in Bayesian Neural Networks. CoRR abs/2304.10828 (2023) - [i14]Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti:
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. CoRR abs/2306.10742 (2023) - [i13]Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska:
Adversarial Robustness Certification for Bayesian Neural Networks. CoRR abs/2306.13614 (2023) - [i12]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR abs/2310.01951 (2023) - 2022
- [j7]Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska:
Adversarial Robustness Guarantees for Gaussian Processes. J. Mach. Learn. Res. 23: 146:1-146:55 (2022) - [c18]Elias Benussi, Andrea Patanè, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska:
Individual Fairness Guarantees for Neural Networks. IJCAI 2022: 651-658 - [i11]Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska:
Individual Fairness Guarantees for Neural Networks. CoRR abs/2205.05763 (2022) - [i10]Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker:
On the Robustness of Bayesian Neural Networks to Adversarial Attacks. CoRR abs/2207.06154 (2022) - 2021
- [c17]Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska:
Bayesian Inference with Certifiable Adversarial Robustness. AISTATS 2021: 2431-2439 - [c16]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Certification of iterative predictions in Bayesian neural networks. UAI 2021: 1713-1723 - [i9]Matthew Wicker, Luca Laurenti, Andrea Patane, Zhoutong Chen, Zheng Zhang, Marta Kwiatkowska:
Bayesian Inference with Certifiable Adversarial Robustness. CoRR abs/2102.05289 (2021) - [i8]Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen J. Roberts, Marta Kwiatkowska:
Adversarial Robustness Guarantees for Gaussian Processes. CoRR abs/2104.03180 (2021) - [i7]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Certification of Iterative Predictions in Bayesian Neural Networks. CoRR abs/2105.10134 (2021) - 2020
- [c15]Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts:
Adversarial Robustness Guarantees for Classification with Gaussian Processes. AISTATS 2020: 3372-3382 - [c14]Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts:
Safety Guarantees for Iterative Predictions with Gaussian Processes. CDC 2020: 3187-3193 - [c13]Shadi Ghiasi, Andrea Patanè, Alberto Greco, Luca Laurenti, Enzo Pasquale Scilingo, Marta Z. Kwiatkowska:
Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition. EMBC 2020: 54-57 - [c12]Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patané, Luca Bortolussi, Guido Sanguinetti:
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. NeurIPS 2020 - [c11]Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska:
Probabilistic Safety for Bayesian Neural Networks. UAI 2020: 1198-1207 - [i6]Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane, Luca Bortolussi, Guido Sanguinetti:
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. CoRR abs/2002.04359 (2020) - [i5]Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska:
Probabilistic Safety for Bayesian Neural Networks. CoRR abs/2004.10281 (2020)
2010 – 2019
- 2019
- [j6]Andrea Patané, Giorgio Jansen, Piero Conca, Giovanni Carapezza, Jole Costanza, Giuseppe Nicosia:
Multi-objective optimization of genome-scale metabolic models: the case of ethanol production. Ann. Oper. Res. 276(1-2): 211-227 (2019) - [j5]Stefano Rosa, Andrea Patane, Chris Xiaoxuan Lu, Niki Trigoni:
Semantic Place Understanding for Human-Robot Coexistence - Toward Intelligent Workplaces. IEEE Trans. Hum. Mach. Syst. 49(2): 160-170 (2019) - [c10]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane:
Robustness Guarantees for Bayesian Inference with Gaussian Processes. AAAI 2019: 7759-7768 - [c9]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker:
Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI 2019: 5693-5700 - [i4]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker:
Statistical Guarantees for the Robustness of Bayesian Neural Networks. CoRR abs/1903.01980 (2019) - [i3]Arno Blaas, Luca Laurenti, Andrea Patane, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts:
Robustness Quantification for Classification with Gaussian Processes. CoRR abs/1905.11876 (2019) - [i2]Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts:
Safety Guarantees for Planning Based on Iterative Gaussian Processes. CoRR abs/1912.00071 (2019) - 2018
- [j4]Andrea Patanè, Andrea Santoro, Vittorio Romano, Antonino La Magna, Giuseppe Nicosia:
Enhancing quantum efficiency of thin-film silicon solar cells by Pareto optimality. J. Glob. Optim. 72(3): 491-515 (2018) - [j3]Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska:
Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers. ACM Trans. Cyber Phys. Syst. 2(4): 33:1-33:31 (2018) - [c8]Andrea Patane, Shadi Ghiasi, Enzo Pasquale Scilingo, Marta Kwiatkowska:
Automated Recognition of Sleep Arousal Using Multimodal and Personalized Deep Ensembles of Neural Networks. CinC 2018: 1-4 - [c7]Stefano Rosa, Andrea Patanè, Xiaoxuan Lu, Niki Trigoni:
CommonSense: Collaborative learning of scene semantics by robots and humans. IoPARTS@MobiSys 2018: 1-6 - [c6]Andrea Patanè, Marta Kwiatkowska:
Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG. LOD 2018: 1-13 - [c5]Simon Eberz, Giulio Lovisotto, Andrea Patane, Marta Kwiatkowska, Vincent Lenders, Ivan Martinovic:
When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts. IEEE Symposium on Security and Privacy 2018: 889-905 - [i1]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane:
Robustness Guarantees for Bayesian Inference with Gaussian Processes. CoRR abs/1809.06452 (2018) - 2017
- [j2]Andrea Patanè, Andrea Santoro, Piero Conca, Giovanni Carapezza, Antonino La Magna, Vittorio Romano, Giuseppe Nicosia:
Multi-objective optimization and analysis for the design space exploration of analog circuits and solar cells. Eng. Appl. Artif. Intell. 62: 373-383 (2017) - [c4]Simon Eberz, Nicola Paoletti, Marc Roeschlin, Andrea Patané, Marta Kwiatkowska, Ivan Martinovic:
Broken Hearted: How To Attack ECG Biometrics. NDSS 2017 - 2016
- [c3]Andrea Patané, Piero Conca, Giovanni Carapezza, Andrea Santoro, Jole Costanza, Giuseppe Nicosia:
Metabolic Circuit Design Automation by Multi-objective BioCAD. MOD 2016: 30-44 - 2015
- [j1]Andrea Patane, Andrea Santoro, Jole Costanza, Giovanni Carapezza, Giuseppe Nicosia:
Pareto Optimal Design for Synthetic Biology. IEEE Trans. Biomed. Circuits Syst. 9(4): 555-571 (2015) - [c2]Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane:
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. EMBC 2015: 7188-7191 - [c1]Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane:
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. HSB 2015: 119-140
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
