Problems of Conceptor Language Formalization. - Valentin M. Antimirov; N. N. Diduk; Vladimir Koval (IMACS European Simulation Meeting, 1984)

Consistency and Semantics of Equational Definitions over Predefined Algebras. - Valentin M. Antimirov; Anatoli Degtyarev (CTRS, 1992)

Consistency of Equational Enrichments. - Valentin M. Antimirov; Anatoli Degtyarev (LPAR, 1992)

Completeness of Equational Definitions over Predefined Algebras. - Valentin M. Antimirov; Anatoli Degtyarev (AMAST, 1993)

Rewriting Regular Inequalities (Extended Abstract). - Valentin M. Antimirov (FCT, 1995)

Partial Derivates of Regular Expressions and Finite Automata Constructions. - Valentin M. Antimirov (STACS, 1995)

Rewriting Extended Regular Expressions. - Valentin M. Antimirov; Peter D. Mosses (Theor. Comput. Sci., 1995)

Partial Derivatives of Regular Expressions and Finite Automaton Constructions. - Valentin M. Antimirov (Theor. Comput. Sci., 1996)