# my-pubs-review.bib

@article{PRSP23_awgsi,
author = {\textbf{P. Irofti} and Romero-Ben, L. and Stoican, F. and Puig, V.},
title = {Learning Dictionaries from Physical-Based Interpolation for Water Network Leak Localization},
year = {2023},
pages = {1-12},
eprint = {2304.10932},
archiveprefix = {arXiv}
}

@article{SLI21_sel4,
author = {Stancu, A. and Leuștean, I. and \textbf{P. Irofti}},
title = {{SeL4} verfication in {Isabelle HOL}
and verification of an {OpenBSD} driver},
year = {2021},
pages = {1-8}
}

@article{BI22_spectre,
author = {Bălucea, R. and \textbf{P. Irofti}},
title = {Software Mitigation of {RISC-V} Spectre Attacks},
year = {2022},
pages = {1-12},
eprint = {2206.04507},
archiveprefix = {arXiv}
}

@article{PI21_Holder,
author = {Pătrașcu, A. and \textbf{P. Irofti}},
title = {Computational complexity of Inexact Proximal Point Algorithm for Convex Optimization under Holderian Growth},
year = {2021},
pages = {1-42},
eprint = {2108.04482},
archiveprefix = {arXiv}
}