• Beta assertive graphs : proofs of assertions with quantificationBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied logics : IfCoLog journal of logics and their applications2021 / 23 p. : ill https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf https://www.scopus.com/sourceid/21100925611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111108312&origin=inward&txGid=e5644a19e1f9f32aece89ccb2dec99b9 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20APPL%20LOG-IFCOLOG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000620168700003
• Design understanding : from logic to specificationFey, Goerschwin; Ghasempouri, Tara; Jacobs, Swen; Raik, JaanProceedings of the 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) : October 8-10, 2018, Verona, Italy2018 / p. 172–175 : ill https://doi.org/10.1109/VLSI-SoC.2018.8644732
• Icons, interrogations, and graphs: On Peirce's integrated notion of abductionPietarinen, Ahti-Veikko; Bellucci, FrancescoTransactions of the Charles S. Peirce Society2020 / p. 43-61 https://doi.org/10.2979/trancharpeirsoc.56.1.03 https://www.scopus.com/sourceid/14000155926 https://www.scopus.com/record/display.uri?eid=2-s2.0-85087984957&origin=inward&txGid=69b23f6bad367c1f9ee87dc00f4387a7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=T%20C%20S%20PEIRCE%20SOC&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000543557000003
• On the logical philosophy of assertive graphsChiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of logic, language and information2020 / 21 p https://doi.org/10.1007/s10849-020-09315-6 https://www.scopus.com/sourceid/145095 https://www.scopus.com/record/display.uri?eid=2-s2.0-85084046484&origin=inward&txGid=920993e747e4662c40a1b40464e4c574 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOGIC%20LANG%20INFORM&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000527468900001
• SCARF : securing chips with a robust framework against fabrication-time hardware trojansEslami, Mohammad; Ghasempouri, Tara; Pagliarini, Samuel NascimentoIEEE Transactions on Computers2024 / p. 2761-2775 https://doi.org/10.1109/TC.2024.3449082 https://www.scopus.com/sourceid/25033 https://www.scopus.com/record/display.uri?eid=2-s2.0-85201752061&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22SCARF%3A+Securing+Chips+With+a+Robust+Framework+Against+Fabrication-Time+Hardware+Trojans%22%29&sessionSearchId=7f45e0ec132af76c064c755f1de85733&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20T%20COMPUT&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001351576000009
• SCARF : securing chips with a robust framework against fabrication-time hardware Trojans : preprintEslami, Mohammad; Ghasempouri, Tara; Pagliarini, Samuel NascimentoarXiv.org2024 / 14 p. : ill https://doi.org/10.48550/arXiv.2402.12162