Article TEXTUAL LANGUAGE FOR AUTOMATA-BASED PROGRAMMING Vadim Gurov, Maxim Mazin, Shalyto Anatoly A. April 2008
Article APPLICATION OF AUTOMATA-BASED APPROACH FOR JAVA CARD-APPLICATIONS DEVELOPMENT Andrey Zakonov April 2008
Article APPLICATION OF GENETIC ALGORTIHMS FOR MOORE AUTOMATA AND SYSTEMS OF MEALY AUTOMATA CONSTRUCTION IN “ARTIFICIAL ANT” PROBLEM Dmitry Sokolov, Fedor Tsarev, Andrey Davydov April 2008
Article APPLICATION OF GENETIC PROGRAMMING FOR GENERATION OF AUTOMATA HAVING A LOT OF INPUT VARIABLE N. Polikarpova, N. Tochilin, Shalyto Anatoly A. April 2008
Article APPLICATION OF FINITE STATE MACHINES FOR AUTOMATIZATION OF DOCUMENTS CIRCULATION Vitaliy Kleban, Fedor Novikov April 2008
Article DECLARATIVE APPROACH TO EMBEDDING AND INHERITANCE OF AUTOMATA CLASSES WITH IMPERATIVE PROGRAMMING LANGUAGES Artem Astafurov April 2008
Article VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SPIN VERIFIER Лукин М. А., Shalyto Anatoly A. April 2008
Article CONSTRUCTION OF A CONTROL SYSTEM FOR ROBOCODE TANK USING GENETIC ALGORITHMS Yury Bedny, Shalyto Anatoly A. April 2008
Article DEVELOPMENT OF CORECT JAVA CARD-APPLICATION WITH AUTOMATA-BASED APPROACH Клебанов А. А., Shalyto Anatoly A. April 2008