Ing.

Petr Janků

Ph.D.

FIT, RG VERIFIT – Member

ijanku@fit.vut.cz

Send BUT message

Ing. Petr Janků, Ph.D.

Other

  • 2020

    HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). New York: Springer International Publishing, 2020. p. 1-33.

  • 2017

    FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T. Lazy Automata Techniques for WS1S. arXiv:1701.06282: 2017. 17 p.

*) Citations are generated once every 24 hours.