Automate and Categories. - Vera Trnková (MFCS, 1975)

Recognizable and Regular Languages in a Category. - Jirí Adámek; Vera Trnková (FCT, 1977)

Relational Automata ina Category and their Language. - Vera Trnková (FCT, 1977)

On Languages, Accepted by Machines in the Category of Sets. - Vera Trnková; Jirí Adámek (MFCS, 1977)

Machines and their behaviour in a category. - Vera Trnková (FCT, 1979)

Tree-group automata. - Vera Trnková; Jirí Adámek (FCT, 1979)

L-Fuzzy Functorial Automata. - Vera Trnková (MFCS, 1979)

Dynamic Algebras which are not Kripke Structures. - Jan Reiterman; Vera Trnková (MFCS, 1980)

General theory of relational automata. - Vera Trnková (Fundam. Informaticae, 1980)

On an equivalence of system-theoretical and categorical concepts. - Jirí Adámek; Hartmut Ehrig; Vera Trnková (Kybernetika, 1980)

Isomorphism Completeness for Some Algebraic Structures. - Ludek Kucera; Vera Trnková (FCT, 1981)

On Representations of Dynamic Algebras with Reversion. - Jan Reiterman; Vera Trnková (MFCS, 1981)

From Dynamic Algebras to Test Algebras. - Jan Reiterman; Vera Trnková (MFCS, 1984)

Dynamic Algebras with Test. - Vera Trnková; Jan Reiterman (J. Comput. Syst. Sci., 1987)

Isomorphism Testing of Unary Algebras. - Ludek Kucera; Vera Trnková (SIAM J. Comput., 1988)

Endomorphisms of undirected modifications of directed graphs. - Vera Trnková (Discret. Math., 1992)

Universalities. - Vera Trnková (Appl. Categorical Struct., 1994)

Algebraic theories, clones and their segments. - Vera Trnková (Appl. Categorical Struct., 1996)

On categories generalizing universal domains. - Vera Trnková; Jirí Velebil (Math. Struct. Comput. Sci., 1999)

Clone Segments of the Tychonoff Modification of Space. - Anna Tozzi; Vera Trnková (Appl. Categorical Struct., 2000)

Spaces without Nonconstant Maps into Y. - Vera Trnková (Appl. Categorical Struct., 2000)

Counting Cocomponents of a Topological Space. - Vera Trnková (Appl. Categorical Struct., 2004)

Metrizability and Coconnectedness. - Vera Trnková (Appl. Categorical Struct., 2007)

Presentation of Set Functors: A Coalgebraic Perspective. - Jirí Adámek; H. Peter Gumm; Vera Trnková (J. Log. Comput., 2010)

Universality of Categories of Coalgebras. - Václav Koubek; Jirí Sichler; Vera Trnková (Appl. Categorical Struct., 2011)

Initial algebras and terminal coalgebras in many-sorted sets. - Jirí Adámek; Vera Trnková (Math. Struct. Comput. Sci., 2011)

Set Functors and Filters. - Václav Koubek; Vera Trnková (Appl. Categorical Struct., 2015)