Автореферат (1137461), страница 5
Текст из файла (страница 5)
Revenko. Debugging programs using formal concept analysis. InFCAIR 2013, pages 105112. CEUR, 2013, 0.8 ï. ë. (ëè÷íûé âêëàä0.8 ï. ë.).[2] A. Revenko. Debugging program code using implicative. In2013,FCA4AIpages 2739. CEUR, 2013, 1 ï.ë.
(ëè÷íûé âêëàä 1 ï. ë.).[3] A. Revenko and S.O. Kuznetsov. Attribute exploration of propertiesProc. 7th International Conferenceon Concept Lattices and Their Applications, University of Sevilla,of functions on ordered sets. Inpages 311324, 2010, 0.9 ï. ë. (ëè÷íûé âêëàä 0.6 ï. ë.).[4] A. Revenko and S.O. Kuznetsov.intents.InCLA 2012,Finding errors in new objectpages 151162.
CEUR, 2012, 1 ï.ë. (ëè÷-íûé âêëàä 0.8 ï. ë.).[5] A. Revenko and S.O. Kuznetsov. Attribute exploration of propertiesof functions on sets.Fundamenta Informaticae,115(4):377394,2012, 1.2 ï. ë. (ëè÷íûé âêëàä 0.7 ï. ë.).[6] A. Revenko, S.O. Kuznetsov, and B. Ganter. Finding errors in newobject in formal contexts.InFCA4AI 2012,pages 6572. CEUR,2012, 0.7 ï. ë. (ëè÷íûé âêëàä 0.3 ï. ë.).[7] À. Ðåâåíêî. Íàõîæäåíèå îøèáîê â áèíàðíûõ òàáëèöàõ äàííûõ.Íàó÷íî-òåõíè÷åñêàÿ èíôîðìàöèÿ. Ñåðèÿ 2.
¾Èíôîðìàöèîííûåïðîöåññû è ñèñòåìû¿, 6:1018, 2013, 1 ï.ë. (ëè÷íûé âêëàä 1 ï.ë.).26.