Mgr.

Juraj Síč

FIT, DITS – Researcher

+420 54114 1331
sicjuraj@fit.vut.cz

Send BUT message

Mgr. Juraj Síč

Creative activities

  • HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.: mata; Mata: A Finite Automata Library. https://github.com/VeriFIT/mata. URL: https://github.com/VeriFIT/mata. (software)
    https://github.com/VeriFIT/mata, number of downloads: 0
    Detail

  • HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.: Z3-Noodler; Z3-Noodler: A String Solver. https://github.com/VeriFIT/z3-noodler. URL: https://github.com/VeriFIT/z3-noodler. (software)
    https://github.com/VeriFIT/z3-noodler, number of downloads: 0
    Detail

In the event of a discrepancy in the data, inspect the FAQs for visiting cards.