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}
}