You are here

Publications

	Year	Authors	Title
	2023	Amaradio MN, Jansen G, Costanza J, Patanè A, Branduardi P, Porro D, Nicosia G.	L-lactate production in engineered Saccharomyces cerevisiae using a multistage multiobjective automated design framework. Biotechnology and bioengineering. DOI: http://dx.doi.org/10.1002/bit.28391
	2022	Ghiasi S, Patane A, Laurenti L, Gentili C, Scilingo EP, Greco A, Kwiatkowska M.	Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. IEEE journal of biomedical and health informatics. DOI: http://dx.doi.org/10.1109/jbhi.2022.3224775
	2022	Patane, Andrea and Blaas, Arno and Laurenti, Luca and Cardelli, Luca and Roberts, Stephen and Kwiatkowska, Marta	Adversarial robustness guarantees for gaussian processes Journal of Machine Learning Research, 23
	2022	Benussi, Elias, Patane', Andrea, Wicker, Matthew, Laurenti, Luca, Kwiatkowska, Marta	Individual Fairness Guarantees for Neural Networks Biotechnology and bioengineering. DOI: http://dx.doi.org/10.24963/ijcai.2022/92
	2022	Ojha V., Jansen G., Patane A., La Magna A., Romano V., Nicosia G.	Design and characterization of effective solar cells Energy Systems, 13(2), pp355-382. DOI: http://dx.doi.org/10.1007/s12667-021-00451-x
	2021	Wicker, Matthew and Laurenti, Luca and Patane, Andrea and Chen, Zhuotong and Zhang, Zheng and Kwiatkowska, Marta	Bayesian inference with certifiable adversarial robustness , pp2431--2439
	2021	Wicker, Matthew and Laurenti, Luca and Patane, Andrea and Paoletti, Nicola and Abate, Alessandro and Kwiatkowska, Marta	Certification of iterative predictions in Bayesian neural networks , pp1713--1723
	2020	Blaas, Arno and Patane, Andrea and Laurenti, Luca and Cardelli, Luca and Kwiatkowska, Marta and Roberts, Stephen	Adversarial robustness guarantees for classification with gaussian processes , pp3372--3382
	2020	Polymenakos K., Laurenti L., Patane A., Calliess J.-P., Cardelli L., Kwiatkowska M., Abate A., Roberts S.	Safety Guarantees for Iterative Predictions with Gaussian Processes Proceedings of the IEEE Conference on Decision and Control, 2020-December, pp3187-3193. DOI: http://dx.doi.org/10.1109/CDC42340.2020.9304029
	2020	Ghiasi S., Patane A., Greco A., Laurenti L., Scilingo E.P., Kwiatkowska M.	Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, 2020-July, pp54-57. DOI: http://dx.doi.org/10.1109/EMBC44109.2020.9176437
	2020	Carbone, Ginevra and Wicker, Matthew and Laurenti, Luca and Patane, Andrea and Bortolussi, Luca and Sanguinetti, Guido	Robustness of bayesian neural networks to gradient-based attacks Advances in Neural Information Processing Systems, 33, pp15602--15613
	2020	Wicker, Matthew and Laurenti, Luca and Patane, Andrea and Kwiatkowska, Marta	Probabilistic safety for bayesian neural networks , pp1198--1207
	2019	Patane A., Kwiatkowska M.	Calibrating the classifier: Siamese neural network architecture for end-to-end arousal recognition from ECG Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11331 LNCS, pp1-13. DOI: http://dx.doi.org/10.1007/978-3-030-13709-0_1
	2019	Colombo D, Fernández-Álvarez J, Fernández-Álvarez J, Patané A, Semonella M, Kwiatkowska M, García-Palacios A, Cipresso ...	Current State and Future Directions of Technology-Based Ecological Momentary Assessment and Intervention for Major Depressive Disorder: A Systematic Review. Journal of clinical medicine, 8(4). DOI: http://dx.doi.org/10.3390/jcm8040465
	2019	Patane A., Jansen G., Conca P., Carapezza G., Costanza J., Nicosia G.	Multi-objective optimization of genome-scale metabolic models: the case of ethanol production Annals of Operations Research, 276(1-2), pp211-227. DOI: http://dx.doi.org/10.1007/s10479-018-2865-4
	2019	Rosa S., Patane A., Lu C.X., Trigoni N.	Semantic Place understanding for human-robot coexistence-Toward intelligent workplaces IEEE Transactions on Human-Machine Systems, 49(2), pp160-170. DOI: http://dx.doi.org/10.1109/THMS.2018.2875079
	2019	Cardelli L., Kwiatkowska M., Laurenti L., Paoletti N., Patane A., Wicker M.	Statistical guarantees for the robustness of Bayesian neural networks IJCAI International Joint Conference on Artificial Intelligence, 2019-August, pp5693-5700. DOI: http://dx.doi.org/10.24963/ijcai.2019/789
	2019	Cardelli, Luca, Kwiatkowska, Marta, Laurenti, Luca, Patane, Andrea	Robustness Guarantees for Bayesian Inference with Gaussian Processes Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), pp7759-7768. DOI: http://dx.doi.org/10.1609/aaai.v33i01.33017759
	2018	Paoletti N., Patane A., Kwiatkowska M.	Closed-loop quantitative verification of rate-adaptive pacemakers ACM Transactions on Cyber-Physical Systems, 2(4). DOI: http://dx.doi.org/10.1145/3152767
	2018	Rosa S., Patane A., Lu X., Trigoni N.	Commonsense: Collaborative learning of scene semantics by robots and humans IoPARTS 2018 - Proceedings of the 2018 International Workshop on Internet of People, Assistive Robots and ThingS, pp1-6. DOI: http://dx.doi.org/10.1145/3215525.3215526
	2018	Patane A., Ghiasi S., Scilingo E.P., Kwiatkowska M.	Automated Recognition of Sleep Arousal Using Multimodal and Personalized Deep Ensembles of Neural Networks Computing in Cardiology, 2018-September. DOI: http://dx.doi.org/10.22489/CinC.2018.332
	2018	Colombo D, Palacios AG, Alvarez JF, Patané A, Semonella M, Cipresso P, Kwiatkowska M, Riva G, Botella C.	Current state and future directions of technology-based ecological momentary assessments and interventions for major depressive disorder: protocol for a systematic review. Systematic reviews, 7(1), pp233. DOI: http://dx.doi.org/10.1186/s13643-018-0899-y
	2018	Eberz S., Lovisotto G., Patane A., Kwiatkowska M., Lenders V., Martinovic I.	When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Proceedings - IEEE Symposium on Security and Privacy, 2018-May, pp889-905. DOI: http://dx.doi.org/10.1109/SP.2018.00053
	2018	Patane A., Santoro A., Romano V., Magna A.L., Nicosia G.	Enhancing quantum efficiency of thin-film silicon solar cells by Pareto optimality Journal of Global Optimization, 72(3), pp491-515. DOI: http://dx.doi.org/10.1007/s10898-018-0639-9
	2017	Eberz, Simon, Paoletti, Nicola, Roeschlin, Marc, Patani, Andrea, Kwiatkowska, Marta, Martinovic, Ivan	Broken Hearted: How To Attack ECG Biometrics Proceedings 2017 Network and Distributed System Security Symposium. DOI: http://dx.doi.org/10.14722/ndss.2017.23408
	2017	Patane A., Santoro A., Conca P., Carapezza G., Magna A.L., Romano V., Nicosia G.	Multi-objective optimization and analysis for the design space exploration of analog circuits and solar cells Engineering Applications of Artificial Intelligence, 62, pp373-383. DOI: http://dx.doi.org/10.1016/j.engappai.2016.08.010
	2016	Patane A., Santoro A., Carapezza G., La Magna A., Romano V., Nicosia G.	A multi-objective clonal selection algorithm for analog circuit and solar cell design International Workshop on Artificial Immune Systems, AIS 2015/ICSI3 2015 - Systems Immunology, Immunoinformatics and Immune-computation: Immunology without Borders, Proceedings. DOI: http://dx.doi.org/10.1109/AISW.2015.7469240
	2016	Patane A., Conca P., Carapezza G., Santoro A., Costanza J., Nicosia G.	Metabolic circuit design automation by multi-objective BioCAD Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10122 LNCS, pp30-44. DOI: http://dx.doi.org/10.1007/978-3-319-51469-7_3
	2015	Patanè A, Santoro A, Costanza J, Carapezza G, Nicosia G.	Pareto Optimal Design for Synthetic Biology. IEEE transactions on biomedical circuits and systems, 9(4), pp555-571. DOI: http://dx.doi.org/10.1109/tbcas.2015.2467214
	2015	Barker C, Kwiatkowska M, Mereacre A, Paoletti N, Patane A.	Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. Annu Int Conf IEEE Eng Med Biol Soc, 2015, pp7188-7191. DOI: http://dx.doi.org/10.1109/embc.2015.7320050
	2015	Kwiatkowska M., Mereacre A., Paoletti N., Patane A.	Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9271, pp119-140. DOI: http://dx.doi.org/10.1007/978-3-319-26916-0_7

---

1	Page: 1 of 1  Records: 31

Page 1