• Another side of categorical propositions : the Keynes-Johnson octagon of oppositionsMoktefi, Amirouche; Schang, FabienHistory and philosophy of logic2023 / p. 459-475 https://doi.org/10.1080/01445340.2022.2143711 https://www.scopus.com/sourceid/4700152837 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146684946&origin=inward&txGid=79fa919ac529ed20401e9c081ff4c063 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=HIST%20PHILOS%20LOGIC&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000913717900001
• Boole'i algebra kasutamine automaatikalülituste projekteerimisel : loengukonspektAgur, Ustus1972 https://www.ester.ee/record=b1327567*est
• Combinatorial calculations in many-dimensional Boolean spaceZakrevskij, Arkadij2012 http://www.ester.ee/record=b2771638*est
• Defects, faults and fault modelsGramatova, Elena; Fisherova, Maria; Ubar, Raimund-Johannes; Pleskacz, Witold A.Handbook of testing electronic systems2005 / p. 26-96 : ill
• KRATT : QBF-assisted removal and structural analysis attack against logic lockingAksoy, Levent; Yasin, Muhammad; Pagliarini, Samuel NascimentoarXiv.org2023 / 7 p. : ill https://doi.org/10.48550/arXiv.2311.05982
• Low power state assignment using ILP techniquesSagahyroon, Assim; Aloul, Fadi; Sudnitsõn, AleksanderThe 15th IEEE Mediterranean Electrotechnical Conference – MELCON-2010. Valletta, Malta, April 25-28, 20102010 / p. 850-855 http://www.aloul.net/Papers/faloul_power_melecon10.pdf
• On the origin of Venn diagramsMoktefi, Amirouche; Lemanski, JensAxiomathes2022 / p. 887–900 https://doi.org/10.1007/s10516-022-09642-2 https://www.scopus.com/sourceid/4900152602 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140373481&origin=inward&txGid=bdc6309c4396f445f1f3f0852fbec9a0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=AXIOMATHES&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000870913600001
• Optimization in Boolean spaceZakrevskij, Arkadij; Pottosin, Yu.; Cheremisinova, L.2009 http://www.ester.ee/record=b2461762*est
• Исчисление высказываний и элементы теории множеств во введении в инженерную математикуJõgi, Tiiu; Tammeraid, IvarЗональное совещание-семинар заведующих кафедрами и ведущих преподавателей математики вузов Белорусской, Латвийской, Литовской, Эстонской ССР и Калининградской области РСФСР : Вильнюс, 12-14 окт. 1983 г. : тезисы докладов1983 / с. 100 https://www.ester.ee/record=b1564990*est
• Локализация кратных неисправностей в цифровых схемах методом решения булевых дифференциальных уравненийUbar, Raimund-JohannesСистемы и средства управления : межвузовский сборник научных трудов1978 / с. 71-74 https://www.ester.ee/record=b2642693*est
• Применение алгебры Буля при проектировании схем автоматики : конспект лекцийAgur, Ustus1974 https://www.ester.ee/record=b1292481*est