| Особливості впровадження навчальної групової розробки програмних систем В Бублик, А Афонін, С Борозенний | 7 | 2008 |
| Про машинно-орієнтовані числення секвенціального типу для класичної логіки першого порядку А Афонін | 2 | 2009 |
| Особливості використання документо-орієнтованих баз даних на прикладі MongoDB А Афонін, Д Зважій | 1 | 2015 |
| Про формальний математичний текст і логічну та онтологічну коректності ОВ Лялецький, АО Афонін Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2014 | | 2014 |
| Координація розподілених команд розробників програмного забезпечення А Афонін, А Глибовець, О Бобко | | 2014 |
| Про інтелектуальні та інтерфейсні засоби систем автоматизації доведень теорем ОО Лялецький, АО Афонін Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2014 | | 2014 |
| Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань АО Афонін, ОВ Лялецький Наукові записки НаУКМА. Комп'ютерні науки, 20-24, 2013 | | 2013 |
| Про резолюційні стратегії з слабкою факторизацією А Афонін | | 2009 |
| З досвіду навчання групового розроблення програм на факультеті інформатики В Бублик, А Афонін, С Борозенний | | 2007 |
| МУЛЬТИМЕДІЙНІ ТЕХНОЛОГІЇ В СИСТЕМАХ ЕЛЕКТРОННОЇ ОСВІТИ АО АФОНІН | | |
