Learning support sets in IC3 and Quip: The good, the bad, and the ugly. - Ryan Berryhill; Alexander Ivrii; Neil Veira; Andreas G. Veneris (FMCAD, 2017)

Learning lemma support graphs in Quip and IC3. - Ryan Berryhill; Neil Veira; Andreas G. Veneris; Zissis Poulos (IVSW, 2017)

Suspect set prediction in RTL bug hunting. - Neil Veira; Zissis Poulos; Andreas G. Veneris (DATE, 2018)

Generating Realistic Sequences of Customer-Level Transactions for Retail Datasets. - Thang Doan; Neil Veira; Brian Keng (ICDM Workshops, 2018)

Astraea: A Decentralized Blockchain Oracle. - John Adler; Ryan Berryhill; Andreas G. Veneris; Zissis Poulos; Neil Veira; Anastasia Kastania (iThings/GreenCom/CPSCom/SmartData, 2018)

Suspect2vec: a suspect prediction model for directed RTL debugging. - Neil Veira; Zissis Poulos; Andreas G. Veneris (ASP-DAC, 2019)

On Public Decentralized Ledger Oracles via a Paired-Question Protocol. - Marco Merlini; Neil Veira; Ryan Berryhill; Andreas G. Veneris (IEEE ICBC, 2019)

Unsupervised Embedding Enhancements of Knowledge Graphs using Textual Associations. - Neil Veira; Brian Keng; Kanchana Padmanabhan; Andreas G. Veneris (IJCAI, 2019)

Searching for Bugs Using Probabilistic Suspect Implications. - Neil Veira; Zissis Poulos; Andreas G. Veneris (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle. - Keerthi Nelaturu; John Adler; Marco Merlini; Ryan Berryhill; Neil Veira; Zissis Poulos; Andreas G. Veneris (IEEE Trans. Engineering Management, 2020)