Book
Հաշվարկելիության բարդության տեսության հիմնադրույթները
| Ուս. ձեռնարկ: ԵՊՀ հրատ.: 2017թ․, 62 էջ
Anahit Chubaryan, Artur Khamisyan, Garik Petrosyan
On some systems for two versions of many-valued logics
| LAP (Lambert Academic Publishing). 2017, 73 p.
Rabin style speed-up of proofs
| Monograph, LAP (Lambert Academic Publishing), Germany, 2010
Proof Complexity of Hard-determinable Formula in R(lin)
| ASL ESM, LC-2009, Abstracts, Sofia, 27
Ալգորիթմների տեսության խնդիրների ժողովածու
| Ուսումնական ձեոնարկ, ԵՊՀ հրատարակչություն, Երևան-2008 և http:users.freenet.am/~bolibek
Article
Исследование свойств монотонности и строгой монотонностидвух пропозициональных систем классической логики
| Sciences of Europe, Vol 1, # 70, Physics and Mathematics, 2021, 60-62. www.european-science.org, DOI: 10.24412/3162-2364-2021-70-1-60-62
А. А. Чубарян, A. A. Aмбарцумян, Г. А. Гаспарян, С. А. Ованнисян
О некоторых свойствах минимальных тавтологий классической и неклассических логик
| ДНАН РА, т.120, №1, 2020, 15-21. http://www.flib.sci.am/eng/Reports/Frame.html
O немонотоности гильбертовских систем исчисления высказываний классических и неклассических логик
| Sciences of Europe, Vol 1, # 53, Physics and Mathematics, 2020, 59-62. www.european-science.org
Thesis
On non-monotonous properties of some propositional proof systems
| ASL, ESM, Logic Colloquium – 2021, Poznan, Book of abstracts, 165. https://lc2021.pl/conf-data/LC2020/files/LC21_book_of_abstracts.pdf
Anahit Chubaryan, Sargis Hovhannisyan, Hayk Gasparyan
Comparison of two propositional proof systems by lines and by sizes
| ASL, ESM, Logic Colloquium–2021, Poznan, Book of abstracts, 166, https://lc2021.pl/conf-data/LC2020/files/LC21_book_of_abstracts.pdf
Comparison of two propositional proof systems by lines and by sizes
| Logic Colloquium-20, Poznan, Poland (Postponed until 2021)
Monotonous and strong monotonous properties of some cut-free propositional sequent systems for several logics
| Logic Colloquium-20, Poznan, Poland (Postponed until 2021)
On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics
| WiL 2020, sites.google.com/g.uporto.pt/wil2020/posters