TU Wien Informatics

Role

  • Uniform sampling of timed regular expressions / Gigler, F. N. (2025). Uniform sampling of timed regular expressions [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.129120
    Download: PDF (1.04 MB)
  • Mining Shape Expressions from Positive Examples / Bartocci, E., Deshmukh, J., Gigler, F., Mateis, C., Nickovic, D., & Qin, X. (2020). Mining Shape Expressions from Positive Examples. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11), 3809–3820. https://doi.org/10.1109/tcad.2020.3012240