Jir Vinrek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1981–2018
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISoLA | Dynamic Security Specification Through Autonomic Component Ensembles. | Rima Al Ali, Toms Bures, Petr Hnetynka, Filip Krijt, Frantisek Plsil, Jir Vinrek |
| 2014 | CaiSE | Recovering Traceability Links Between Code and Specification Through Domain Model Extraction. | Jir Vinrek, Petr Hnetynka, Viliam Simko, Petr Kroha |
| 1981 | FCT | Extensions of Symmetric Hom-Functors to the Kleisli Category. | Jir Vinrek |