Productive classes and subdirect irreducibility, in particular for graphs. - Ales Pultr; Jirí Vinárek (Discret. Math., 1977)

Extensions of Symmetric Hom-Functors to the Kleisli Category. - Jirí Vinárek (FCT, 1981)

Simultaneous representations of groups. - Jirí Vinárek (Discret. Math., 1992)

Recovering Traceability Links Between Code and Specification Through Domain Model Extraction. - Jirí Vinárek; Petr Hnetynka; Viliam Simko; Petr Kroha (EOMAS@CAiSE, 2014)

A Method for Semi-automated Generation of Test Scenarios Based on Use Cases. - Richard Lipka; Toma Potuak; Premek Brada; Petr Hnetynka; Jirí Vinárek (EUROMICRO-SEAA, 2015)

Verification of Use-Cases with FOAM Tool in Context of Cloud Providers. - Jirí Vinárek; Viliam Simko; Petr Hnetynka (EUROMICRO-SEAA, 2015)

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems. - Jirí Vinárek; Petr Hnetynka (FESCA@ETAPS, 2016)

Dynamic Security Specification Through Autonomic Component Ensembles. - Rima Al Ali; Tomás Bures; Petr Hnetynka; Filip Krijt; Frantisek Plásil; Jirí Vinárek (ISoLA (3), 2018)

Toward autonomically composable and context-dependent access control specification through ensembles. - Rima Al Ali; Tomás Bures; Petr Hnetynka; Jan Matejek; Frantisek Plásil; Jirí Vinárek (Int. J. Softw. Tools Technol. Transf., 2020)

A language and framework for dynamic component ensembles in smart systems. - Tomás Bures; Ilias Gerostathopoulos; Petr Hnetynka; Frantisek Plásil; Filip Krijt; Jirí Vinárek; Jan Kofron (Int. J. Softw. Tools Technol. Transf., 2020)